Στο ορθογώνιο σύστημα συντεταγμένων, η ευθεία με εξίσωση ανακλάται πάνω σε στον άξονα και η εικόνα της ανάκλασής της ονομάζεται .
Η ευθεία με εξίσωση ανακλάται πάνω στον άξονα και η εικόνα της ανάκλασής της ονομάζεται .
Έστω , και τα τέσσερα σημεία της τομής των και με τις ευθείες και .
Αποδείξτε ότι τα σημεία , και είναι ομοκυκλικά.