1) Demostracin de Hern: En primer lugar inscribi un crculo en el tringulo y dedujo que el rea del mismo era A = r p (siendo r el radio

del crculo y p la mitad del permetro del tringulo).

A continuacin estudia los tringulos que se forman y llega a la conclusin de que son congruentes las siguientes parejas de tringulos: AOM y AOP BON y CON AOP y COP Por lo que resulta: AM = AP, BM = BN, CP = CN y adems: <AOM = <AOP <BOM = <BON <COP = <CON Seguidamente prolong la base AB hasta C' de forma que AC'= PC (= CN) y argument BC' = BM + MA + AC'= BM + MA + CN = 1/2 ( 2 BM + 2 MA + 2 CN) = 1/2 ( (BM + AM) + (AM + AP) + (CN + CP) ) = 1/2 ( (BM + AM) + (BN + NC) + (AP + PC) ) = 1/2 (a + b + c ) = p (semipermetro)

p - c = (C'A + AM + MB) - (AM + MB) = C'A p - b = (C'A + AM + MB) - (CP + PA) = (C'A + AM + MB) - (C'A + AM) = MB p - a = (C'A + AM + MB) - (CN + NB) = (C'A + AM + MB) - (C'A + MB) = AM

En este momento de la demostracin, Hern traza una perpendicular a la base por A y otra al segmento OB (por O). Ambas se cortan en T y une dicho punto con B. Obtiene de esta forma un cuadriltero TAOB tal que sus ngulos opuestos suman dos rectos (Euclides III.22: " Los ngulos opuestos de los cuadrilteros en los crculos son iguales a dos rectos".) (Ver Applet 2) El cuadriltero dado se puede inscribir en un crculo por ser TO perpendicular a OL y AT perpendicular a AB. (Cul es el centro de dicho crculo?); es decir <ATB + <AOB = 180. Como 2x + 2y + 2z = 360 resulta que x + y + z = 180; puesto que y + z = <AOB resulta que x + <AOB = 180 = <ATB + <AOB y concluye que <ATB = x.

A continuacin Hern comienza a comparar parejas de tringulos semejantes: Son semejantes los tringulos POC y ATB. AB/AT = PC/r y como PC = C'A resulta AB/AC' = AT/r

Tambin son semejantes los tringulos KAT y KMO AT/AK = OM/KM = r/KM, por lo que AT/r = AK/KM

Teniendo en cuenta las dos proporciones anteriores resulta AB/AC' = AK/KM; sumando 1 a cada miembro de esta igualdad: AB/AC'+ 1 = AK/KM + 1 (AB + AC')/AC' = (AK + KM)/KM C'B/AC' = AM/KM, expresin equivalente a (C'B C'B)/(AC' C'B) = (AM MB)/(KM MB) o bien 2 C'B KM MB = AC' C'B AM MB A continuacin Hern considera el tringulo BOK, que es un tringulo rectngulo de altura r, que es precisamente la altura relativa a la hipotenusa; aplicando el teorema de la altura ("En todo tringulo rectngulo la altura relativa a la hipotenusa es media proporcional entre los dos segmentos que sobre la 2 misma determina)", establece que r = KM MB. Sustituyendo en la expresin anterior tenemos: C'B r = AC' C'B AM MB Que son cada uno de los segmentos determinados sobre la base del tringulo; sustituyendo y manipulando las expresiones: C'B r = p (p - a) (p - b) (p - c) 2 (C'B r) = p (p - a) (p - b) (p - c) Pero C'B r = p r = rea, segn se deduce al comienzo de la demostracin (Pareca que no servira para nada!), por lo que: rea = p (p - a) (p - b) (p - c)
2 2 2 2 2