>>173
ごめん…念のため
任意のnに対して→任意の2以上のnに対してに修正
>>175
sin1=sin2が成り立つとして両辺に2cos1!=0をかける
2cos1sin1=2cos1sin2
sin2=cos1sin2
1=cos1
矛盾