Harcourt's theorem is a formula in geometry for the area of a triangle, as a function of its side lengths and the perpendicular distances of its vertices from an arbitrary line tangent to its incircle. [1]
The theorem is named after J. Harcourt, an Irish professor. [2]
Let a triangle be given with vertices A, B, and C, opposite sides of lengths a, b, and c, area K, and a line that is tangent to the triangle's incircle at any point on that circle. Denote the signed perpendicular distances of the vertices from the line as a ', b ', and c ', with a distance being negative if and only if the vertex is on the opposite side of the line from the incenter. Then
If the tangent line contains one of the sides of the triangle, then two of the distances are zero and the formula collapses to the familiar formula that twice the area of a triangle is a base (the coinciding triangle side) times the altitude from that base.
If the line is instead tangent to the excircle opposite, say, vertex A of the triangle, then [1] :Thm.3
If rather than a', b', c' referring to distances from a vertex to an arbitrary incircle tangent line, they refer instead to distances from a sideline to an arbitrary point, then the equation
remains true. [3] :p. 11
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 .
A right triangle or right-angled triangle is a triangle in which one angle is a right angle. The relation between the sides and angles of a right triangle is the basis for trigonometry.
In elementary geometry, the property of being perpendicular (perpendicularity) is the relationship between two lines which meet at a right angle. The property extends to other related geometric objects.
In geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a bisector. The most often considered types of bisectors are the segment bisector and the angle bisector.
In geometry, an altitude of a triangle is a line segment through a vertex and perpendicular to a line containing the base. 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 nine-point circle is a circle that can be constructed for any given triangle. It is so named because it passes through nine significant concyclic points defined from the triangle. These nine points are:
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 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 geometry, the midpoint is the middle point of a line segment. It is equidistant from both endpoints, and it is the centroid both of the segment and of the endpoints. It bisects the segment.
In the geometry of triangles, the incircle and nine-point circle of a triangle are internally tangent to each other at the Feuerbach point of the triangle. The Feuerbach point is a triangle center, meaning that its definition does not depend on the placement and scale of the triangle. It is listed as X(11) in Clark Kimberling's Encyclopedia of Triangle Centers, and is named after Karl Wilhelm Feuerbach.
In geometry, the semiperimeter of a polygon is half its perimeter. Although it has such a simple derivation from the perimeter, the semiperimeter appears frequently enough in formulas for triangles and other figures that it is given a separate name. When the semiperimeter occurs as part of a formula, it is typically denoted by the letter s.
In hyperbolic geometry, a hyperbolic triangle is a triangle in the hyperbolic plane. It consists of three line segments called sides or edges and three points called angles or vertices.
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.
Lines in a plane or higher-dimensional space are said to be concurrent if they intersect at a single point.
In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear. In greater generality, the term has been used for aligned objects, that is, things being "in a line" or "in a row".
In geometry, the trilinear coordinatesx:y:z of a point relative to a given triangle describe the relative directed distances from the three sidelines of the triangle. Trilinear coordinates are an example of homogeneous coordinates. The ratio x:y is the ratio of the perpendicular distances from the point to the sides opposite vertices A and B respectively; the ratio y:z is the ratio of the perpendicular distances from the point to the sidelines opposite vertices B and C respectively; and likewise for z:x and vertices C and A.
In Euclidean geometry, a tangential quadrilateral or circumscribed quadrilateral is a convex quadrilateral whose sides all can be tangent to a single circle within the quadrilateral. This circle is called the incircle of the quadrilateral or its inscribed circle, its center is the incenter and its radius is called the inradius. Since these quadrilaterals can be drawn surrounding or circumscribing their incircles, they have also been called circumscribable quadrilaterals, circumscribing quadrilaterals, and circumscriptible quadrilaterals. Tangential quadrilaterals are a special case of tangential polygons.
In Euclidean geometry, an ex-tangential quadrilateral is a convex quadrilateral where the extensions of all four sides are tangent to a circle outside the quadrilateral. It has also been called an exscriptible quadrilateral. The circle is called its excircle, its radius the exradius and its center the excenter. The excenter lies at the intersection of six angle bisectors. These are the internal angle bisectors at two opposite vertex angles, the external angle bisectors at the other two vertex angles, and the external angle bisectors at the angles formed where the extensions of opposite sides intersect. The ex-tangential quadrilateral is closely related to the tangential quadrilateral.
In Euclidean geometry, a right kite is a kite that can be inscribed in a circle. That is, it is a kite with a circumcircle. Thus the right kite is a convex quadrilateral and has two opposite right angles. If there are exactly two right angles, each must be between sides of different lengths. All right kites are bicentric quadrilaterals, since all kites have an incircle. One of the diagonals divides the right kite into two right triangles and is also a diameter of the circumcircle.
In plane geometry, an extended side or sideline of a polygon is the line that contains one side of the polygon. The extension of a side arises in various contexts.
