Ας είναι

το δεύτερο σημείο τομής των κύκλων

και

, το οποίο είναι το σημείο Miquel
των τεσσάρων ευθειών

,

,

και

. Ως εκ τούτου,

Θεωρούμε τη σπειροειδή ομοιότητα (ομόρροπη ομοιότητα)
(
![[XY] [XY]](/forum/ext/geomar/texintegr/latexrender/pictures/61d9d7ec6afc1f648361c12072eafb79.png)
συμβολίζει το ευθύγραμμο τμήμα με άκρα τα σημεία

,

).
Εφόσον οι ευθείες

και

τέμνονται στο

, τότε το κέντρο της σπειροειδούς ομοιότητας είναι, ως γνωστόν,
το δεύτερο σημείο τομής των κύκλων

και

, δηλαδή, το

. Με τη σπειροειδή ομοιότητα

ο κύκλος
μετασχηματίζεται στον κύκλο

, και το κέντρο

του

στο κέντρο

του

, δηλαδή

,
και εφόσον

, τότε
![h : [BO]\,\rightarrow \,[DS] h : [BO]\,\rightarrow \,[DS]](/forum/ext/geomar/texintegr/latexrender/pictures/ec066c77c7b18d9e46eaba50d2e9c881.png)
.

- same_circle.png (45.9 KiB) Προβλήθηκε 724 φορές
Αλλά, τότε υπάρχει επίσης και η σπειροειδής ομοιότητα

κέντρου επίσης

, τέτοια ώστε,
![h' : [BD]\,\rightarrow \,[OS] h' : [BD]\,\rightarrow \,[OS]](/forum/ext/geomar/texintegr/latexrender/pictures/e6f5f3944d88c424ef1a627c8d7269d1.png)
.
Επομένως,
Όμως, τα τρίγωνα

και

είναι ίσα (έχουν και τις τρεις πλευρές τους ίσες μία προς μία), οπότε
Από τις

,

και

προκύπτει ότι

.
Αλλά, είναι

εφόσον το

είναι παραλληλόγραμμο (βλέπε
εδώ).
Επομένως,

, δηλαδή, το

εγγράψιμο.