Fórmula de Herón

Na Galipedia, a Wikipedia en galego.
Un triángulo con lados a, b, c e ángulos opostos

En xeometría, a fórmula de Herón dá a área dun triángulo en función das tres lonxitudes dos lados Sexa o semiperímetro do triángulo, a área é [1]

Leva o nome do enxeñeiro Herón de Alexandría do século I quen a demostrou na súa obra Metrica, aínda que probablemente se coñecía séculos antes.

Exemplo[editar | editar a fonte]

Sexa o triángulo con lados e O semiperímetro deste triángulo é , a área será logo

Expresións alternativas[editar | editar a fonte]

A fórmula de Herón tamén se pode escribir en termos só das lonxitudes, sen usar o semiperímetro,

A mesma relación pódese expresar usando o determinante de Cayley-Menger, [2]


Probas[editar | editar a fonte]

Proba trigonométrica mediante a lei dos cosenos[editar | editar a fonte]

En primeiro lugar mostramos unha proba moderna, bastante diferente da proporcionada por Herón. [3] Sexan os lados do triángulo e os ángulos opostos a eses lados (figura inicial). Aplicando a lei dos cosenos obtemos

A partir deste coseno obtemos o seno,

A altura do triángulo con base mide , e segue

Proba alxébrica mediante o teorema de Pitágoras[editar | editar a fonte]

Triángulo coa altura h que corta a base c en d + (cd)

A seguinte proba é moi semellante á dada por Raifaizen. [4] Polo teorema de Pitágoras temos e segundo a figura de enriba. Restando temos, Esta ecuación permítenos expresar en función dos lados do triángulo:

Para a altura do triángulo temos Se substituímos coa fórmula dada anteriormente e aplicando a diferenza de cadrados obtemos

E por último:

Proba trigonométrica mediante a lei das cotanxentes[editar | editar a fonte]

Significado xeométrico de sa, sb e sc. Vexa a lei das cotanxentes para coñecer o razoamento detrás disto.

Se é o raio do círculo inscrito do triángulo, entón o triángulo pódese dividir en tres triángulos de igual altitude e bases e A súa área combinada é

onde é o semiperímetro.

O triángulo pódese dividir alternativamente en seis triángulos (en pares congruentes) de altura e bases e de área combinada (ver lei das cotanxentes)

O paso medio anterior é a <a href="./Identidades_trigonométricas" rel="mw:WikiLink" data-linkid="undefined" data-cx="{&quot;userAdded&quot;:true,&quot;adapted&quot;:true}">identidade cotanxente tripla</a>, que aplica porque a suma dos semiángulos é

Combinando as dúas, conseguimos

Estabilidade numérica[editar | editar a fonte]

A fórmula de Herón, como se indica anteriormente, é numericamente inestable para triángulos cun ángulo moi pequeno cando se usa a aritmética de coma flotante. Unha alternativa estable consiste en organizar as lonxitudes dos lados de xeito que e calcular [5][6]

Respectando os corchetes na avaliación.

Fórmulas semellantes da área do triángulo[editar | editar a fonte]

En función das medianas , e a súa semisuma, daquela [7]

En función das alturas, , , e a semisuma dos seus recíprocos daquela[8]

En función dos ángulos e a semisuma dos seus senos daquela[9][10]

onde é o diámetro do círculo circunscrito, Esta última fórmula coincide coa fórmula estándar de Herón cando o círculo circunscrito ten un diámetro unitario.

Xeneralizacións[editar | editar a fonte]

Cuadrilátero cíclico

A fórmula de Herón é un caso especial da fórmula de Brahmagupta para a área dun cuadrilátero cíclico. A fórmula de Herón e a fórmula de Brahmagupta son casos especiais da fórmula de Bretschneider para a área dun cuadrilátero. A fórmula de Herón pódese obter a partir da fórmula de Brahmagupta ou da fórmula de Bretschneider poñendo un dos lados do cuadrilátero a cero.

A fórmula de Brahmagupta para a área dun cuadrilátero cíclico cuxos lados teñen lonxitudes sería

onde é o semiperímetro.

Outra xeneralización da fórmula de Herón para pentágonos e hexágonos inscritos nun círculo foi descuberta por David P. Robbins. [11]

Fórmula tipo Herón para o volume dun tetraedro[editar | editar a fonte]

Se son lonxitudes de arestas do tetraedro (os tres primeiros forman un triángulo; oposto a e igual para o resto), daquela [12]

onde

Fórmulas de Herón en xeometrías non euclidianas[editar | editar a fonte]

Tamén hai fórmulas para a área dun triángulo en función da lonxitude dos seus lados para os triángulos da esfera ou do plano hiperbólico. [13] Para un triángulo na esfera con lonxitudes de lados e , semiperímetro e área , temos

triángulo na esfera:

triángulo no plano hiperbólico:

Notas[editar | editar a fonte]

  1. Kendig, Keith (2000). "Is a 2000-year-old formula still keeping some secrets?". The American Mathematical Monthly 107 (5): 402–415. JSTOR 2695295. MR 1763392. doi:10.1080/00029890.2000.12005213. 
  2. Havel, Timothy F. (1991). "Some examples of the use of distances as coordinates for Euclidean geometry". Journal of Symbolic Computation 11 (5-6): 579–593. doi:10.1016/S0747-7171(08)80120-4. 
  3. Niven, Ivan (1981). Maxima and Minima Without Calculus. The Mathematical Association of America. pp. 7–8. 
  4. Raifaizen, Claude H. (1971). A Simpler Proof of Heron's Formula. Mathematics Magazine 44. pp. 27–28. doi:10.1080/0025570X.1971.11976093. 
  5. Sterbenz, Pat H. (1974-05-01). Floating-Point Computation. Prentice-Hall Series in Automatic Computation (1st ed.). Englewood Cliffs, New Jersey, USA: Prentice Hall. ISBN 0-13-322495-3. 
  6. William M. Kahan (24 March 2000). "Miscalculating Area and Angles of a Needle-like Triangle" (PDF). 
  7. Benyi, Arpad, "A Heron-type formula for the triangle," Mathematical Gazette 87, July 2003, 324–326.
  8. Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle," Mathematical Gazette 89, November 2005, 494.
  9. Mitchell, Douglas W. (2009). A Heron-type area formula in terms of sines. Mathematical Gazette 93. pp. 108–109. doi:10.1017/S002555720018430X. 
  10. Kocik, Jerzy; Solecki, Andrzej (2009). Disentangling a triangle (PDF). American Mathematical Monthly 116. pp. 228–237. doi:10.1080/00029890.2009.11920932. 
  11. D. P. Robbins, "Areas of Polygons Inscribed in a Circle", Discr. Comput. Geom. 12, 223-236, 1994.
  12. W. Kahan, "What has the Volume of a Tetrahedron to do with Computer Programming Languages?",, pp. 16–17.
  13. Alekseevskij, D. V.; Vinberg, E. B.; Solodovnikov, A. S. (1993). "Geometry of spaces of constant curvature". En Gamkrelidze, R. V.; Vinberg, E. B. Geometry. II: Spaces of constant curvature. Encycl. Math. Sci. 29. Springer-Verlag. p. 66. ISBN 1-56085-072-8. 

Véxase tamén[editar | editar a fonte]

Outros artigos[editar | editar a fonte]

Ligazóns externas[editar | editar a fonte]