">  図において DC の長さを求めよ。
解答

∠BAD = ∠DAC なので
AB : AC = BD ; DC である。
よって AB = 2, BD = 1 なので
x = DC とおくと AC = 2x である。
θ = ∠ADB とおくと
cos θ = 1/4 である。
cos ∠ADC = cos (-θ) = -1/4 なので、余弦公式より
 (2x)2 = x2 + 22 - 2・x・2・(-1/4)
である。整頓して
3x2 - x - 4 = 0
解くと x = -1 または x = 4/3
x > 0 なので x = 4/3 である。
 DC = 4/3 である。
戻る