a) Założenie:

Teza:

Długości boków trójkąta prostokątnego tworzą ciąg arytmetyczny wtedy i tylko wtedy, gdy trójkąt ten jest podobny do trójkąta o bokach .

Dowód: