eidosM
...pare più generale.
... purchè l'= sormontato dal segno ~ significhi (ieri uguale) (oggi con scelta del termine infelice, almeno per le altre entità geometriche) congruente.
POR, POS,QOM e QON sono 4 triangoli equilateri uguali per avere l'ipotenusa ed un cateto uguali ( raggi dei cerchi interno ed esterno)
POR, POS,QOM e QON sono 4 triangoli equilateri uguali per avere l'ipotenusa ed un cateto uguali ( raggi dei cerchi interno ed esterno).
Come conseguenza sono parimenti uguali i triangoli PRS e QMN e, pertanto, le corde RS ed MN