Aby obliczyć pole trójkąta prostokątnego ABC musimy znać długości jego przyprostokątnych. 

Zauważmy (na podstawie powyższego rysunku), że odcinki AB i BC są przyprostokątnymi trójkąta prostokątnego ABC. 

Obliczamy długości odcinków AB i BC. 
$\left|AB\right|=\sqrt{{\left(0-\left(-4\right)\right)}^2+{\left(0-4\right)}^2}=\sqrt{4^2+{\left(-4\right)}^2}=\sqrt{16+16}=\sqrt{16\cdot 2}=4\sqrt{2}$