Καλησπέρα και χρόνια πολλά.
Για το πρόβλημα θα βασιστούμε αρκετά στο σχήμα,καθώς υπάρχουν αρκετά configuration issues (δηλαδή κανονικά πρέπει να εργαστούμε με προσανατολισμένες γωνίες,αλλά τέλοσπαντων)

- output-onlinepngtools.png (69.47 KiB) Προβλήθηκε 1501 φορές
Θεωρούμε τους κύκλους

-

αντίστοιχα.
Η αντιστροφή ως προς τον
ανταλλάζει τους
.
Απόδειξη:
Tα

μένουν αμετάβλητα,οπότε αρκεί ένα ακόμα σημείο του

να πηγαίνει στον

.Έστω

η εικόνα του

.
Είναι λόγω της αντιστροφής
οπότε

εγγράψιμο-όπως πρέπει.
Ας είναι

.
Η ουσία του προβλήματος είναι ότι:
Οι
και
είναι συνευθειακές τριάδες.
Απόδειξη:Το

ως κέντρο αντιστροφής που ανταλλάσει τους

είναι και (εξωτ.) κέντρο ομοιοθεσίας τους.Επειδή

αρκεί να δείξουμε ότι τα τόξα

είναι ίσα.(δηλαδή ότι πρόκειται για ομόλογα τόξα.Για ευκολία μπορούμε να θεωρήσουμε τα κέντρα των

-έστω

-και να μιλήσουμε για ομοιοθεσία των

από όπου προκύπτει και η "ομολογία" των τόξων.
Κανονικά βέβαια μια τέτοια ισότητα τόξων θα έδινε "ομολογία" είτε ως προς την εξωτερική είτε ως προς την εσωτερική ομοιοθεσία.Λόγω θέσης των

-πάνω από την

-αποκλείεται η εσωτερική ομοιοθεσία και μένει η εξωτερική,όπως πρέπει).
Προς αυτήν την κατεύθυνση δείχνουμε ότι τα

είναι ισογώνια συζυγή στο

(μετά είναι απλό ότι

).
Έχουμε

,

και

,

.
Άρα από

,

.
Θέλουμε/ισχυριζόμαστε (σε συνδυασμό με

)

που είναι η κλασική σχέση που ισχύει για ισογώνια συζυγή.(και αποδεικνύεται-αν δε βαριόμαστε-συνεχίζοντας το κυνήγι γωνιών)
Έτσι,πράγματι έχουμε

και κατά ανάλογο τρόπο

από όπου τα

είναι ισογώνια συζυγή.
Μ'αυτά και μ'αυτά,η ομοιοθεσία κέντρο

στέλνει το

στο

.Συνεπώς στέλνει* το

στο

και το

στο

,πράγμα που σημαίνει ότι οι

και

είναι συνευθειακές τριάδες.
*Κανονικά πρέπει να αποκλείσουμε το ενδεχόμενο

-εκτός από τετριμμένες περιπτώσεις που τα σημεία ταυτίζονται.Αυτό δεν είναι δύσκολο να δειχτεί:Αρκεί να παρατηρήσουμε ότι τα

βρίσκονται εκατέρωθεν της

και ότι η τομή

βρίσκεται εντός της λωρίδας που ορίζουν οι

άρα σίγουρα όχι πάνω στον κύκλο

.
εγγράψιμα.
Απόδειξη:(Το δείχνουμε για το δεύτερο,ανάλογο επιχείρημα εφαρμόζεται και στο πρώτο) Ας είναι

.
Από

(

,

εγγράψιμο) έχουμε

εγγράψιμο και (

,

εγγράψιμο)

επίσης εγγράψιμο.Έτσι,

(

εγγράψιμο)

από όπου

συνευθειακά.
Κατά ανάλογο τρόπο,είναι

από όπου

συνευθειακά.
Από (αντίστροφο)

στους

και λόγω των παραπάνω συνευθειακοτήτων,παίρνουμε

.Τέλος,από

(

,

εγγράψιμο) έχουμε

εγγράψιμο κλπ.

Τελείωμα:Το κέντρο του κύκλου (είναι κύκλος λόγω

)

είναι η τομή της μεσοκαθέτου της

και της διχοτόμου του

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

).
Αντίστοιχα,αυτό ακριβώς είναι και το κέντρο του κύκλου

.Τελικά λοιπόν οι δύο κύκλοι ταυτίζονται καθώς έχουν κοινό κέντρο και ακτίνα (πχ. την

,

το κέντρο του κύκλου),γεγονός που δίνει ότι

ομοκυκλικά,όπως ακριβώς θέλαμε.