ສູດເຮລົງ

ໃນເລຂາຄະນິດ geometry, ສູດເຮລົງ Heron's (ຫຼື Hero's) formula, ແມ່ນຖືກຕັ້ງຊື່ຕາມ ເຮລົງ ອະເລັກຊານເດຍ(Heron of Alexandria), ໂດຍວ່າ ເນື້ອທີ່ S ຂອງ ຮູບສາມແຈ ທີ່ປະກອບດ້ວຍຂ້າງ a, b, ແລະ c ແມ່ນ

ເຊິ່ງ p ແມ່ນ ເຄິ່ງລວງຮອບ (semiperimeter) ຂອງຮູບສາມແຈ:

Heron's formula can also be written as:

ປະຫວັດ 

ສູດນີ້ແມ່ນຜົນງານຂອງທ່ານ ເຮລົງ ອາເລັກຊານເດຍ, ແລະມີບົດພິສູດຢູ່ໃນປື້ມຂອງລາວຊື່ວ່າ ເມຕຣິກາ Metrica, ຂຽນຂື້ນໃນ ຄ.ສ  60. ເຊິ່ງເຮັດໃຫ້ທ່ານ ອາຄີມີດີດArchimedes ເປັນທີ່ຮູ້ຈັກ, ແລະນັບແຕ່ ປື້ມເມຕຮິກາMetrica ໄດ້ລວບລວມຄວາມຮູ້ກ່ຽວກັບຄະນິດສາດໃນຍຸກບູຮານ,ມັນເປັນໄປໄດ້ວ່ານີ້ເປັນປັດໃຈສຳຄັນໃນການຖືກຳເນີດໃນຜົນງານນີ້. .

ສູດ ເຮລົງ ດັ້ງເດີມມີຮູບຮ່າງແມ່ນ:

, where 

ຖືກຄົ້ນພົບໂດຍຄົນຈີນໃນປະເທດເກຣັກ.ແລະຖືກຕີພິມໃນປື້ມຊູຊູ ຈິວຈາງ Shushu Jiuzhang (“Mathematical Treatise in Nine Sections”), ຂຽນໂດຍ ທ່ານ ຊິນ ຈິວຊາວ Qin Jiushao ພິມໃນປີ  ຄ.ສ. 1247.

ການພິສູດ 

ການພິສູດລ່າສຸດແມ່ນນຳໃຊ້ພຶດຊະຄະນິດ(algebra) ແລະ ບໍ່ຄ້າຍຄືກັບການພິສູດໂດຍທ່ານເຮລົງເອງ(ໃນໜັງສືເມຕຣິກາ)
ເຮົາຮູ້ວ່າ a, b, c ແມ່ນຂ້າງຂອງຮູບສາມແຈ ແລະ  A, B, C ແມ່ນມູມເຊິ່ງໜ້າຂອງຂ້າງດັ່ງກ່າວຕາມລຳດັບ. ເຮົາໄດ້:

 ອີງຕາມກົດເກນຂອງໂກຊິນ(law of cosines),
ຈາກນັ້ນ  ເຮົາສາມາດຖອນເອົາຄ່າຂອງ ຊິນ:

 ລວງສູງ ຂອງຮູບສາມແຈ ແມ່ນເທົ່າກັບຜົນຄູນລະຫວ່າງ ຂ້າງພື້ນ a ກັບຂ້າງ b ຄູນໃຫ້ sin(C),(ອີງຕາມການພົວພັນມູມໃນຮູບສາມແຈ). ເຮົາໄດ້:

Proof using the Pythagorean theorem
Heron's original proof made use of cyclic quadrilaterals, while other arguments appeal to trigonometry as above, or to the incenter and one excircle of the triangle .  The following argument reduces Heron's formula directly to the Pythagorean theorem using only elementary means.

In the form 4T 2 = 4s(s − a)(s − b)(s − c), Heron's formula reduces on the left to (ch)2, or

 which is the same as 

using b 2 − d 2 = h 2 by the Pythagorean theorem, and on the right to

via the identity (p + q) 2 − (p − q) 2 = 4pq.  It therefore suffices to show

 

and

 

Then expanding the former you get the following: 

 
 
and that reduces to  by substituting 2s = (a + b + c) and simplifying.   Submitting for s the latter  s(s − a) − (s − b)(s − c) reduces only as far as (b 2 + c 2 − a 2)/2.  But if we replace b 2 by d 2 + h 2 and a 2 by (c − d) 2 + h 2, both by Pythagoras, simplification then produces cd as required.

Numerical Stability 
Heron's formula as given above is numerically unstable for triangles with a very small angle. A stable alternative involves arranging the lengths of the sides so that  and computing

The brackets in the above formula are required in order to prevent numerical instability in the evaluation.

Generalizations 
Heron's formula is a special case of Brahmagupta's formula for the area of a cyclic quadrilateral. Heron's formula and Brahmagupta's formula are both special cases of Bretschneider's formula for the area of a quadrilateral. Heron's formula can be obtained from Brahmagupta's formula or Bretschneider's formula by setting one of the sides of the quadrilateral to zero.

Heron's formula is also a special case of the formula of the area of the trapezoid based only on its sides. Heron's formula is obtained by setting the smaller parallel side to zero.

Expressing Heron's formula with a Cayley–Menger determinant in terms of the squares of the distances between the three given vertices,

illustrates its similarity to Tartaglia's formula for the volume of a three-simplex.

Another generalization of Heron's formula to pentagons and hexagons inscribed in a circle was discovered by David P. Robbins.

Heron-type formula for the volume of a tetrahedron 
If U, V, W, u, v, w are lengths of edges of the tetrahedron (first three form a triangle; u opposite to U and so on), then

where

ເບິ່ງຍັງ 
 Brahmagupta's formula
 Heronian triangle
 Synthetic geometry

ອ້າງອີງ

ບັນນານຸກົມ

ແຫຼ່ງຂໍ້ມູນອື່ນ 
A Proof of the Pythagorean Theorem From Heron's Formula at cut-the-knot
Interactive applet and area calculator using Heron's Formula
J.H. Conway discussion on Heron's Formula
 
A Geometric Proof of Heron's Formula

Triangle geometry
Articles containing proofs
Area
Theorems in plane geometry