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.

The midpoint of a segment in *n*-dimensional space whose endpoints are and is given by

That is, the *i*^{th} coordinate of the midpoint (*i* = 1, 2, ..., *n*) is

Given two points of interest, finding the midpoint of the line segment they determine can be accomplished by a compass and straightedge construction. The midpoint of a line segment, embedded in a plane, can be located by first constructing a lens using circular arcs of equal (and large enough) radii centered at the two endpoints, then connecting the cusps of the lens (the two points where the arcs intersect). The point where the line connecting the cusps intersects the segment is then the midpoint of the segment. It is more challenging to locate the midpoint using only a compass, but it is still possible according to the Mohr-Mascheroni theorem.^{ [1] }

The midpoint of any diameter of a circle is the center of the circle.

Any line perpendicular to any chord of a circle and passing through its midpoint also passes through the circle's center.

The butterfly theorem states that, if *M* is the midpoint of a chord *PQ* of a circle, through which two other chords *AB* and *CD* are drawn, then *AD* and *BC* intersect chord *PQ* at *X* and *Y* respectively, such that *M* is the midpoint of *XY*.

The midpoint of any segment which is an area bisector or perimeter bisector of an ellipse is the ellipse's center.

The ellipse's center is also the midpoint of a segment connecting the two foci of the ellipse.

The midpoint of a segment connecting a hyperbola's vertices is the center of the hyperbola.

The perpendicular bisector of a side of a triangle is the line that is perpendicular to that side and passes through its midpoint. The three perpendicular bisectors of a triangle's three sides intersect at the circumcenter (the center of the circle through the three vertices).

The median of a triangle's side passes through both the side's midpoint and the triangle's opposite vertex. The three medians of a triangle intersect at the triangle's centroid (the point on which the triangle would balance if it were made of a thin sheet of uniform-density metal).

The nine-point center of a triangle lies at the midpoint between the circumcenter and the orthocenter. These points are all on the Euler line.

A *midsegment* (or *midline*) of a triangle is a line segment that joins the midpoints of two sides of the triangle. It is parallel to the third side and has a length equal to one half of that third side.

The medial triangle of a given triangle has vertices at the midpoints of the given triangle's sides, therefore its sides are the three midsegments of the given triangle. It shares the same centroid and medians with the given triangle. The perimeter of the medial triangle equals the semiperimeter (half the perimeter) of the original triangle, and its area is one quarter of the area of the original triangle. The orthocenter (intersection of the altitudes) of the medial triangle coincides with the circumcenter (center of the circle through the vertices) of the original triangle.

Every triangle has an inscribed ellipse, called its Steiner inellipse, that is internally tangent to the triangle at the midpoints of all its sides. This ellipse is centered at the triangle's centroid, and it has the largest area of any ellipse inscribed in the triangle.

In a right triangle, the circumcenter is the midpoint of the hypotenuse.

In an isosceles triangle, the median, altitude, and perpendicular bisector from the base side and the angle bisector of the apex coincide with the Euler line and the axis of symmetry, and these coinciding lines go through the midpoint of the base side.

The two bimedians of a convex quadrilateral are the line segments that connect the midpoints of opposite sides, hence each bisecting two sides. The two bimedians and the line segment joining the midpoints of the diagonals are concurrent at (all intersect at)a point called the "vertex centroid", which is the midpoint of all three of these segments.^{ [2] }^{:p.125}

The four "maltitudes" of a convex quadrilateral are the perpendiculars to a side through the midpoint of the opposite side, hence bisecting the latter side. If the quadrilateral is cyclic (inscribed in a circle), these maltitudes all meet at a common point called the "anticenter".

Brahmagupta's theorem states that if a cyclic quadrilateral is orthodiagonal (that is, has perpendicular diagonals), then the perpendicular to a side from the point of intersection of the diagonals always goes through the midpoint of the opposite side.

Varignon's theorem states that the midpoints of the sides of an arbitrary quadrilateral form the vertices of a parallelogram, and if the quadrilateral is not self-intersecting then the area of the parallelogram is half the area of the quadrilateral.

The Newton line is the line that connects the midpoints of the two diagonals in a convex quadrilateral that is not a parallelogram. The line segments connecting the midpoints of opposite sides of a convex quadrilateral intersect in a point that lies on the Newton line.

A regular polygon has an inscribed circle which is tangent to each side of the polygon at its midpoint.

In a regular polygon with an even number of sides, the midpoint of a diagonal between opposite vertices is the polygon's center.

The midpoint-stretching polygon of a cyclic polygon P (a polygon whose vertices all fall on the same circle) is another cyclic polygon inscribed in the same circle, the polygon whose vertices are the midpoints of the circular arcs between the vertices of P.^{ [3] } Iterating the midpoint-stretching operation on an arbitrary initial polygon results in a sequence of polygons whose shapes converge to that of a regular polygon.^{ [3] }^{ [4] }

