Είπα να το δω και λίγο υπολογιστικά το θέμα ... και έμπλεξα άσχημα
Ας πούμε λοιπόν ότι αναζητούμε έναν αντιρόμβο -- περιγράψιμο τετράπλευρο με ταυτιζόμενα έγκεντρο και βαρύκεντρο που δεν είναι ρόμβος -- που έχει ως δοθείσα κορυφή την

, εγγεγραμμένο κύκλο τον

, και ως βαρύκεντρο/έγκεντρο το

. Αν οι άλλες κορυφές είναι οι

η βαρυκεντρική απαίτηση μας δίνει αμέσως

. Τι μπορούμε να πούμε για τις υπόλοιπες κορυφές (και τα

), και πόσες/ποιές λύσεις υπάρχουν;
Στην προσέγγιση μου ζητώ να είναι ίσες προς

(ακτίνα εγγεγραμμένου κύκλου) οι αποστάσεις του

από τις

. Χρησιμοποιώντας τον τύπο εξίσωσης ευθείας διερχόμενης από δύο σημεία και τον τύπο απόστασης σημείου από ευθεία καταλήγουμε στις αντίστοιχες εξισώσεις
Ανάλογα με το αν θα χρησιμοποιήσουμε το

ή το

για τα

στις δύο ακριανές εξισώσεις, οι δύο μεσαίες εξισώσεις μας δίνουν τέσσερα συστήματα, που είναι στην πραγματικότητα δύο, και από τα οποία μόνο το ένα μας δίνει λύσεις: εδώ παραλείπω κάποιες λεπτομέρειες, αλλά το κρίσιμο σύστημα είναι (με

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

και
αντίστοιχα: βεβαίως δεν είναι καθόλου προφανές -- ούτε καν σε μένα, προφανώς μου διαφεύγει κάτι -- ότι οι δύο εξισώσεις/τύποι δίνουν τις ίδιες λύσεις, αλλά είναι αληθές (και επαληθεύεται και με γραφήματα)!
Ως παράδειγμα επιλέγω

, οπότε

(ή αντίστροφα), και, χάρις στους προηγηθέντες τύπους,

: ο αντίστοιχος αντιρόμβος εικονίζεται στο συνημμένο (επαληθεύοντας πανηγυρικά τα παραπάνω)

[Ισχύει και η μυστηριώδης

, καθώς

]
[Φυσικά τα περισσότερα τετράπλευρα που προκύπτουν από τις 'σχέσεις απόστασης' και τους 'δυϊκούς' μας τύπους δεν είναι καν κυρτά, φαίνεται όμως πως για κάθε

μεταξύ

και

προκύπτει ένας αντιρόμβος με εγγεγραμμένο κύκλο τον

, ενώ ο πολυτιμότατος και εντιμότατος ρόμβος (με μία κορυφή στο

και εγγεγραμμένο κύκλο τον

) προκύπτει από την τετριμμένη λύση

. (Πρέπει να σημειωθεί ότι για

η

δίνει

... και έναν ακόμη αντιρόμβο με κορυφές

(κάτι που δεν πρέπει να μας εκπλήσσει, αφού αντιρόμβοι υπάρχουν και για κάποια αρνητικά

, πχ

... αλλά, τελικά, και για κάποια

, πχ

)]
Γιώργος Μπαλόγλου