Pormula ni Heron

Sa heometriya, ang pormula ni Heron (minsan tinatawag na pormula ni Hero ), na pinangalanan mula kay Heron ng Alehandriya,  ay nagbibigay ng kabuuang sukat ng isang tatsulok kapag ang haba ng lahat ng tatlong gilid ay naibigay o napag-alaman na. Hindi tulad ng iba pang mga pormula sa pagkuha ng sukat ng tatsulok, hindi na kailangang unahin ang pagkalkula sa mga anggulo o iba pang mga distansya ng tatsulok.

 Pagkabuo 
Ang pormula ni Heron ay nagsasaad na ang sukat ng isang tatsulok na may mga gilid na may habang , , at  ay



kung saan ang  ay ang semi-perimetro ng tatsulok; at iyan ay,



Ang pormula ni Heron ay maaari ring isulat bilang







 Halimbawa 
Ang tatsulok na  ay may mga gilid na ,  at  . Ang semi-perimtero ng tatsulok na ito ay

, at ang kabuuang sukat ay



Sa halimbawang ito, ang haba ng gilid at ng kabuuang sukat ay mga integer, na maituturing bilang isang triyanggulong Heroniano . Gayunpaman, ang pormula ni Heron ay gumagana pa rin sa mga kaso kung saan ang isa o lahat ng mga bilang ng gilid nito ay hindi isang integer.

 Kasaysayan 
Ang pormula ay kinikilalang gawa ni Heron (o Hero) ng Alehandriya, at isang katibayan ang matatagpuan sa kanyang aklat na Metrica, naisulat noong  CE 60. Iminungkahi na alam daw ni Archimedes ang pormula noong dalawang siglo nang mas maaga pa,  at dahil ang Metrica ay isang koleksyon ng mga kaalaman sa matematika na ginagamit sa sinaunang mundo, posible na mas nauna sa pormula ang sanggunian na ibinigay sa gawaing iyon. 

Isang pormula na katumbas kay Heron, na naiulat bilang



ang natuklasan ng mga Tsino nang mag-isa at hiwalay  mula sa mga Griyego. Ito ay nailathala sa Matematikong Kasulatan sa Siyam na mga Bahagi ( Qin Jiushao, 1247). 

 Mga Patunay 
Ang orihinal na patunay ni Heron ay gumagamit ng kuwadrelatirong sikliko . Ang iba naman ay nakaayon sa trigonometriya tulad ng mga nasa ibaba,  o sa teorama ni De Gua (para sa mga partikular na kaso ng mga maliliit na anggulo ng  tatsulok). 

 Trigonometrikong patunay gamit ang batas ng mga cosine 
Ito ay isang modernong patunay, na gumagamit ng alhebra at mapapansing medyo naiiba mula sa patunay na ibinigay ni Heron (sa kanyang aklat na Metrica).  Hayaan ang , ,  na mga gilid ng tatsulok at , ,  ang mga anggulo sa tapat ng mga gilid na iyon. Sa paggamit ng batas ng mga cosine, makukuha natin



Mula sa patunay na ito, makukuha natin ang alhebrehikong tumbasan na



Ang taas ng tatsulok mula sa pinakamababang gilid o base  () ay may haba na , at sa pamamagitan ng pagpapaikli at pagbabawas, makukuha natin ito



 Alherbrehikong patunay gamit ang teorama ni Pitagoras 
Ang sumusunod na patunay ay halos kapareho sa ibinigay ni Raifaizen.  Sa pamamagitan ng teorema ni Pitagoras, matutumbas ito bilang  at  ayon sa larawan sa kanan. Sa pagbabawas ng mga ito, magiging  . Maaari nating makuha ang haba ng  ayon sa mga gilid ng tatsulok:



Para sa taas ng tatsulok, makukuha natin ang tumbasang ito:   . Sa pamamagitan ng pagpapalit ng  sa pormulang ibinigay sa itaas at paggamit ng pagkakaiba ng mga parisukat, makukuha natin



Ilalapat natin ngayon ang mga resultang ito sa pormula ng pagkalkula ng kabuuang sukat ng tatsulok mula sa haba ng taas nito:



 Trigonometrikong patunay na gumagamit ng mga batas ng cotangent 
