sin45°って1/√2じゃん?sin15°って1/2じゃん?
1/√2を有理化して√2/2にして
そのまま引き算で(√2-1)/2になるのかなって思ってたら違った