Me topé con el siguiente resultado por accidente:
Deje $A, B, C$ ser los vértices de un triángulo rectángulo, el lado opuesto longitudes $a, b, c$ respectivamente, donde $\angle C = 90^\circ$ e $a^2 + b^2 = c^2$.
Dibujar la circunferencia inscrita, y deje $x, y, z$ ser la longitud de la tangente desde los vértices $A$, $B$, e $C$ , respectivamente, a la de la circunferencia inscrita. (Por lo $a = y + z$, $b = x + z$, e $c = x + y$.)
Entonces el área del triángulo es $\boldsymbol{xy}$.
Puedo probar esto de manera algebraica,$^1$ pero hay una imagen de prueba de este hecho?
Lo que tengo en mente es que nos cortan el triángulo $ABC$ en un número finito de piezas, y reorganizar en un rectángulo con lados de $x$ e $y$.
$^1$ Uso de $x = \frac{b+c-a}{2}$ e $y = \frac{a+c-b}{2}$, obtenemos $xy = \frac14\left(c - (a-b)\right)\left(c + (a-b)\right) = \frac14\left(c^2 - a^2 - b^2 + 2ab\right)$. De $c^2 = a^2 + b^2$ esto se reduce a $\frac14 (2ab) = \frac12 ab$, que es el área del triángulo.