Viviani's Theorem
   HOME

TheInfoList



OR:

Viviani's theorem, named after Vincenzo Viviani, states that the sum of the shortest distances from ''any'' interior point to the sides of an
equilateral triangle An equilateral triangle is a triangle in which all three sides have the same length, and all three angles are equal. Because of these properties, the equilateral triangle is a regular polygon, occasionally known as the regular triangle. It is the ...
equals the length of the triangle's
altitude Altitude is a distance measurement, usually in the vertical or "up" direction, between a reference datum (geodesy), datum and a point or object. The exact definition and reference datum varies according to the context (e.g., aviation, geometr ...
. It is a theorem commonly employed in various math competitions, secondary school mathematics examinations, and has wide applicability to many problems in the real world.


Proof

This proof depends on the readily-proved proposition that the area of a triangle is half its base times its height—that is, half the product of one side with the altitude from that side.Claudi Alsina, Roger B. Nelsen: ''Charming Proofs: A Journey Into Elegant Mathematics''. MAA 2010, , p. 96 () Let ABC be an equilateral triangle whose height is ''h'' and whose side is ''a''. Let P be any point inside the triangle, and ''s, t, u'' the perpendicular distances of P from the sides. Draw a line from P to each of A, B, and C, forming three triangles PAB, PBC, and PCA. Now, the areas of these triangles are \frac, \frac, and \frac. They exactly fill the enclosing triangle, so the sum of these areas is equal to the area of the enclosing triangle. So we can write: :\frac + \frac + \frac = \frac and thus :u + s + t = h
Q.E.D. Q.E.D. or QED is an initialism of the List of Latin phrases (full), Latin phrase , meaning "that which was to be demonstrated". Literally, it states "what was to be shown". Traditionally, the abbreviation is placed at the end of Mathematical proof ...


Converse

The converse also holds: If the sum of the distances from an interior point of a triangle to the sides is independent of the location of the point, the triangle is equilateral.


Applications

Viviani's theorem means that lines parallel to the sides of an equilateral triangle give coordinates for making ternary plots, such as flammability diagrams. More generally, they allow one to give coordinates on a regular simplex in the same way.


Extensions


Parallelogram

The sum of the distances from any interior point of a
parallelogram In Euclidean geometry, a parallelogram is a simple polygon, simple (non-list of self-intersecting polygons, self-intersecting) quadrilateral with two pairs of Parallel (geometry), parallel sides. The opposite or facing sides of a parallelogram a ...
to the sides is independent of the location of the point. The converse also holds: If the sum of the distances from a point in the interior of a
quadrilateral In Euclidean geometry, geometry a quadrilateral is a four-sided polygon, having four Edge (geometry), edges (sides) and four Vertex (geometry), corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''l ...
to the sides is independent of the location of the point, then the quadrilateral is a parallelogram. The result generalizes to any 2''n''-gon with opposite sides parallel. Since the sum of distances between any pair of opposite parallel sides is constant, it follows that the sum of all pairwise sums between the pairs of parallel sides, is also constant. The converse in general is not true, as the result holds for an ''equilateral'' hexagon, which does not necessarily have opposite sides parallel.


Regular polygon

If a polygon is regular (both equiangular and equilateral), the sum of the distances to the sides from an interior point is independent of the location of the point. Specifically, it equals ''n'' times the apothem, where ''n'' is the number of sides and the apothem is the distance from the center to a side. However, the converse does not hold; the non-square parallelogram is a
counterexample A counterexample is any exception to a generalization. In logic a counterexample disproves the generalization, and does so rigorously in the fields of mathematics and philosophy. For example, the fact that "student John Smith is not lazy" is a c ...
.


Equiangular polygon

The sum of the distances from an interior point to the sides of an
equiangular polygon In Euclidean geometry, an equiangular polygon is a polygon whose vertex angles are equal. If the lengths of the sides are also equal (that is, if it is also equilateral polygon, equilateral) then it is a regular polygon. Isogonal polygons are equi ...
does not depend on the location of the point.


Convex polygon

A necessary and sufficient condition for a convex polygon to have a constant sum of distances from any interior point to the sides is that there exist three non-collinear interior points with equal sums of distances.


Regular polyhedron

The sum of the distances from any point in the interior of a
regular polyhedron A regular polyhedron is a polyhedron whose symmetry group acts transitive group action, transitively on its Flag (geometry), flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In ...
to the sides is independent of the location of the point. However, the converse does not hold, not even for tetrahedra.


References


Further reading

* * * * *


External links

*
Li Zhou, Viviani Polytopes and Fermat Points
* at Cut the knot. * the
Wolfram Demonstrations Project The Wolfram Demonstrations Project is an Open source, open-source collection of Interactive computing, interactive programmes called Demonstrations. It is hosted by Wolfram Research. At its launch, it contained 1300 demonstrations but has grown t ...
. * a
Dynamic Geometry Sketches
an interactive dynamic geometry sketch. * * {{cite arXiv, first1=Addie , last1=Armstrong , first2=Dan , last2=McQuillan , title=Specialization, generalization, and a new proof of Viviani's theorem, eprint=1701.01344, year=2017, class=math.HO Theorems about equilateral triangles Articles containing proofs