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.