Mula sa unang bahagi ng patunay ng Batas ng mga cotangent , The second part of the Law of cotangents proof depends on Heron's formula itself, but this article depends only on the first part. mayroon tayong kabuuang sukat ng tatsulok na katumbas sa mga ekwasyong



at , pero, dahil ang kabuuan ng mga kalahating anggulo ay , magagamit natin ideya ng cotangent na magiging



Sa pagsasama ng dalawang ekwasyon na ito, makukuha natin



kung saan nakaayon ito sa resultang nagpapatunay sa pormula ni Heron.

 Mga kahawig ng pormula ni Heron 
Tatlong iba pang mga pormula sa pagkuha ng sukat ng tatsulok ang may parehong istraktura sa pormula ni Heron ngunit iba't ibang mga baryable naman ang ginamit. 

Una, tinutukoy ang mga median mula sa mga gilid , , at  ayon sa pagkakabanggit nang magkakasunod-sunod bilang , , at  at kanilang semi-kabuuan na  bilang , makukuha natin Benyi, Arpad, "A Heron-type formula for the triangle," Mathematical Gazette" 87, July 2003, 324–326.



Ang sunod naman ay nagsasaad ng mga altitud mula sa mga gilid na , , at  ayon sa pagkakabanggit nang magkakasunod-sunod bilang , , at , at nagsasaad ng semi-kabuuan ng kabaligtaran ng mga altitud bilang  , makukuha natin Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle," Mathematical Gazette 89, November 2005, 494.



Sa huli, tumutukoy naman sa semi-kabuuan ng mga sine ng mga anggulo bilang  , makukuha natin Mitchell, Douglas W., "A Heron-type area formula in terms of sines," Mathematical Gazette 93, March 2009, 108–109.



kung saan ang  ay ang lapad o diyametro ng sirkulo:     .

 Mga ugnayan 
Ang pormula ni Heron ay isang espesyal na kaso ng pormula ni Brahmagupta para sa pagkuha ng kabuuang sukat ng isang siklikong kuwadrelitiko . Ang pormula ni Heron at ang pormula ni Brahmagupta ay kapwa mga espesyal na kaso ng pormula ni Bretschneider para sa pagkuha ng kabuuang sukat ng isang kuwadrilateral . Ang pormula ni Heron ay maaaring makuha mula sa pormula ni Brahmagupta o pormula ni Bretschneider sa pamamagitan ng pagtatakda ng isa sa mga gilid ng kuwadrilateral bilang sero.

Ang pormula ni Heron ay isang espesyal na kaso din ng pormula para sa pagkuha ng kabuuang sukat ng isang trapezoid o trapezium batay lamang sa mga gilid nito. Ang pormula ni Heron ay makukuha sa pamamagitan ng pagtatakda sa mas maliit na paralelong gilid nito bilang sero.

 Pormula na mala-anyong Heron para sa pagkuha ng bolyum ng isang tetrahedron 
Kung ang , , , , ,  ay haba ng mga gilid ng isang tetrahedron (ang unang tatlo ay bumubuo ng isang tatsulok; ang  ay ang katapat ng  at ganoon rin para sa iba), makukuha natin ang pormulang W. Kahan, "What has the Volume of a Tetrahedron to do with Computer Programming Languages?",, pp. 16–17.



kung saan


 Tingnan din 

 Heron ng Alehandriya
 Heometriya
 Tatsulok

 Mga Sanggunian 

 Mga kawingang panlabas 
(Lahat ay nasa Ingles)

 Isang Patunay ng Teorema ni Pitagoras  Mula sa Pormula ni Heron sa cut-the-knot
 Interaktibong applet at kalkulador ng kabuuang sukat gamit ang Pormula ni Heron
 Pagtalakay ni JH Conway sa Pormula ng Heron

 Isang Heometrikong Patunay ng Pormula ni Heron 
 Isang kahaliling patunay ng Pormula ni Heron nang walang mga salita
 Maikling Pagbabalangkas sa Pormula ni Heron