真鍋さんの
ウェブサイトMIPOのブログには,
算数・数学コラムというのがあって,おもしろい算額の問題などがしばしば取り上げられている。
で,先日
モーリーの定理という,三角形の内角の三等分線がつくる図形が正三角形になるという問題を証明していた。なるほど。図形の問題は苦手なので,解析幾何学の手法でできないか考えてみた。
1辺と両端の2角を与えれば三角形は定まる。現れるすべての座標はその辺の長さに比例するので,辺の長さAB=1とする。∠A=$3\alpha$,∠B=$3\beta$,∠C=$3\gamma$とすると,$\gamma = \frac{\pi}{3}-\alpha-\beta$で定まる。結局全ての量が2つの角度$\alpha,\beta$で表される。
これは実は問題の対称性を損ねるので,標準解答と比較しても良策ではないのだけれど,乗り掛った舟なのでやってみる。
図:モーリーの定理の証明
まず三角形ABCの頂点Aを原点(0,0)とし,頂点Bを(1,0)とする。このとき頂点C$(p,q)$は,$y=\tan 3\alpha$と$y=-\tan 3\beta (x-1)$の交点として求まり,$(p,q) =\Bigl( \dfrac{\tan3\beta}{\tan3\alpha+\tan3\beta},\dfrac{\tan3\alpha \tan3\beta}{\tan3\alpha + \tan3\beta} \Bigr)$となる。
同様にして,∠の三等分線の交点として(P,Q,R)の3点求めればよい。
(1) ABからの三等分線の交点P
$y=\tan \alpha\ x \ \&\ y = -\tan \beta\ (x-1)\ $の交点は,
$(p_1,q_1) =\Bigl( \dfrac{\tan\beta}{\tan\alpha+\tan\beta},\dfrac{\tan\alpha \tan\beta}{\tan\alpha + \tan\beta} \Bigr)$
(2) ACからの三等分線の交点Q
$y=\tan 2\alpha\ x \ \&\ y = -\tan (3\beta+2\gamma)(x-p)+q\ $の交点は,
$(p_2,q_2) =\Bigl(\dfrac{p \tan(3\beta+2\gamma) + q}{\tan2\alpha+\tan(3\beta+2\gamma)},\dfrac{\tan2\alpha \{p \tan(3\beta+2\gamma)+q\}}{\tan2\alpha + \tan(3\beta+2\gamma)}\Bigr)$
(3) BCからの三等分線の交点R
$y=-\tan 2\beta\ (x-1) \ \&\ y = -\tan (3\beta+\gamma)(x-p)+q\ $の交点は,
$(p_2,q_2) =\Bigl( \dfrac{p \tan(3\beta+\gamma) -\tan2\beta + q}{\tan(3\beta+\gamma)-\tan2\beta}, -\dfrac{\tan2\beta\{(p-1) \tan(3\beta+\gamma) +q\}}{ \tan(3\beta+\gamma) -\tan2\beta } \Bigr)$
これから3点の距離を計算すれば良いのだけれど,ちょっと人間の手には負えなかった。
Mathematicaで計算すると,なんとか確認することができた。
In[1]:= c[a_, b_] := Pi/3 - a - b
In[2]:= p[a_, b_] := Tan[3 b]/(Tan[3 a] + Tan[3 b])
q[a_, b_] := Tan[3 a] Tan[3 b]/(Tan[3 a] + Tan[3 b])
In[3]:= p1[a_, b_] := Tan[b]/(Tan[a] + Tan[b])
q1[a_, b_] := Tan[a] Tan[b]/(Tan[a] + Tan[b])
In[4]:=
p2[a_, b_] := (p[a, b] Tan[3 b + 2 c[a, b]] + q[a, b])/(Tan[2 a] + Tan[3 b + 2 c[a, b]])
q2[a_, b_] :=
Tan[2 a] (p[a, b] Tan[3 b + 2 c[a, b]] + q[a, b])/(Tan[2 a] + Tan[3 b + 2 c[a, b]])
In[5]:=
p3[a_, b_] := (p[a, b] Tan[3 b + c[a, b]] - Tan[2 b] +
q[a, b])/(Tan[3 b + c[a, b]] - Tan[2 b])
q3[a_, b_] := -Tan[
2 b] (((p[a, b] - 1) Tan[3 b + c[a, b]] +
q[a, b])/(Tan[3 b + c[a, b]] - Tan[2 b]))
In[6]:= (p1[a, b] - p2[a, b])^2 + (q1[a, b] -
q2[a, b])^2 - (p2[a, b] - p3[a, b])^2 - (q2[a, b] -
q3[a, b])^2 // Simplify
Out[7]= 0
In[8]:= (p2[a, b] - p3[a, b])^2 + (q2[a, b] -
q3[a, b])^2 - (p3[a, b] - p1[a, b])^2 - (q3[a, b] -
q1[a, b])^2 // Simplify
Out[9]= 0