The abovementioned formulas for the midpoint of a segment implicitly use the lengths of segments. However, in the generalization to affine geometry, where segment lengths are not defined,^{ [5] } the midpoint can still be defined since it is an affine invariant. The synthetic affine definition of the midpoint M of a segment AB is the projective harmonic conjugate of the point at infinity, P, of the line AB. That is, the point M such that H[*A*,*B*; *P*,*M*].^{ [6] } When coordinates can be introduced in an affine geometry, the two definitions of midpoint will coincide.^{ [7] }

The midpoint is not naturally defined in projective geometry since there is no distinguished point to play the role of the point at infinity (any point in a projective range may be projectively mapped to any other point in (the same or some other) projective range). However, fixing a point at infinity defines an affine structure on the projective line in question and the above definition can be applied.

The definition of the midpoint of a segment may be extended to geodesic arcs on a Riemannian manifold. Note that, unlike in the affine case, the *midpoint* between two points may not be uniquely determined.

A **quadrilateral** is a polygon in Euclidean plane geometry with four edges (sides) and four vertices (corners). Other names for quadrilateral include **quadrangle**, **tetragon**, and **4-gon**. A quadrilateral with vertices , , and is sometimes denoted as .

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 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 Euclidean geometry, a **parallelogram** is a simple (non-self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.

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, 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 plane Euclidean geometry, a **rhombus** is a quadrilateral whose four sides all have the same length. Another name is **equilateral quadrilateral**, since equilateral means that all of its sides are equal in length. The rhombus is often called a **diamond**, after the diamonds suit in playing cards which resembles the projection of an octahedral diamond, or a **lozenge**, though the former sometimes refers specifically to a rhombus with a 60° angle, and the latter sometimes refers specifically to a rhombus with a 45° angle.

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, the **Euler line**, named after Leonhard Euler, is a line determined from any triangle that is not equilateral. It is a central line of the triangle, and it passes through several important points determined from the triangle, including the orthocenter, the circumcenter, the centroid, the Exeter point and the center of the nine-point circle of the 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.

In geometry, a set of points are said to be **concyclic** if they lie on a common circle. All concyclic points are at the same distance from the center of the circle. Three points in the plane that do not all fall on a straight line are concyclic, but four or more such points in the plane are not necessarily concyclic.

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, a **centre** of an object is a point in some sense in the middle of the object. According to the specific definition of center taken into consideration, an object might have no center. If geometry is regarded as the study of isometry groups then a center is a fixed point of all the isometries which move the object onto itself.

In triangle geometry, a **circumconic** is a conic section that passes through the three vertices of a triangle, and an **inconic** is a conic section inscribed in the sides, possibly extended, of a triangle.

**Varignon's theorem** is a statement in Euclidean geometry, that deals with the construction of a particular parallelogram, the **Varignon parallelogram**, from an arbitrary quadrilateral (quadrangle). It is named after Pierre Varignon, whose proof was published posthumously in 1731.

In geometry, a **line segment** is a part of a line that is bounded by two distinct end points, and contains every point on the line between its endpoints. A **closed line segment** includes both endpoints, while an **open line segment** excludes both endpoints; a **half-open line segment** includes exactly one of the endpoints. In geometry, a line segment is often denoted using a line above the symbols for the two endpoints.

In Euclidean geometry, an **orthodiagonal quadrilateral** is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendicular) to each other.

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.

- ↑ "Wolfram mathworld". 29 September 2010.
- ↑ Altshiller-Court, Nathan,
*College Geometry*, Dover Publ., 2007. - 1 2 Ding, Jiu; Hitt, L. Richard; Zhang, Xin-Min (1 July 2003), "Markov chains and dynamic geometry of polygons" (PDF),
*Linear Algebra and its Applications*,**367**: 255–270, doi:10.1016/S0024-3795(02)00634-1 , retrieved 19 October 2011. - ↑ Gomez-Martin, Francisco; Taslakian, Perouz; Toussaint, Godfried T. (2008), "Convergence of the shadow sequence of inscribed polygons",
*18th Fall Workshop on Computational Geometry* - ↑ Fishback, W.T. (1969),
*Projective and Euclidean Geometry*(2nd ed.), John Wiley & Sons, p. 214, ISBN 0-471-26053-3 - ↑ Meserve, Bruce E. (1983) [1955],
*Fundamental Concepts of Geometry*, Dover, p. 156, ISBN 0-486-63415-9 - ↑ Young, John Wesley (1930),
*Projective Geometry*, Carus Mathematical Monographs #4, Mathematical Association of America, pp. 84–85

- Animation – showing the characteristics of the midpoint of a line segment

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.