Wykonajmy rysunek pomocniczy i wprowadźmy oznaczenia:

Możemy zauważyć, że trójkąty CDS oraz ABS są równoboczne - wszystkie ich boki mają długość 4.

Na mocy twierdzenia odwrotnego do Pitagorasa możemy stwierdzić, że trójkąty BCS i ADS są prostokątne i równoramienne (kąt BSC jest prosty) - długości ich boków to  $4,4,4\sqrt{2}$  , a więc prawdziwa jest równość:

$4^2+4^2={\left(4\sqrt{2}\right)}^2$