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 ,  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 

 

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 

 

Sa huli, tumutukoy naman sa semi-kabuuan ng mga sine ng mga anggulo bilang  , makukuha natin 

 

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 

 

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