On a juste utilisé le fait que
.
Pour la 2ème partie de la question, en remplaçant
et
par
et
, je suppose que les calculs sont bons donc oui on peut faire comme cela. Quoi qu'il en soit, il n'y a pas unicité de la méthode pour prouver que
est réel et que
et
sont complexes conjugués.