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