Μάκη πραγματικά
πολύ καλή άσκηση την οποία θυμάμαι αλλά μετά ξεχάστηκα να ασχοληθώ και έτσι έφυγε από την μνήμη...
Για τα παιδιά που δε διδάσκοντα την τριγωνομετρική μορφή να αναφέρουμε το εξής:
Λήμμα: Αν
ένας μιγαδικός αριθμός τότε είναι εύκολο να αποδείξουμε ότι
και μετά επαγωγικά μπορούμε να δείξουμε ότι
για οποιοδήποτε φυσικό αριθμό
. Επίσης αν
και
τότε
.
Επιστροφή στην άσκηση:
Για το
Οι συνθήκες

και

είναι ισοδύναμες με τη σχέση

. Επίσης

για

άρα

για

.
Παίρνοντας στην

συζυγείς λαμβάνουμε

δηλαδή

η οποία μας απαντάει στο

με τη βοήθεια του λήμματος παραπάνω.
Για το
Αν υψώσουμε στο τετράγωνο την

και χρησιμοποιήσουμε τη

παίρνουμε

η οποία απαντάει στο ερώτημα

.
Για το
Χρησιμοποιούμε την ταυτότητα

οπότε από τις

παίρνουμε

που με τη βοήθεια του Λήμματος παίρνουμε το ζητούμενο.
Για το
Χρησιμοποιούμε τον κανόνα του παραλληλογράμμου:

. Σε συνδυασμό με την

που δίνει

και τα μοναδιαία μέτρα των μιγαδικών

παίρνουμε τελικά

και όμοια

. Άρα τελικά

δηλαδή το τρίγωνο με κορυφές τα

είναι ισόπλευρο εγγεγραμμένο σε κύκλο ακτίνας

.
Για το
Αν πάρουμε

είτε

(

) προχωράμε με επαγωγή επί του

.
Για

ισχύει και στις δύο περιπτώσεις.
Έστω

και ας υποθέσουμε ότι ισχύει για

δηλαδή αν

είτε

δηλαδή:
αλλά και

.
Θα αποδείξουμε ότι ισχύει για

δηλαδή για εκθέτη

είτε

.
Θα κάνουμε χρήση της ταυτότητας
την οποία είχα αναφέρει κι
εδώ (για να φανεί η χρησιμότητά της) οπότε έχουμε:
Όμοια από την ίδια ταυτότητα αλλά αυτή τη φορά με τη βοήθεια των σχέσεων

παίρνουμε τελικά

άρα τελικά

για όλους τους φυσικούς αριθμούς

που δεν είναι πολλαπλάσια του

.
Τέλος, παίρνοντας συζυγείς έχουμε:

δηλαδή τη δεύτερη ζητούμενη σχέση

για όλους τους φυσικούς αριθμούς

που δεν είναι πολλαπλάσια του

.
Για τα
και
Δεν έχουμε να κάνουμε κάτι παραπάνω αφού είναι άμεσο πόρισμα του παραπάνω ερωτήματος και του Λήμματος.
Για το
(Εχει ένα μικρό τυπογραφικό αφού το αριστερό μέλος ισούται με το

και όχι

). Η σχέση αυτή προκύπτει άμεσα από τη σχέση

αν διαιρέσουμε με

.
Για το
Είναι άμεσο πόρισμα της προηγούμενης σχέσης και του Λήμματος (από εκεί φαίνεται και το τυπογραφικό στο προηγούμενο ερώτημα).
Για το
Στην αρχή δείξαμε ότι:

άρα αναπτύσσοντας τα συνημίτονα με τους γνωστούς τύπους διπλασίου τόξου παίρνουμε
Όμως

οπότε κάθε μία από τις δύο αυτές παραστάσεις είναι ίση με

.
Για το
Από τη σχέση

που δείξαμε παραπάνω και από την γνωστή σχέση

και σε συνδυασμό με το ότι

παίρνουμε την πρώτη από τις ζητούμενες σχέσεις.
Τέλος από τη σχέση

που δείξαμε παραπάνω και από την γνωστή σχέση

και σε συνδυασμό με το ότι

παίρνουμε την δεύτερη από τις ζητούμενες σχέσεις.
Ουφ...
Αλέξανδρος