二等辺三角形と半角公式

頂角 （ は鋭角） で一辺が1の2等辺三角形の底辺の長さは、余弦定理だと だが、頂角の頂点から垂線を下してみると、 となるので、
が鋭角のとき、 、つまり
が成立する。ちなみに面積比較だと
から
が成立する。