Math 2.0

statement theorem

The medians meet at the centroid

Statement

Let ABCABC be a triangle in the Euclidean space Rn\mathbb{R}^n, and let G=13(A+B+C)G = \frac{1}{3}(A + B + C) be its centroid. Then GG lies on each of the three medians of ABCABC. More precisely, let MAM_A be the midpoint of BB and CC. Then G=A+23(MA−A)G = A + \frac{2}{3}(M_A - A), and the same holds for the vertices BB and CC.

Remarks

The formula shows that GG divides each median in the ratio 2:12 : 1, counted from the vertex. The proof is one line: A+23(B+C2−A)=13(A+B+C)A + \frac{2}{3}\left(\frac{B + C}{2} - A\right) = \frac{1}{3}(A + B + C). The statement is true in each affine space over a field in which 22 and 33 are invertible. Mathlib states it for each simplex.

Explanations

L1 human

Draw the three medians of a paper triangle. They always cross at one point. This point is two thirds of the way from each vertex to the middle of the opposite side.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 3 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Centroid concept
  2. Median of a triangle concept
  3. The medians meet at the centroid statement

Sources

  1. Web https://en.wikipedia.org/wiki/Centroid, Of a triangle
  2. Web https://en.wikipedia.org/wiki/Median_(geometry), Relation to center of mass