よく考えてみたら、1+√3とか√3-1って45度や30度のsinやcosをかけてから足したり引いたりしてるものの定数倍だから75度には気づいても不思議ではないか。