Euler's theorem in geometry

Last updated
Euler's theorem:

d
=
|
I
O
|
=
R
(
R
-
2
r
)
{\displaystyle d=|IO|={\sqrt {R(R-2r)}}} Euler theorem2.svg
Euler's theorem:

In geometry, Euler's theorem states that the distance d between the circumcenter and incenter of a triangle is given by [1] [2]

Contents

or equivalently

where and denote the circumradius and inradius respectively (the radii of the circumscribed circle and inscribed circle respectively). The theorem is named for Leonhard Euler, who published it in 1765. [3] However, the same result was published earlier by William Chapple in 1746. [4]

From the theorem follows the Euler inequality: [5]

which holds with equality only in the equilateral case. [6]

Stronger version of the inequality

A stronger version [6] is

where , , and are the side lengths of the triangle.

Euler's theorem for the escribed circle

If and denote respectively the radius of the escribed circle opposite to the vertex and the distance between its center and the center of the circumscribed circle, then .

Euler's inequality in absolute geometry

Euler's inequality, in the form stating that, for all triangles inscribed in a given circle, the maximum of the radius of the inscribed circle is reached for the equilateral triangle and only for it, is valid in absolute geometry. [7]

See also

Related Research Articles

<span class="mw-page-title-main">Circle</span> Simple curve of Euclidean geometry

A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. The distance between any point of the circle and the centre is called the radius.

<span class="mw-page-title-main">Triangle</span> Shape with three sides

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. The triangle's interior is a two-dimensional region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex.

<span class="mw-page-title-main">Right triangle</span> Triangle containing a 90-degree angle

A right triangle or right-angled triangle (British), or more formally an orthogonal triangle, formerly called a rectangled triangle, is a triangle in which one angle is a right angle, i.e., in which two sides are perpendicular. The relation between the sides and other angles of the right triangle is the basis for trigonometry.

<span class="mw-page-title-main">Hexagon</span> Shape with six sides

In geometry, a hexagon is a six-sided polygon. The total of the internal angles of any simple (non-self-intersecting) hexagon is 720°.

<span class="mw-page-title-main">Altitude (triangle)</span> Perpendicular line segment from a triangles side to opposite vertex

In geometry, an altitude of a triangle is a line segment through a vertex and perpendicular to a line containing the side opposite the vertex. This line containing the opposite side is called the extended base of the altitude. The intersection of the extended base and the altitude is called the foot of the altitude. The length of the altitude, often simply called "the altitude", is the distance between the extended base and the vertex. The process of drawing the altitude from the vertex to the foot is known as dropping the altitude at that vertex. It is a special case of orthogonal projection.

<span class="mw-page-title-main">Incircle and excircles</span> Circles tangent to all three sides of a triangle

In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.

<span class="mw-page-title-main">Equilateral triangle</span> Shape with three equal sides

In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each other and are each 60°. It is also a regular polygon, so it is also referred to as a regular triangle.

<span class="mw-page-title-main">Cyclic quadrilateral</span> Quadrilateral whose vertices can all fall on a single circle

In Euclidean geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral whose vertices all lie on a single circle. This circle is called the circumcircle or circumscribed circle, and the vertices are said to be concyclic. The center of the circle and its radius are called the circumcenter and the circumradius respectively. Other names for these quadrilaterals are concyclic quadrilateral and chordal quadrilateral, the latter since the sides of the quadrilateral are chords of the circumcircle. Usually the quadrilateral is assumed to be convex, but there are also crossed cyclic quadrilaterals. The formulas and properties given below are valid in the convex case.

<span class="mw-page-title-main">Isosceles triangle</span> Triangle with at least two sides congruent

In geometry, an isosceles triangle is a triangle that has two sides of equal length. Sometimes it is specified as having exactly two sides of equal length, and sometimes as having at least two sides of equal length, the latter version thus including the equilateral triangle as a special case. Examples of isosceles triangles include the isosceles right triangle, the golden triangle, and the faces of bipyramids and certain Catalan solids.

<span class="mw-page-title-main">Incenter</span> Center of the inscribed circle of a triangle

In geometry, the incenter of a triangle is a triangle center, a point defined for any triangle in a way that is independent of the triangle's placement or scale. The incenter may be equivalently defined as the point where the internal angle bisectors of the triangle cross, as the point equidistant from the triangle's sides, as the junction point of the medial axis and innermost point of the grassfire transform of the triangle, and as the center point of the inscribed circle of the triangle.

