In geometry, Heron's formula (sometimes called Hero's formula), named after Hero of Alexandria,gives the area of a triangle when the length of all three sides are known. Unlike other triangle area formulae, there is no need to calculate angles or other distances in the triangle first.
Heron's formula states that the area of a triangle whose sides have lengths a, b, and c is
where s is the semi-perimeter of the triangle; that is,
Heron's formula can also be written as
Let △ABC be the triangle with sides a = 4, b = 13 and c = 15. This triangle’s semiperimeter is
s = 1/2(a + b + c) = 1/2(4 + 13 + 15) = 16, and the area is
In this example, the side lengths and area are integers, making it a Heronian triangle. However, Heron's formula works equally well in cases where one or all of these numbers is not an integer.
The formula is credited to Heron (or Hero) of Alexandria, and a proof can be found in his book Metrica, written around AD 60. It has been suggested that Archimedes knew the formula over two centuries earlier, and since Metrica is a collection of the mathematical knowledge available in the ancient world, it is possible that the formula predates the reference given in that work.
A formula equivalent to Heron's, namely,
was discovered by the Chinese independently[ citation needed ] of the Greeks. It was published in Mathematical Treatise in Nine Sections (Qin Jiushao, 1247).
Heron's original proof made use of cyclic quadrilaterals.[ citation needed ] Other arguments appeal to trigonometry as below, or to the incenter and one excircle of the triangle, or to De Gua's theorem (for the particular case of acute triangles).
A modern proof, which uses algebra and is quite different from the one provided by Heron (in his book Metrica), follows. a, b, c be the sides of the triangle and α, β, γ the angles opposite those sides. Applying the law of cosines we getLet
From this proof, we get the algebraic statement that
The altitude of the triangle on base a has length b sin γ, and it follows
The difference of two squares factorization was used in two different steps.
The following proof is very similar to one given by Raifaizen. b2 = h2 + d2 and a2 = h2 + (c − d)2 according to the figure at the right. Subtracting these yields a2 − b2 = c2 − 2cd. This equation allows us to express d in terms of the sides of the triangle:By the Pythagorean theorem we have
For the height of the triangle we have that h2 = b2 − d2. By replacing d with the formula given above and applying the difference of squares identity we get
We now apply this result to the formula that calculates the area of a triangle from its height:
From the first part of the law of cotangents proof,we have that the triangle's area is both
and A = rs, but, since the sum of the half-angles is π/2, the triple cotangent identity applies, so the first of these is
Combining the two, we get
from which the result follows.
Heron's formula as given above is numerically unstable for triangles with a very small angle when using floating-point arithmetic. A stable alternative a ≥ b ≥ c and computinginvolves arranging the lengths of the sides so that
The brackets in the above formula are required in order to prevent numerical instability in the evaluation.
Three other area formulae have the same structure as Heron's formula but are expressed in terms of different variables. First, denoting the medians from sides a, b, and c respectively as ma, mb, and mc and their semi-sum 1/2(ma + mb + mc) as σ, we have
Next, denoting the altitudes from sides a, b, and c respectively as ha, hb, and hc, and denoting the semi-sum of the reciprocals of the altitudes as H = 1/2(h−1
a + h−1
b + h−1
c) we have
Finally, denoting the semi-sum of the angles' sines as S = 1/2(sin α + sin β + sin γ), we have
where D is the diameter of the circumcircle: D = a/sin α = b/sin β = c/sin γ.
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 for the area of a trapezoid or trapezium 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.
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
In geometry, a tetrahedron, also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ordinary convex polyhedra and the only one that has fewer than 5 faces.
A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices A, B, and C is denoted .
In trigonometry, the law of sines, sine law, sine formula, or sine rule is an equation relating the lengths of the sides of a triangle to the sines of its angles. According to the law,
In geometry, the incircle or inscribed circle of a triangle is the largest circle contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.
In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition. By definition, a rotation about the origin is a transformation that preserves the origin, Euclidean distance, and orientation. Every non-trivial rotation is determined by its axis of rotation and its angle of rotation. Composing two rotations results in another rotation; every rotation has a unique inverse rotation; and the identity map satisfies the definition of a rotation. Owing to the above properties, the set of all rotations is a group under composition. Rotations are not commutative, making it a nonabelian group. Moreover, the rotation group has a natural structure as a manifold for which the group operations are smoothly differentiable; so it is in fact a Lie group. It is compact and has dimension 3.
In mathematics, the digamma function is defined as the logarithmic derivative of the gamma function:
In relativistic physics, a velocity-addition formula is a three-dimensional equation that relates the velocities of objects in different reference frames. Such formulas apply to successive Lorentz transformations, so they also relate different frames. Accompanying velocity addition is a kinematic effect known as Thomas precession, whereby successive non-collinear Lorentz boosts become equivalent to the composition of a rotation of the coordinate system and a boost.
In mathematics, the Stieltjes constants are the numbers that occur in the Laurent series expansion of the Riemann zeta function:
In Euclidean geometry, Ptolemy's theorem is a relation between the four sides and two diagonals of a cyclic quadrilateral. The theorem is named after the Greek astronomer and mathematician Ptolemy. Ptolemy used the theorem as an aid to creating his table of chords, a trigonometric table that he applied to astronomy.
In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius.
In mathematics, the sine is a trigonometric function of an angle. The sine of an acute angle is defined in the context of a right triangle: for the specified angle, it is the ratio of the length of the side that is opposite that angle, to the length of the longest side of the triangle. For an angle , the sine function is denoted simply as .
In geometry, Bretschneider's formula is the following expression for the area of a general quadrilateral:
Morrie's law is a special trigonometric identity. Its name is due to the physicist Richard Feynman, who used to refer to the identity under that name. Feynman picked that name because he learned it during his childhood from a boy with the name Morrie Jacobs and afterwards remembered it for all of his life.
In differential geometry, the radius of curvature, R, is the reciprocal of the curvature. For a curve, it equals the radius of the circular arc which best approximates the curve at that point. For surfaces, the radius of curvature is the radius of a circle that best fits a normal section or combinations thereof.
In trigonometry, the law of cosines relates the lengths of the sides of a triangle to the cosine of one of its angles. Using notation as in Fig. 1, the law of cosines states
In hyperbolic geometry, the "law of cosines" is a pair of theorems relating the sides and angles of triangles on a hyperbolic plane, analogous to the planar law of cosines from plane trigonometry, or the spherical law of cosines in spherical trigonometry. It can also be related to the relativistic velocity addition formula.
Solution of triangles is the main trigonometric problem of finding the characteristics of a triangle, when some of these are known. The triangle can be located on a plane or on a sphere. Applications requiring triangle solutions include geodesy, astronomy, construction, and navigation.
In trigonometry, the law of cotangents is a relationship among the lengths of the sides of a triangle and the cotangents of the halves of the three angles. This is also known as the Cot Theorem.