Difference between revisions of "Centroid"

(Removed rogue dollar sign)
m
(9 intermediate revisions by 7 users not shown)
Line 1: Line 1:
 
{{stub}}
 
{{stub}}
  
The '''centroid''' of a [[triangle]] is the [[point]] of [[intersection]] of the [[median of a triangle | medians]] of the triangle and is conventionally denoted <math>G</math>.  The centroid has the special property that, for each median, the distance from a vertex to the centroid is twice that of the distance from the centroid to the midpoint of the side opposite that vertex.  Also, the three medians of a triangle divide it into six regions of equal area.
+
The '''centroid''' of a plane figure is, roughly speaking, its center of mass. If the plane figure is cut out from uniform cardboard, say, and you connected a string to its centroid and held the other end of the string, the figure would be perfectly balanced. (The centroid does not have to be in the figure, however. A condition under which the centroid must be inside the figure is when the figure is [[convex]].)
The centroid is the center of mass of the triangle; in other words, if you connected a string to the centroid of a triangle and held the other end of the string, the triangle would be level.
+
 
 +
Of particular interest to students of olympiad geometry is the '''centroid''' of a [[triangle]]. This is the [[point]] of [[intersection]] of thee [[median of a triangle | medians]] of the triangle and is [[mathematical convention | conventionally]] denoted <math>G</math> (mnemonic: gravity).  The centroid has the special property that, for each median, the distance from a vertex to the centroid is twice that of the distance from the centroid to the midpoint of the side opposite that [[vertex]].  Also, the three medians of a triangle divide the triangle into six regions of equal [[area]].
 +
 
 +
 
 +
The coordinates of the centroid of a [[coordinatize]]d triangle are <math>(a,b)</math> where <math>a</math> is the [[arithmetic mean]] of the <math>x</math>-coordinates of the vertices of the triangle and <math>b</math> is the arithmetic mean of the <math>y</math>-coordinates of the triangle.  
 +
 
 +
 
 +
<asy>
 +
pair C=dir(0);
 +
pair A=dir(90);
 +
pair B=dir(180);
 +
pair M=(B+C)/2;
 +
pair N=(A+C)/2;
 +
pair O=(A+B)/2;
 +
pair G=centroid(C,A,B);
 +
D(MP("A",A,D(A))--MP("B",B,D(B))--MP("C",C,D(C))--cycle);
 +
D(MP("M",M,dir(270)));D(MP("N",N,D(N)));D(MP("O",O,D(O)));D(M);
 +
D(A--M--C--N--B--O--C);MP("G",G,D(G));
 +
</asy>
  
The coordinates of the centroid of a [[coordinatize]]d triangle is (a,b), where a is the arithmetic average of the x-coordinates of the vertices of the triangle and b is the arithmetic average of the y-coordinates of the triangle. 
 
  
  
<center>[[Image:centroid.PNG]]</center>
 
  
  
 
== Proof of concurrency of the medians of a triangle ==
 
== Proof of concurrency of the medians of a triangle ==
  
