Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Midpoint"

 
m (Corrected a small mistake of the side lengths in the triangle)
 
(18 intermediate revisions by 4 users not shown)
Line 1: Line 1:
 +
== Definition ==
 +
In [[Euclidean geometry]], the '''midpoint''' of a [[line segment]] is the [[point]] on the segment equidistant from both endpoints.
 +
 +
A midpoint [[bisect]]s the line segment that the midpoint lies on. Because of this property, we say that for any line segment <math>\overline{AB}</math> with midpoint <math>M</math>, <math>AM=BM=\frac{1}{2}AB</math>. Alternatively, any point <math>M</math> on <math>\overline{AB}</math> such that <math>AM=BM</math> is the midpoint of the segment.
 +
<asy>
 +
draw((0,0)--(4,0));
 +
dot((0,0));
 +
label("A",(0,0),N);
 +
dot((4,0));
 +
label("B",(4,0),N);
 +
dot((2,0));
 +
label("M",(2,0),N);
 +
label("Figure 1",(2,0),4S);
 +
</asy>
 +
 +
== Midpoints and Triangles ==
 +
<asy>
 +
pair A,B,C,D,E,F,G;
 +
A=(0,0);
 +
B=(4,0);
 +
C=(1,3);
 +
D=(2,0);
 +
E=(2.5,1.5);
 +
F=(0.5,1.5);
 +
G=(5/3,1);
 +
draw(A--B--C--cycle);
 +
draw(D--E--F--cycle,green);
 +
dot(A--B--C--D--E--F--G);
 +
draw(A--E,red);
 +
draw(B--F,red);
 +
draw(C--D,red);
 +
label("A",A,S);
 +
label("B",B,S);
 +
label("C",C,N);
 +
label("D",D,S);
 +
label("E",E,E);
 +
label("F",F,W);
 +
label("G",G,NE);
 +
label("Figure 2",D,4S);
 +
</asy>
 +
=== Midsegments ===
 +
As shown in Figure 2, <math>\Delta ABC</math> is a triangle with <math>D</math>, <math>E</math>, <math>F</math> midpoints on <math>\overline{AB}</math>, <math>\overline{BC}</math>, <math>\overline{CA}</math> respectively. Connect <math>\overline{EF}</math>, <math>\overline{FD}</math>, <math>\overline{DE}</math> (segments highlighted in green). They are midsegments to their corresponding sides. Using SAS Similarity Postulate, we can see that <math>\Delta CFE \sim \Delta CAB</math> and likewise for <math>\Delta ADF</math> and <math>\Delta BED</math>. Because of this, we know that
 +
<cmath>\begin{align*}
 +
AB &= 2FE \\
 +
BC &= 2DF \\
 +
CA &= 2ED \\
 +
\end{align*}</cmath>
 +
Which is the Triangle Midsegment Theorem. Because we have a relationship between these segment lengths, <math>\Delta ABC \sim \Delta EFD  (SSS)</math> with similar ratio 2:1. The area ratio is then 4:1; this tells us
 +
<cmath>\begin{align*}
 +
[ABC] &= 4[EFD]
 +
\end{align*}</cmath>
 +
 +
=== Medians ===
 +
The [[median of a triangle]] is defined as one of the three line segments connecting a midpoint to its opposite vertex. As for the case of Figure 2, the medians are <math>\overline{AE}</math>, <math>\overline{BF}</math>, and <math>\overline{CD}</math>, segments highlighted in red.
 +
 +
