Έχουμε και λέμε:
Για το i)
Παίρνεις διακρίνουσα, κάνεις πράξεις, αντικατάσταση των μιγαδικών με την διανυσματική τους μορφή, όπως δίδεται στην εκφώνηση και καταλήγεις στο
<0)
(επειδή

). Άρα, επειδή η διακρίνουσα είναι αρνητική, δε δύναται να 'χει πραγματικές λύσεις η εξίσωση.
Για το ii)
Επειδή οι ρίζες τις εξίσωσεις θα 'ναι μιγαδικές, θα 'ναι και συζυγείς μεταξύ τους. Από Vieta ισχύει:

. Όμως

. Άρα

. Έτσι προκύπτει:

.
Για το iii)
\stackrel{(ii)}{=} 2 + 2 -2\frac{x_1\cdot\overline{x_2}+\overline{x_2}\cdot x_1}{2}=\\=4-(x_1^2-x_2^2)=4-\left( (x_1+x_2)^2-2x_1\cdot x_2\right)=4-(4|z_1-z_2|^2-4)=8-4|z_1-z_2|^2)
.
Άρα

.
Για το iv)
Το να δείξεις ότι είναι πραγματικός, πάρε το συγυζή του, κάνε αντικατάσταση τα συζυγή με την άλλη ρίζα της εξίσωσης (αφού οι ρίζες είναι συζυγείς) και προκύπτει εύκολα το ζητούμενο. Τώρα για το δεύτερο σκέλος:
^2-2x_1\cdot x_2}{x_1\cdot x_2}\stackrel{vieta}{=}\frac{4|z_1-z_2|^2-4}{2}=2|z_1-z_2|^2-2)
.
Ψάχνουμε όμως την ελάχιστη τιμή. Όμως

. Επομένως, ψάχνουμε πότε το

γίνεται

. Αυτό γίνεται

, όταν

, το οποίο είναι δυνατόν να ισχύει αφού τα

, κινούνται σε μοναδιαίο κύκλο και αυτό επιτυγχάνεται όταν
συμπίπτουν.
Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.