Fläche eines rechtwinkligen Dreiecks