''Note: The existance of the centroid is a trivial consequence of [[Ceva's Theorem]].  However, there are many interesting and elegant ways to prove its existance, such as those shown below.''
+
''Note: The existence of the centroid is a trivial consequence of [[Ceva's Theorem]].  However, there are many interesting and elegant ways to prove its existence, such as those shown below.''
  
 
=== Proof 1 ===
 
=== Proof 1 ===
Line 18: Line 34:
 
''Readers unfamiliar with [[homothety]] should consult the second proof.''
 
''Readers unfamiliar with [[homothety]] should consult the second proof.''
  
Let <math>\displaystyle D,E,F</math> be the respective midpoints of sides <math>\displaystyle BC, CA, AB</math> of triangle <math>\displaystyle ABC</math>.  We observe that <math>\displaystyle DE, EF, FE</math> are parallel to (and of half the length of) <math>\displaystyle AB, BC, CA</math>, respectively.  Hence the triangles <math>\displaystyle ABC, DEF</math> are homothetic with respect to some point <math>\displaystyle G</math> with dilation factor <math>\displaystyle -\frac{1}{2}</math>; hence <math>\displaystyle AD, BE, CF</math> all pass through <math>\displaystyle G</math>, and <math>\displaystyle AG = 2 GD; BG = 2 GE; CG = 2 GF</math>.  Q.E.D.
+
Let <math>D,E,F</math> be the respective midpoints of sides <math>BC, CA, AB</math> of triangle <math>ABC</math>.  We observe that <math>DE, EF, FD</math> are parallel to (and of half the length of) <math>AB, BC, CA</math>, respectively.  Hence the triangles <math>ABC, DEF</math> are homothetic with respect to some point <math>G</math> with dilation factor <math>-\frac{1}{2}</math>; hence <math>AD, BE, CF</math> all pass through <math>G</math>, and <math>AG = 2 GD; BG = 2 GE; CG = 2 GF</math>.
  
 
=== Proof 2 ===
 
=== Proof 2 ===
  
Let <math>\displaystyle ABC</math> be a triangle, and let <math>\displaystyle D,E,F</math> be the respective [[midpoint]]s of the segments <math>\displaystyle BC, CA, AB</math>.  Let <math>\displaystyle G</math> be the intersection of <math>\displaystyle BE</math> and <math>\displaystyle CF</math>.  Let <math>\displaystyle E',F'</math> be the respective midpoints of <math>\displaystyle BG, CG </math>.  We observe that both <math>\displaystyle EF </math> and <math>\displaystyle E'F'</math> are [[parallel]] to <math>\displaystyle CB </math> and of half the length of <math>\displaystyle CB </math>.  Hence <math>\displaystyle EFF'E' </math> is a [[parallelogram]].  Since the diagonals of parallelograms [[bisect]] each other, we have <math>\displaystyle GE = E'G = BE'</math>, or <math>\displaystyle BG = 2GE </math>.  Hence each median passes through a similar trisection point of any other median; hence the medians concur.  Q.E.D.
+
Let <math>ABC</math> be a triangle, and let <math>D,E,F</math> be the respective [[midpoint]]s of the segments <math>BC, CA, AB</math>.  Let <math>G</math> be the intersection of <math>BE</math> and <math>CF</math>.  Let <math>E',F'</math> be the respective midpoints of <math>BG, CG </math>.  We observe that both <math>EF </math> and <math>E'F'</math> are [[parallel]] to <math>CB </math> and of half the length of <math>CB </math>.  Hence <math>EFE'F' </math> is a [[parallelogram]].  Since the diagonals of a parallelogram [[bisect]] each other, we have <math>GE = E'G = BE'</math>, or <math>BG = 2GE </math>.  Hence each median passes through an appropriate trisection point of each other median and the medians concur.
  
We note that both of these proofs give the result that the distance of a vertex of a point of a triangle to the centroid of the triangle is twice the distance from the centroid of the traingle to the midpoint of the opposite side.
+
We note that both of these proofs give the result that the distance of a vertex of a point of a triangle to the centroid of the triangle is twice the distance from the centroid of the triangle to the midpoint of the opposite side.
  
 
== See also ==
 
== See also ==
 
* [[Cevian]]
 
* [[Cevian]]
 
* [[Geometry]]
 
* [[Geometry]]
 +
 +
[[Category:Geometry]]

Revision as of 21:32, 25 February 2024

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

The centroid of a plane figure is, roughly speaking, its center of mass. If the plane figure is cut out from uniform cardboard, say, and you connected a string to its centroid and held the other end of the string, the figure would be perfectly balanced. (The centroid does not have to be in the figure, however. A condition under which the centroid must be inside the figure is when the figure is convex.)

Of particular interest to students of olympiad geometry is the centroid of a triangle. This is the point of intersection of thee medians of the triangle and is conventionally denoted $G$ (mnemonic: gravity). The centroid has the special property that, for each median, the distance from a vertex to the centroid is twice that of the distance from the centroid to the midpoint of the side opposite that vertex. Also, the three medians of a triangle divide the triangle into six regions of equal area.


The coordinates of the centroid of a coordinatized triangle are $(a,b)$ where $a$ is the arithmetic mean of the $x$-coordinates of the vertices of the triangle and $b$ is the arithmetic mean of the $y$-coordinates of the triangle.


[asy] pair C=dir(0); pair A=dir(90); pair B=dir(180); pair M=(B+C)/2; pair N=(A+C)/2; pair O=(A+B)/2; pair G=centroid(C,A,B); D(MP("A",A,D(A))--MP("B",B,D(B))--MP("C",C,D(C))--cycle); D(MP("M",M,dir(270)));D(MP("N",N,D(N)));D(MP("O",O,D(O)));D(M); D(A--M--C--N--B--O--C);MP("G",G,D(G)); [/asy]



Proof of concurrency of the medians of a triangle

Note: The existence of the centroid is a trivial consequence of Ceva's Theorem. However, there are many interesting and elegant ways to prove its existence, such as those shown below.

Proof 1

Readers unfamiliar with homothety should consult the second proof.

Let $D,E,F$ be the respective midpoints of sides $BC, CA, AB$ of triangle $ABC$. We observe that $DE, EF, FD$ are parallel to (and of half the length of) $AB, BC, CA$, respectively. Hence the triangles $ABC, DEF$ are homothetic with respect to some point $G$ with dilation factor $-\frac{1}{2}$; hence $AD, BE, CF$ all pass through $G$, and $AG = 2 GD; BG = 2 GE; CG = 2 GF$.

Proof 2

Let $ABC$ be a triangle, and let $D,E,F$ be the respective midpoints of the segments $BC, CA, AB$. Let $G$ be the intersection of $BE$ and $CF$. Let $E',F'$ be the respective midpoints of $BG, CG$. We observe that both $EF$ and $E'F'$ are parallel to $CB$ and of half the length of $CB$. Hence $EFE'F'$ is a parallelogram. Since the diagonals of a parallelogram bisect each other, we have $GE = E'G = BE'$, or $BG = 2GE$. Hence each median passes through an appropriate trisection point of each other median and the medians concur.

We note that both of these proofs give the result that the distance of a vertex of a point of a triangle to the centroid of the triangle is twice the distance from the centroid of the triangle to the midpoint of the opposite side.

See also