この問題かなり難問ですよね・・・。
道筋でもつけられた人います？補助線か、三角関数だとは思うんだけど・・・。
（もちろん違うかもしれませんが）