Pormula ni Heron

Mula testwiki
Pumunta sa nabigasyon Pumunta sa paghahanap
Isang tatsulok na may mga gilid na a, b, at c .

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 Padron:Math, Padron:Math, at Padron:Math ay

A=s(sa)(sb)(sc),

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

s=a+b+c2.

Ang pormula ni Heron ay maaari ring isulat bilang

A=14(a+b+c)(a+b+c)(ab+c)(a+bc)
A=142(a2b2+a2c2+b2c2)(a4+b4+c4)
A=14(a2+b2+c2)22(a4+b4+c4)
A=144(a2b2+a2c2+b2c2)(a2+b2+c2)2
A=144a2b2(a2+b2c2)2.

Halimbawa

Ang tatsulok na Padron:Math ay may mga gilid na Padron:Math, Padron:Math at Padron:Math . Ang semi-perimtero ng tatsulok na ito ay

Padron:Math, at ang kabuuang sukat ay

A=s(sa)(sb)(sc)=16(164)(1613)(1615)=161231=576=24.

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 Padron:Circa 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

A=12a2c2(a2+c2b22)2

ang natuklasan ng mga Tsino nang mag-isa at hiwalay Padron:Fact 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 .Padron:Fact 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 Padron:Math, Padron:Math, Padron:Math na mga gilid ng tatsulok at Padron:Math, Padron:Math, Padron:Math ang mga anggulo sa tapat ng mga gilid na iyon. Sa paggamit ng batas ng mga cosine, makukuha natin

cosγ=a2+b2c22ab

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

sinγ=1cos2γ=4a2b2(a2+b2c2)22ab.

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

A=12(base)(altitude)=12absinγ=144a2b2(a2+b2c2)2=14(2ab(a2+b2c2))(2ab+(a2+b2c2))=14(c2(ab)2)((a+b)2c2)=(c(ab))(c+(ab))((a+b)c)((a+b)+c)16=(b+ca)2(a+cb)2(a+bc)2(a+b+c)2=(a+b+c)2(b+ca)2(a+cb)2(a+bc)2=s(sa)(sb)(sc).

Alherbrehikong patunay gamit ang teorama ni Pitagoras

Isang tatsulok na may taas na Padron:Math at pumuputol sa base Padron:Math sa dalawang parte. Katumbas ng base na ito ang Padron:Math .

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

d=a2+b2+c22c

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

h2=b2(a2+b2+c22c)2=(2bca2+b2+c2)(2bc+a2b2c2)4c2=((b+c)2a2)(a2(bc)2)4c2=(b+ca)(b+c+a)(a+bc)(ab+c)4c2=2(sa)2s2(sc)2(sb)4c2=4s(sa)(sb)(sc)c2

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

A=ch2=c244s(sa)(sb)(sc)c2=s(sa)(sb)(sc)

Trigonometrikong patunay na gumagamit ng mga batas ng cotangent

Kahalagahan ng mga heometrikong gilid ng Padron:Math, Padron:Math, at Padron:Math. Tingnan ang Batas ng mga cotangent para sa pangangatuwiran nito.

Mula sa unang bahagi ng patunay ng Batas ng mga cotangent , [1] mayroon tayong kabuuang sukat ng tatsulok na katumbas sa mga ekwasyong

A=r((sa)+(sb)+(sc))=r2(sar+sbr+scr)=r2(cotα2+cotβ2+cotγ2)

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

A=r2(cotα2cotβ2cotγ2)=r2(sarsbrscr)=(sa)(sb)(sc)r

Sa pagsasama ng dalawang ekwasyon na ito, makukuha natin

A2=s(sa)(sb)(sc)

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 Padron:Math, Padron:Math, at Padron:Math ayon sa pagkakabanggit nang magkakasunod-sunod bilang Padron:Math, Padron:Math, at Padron:Math at kanilang semi-kabuuan na Padron:Math bilang Padron:Math, makukuha natin [2]

A=43σ(σma)(σmb)(σmc).

Ang sunod naman ay nagsasaad ng mga altitud mula sa mga gilid na Padron:Math, Padron:Math, at Padron:Math ayon sa pagkakabanggit nang magkakasunod-sunod bilang Padron:Math, Padron:Math, at Padron:Math, at nagsasaad ng semi-kabuuan ng kabaligtaran ng mga altitud bilang Padron:Math , makukuha natin [3]

A1=4H(Hha1)(Hhb1)(Hhc1).

Sa huli, tumutukoy naman sa semi-kabuuan ng mga sine ng mga anggulo bilang Padron:Math , makukuha natin [4]

A=D2S(Ssinα)(Ssinβ)(Ssinγ)

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

Mga ugnayan

Ugnayan ng bawat gilid ng tatsulok sa isa't isa

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 Padron:Math, Padron:Math, Padron:Math, Padron:Math, Padron:Math, Padron:Math ay haba ng mga gilid ng isang tetrahedron (ang unang tatlo ay bumubuo ng isang tatsulok; ang Padron:Math ay ang katapat ng Padron:Math at ganoon rin para sa iba), makukuha natin ang pormulang [5]

volume=(a+b+c+d)(ab+c+d)(a+bc+d)(a+b+cd)192uvw

kung saan

a=xYZb=yZXc=zXYd=xyzX=(wU+v)(U+v+w)x=(Uv+w)(vw+U)Y=(uV+w)(V+w+u)y=(Vw+u)(wu+V)Z=(vW+u)(W+u+v)z=(Wu+v)(uv+W).

Tingnan din

Mga Sanggunian

  1. The second part of the Law of cotangents proof depends on Heron's formula itself, but this article depends only on the first part.
  2. Benyi, Arpad, "A Heron-type formula for the triangle," Mathematical Gazette" 87, July 2003, 324–326.
  3. Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle," Mathematical Gazette 89, November 2005, 494.
  4. Mitchell, Douglas W., "A Heron-type area formula in terms of sines," Mathematical Gazette 93, March 2009, 108–109.
  5. W. Kahan, "What has the Volume of a Tetrahedron to do with Computer Programming Languages?",, pp. 16–17.

Mga kawingang panlabas

(Lahat ay nasa Ingles)