La fórmula de Herón según Boscovich

Presentamos aquí la demostración por Ruder Boscovich de la que desde el siglo XX se conoce como fórmula de Herón. La demostración aparece en Opera pertinentia ad opticam, et astronomiam, maxima ex parte nova, et omnia hucusque inedita, (1785), tomo V, Opúsculo 14, que comienza así:

Opúsculo XIV.- Demostraciones simples de algunos bellos teoremas sobre triángulos.
Los teoremas que se demuestran en este pequeño opúsculo son elementales y muy conocidos. Tratan de la manera de encontrar, dados los tres lados, un ángulo cualquiera, el radio del círculo inscrito y el área. Las demostraciones que se dan habitualmente en las obras elementales son bastante complicadas. Habiendo encontrado una demostración del primer teorema de una gran simplicidad y tal que, con la misma figura y las mismas palabras se aplica al triángulo plano y al esférico y viendo que las dos otras para el triángulo plano surgen por sí mismas y que para el área del triángulo esférico hay una determinación tan simple y elegante, creo poder proponer todo esto como un objeto muy útil para los redactores de elementos, para ahorrar a los jóvenes alumnos mucha pena, y para inspirarles cierto gusto por la nitidez, la claridad y la elegancia, que deben tener lugar principalmente en las verdades elementales por
las cuales se empieza a desarrollar las ideas y se abre un camino a los conocimientos más complicados y más sublimes.

A continuación Boscovich enuncia el siguiente teorema, que, modernizando la notación y limitándonos al caso plano (el original en este enlace), dice:
Si  son los lados del triángulo,  el semíperímetro y  el ángulo opuesto al lado , entonces   .

Para la demostración usamos la figura siguiente, donde  es el punto de intersección de las bisectrices,  son los segmentos entre los vértices y los puntos de tangencia con el incírculo y  son perpendiculares a la bisectriz : es igual al semiperímetro , y por tanto ,  y .
, porque es ángulo externo de  y , porque, por , es complementario del 
y      suman un recto.
Por tanto  y .

Por la definición de seno, , , , .
Por tanto .
Pero  y 
Entonces  y como y , tenemos demostrado el teorema, que nos da el ángulo a partir de los lados.

Boscovich obtiene como corolario las fórmulas para el radio del íncirculo y el área:
Como , la fórmula demostrada se puede escribir.
En el  tenemos ,
.
De donde , es decir .
Y como el área de  es la suma de las áreas de , que es , el cuadrado del área será .

TOMADO DE: http://apolonio.es/guirnalda/la-formula-de-heron-segun-boscovich/