四角形ABCDは円に内接するので、∠BCD = 180° - ∠BAD が成り立ちます。
∠BAD = θ とおくと、∠BCD = 180° - θ となります。
四角形ABCDにおいて、余弦定理を2回適用します。
まず、三角形ABDにおいて、BDの長さを求めます。
BD2=AB2+AD2−2⋅AB⋅AD⋅cosθ BD2=32+42−2⋅3⋅4⋅cosθ BD2=9+16−24cosθ BD2=25−24cosθ 次に、三角形BCDにおいて、BDの長さを求めます。
BD2=BC2+CD2−2⋅BC⋅CD⋅cos(180°−θ) BD2=12+32−2⋅1⋅3⋅cos(180°−θ) BD2=1+9−6⋅(−cosθ) BD2=10+6cosθ したがって、
25−24cosθ=10+6cosθ 15=30cosθ cosθ=21