初めから全部代数的にやると因数分解がめんどいから、
二等辺三角形を二等分して三角形の相似から関係式を得ると早い。