Considera le semirette r, s, t e u, uscenti dallo stesso punto origine O e tali che gli angoli tra r e se tra te u siano entrambi retti e gli angoli tra ret e tra u e s siano entrambi acuti. Siano R un punto di r, S un punto di s, T un punto di t e U
un punto di u tali che OR = OS e OT = OU.
Dimostra che TR ≥ US.