Θα αποδείξουμε πρώτα ότι η δοσμένη συνθήκη είναι αναγκαία.
Από το Νόμο των Ημιτόνων στο τρίγωνο

και από το ορθογώνιο τρίγωνο

(όπου

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

με την πλευρά

) προκύπτει ότι:
Όμοια, βρίσκουμε ότι
και
Θα αποδείξουμε τώρα ότι η συνθήκη είναι και ικανή.
Έστω

Τότε, έχουμε διαδοχικά:
(*)
Παρατηρούμε ότι η εξίσωση
(*) εμφανίζει τρεις εναλλαγές προσήμου των (μη μηδενικών) συντελεστών της. Άρα, από τον κανόνα προσήμων του Descartes, η εξίσωση
(*) έχει το πολύ τρεις θετικές ρίζες (εδώ μια διπλή ρίζα μετράει ως δύο ρίζες και μια τριπλή ως τρεις).
Δείξαμε όμως παραπάνω ότι οι (θετικοί) αριθμοί

και

είναι θετικές ρίζες της εξίσωσης
(*).
Επομένως, αν ο αριθμός

ικανοποιεί τη σχέση

τότε ο αριθμός

είναι ένας από τους

άρα και ο

θα είναι ένας από τους
***** Θάνο, έχεις υπόψη σου κάποιον απλούστερο τρόπο;