Math Battle [ 0160: 円内の4本の弦 ]

[ 0160: 円内の4本の弦 ]


[ 千手春弥さんの出題 ]

図に示すように円の中に 4 本の弦 a, b, c, d があり、 これらの間の角度は順にすべて同じ (α) です。

このとき
(a + c) / (b + d) = b / c が成立することを証明してください。


[ 井伊莞爾君の回答 ]

今回から Math Battle に入会させていただきました 井伊莞爾 (いいかんじ) です。
Math Battle 蹴球団イレブン (これまで 11 人) に加わった新参者ですが、
よろしくご指導ください。

a と d に挟まれて 3 個の三角形が先端を束ねた傘のように並んでいるものとみなします。 これらの根元の辺を考えますと、それぞれ同じ大きさの円周角を持ちますから 辺長も同じ。これを e とします。

3 個の三角形に 余弦定理 を使ってみますと:

① cos(α) = (a^2 + b^2 - e^2)/2*a*b
② cos(α) = (b^2 + c^2 - e^2)/2*b*c
③ cos(α) = (c^2 + d^2 - e^2)/2*c*d

① と ② から:

b*c*(a^2+b^2-e^2) = a*b*(b^2+c^2-e^2)
a^2*b*c+b^3*c-b*c*e^2 = a*b^3+a*b*c^2-a*b*e^2
a*b*c*(a-c)-(a-c)*b^3+(a-c)*b*e^2 = 0
(a-c)*(a*b*c-b^3+b*e^2) = 0
(a-c)*b*(a*c-b^2+e^2) = 0

b=0 を除外しますと: c = a, (b^2 - e^2) / a

同様に ② と ③ から:

c*d*(b^2+c^2-e^2) = b*c*(c^2+d^2-e^2)
...
(b-d)*c*(b*d-c^2+e^2) = 0

c=0 を除外しますと: d = b, (c^2 - e^2) / b

(a + c) / (b + d) の値を場合別に整理します。

  c = a c = (b^2 - e^2) / a
d = b a+c=2*c, b+d=2*b
から c / b
(a^2+b^2-e^2) / 2*a*b
d = (c^2 - e^2) / b 2*b*c / (b^2+c^2-e^2) (b/a)*(a^2+b^2-e^2) / (b^2+c^2-e^2)

おかしいですね。どの場合も (b / c) になりません。 ヘルプをお願いします。


[ 星楊令さんのコメント ]

千手さんはときどき人を惑わす出題をしますから、気をつけてください。 (笑)
図では (a + c) / (b + d) = b / c が成立しているように見えます。
回答を見直してみましょう。


[ 大宙乗児君のコメント ]

e, cos(α) の順に消してゆきましょう。

① は 2*a*b*cos(α) = (a^2 + b^2 - e^2)
② は 2*b*c*cos(α) = (b^2 + c^2 - e^2)

両辺それぞれ引いて:
2*b*(a - c)*cos(α) = (a + c)*(a - c)

a = c, cos(α) = (a + c) / (2*b)

同様に ② と ③ から:
b = d, cos(α) = (b + d) / (2*c)

(a + c) / (b + d) の値を場合別に整理します。

  a = c cos(α) = (a + c) / (2*b)
b = d 成立しません。 cos(α)
cos(α) = (b + d) / (2*c) 1 / cos(α) b / c


[ 井伊莞爾君のコメント ]

うわさの乗児君、ありがとう。
まだわからない部分があるけど、よく考えてみます。
a = c になるのは b が直径と重なったとき。
たしかに b = d とは両立しませんね。


[ 千手春弥さんのコメント ]

乗児君、ちょっと待った。場合分けする習慣はいいけど、詰めが甘いなあ。
cos(α) も 1 / cos(α) もそれらの場合を考えれば b / c になります。

a = c のときは b が円の直径と重なるとき。
b, 角度 α, c で構成される三角形は直角三角形。
したがって 1 / cos(α) = b / c

同様に、b = dのときは c が円の直径と重なるとき。
b, 角度 α, c で構成される三角形は直角三角形。
したがって cos(α) = b / c

a = c かつ b = d の場合 (ありえない) を除外して、
それ以外は (a + c) / (b + d) = b / c が成立します。


[ 大宙乗児君のコメント ]

ああー、そうだったんだ。ありがとうございます。


[ 湯会老人のコメント ]

a = c かつ b = d の場合も考えてみましょう。
α = 0で a = b = c = d の場合です。
この場合も (a + c) / (b + d) = b / c (= 1) が成立しますね。

[ 0161: 次の記事 ]

[ 0160: 円内の4本の弦 ]

[ 0159: ドーナツの面積 ]

[ 0158: 4次方程式の解 ]

[ 0157: アクセス解析 ]

[ 0156: 半径を求める ]

[ 0155: パイを100人で分ける ]

[ 0154: x^3+y^3+z^3=33 ]

[ 0153: パイを分ける ]

[ 0152: 黄金比を方程式で求める ]

[ 0151: 0045の訂正 ]

[ 0150: ヘロンの公式の証明 ]

[ 0149: Gabriel's Horn ]

[ 0148: sin(α)*sin(β)*sin(θ) ]

[ 0147: 3個の半円と1個の円 ]

[ 0146: i^(i^(i^(i^(i... の値は? ]

[ 0145: x^3 = 3^x の解は? ]

[ 0144: x!=x のxは? ]

[ 0143: 角度δを求める ]

[ 0142: 三角形の面積の最大値 ]

[ 0141: 黄金比の再帰的な求めかた ]

[ 0140: 前の記事 ]

[ トップページへ ]