三角関数がからむ公式ってなんで、こんなとても思いつかんような式変形がそろってんの？