In geometry, Euler's theorem states that the distance d between the circumcenter and incenter of a triangle is given by [1] [2]
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]
A stronger version [6] is
where , , and are the side lengths of the triangle.
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 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]
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.
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.
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.
In geometry, a hexagon is a six-sided polygon. The total of the internal angles of any simple (non-self-intersecting) hexagon is 720°.
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.
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.
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.
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.
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.
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.
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).
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.
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.
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.