一応は角の2等分線の性質と三平方の定理だけでできる
どうせ小さい方の整数倍だろうと見当をつけた上でトライ＆エラーをすれば1:3と求まる
tanの加法定理を使えば楽だが、知らない厨房には結構厳しいかも