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

και με τον τύπο
καταλήγω στην εξίσωση:
που το λογισμικό δίνει 