>>976
この手の三角関数の有理式ではx=tan(s/2)と置換するのが定石で、ほぼ全て解ける
ただこれは大学で習う置換で、便利だけど高校ではほぼ使わない
納得いかないならこれで計算して