<span class="mw-page-title-main">Ptolemy's theorem</span> Relates the 4 sides and 2 diagonals of a quadrilateral with vertices on a common circle

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 area enclosed by a circle of radius r is πr2. Here the Greek letter π represents the constant ratio of the circumference of any circle to its diameter, approximately equal to 3.14159.

In geometry, the circumscribed circle or circumcircle of a triangle is a circle that passes through all three vertices. The center of this circle is called the circumcenter of the triangle, and its radius is called the circumradius. The circumcenter is the point of intersection between the three perpendicular bisectors of the triangle's sides, and is a triangle center.

In Euclidean geometry, the Erdős–Mordell inequality states that for any triangle ABC and point P inside ABC, the sum of the distances from P to the sides is less than or equal to half of the sum of the distances from P to the vertices. It is named after Paul Erdős and Louis Mordell. Erdős (1935) posed the problem of proving the inequality; a proof was provided two years later by Mordell and D. F. Barrow (1937). This solution was however not very elementary. Subsequent simpler proofs were then found by Kazarinoff (1957), Bankoff (1958), and Alsina & Nelsen (2007).

<span class="mw-page-title-main">Bicentric polygon</span>

In geometry, a bicentric polygon is a tangential polygon which is also cyclic — that is, inscribed in an outer circle that passes through each vertex of the polygon. All triangles and all regular polygons are bicentric. On the other hand, a rectangle with unequal sides is not bicentric, because no circle can be tangent to all four sides.

<span class="mw-page-title-main">Bicentric quadrilateral</span> Convex, 4-sided shape with an incircle and a circumcircle

In Euclidean geometry, a bicentric quadrilateral is a convex quadrilateral that has both an incircle and a circumcircle. The radii and centers of these circles are called inradius and circumradius, and incenter and circumcenter respectively. From the definition it follows that bicentric quadrilaterals have all the properties of both tangential quadrilaterals and cyclic quadrilaterals. Other names for these quadrilaterals are chord-tangent quadrilateral and inscribed and circumscribed quadrilateral. It has also rarely been called a double circle quadrilateral and double scribed quadrilateral.

<span class="mw-page-title-main">Acute and obtuse triangles</span> Triangles without a right angle

An acute triangle is a triangle with three acute angles. An obtuse triangle is a triangle with one obtuse angle and two acute angles. Since a triangle's angles must sum to 180° in Euclidean geometry, no Euclidean triangle can have more than one obtuse angle. Acute and obtuse triangles are the two different types of oblique triangles — triangles that are not right triangles because they do not have a 90° angle.

William Chapple (1718–1781) was an English surveyor and mathematician. His mathematical discoveries were mostly in plane geometry and include:

The Egan conjecture in the mathematical area of geometry gives a sufficient and necessary condition for the radii of two spheres and the distance of their centers, so that a simplex exists, which is completely contained inside the larger sphere and completely encloses the smaller sphere. The conjecture generalizes an equality discovered by William Chapple, which is a special case of Poncelet's closure theorem, as well as the Grace–Danielsson Inequality in one dimension higher. The conjecture is named after the Australian mathematician and science-fiction author Greg Egan.

References

  1. Johnson, Roger A. (2007) [1929], Advanced Euclidean Geometry, Dover Publ., p. 186
  2. Dunham, William (2007), The Genius of Euler: Reflections on his Life and Work, Spectrum Series, vol. 2, Mathematical Association of America, p. 300, ISBN   9780883855584
  3. Leversha, Gerry; Smith, G. C. (November 2007), "Euler and triangle geometry", The Mathematical Gazette , 91 (522): 436–452, doi:10.1017/S0025557200182087, JSTOR   40378417, S2CID   125341434
  4. Chapple, William (1746), "An essay on the properties of triangles inscribed in and circumscribed about two given circles", Miscellanea Curiosa Mathematica, 4: 117–124. The formula for the distance is near the bottom of p.123.
  5. Alsina, Claudi; Nelsen, Roger (2009), When Less is More: Visualizing Basic Inequalities, Dolciani Mathematical Expositions, vol. 36, Mathematical Association of America, p. 56, ISBN   9780883853429
  6. 1 2 Svrtan, Dragutin; Veljan, Darko (2012), "Non-Euclidean versions of some classical triangle inequalities", Forum Geometricorum , 12: 197–209; see p. 198
  7. Pambuccian, Victor; Schacht, Celia (2018), "Euler's inequality in absolute geometry", Journal of Geometry, 109 (Art. 8): 1–11, doi:10.1007/s00022-018-0414-6, S2CID   125459983