余弦で正三角形の一辺の長さがわかるからそこからトレミーの定理