2022.02.10記
2022.02.10記
空間の一辺の長さが の正三角形 を 平面へ正射影したものが であるとし,,, とする。また, の 座標をそれぞれ ()とする。このとき,
が成立する。よって
,
となる。前者から
となるので,
つまり,
が成立する。よって となり,このとき , となるので となり確かに は存在する。
よって, となる。
本問の設定の場合 が定数となるので,連立方程式を解くときに双曲線関数が利用できる。
そのとき, は全実数をとるが、 は正の値しかとらないことに注意する。
(途中から)
,
により,
,
が成立する。前者と より とおくことができ,このとき後者は
,つまり
となる。よって から
,
つまり
となる.ここで より
となり, から となる.
そして
から となる.
よって
双曲線関数にインスパイアされた次の解き方が一番楽。
,
が成立する。前者と より とおくことができ,このとき後者は
つまり
となり, となる.よって
よって, となり,
本問の設定だと,, の形になる。
のときは なので なら ,
のときは , なら となる.
のとき,
ならば,
ならば,
と置けば
が得られ
となるので,
から
となる。この とおくと,この の2次関数は下に凸で 切片が負であるから,
この2次方程式は唯一の正の解
をもつ.この値を とおく.
このとき
が成立し,から
が得られ,
,
となる.
三角柱の切り口に正三角形があること - 球面倶楽部 零八式 mark II
も参照のこと.
2023.09.16記
一応買って読んでみた - 球面倶楽部 零八式 mark II
でこの問題を参照したので,ついでに補足しておく.
三角柱の切り口に正三角形があること - 球面倶楽部 零八式 mark II
でも述べた話を本問の枠組みで考えてみよう.
空間の一辺の長さが の正三角形 を 平面へ正射影したものが であるとし,,, とする。また, の 座標をそれぞれ ()とする。このとき,
が成立する。よって
,
が成立する. より とおくことができ,また
とおくと
,
が成立する.
(i) () のとき から
(a) なら となり, から
(b) なら となり, から
(ii) () のとき
と置けば
が得られ
となるので,
から
となる。 とおくと,この の2次関数は下に凸で 切片が負であるから,
この2次方程式は唯一の正の解
をもつ.この値を とおく.
このとき
が成立し,から
が得られ,
,
となる.このとき
となる.
こんなにシンプルになるのだったら,双曲線関数を使うよりも良い解き方があるに違いない(ありました.後半参照).
ともかく, を代入すると
により となっている.
なお,
三角柱の切り口に正三角形があること - 球面倶楽部 零八式 mark II
の後半にもあるように,正射影の逆は一方方向への引き伸ばしであることを利用しても良いだろう.
ただ,初見では何をやっているかはわからないかも知れない.
正射影は一方方向へ縮めることであるから,3辺の長さが の3角形を一方方向に伸ばす( 倍以上の拡大)を行って正三角形にしたときの一辺の長さを求めれば良い.
射影された3角形の3頂点を
,(),
とおくと,3辺の長さが であるから,余弦定理により
となり,である.
この3点を 軸方向に 倍拡大すると正三角形になったとするとき, として
(より であり, が正三角形の1辺の長さ),
なる が存在する.ここで
により
が成立する.
,
であるから
となり,
が成立する.整理して
となる. より となる.よって1辺の長さは
厳密に言えば,これは必要条件であり,十分性を示さなければならない.そのためには
のとき,
,
,,
をみたす が存在することを言う必要がある.
後者3つからは,, が得られるので,
から
つまり
をみたす が存在すれば良い.
より
となり,より となる.()
より だから となり,
,,
,,
が得られる.
つまり,,, の3点からなる三角形の3辺の長さは であり,これを 軸方向に 倍拡大すると一辺の長さが の正三角形になることがわかり十分性が言えた.
つまりこの正三角形は, 平面とのなす角度が をみたす平面上にある.
この解法は,答えを求めるのには都合が良いが,きっちりと必要十分条件であることを述べるのは難しい.ただ,
三角柱の切り口に正三角形があること - 球面倶楽部 零八式 mark II
により答の存在が保証されている場合は,この方法が速いという訳である.
この解答は,
の p.9[3] の解法に対応している.そしてそれは一番最初の[解答]で の連立方程式を解く代わりに, だけの式にしたものである.
から
, を解く
の代わりに
から
,を
に代入して解く
とすれば[大人の解答]の
が導かれる.
となっている.ただ,「語りかける」の場合, を求めた後の十分性が
の の存在を言うだけなのでシンプルで優れている.[大人の解法]は を求めるまでの式変形が楽である点で優れている.
これを一般的にしてみよう.以下は[大人の解答]に倣って導くが,「語りかける東大数学」のp.9[3] や p.11[4] に倣っても同じ方程式が導かれる.
(ちなみに,高低差と呼んでいる部分は,
三角柱の切り口に正三角形があること - 球面倶楽部 零八式 mark II
の という式に対応している)
3辺を ()とする.
射影された3角形の3頂点を
,,
とおくと,余弦定理により
である.
この3点を 軸方向に 倍拡大すると正三角形になったとするとき, として
(より であり, が正三角形の1辺の長さ),
なる が存在する.ここで
により
が成立する.
,
であるから
となり,
が成立する.整理して
となる.ここでヘロンの公式から,3辺がである三角形の面積を とすると
であるから,
が成立する.ここで に注意すると
が成立する.
である.
まぁまぁ深い話をした.