Math Battle [ 0338: 0331の解きなおし ]

[ 0338: 0331の解きなおし ]


[ 西尾三奈さんの解きなおし ]

湯会老人が解いてくださった 0331
スッキリと解きなおししてみます。

図で示すように 辺 BC の中点を P, 辺 CA の中点を Q, 辺 AB の中点を R とし、
三角形 ABC の外接円の半径を r とします。

BC, CA, AB の辺長をそれぞれ a, b, c としますと
P, Q, R における「十字架」定理 (Euclid's Intersecting Chords Theorem) から:

① (a/2)2 = 3*(2*r - 3)
② (b/2)2 = 2*(2*r - 2)
③ (c/2)2 = 1*(2*r - 1)

さらに 2*r = a/sin(A) -- ④ (正弦定理)

①, ②, ③ から:
a = 2*sqrt(6*r - 9)
b = 4*sqrt(r - 1)
c = 2*sqrt(2*r - 1)

④ から:
cos2(A)
= 1 - sin2(A)
= (4*r2 - a2)/(4*r2)
= (r2 - 6*r + 9)/r2 -- ⑤

余弦定理から cos(A) を求めます。
cos(A)
= (b2 + c2 - a2)/(2*b*c)
= ((16*r-16) + (8*r-4) - (24*r-36))/(16*sqrt((r-1)*(2*r-1)))
= 1/sqrt((r-1)*(2*r-1)))

両辺を 2 乗しますと cos2(A) = 1/((r-1)*(2*r-1))

⑤ と合わせて:
(r2 - 6*r + 9)/r2 = 1/((r-1)*(2*r-1))
2*r4 - 15*r3 + 36*r2 - 33*r + 9 = 0

4 次式になりましたが次のように因数分解できます。
(2*r - 1)*(r3 - 6*r2 + 9*r - 3) = 0

1 次式の部分を含めて Wolram|Alpha で求めた解は:

湯会老人が求めた結果と一致しています。
3 より大きい解として r ≈ 3.8794 をとります。
あとは同様。r から a, b, c および三角形 ABC の面積が求まります。


[ 湯会老人のコメント ]

三奈さん、ありがとう。

これでわかりやすくなりましたね。
2 つの道を cos2(A) で突き合わせることによって
計算が煩雑になるのを防いだのが良かったと思います。


[ 浅見多絵さんのコメント ]

やっと理解できました。うん、そういうことだったのか。

疾矢君は三奈ちゃんに負けてますね。しっかりしなさい。

[ 0341: 次の記事 ]

[ 0340: 素数日プログラム ]

[ 0339: emirp 探し ]

[ 0338: 0331の解きなおし ]

[ 0337: ubuntu 20.04 へ upgrade ]

[ 0336: πの近似計算 ]

[ 0335: 0253 の振り返り ]

[ 0334: Data Camp Python ]

[ 0333: 原始ピタゴラス数をさがす ]

[ 0332: LaTex の使いかた ]

[ 0331: 青い三角形の面積 ]

[ 0330: 長方形の幅 ]

[ 0329: 三角関数の関数の最大最小 ]

[ 0328: IMO 過去問 9 ]

[ 0327: 1+2+3+...+無限 ]

[ 0326: 2分木 sort も含めた性能比較 ]

[ 0325: 最悪ケースでの sort 比較 ]

[ 0324: 0307の回答 ④ ]

[ 0323: 0307の回答 ③ ]

[ 0322: 0307の回答 ② ]

[ 0321: 0307の回答 ① ]

[ 0320: 前の記事 ]

[ トップページへ ]