正多胞体についての考察
教職の授業でレポートとして提出したもの。
4次元空間上で正多面体に相当する立体について。
定義や証明がざっくりなのはご容赦ください。
数学夏祭り 問2 解説
本ブログ (ぐるます) にて、2020年9月2日に投稿した記事を移行したものです。
誰でも参加できる2週間に渡るTwitter難問チャレンジ
— 数学夏祭り2021@計画中 (@mathmatsuri) 2020年9月1日
数学夏祭り 第2問は「幾何」
「解答する、拡散する、解説する」
それぞれにキャンペーンプライズを進呈!
みんなで祭りを盛り上げよう!#数学夏祭り#数学夏祭り問2#数学夏祭り解説
参加方法は↓リプに続きます。 pic.twitter.com/6fTFwet8LD
こちらの問題
は である。
の垂心を 、外心を 、重心を とし、外心に対して垂心と対象な点を 、線分 を に外分する点を とする。 (ただし、 は をみたす実数とする。)
四角形 の面積 を、 を用いた式で表せ。
の解説記事です。
簡易的な手書きの解説を記事1番下に載せてあります。
まず はこのような三角形になりますね。
問題文で与えられた各点の位置を図示してみましょう。
垂心 はこのようになります。
から辺 (またはその延長) に下ろした垂線の足を、それぞれ としておきます。
ここで、 の角度がわかっていることと、直角の箇所がいくつも見つかることから、さまざまな場所の角度を求めてみると、下図の同じ色の角度がすべて等しくなることがわかります。
ピンク色の角は に等しいので 、青色の角は に等しいので ですね。
よって、 はすべて直角二等辺三角形です。そのため、直角を挟む 辺の長さは等しくなります。
また、 は の二等辺三角形であることもわかります。
ここで、辺 の中点を点 とします。
外心 は下図のようになります。
辺 の垂直二等分線を黄色の破線で示しています。 はこの 直線の交点ですね。
次に重心 はこのようになります。
線分 を に内分する点です。
そして、点 はこうなります。
ですね。
ようやく四角形 が見えました。この面積を求めるのですね。
さて、この四角形の面積を求めるには、まず何を求める必要があるでしょうか?
の長さがわかっていますから、 と の面積の和として求めるのがよさそうです。
ということは、点 から辺 に下ろした垂線 ( とします) の長さと、線分 の長さがわかればよいですね。
まずは の長さを求めます。
とおくと、 は次のように表すことができます。
ここで ですから、
これを解いて
ゆえに
では次に の長さです。
は周りに二等辺三角形がたくさんあったため、幾何的に求めることができたのですが、 はどうでしょうか。
や半直線 周辺の角度や線分の長さがほとんどわからず、厳しそうですね。
今わかっている情報は
- は線分 の中点であること
- は を に外分する点であること
なのですが、これらの条件を幾何的に利用するのは難しい気がします。
ではどうすれば利用しやすいでしょうか?
座標を使うのです。
座標を使えば、中点や外分点を簡単に求めることができるからです。
先ほどの図を 平面上に配置してみましょう。
計算しやすければどう配置してもよいのですが、ここでは直交する 線分、 と がそれぞれ 軸、 軸と重なるように配置してみます。
すなわち、 が原点です。 は外心なので、 平面の原点は としています。
こうすると、今求めようとしている の長さは、 の 座標の絶対値として求められそうですよね。
すなわち、まずは の座標を求めるのが目標です。
それでは各点の座標を求めていきます。
については、 を求めたときの図より
は の中点なので
は を に内分するので
は 本の黄色の破線の交点であることから、 座標が と同じで、なおかつ直線 上にある点となるので
は の中点が であることから、 とおくと
これを解いて
さて、これで無事に と が求まったので、 の座標を と で表すことができます。
図から の 座標は負であるので、 の長さは、 座標の符号を反転させて (絶対値をとって)
であるとわかりました。
これで四角形 の面積を求めることができます。
【簡易解説】
数学夏祭り 問1 解説
本ブログ (ぐるます) にて、2020年9月1日に投稿した記事を移行したものです。
誰でも参加できる2週間に渡るTwitter難問チャレンジ
— 数学夏祭り2021@計画中 (@mathmatsuri) 2020年8月31日
数学夏祭り 記念すべき第一問!
「解答する、拡散する、解説する」
それぞれにキャンペーンプライズを進呈!
みんなで祭りを盛り上げよう!#数学夏祭り#数学夏祭り問1
参加方法は↓リプに続きます。 pic.twitter.com/CD1JT7Txax
こちらの問題、
をみたす正整数 の組をすべて求め、 の小さい順に並べたとき、前から 番目の と後ろから 番目の を掛けた数 を答えよ。
の解説記事です。
まずは条件の式をよく観察してみます。
というなんとも中途半端な数が目につきますが、 は素数ですね。整数問題では左辺と右辺の因数を比較して解を絞り込むことがよくあるので、 がこれ以上素因数分解できないことが武器になるのでしょう。
そして、分数 + 分数 = 分数 という形をしています。
は正整数ですから、やはりここは整数問題に帰着して考えたいところです。
通分して、分数の出てこない形に変形してみます。
(通分)
両辺に を掛けて
・・・ (*)
ですから、これは条件の式と同値です。
以下、この(*)を使って考えていきます。
式(*)に出てくる文字と数はすべて正整数なので、先ほどちらっと書いたように、両辺の因数を比較することができます。
左辺が を因数にもつことから、当然右辺も を因数にもつことになります。
(素数) はこれ以上素因数分解で分割できないので、 のうちの少なくとも1つが という因数をまるごと全部もっている、すなわち の倍数 ( を除く) であることになります。
ここで、問題文の条件を思い出しましょう。 は 未満であることが条件なのでした。
ということは、 は を除く の倍数 ・・・ にはなり得ません。
よって、 の倍数であるのは または です。
と のどちらであるのかまでは絞り込めないので、ここからは場合分けをして考えていきます。
(i) と の両方が の倍数であるとき
(ii) のみが の倍数であるとき
(iii) のみが の倍数であるとき
の3パターンです。
(i) と の両方が の倍数であるとき
を自然数として、
(ただし )
とおけます。もとの式(*)に代入して
両辺を で割って
先ほどと同様に因数比較をしたいのですが、そんなときは、式に登場する項の中から、共通因数を見つけて括り出すことが有効です。
上の式を移項して を括り出してみましょう。
・・・ (1)
と は整数なので、 は因数に を含んでいなければなりません。すなわち、 は の倍数です。
よって、 を自然数として、
とおけます。
共通因数を括り出したことで、 についての情報が1つ増えましたよね。今やったような操作は、これ以降もたくさん使っていきます。
上の式を式(1)に代入して
両辺を で割って
先ほどと同様に、移項して を括り出して
ゆえに
(すなわち )
となるので、
であるので、、 すなわち であったということですね。
よって
(ii) のみが の倍数であるとき
を自然数として
とおけます。式(*)に代入して
両辺を で割って
移項して を括り出して
・・・ (2)
よって は の倍数なので、 を自然数として
とおけます。式(2)に代入して
両辺を で割って
移項して を括り出して
・・・ (3)
ここで、 と のどちらかが 、どちらかが となります。
とりあえず両方試してみましょう。
と仮定すると、 は の倍数となり、 のみが の倍数であることに矛盾します。
一方 と仮定すると、 となり、問題文の条件 に矛盾します。
いずれの場合も矛盾するので、(ii)のとき、解はありません。
(iii) のみが の倍数であるとき
上の(ii)の議論において、 を 、 を に置き換えた議論を考えると
( は自然数)
とおけて、(3)式
が同様に成り立ちます。
と仮定すると、(ii)と同様に、 は の倍数となり、 のみが の倍数であることに矛盾します。
一方 と仮定すると、 となり、これは問題文の条件 をみたしています。
よって
(すなわち )
となるので
より、 は適さないので
ゆえに
(i)〜(iii)の結果を合わせて、
の小さい順に並べると
以上より求める は
6/23解析
問題
今週の解析課題
— かざぐるま (@1_1_2_3_5__) 2020年6月27日
アステロイド
x(t) = a・cos³ t, y(t) = a・sin³ t (0≦t<2π) 上の
点T(x(b), y(b)) (ただし b ≠ 0, π/2, π, 3π/2) における接線
y = - tan b x + a・sin b が
x軸とy軸によって切り取られてできる線分ABの長さは、aに等しい pic.twitter.com/insw6eXWkX
合成関数
合成関数の図形的な解釈 動画編
— かざぐるま (@1_1_2_3_5__) 2020年6月25日
オレンジの点の軌跡が、ピンクの関数を緑の関数に代入した合成関数を表します。
青の点線はy=xで、これは、ある点のy座標を跳ね返すことでx座標に移すはたらきをします。 pic.twitter.com/LfSnvDKtZI
マクローリン展開
目次
- 具体的な2変数関数に適用する
- 2変数テイラーの定理
- 例1 :
- 例2 :
- 1変数関数ビジュアライズ
- 2変数関数ビジュアライズ
具体的な2変数関数に適用する
1変数関数ビジュアライズ
マクローリン展開 pic.twitter.com/GDicOEcVrO
— かざぐるま (@1_1_2_3_5__) 2020年6月15日
— かざぐるま (@1_1_2_3_5__) 2020年6月15日
2変数関数ビジュアライズ
z=e^(x+y) pic.twitter.com/1C1Yi2cUUc
— かざぐるま (@1_1_2_3_5__) 2020年6月15日
6/02解析
問題
ピンクの線は与式の(右辺)-(左辺)をθの関数とみたものでθ軸との交点(赤い点)が求めるθ
— かざぐるま (@1_1_2_3_5__) 2020年6月6日
h→0でかなりの速さで0.5に収束する
f(x)=x⁵+3x²+x のとき pic.twitter.com/ZVJ0CtQIP7
紫の線は参考程度なので、xの関数なのにθ軸上にプロットされてるのは気にしないでください
— かざぐるま (@1_1_2_3_5__) 2020年6月6日
f(x)=x⁶+2x⁴-4x³+xのとき pic.twitter.com/Z94NuOxTfV
f(x)はC²-関数なのでxの多項式じゃなくてもいけそうです
— かざぐるま (@1_1_2_3_5__) 2020年6月6日
指数関数 pic.twitter.com/z6pQl4WNfe
対数関数 pic.twitter.com/gFQwPlPT6G
— かざぐるま (@1_1_2_3_5__) 2020年6月6日
三角関数 pic.twitter.com/I2xyZ0n97V
— かざぐるま (@1_1_2_3_5__) 2020年6月6日
後半3個の収束値が全部0.4924になってるのはたぶん何かのバグで、多項式のほうが収束が速いわけでないと思います
— かざぐるま (@1_1_2_3_5__) 2020年6月6日
h=0.001で小数第3位までは1/2と一致することをWolframAlphaで実験済みです
あと、多項式の場合、正確には
— かざぐるま (@1_1_2_3_5__) 2020年6月6日
ピンクの線は(右辺)-(左辺)を
hの(f(x)の次数-2)乗 で割ったものにしています