>>206
>>207 ありがとうございます。
複素数ｚの絶対値の定義を忘れていました。
|z-1|=√((cosx-1)^2+(sinx)^2)
cosx-1=-2(sinx/2)^2 より、z-1 を極形式で表して題意に沿う形に直す、ということですね。