Disegna un triangolo rettangolo circoscritto a una circonferenza.
Dimostra che il diametro della circonferenza è congruente alla differenza fra la somma dei cateti e l'ipotenusa.

I segmenti di tangenza BF e BE sono tra loro congruenti  e, per lo stesso motivo anche i segmenti di tangenza CF e CD e AE e AD.  La differenza tra l'ipotenusa e la somma dei cateti è allora  data dalla somma dei segmenti AE e AD. Il quadrilatero AEOD è un quadrato perchè ha quattro angoli retti e due lati consecutivi congruenti (i segmenti di tangenza AE e AD). I suoi lati sono congruenti al raggio della circonferenza e la somma dei segmenti AE e AD al diametro della circonferenza