回答

✨ ベストアンサー ✨

キトさま
以下、複素数 z の共役複素数を記号【z】で表すことにします。
さて、解説(赤色)のさいごの2行は誤りだと思います。この部分の本解答は
 w≠-1 であるから z=(-w+1)/(w+1) .
 よって,
 (【-w】+1)/(【w】+1)=【z】= cosθ-i sinθ ■
だったのではないでしょうか。
この結果を w=-tan(θ/2) i を代入することで確かめよう、というのが、ここで言う確かめです。
したがって、さいごの2行は次のようになります。
 【w】=tan(θ/2) i ≠-1 であるから、【w】+1≠0。
 よって、(【-w】+1)/(【w】+1) の値は存在する。その値は
 (【-w】+1)/(【w】+1)
=(-【w】+1)/(【w】+1)
=(1-tan(θ/2) i)/(1+tan(θ/2) i)
=(1-tan²(θ/2)-2tan(θ/2) i)/(1+tan²(θ/2)) ← 分子・分母に ×(1-tan(θ/2) i) した
=(1-tan²(θ/2)-2tan(θ/2) i)・cos²(θ/2) ← 1+tan²α=1/cosα より
={cos²(θ/2)-sin²(θ/2)}-{2sin(θ/2)cos(θ/2)}i ←2倍角の公式 sin2α=2sinα cosα で α=θ/2 などとする
=cosθ-i sinθ ■
になります。
(補足)
解説(赤色)で θ=π/2 を代入すると
w=-tan(π/4) i=-i
∴【w】=i
このとき
(最後の式の左辺)=(-i+1)/(i+1)=-i
(最後の式の右辺)=(cos(π/2)+1)-(cos(π/2)+1)sin(π/2)×i=1-i
となって、解説文が誤りであることが分かります。

キト

ありがとうございます。共役複素数の公式を使った結果と合わなかったので不安でしたが、これを見て納得できました。
添削者とメールできるのが2日後くらいだったので、ここで早めに解決できたので安心できました。本当にありがとうございます。

この回答にコメントする
疑問は解決しましたか?