Έστω ότι η ευθεία

τέμνει τον κύκλο στα σημεία

και

. Προφανώς το

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

.
Συμβολίζουμε με

το κοινό σημείο των ευθειών

,

και της εφαπτομένης
στο

(υπόθεση).
Θεωρούμε επίσης και την εφαπτομένη
του κύκλου στο σημείο

η οποία τέμνει την

στο σημείο

.
Θα αποδείξουμε ότι το

είναι μέσο και του

.
Από τα εγγράψιμα τετράπλευρα
και

(
και
)και
το ισοσκελές τρίγωνο

έχουμε
. Επομένως, το τρίγωνο

είναι ισοσκελές,
οπότε το ύψος

θα είναι και διάμεσος, δηλαδή,

μέσο του

.

- exer_sol.png (94.29 KiB) Προβλήθηκε 138 φορές
Θεωρούμε το εκφυλισμένο τετράπλευρο που προκύπτει από το τρίγωνο

όταν η κορυφή

θεωρηθεί διπλή.
Η πλευρά

είναι τότε η εφαπτομένη
του κύκλου στο

.
Η ευθεία

τέμνει τα ζεύγη των απέναντι πλευρών στα εξής ζεύγη:
τις

και

και

,
τις

και

και

,
τον κύκλο

και

.
Από το θεώρημα ενέλιξης(*) του Desargues(**) τα τρία αυτά ζεύγη αποτελούν ζεύγη της ίδιας
προβολικής ενέλιξης στην ευθεία

. Είναι γνωστό ότι κάθε ενέλιξη ορίζεται από δύο ζεύγη συζυγών
σημείων, και εφόσον τόσο τα

και

όσο και

και

είναι συμμετρικά ως προς το

,τότε και τα

και

θα είναι
επίσης συμμετρικά ως προς το

, δηλαδή, το

είναι το μέσο του

.
Αν δεν θέλουμε να χρησιμοποιήσουμε το θεώρημα ενέλιξης του Desargues, ένας τρόπος είναι ο εξής:
Προβάλλουμε τα σημεία

,

,

και

στην ευθεία

από το σημείο

. Τότε,

,
,
,
Προβάλλουμε τα ίδια σημεία

,

,

και

στην ευθεία

από το σημείο

. Τότε

,
,
,
Επομένως,
Αλλά
, όπότε
.
Όμως
λόγω συμμετρίας ως προς το μέσο

των

,

,
όπου

το συμμετρικό του

ως προς το

.
Από τις (1) και (2)
, δηλαδή

μέσο του

.
(*) Έστω

το σύνολο όλων των σημείων που ανήκουν σε μια σταθερή ευθεία ή σε μια σταθερή κωνική.
Τότε, η συνάρτηση
ονομάζεται ενέλιξη, αν και μόνο αν ικανοποιεί τις εξής δύο προϋποθέσεις.

η

διατηρεί το διπλό λόγο, δηλαδή, για οποιαδήποτε σημεία

,

,

,
για κάθε σημείο
Το ζεύγος που έχει τη μορφή
θα ονομάζεται αμοιβαίο ζεύγος ή ζεύγος συζυγών σημείων.
(**) Θεώρημα ενέλιξης του Desargues
Τα ζεύγη των απέναντι πλευρών ενός πλήρους τετραπλεύρου και η περιγεγραμμένη σε
αυτό κωνική τέμνουν μια τυχαία ευθεία σε ζεύγη συζυγών σημείων μιας ενέλιξης