These three line segments are [[concurrent]] at point <math>G</math>, which is otherwise known as the [[centroid]]. This concurrence can be proven through many ways, one of which involves the most simple usage of [[Ceva's Theorem]]. A median is always within its triangle.
 +
 +
The centroid is one of the points that trisect a median. For a median in any triangle, the ratio of the median's length from vertex to centroid and centroid to the base is always 2:1.
 +
 +
For right triangles, the median to the hypotenuse always equals to half the length of the hypotenuse.
 +
 +
For equilateral triangles, its median to one side is the same as the angle bisector and altitude. It can be calculated as <math>\frac{\sqrt3}{2}s</math>, where <math>s</math> denotes its side length.
 +
 +
== Cartesian Plane ==
 +
In the Cartesian Plane, the coordinates of the midpoint <math>M</math> can be obtained when the two endpoints <math>A</math>, <math>B</math> of the line segment <math>\overline{AB}</math> is known. Say that <math>A: A(x_A,y_A)</math> and <math>B: B(x_B,y_B)</math>. The Midpoint Formula states that the coordinates of <math>M</math> can be calculated as:
 +
<cmath>\begin{align*}
 +
M\left( \frac{x_A+x_B}{2} , \frac{y_A+y_B}{2} \right).
 +
\end{align*}</cmath>
 +
== See Also ==
 +
* [[Bisect]]
 +
* [[Median of a triangle]]
 +
 
{{stub}}
 
{{stub}}
−
 
−
The '''midpoint''' of a [[line segment]] is the [[point]] on the segment equidistant from both endpoints.
 
  
 
[[Category:Definition]]
 
[[Category:Definition]]
 +
[[Category:Geometry]]

Latest revision as of 16:09, 9 May 2024

Definition

In Euclidean geometry, the midpoint of a line segment is the point on the segment equidistant from both endpoints.

A midpoint bisects the line segment that the midpoint lies on. Because of this property, we say that for any line segment $\overline{AB}$ with midpoint $M$, $AM=BM=\frac{1}{2}AB$. Alternatively, any point $M$ on $\overline{AB}$ such that $AM=BM$ is the midpoint of the segment. [asy] draw((0,0)--(4,0)); dot((0,0)); label("A",(0,0),N); dot((4,0)); label("B",(4,0),N); dot((2,0)); label("M",(2,0),N); label("Figure 1",(2,0),4S); [/asy]

Midpoints and Triangles

[asy] pair A,B,C,D,E,F,G; A=(0,0); B=(4,0); C=(1,3); D=(2,0); E=(2.5,1.5); F=(0.5,1.5); G=(5/3,1); draw(A--B--C--cycle); draw(D--E--F--cycle,green); dot(A--B--C--D--E--F--G); draw(A--E,red); draw(B--F,red); draw(C--D,red); label("A",A,S); label("B",B,S); label("C",C,N); label("D",D,S); label("E",E,E); label("F",F,W); label("G",G,NE); label("Figure 2",D,4S); [/asy]

Midsegments

As shown in Figure 2, $\Delta ABC$ is a triangle with $D$, $E$, $F$ midpoints on $\overline{AB}$, $\overline{BC}$, $\overline{CA}$ respectively. Connect $\overline{EF}$, $\overline{FD}$, $\overline{DE}$ (segments highlighted in green). They are midsegments to their corresponding sides. Using SAS Similarity Postulate, we can see that $\Delta CFE \sim \Delta CAB$ and likewise for $\Delta ADF$ and $\Delta BED$. Because of this, we know that \begin{align*} AB &= 2FE \\ BC &= 2DF \\ CA &= 2ED \\ \end{align*} Which is the Triangle Midsegment Theorem. Because we have a relationship between these segment lengths, $\Delta ABC \sim \Delta EFD (SSS)$ with similar ratio 2:1. The area ratio is then 4:1; this tells us \begin{align*} [ABC] &= 4[EFD] \end{align*}

Medians

The median of a triangle is defined as one of the three line segments connecting a midpoint to its opposite vertex. As for the case of Figure 2, the medians are $\overline{AE}$, $\overline{BF}$, and $\overline{CD}$, segments highlighted in red.

These three line segments are concurrent at point $G$, which is otherwise known as the centroid. This concurrence can be proven through many ways, one of which involves the most simple usage of Ceva's Theorem. A median is always within its triangle.

The centroid is one of the points that trisect a median. For a median in any triangle, the ratio of the median's length from vertex to centroid and centroid to the base is always 2:1.

For right triangles, the median to the hypotenuse always equals to half the length of the hypotenuse.

For equilateral triangles, its median to one side is the same as the angle bisector and altitude. It can be calculated as $\frac{\sqrt3}{2}s$, where $s$ denotes its side length.

Cartesian Plane

In the Cartesian Plane, the coordinates of the midpoint $M$ can be obtained when the two endpoints $A$, $B$ of the line segment $\overline{AB}$ is known. Say that $A: A(x_A,y_A)$ and $B: B(x_B,y_B)$. The Midpoint Formula states that the coordinates of $M$ can be calculated as: \begin{align*} M\left( \frac{x_A+x_B}{2} , \frac{y_A+y_B}{2} \right). \end{align*}

See Also

This article is a stub. Help us out by expanding it.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Midpoint&oldid=219158"