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