頂角が半分の三角形の三平方の定理の変換

【問題】 三角形の頂角を半分にした三角形に関して、
以下の式１及び２が成り立つことを証明せよ：

 

この問題の解答はここをクリックした先にあります。

リンク：
高校数学の目次