Prove midpoint and median structure

Try

Take A=(0,0), B=(8,0) and C=(2,6). The midpoints of BC, AC and AB are M=(5,3), N=(1,3) and P=(4,0). The segment NM is horizontal, just like AB, and has length 4 rather than 8. Draw all three medians: A to M, B to N and C to P.

A median connects a vertex to the midpoint of the opposite side. It is not generally perpendicular to that side and is not generally an angle bisector. In this example the three medians meet at G=(10/3,2). The purpose of the proof is to show that this concurrence is not an accident of the numbers.

Predict

Predict where G lies along AM. The displacement from A to M is (5,3); multiplying by 2/3 gives (10/3,2). Thus G is two thirds of the way from the vertex to the opposite midpoint. The remaining piece is one third, so AG:GM=2:1, not 2:3.

Predict whether the same fraction works on BN and CP. Compute B+(2/3)(N−B) and C+(2/3)(P−C). The equal results are stronger evidence than three pencil lines that appear to meet, but the next section still needs a general argument for every nondegenerate triangle.

Experiment

Construct the figure from the supplied coordinates. Label the three side midpoints before drawing any median. The diagram uses equal scales; intersections are not inferred from distorted lengths.

The dashed segment NM is a midsegment, while the three red segments are medians. State a different defining property for each type; neither name means merely “a line drawn somewhere in the middle.”

Understand

Place a general triangle at A=(0,0), B=(b,0), C=(c,d), with b>0 and d≠0. A rigid placement can always do this; if needed reflect to put C above the baseline. The coordinates c and d remain arbitrary, so we have not restricted the triangle to a symmetric special case.

The midpoint formula gives M=((b+c)/2,d/2), N=(c/2,d/2) and P=(b/2,0). The displacement N to M is (b/2,0), proving NM is parallel to AB and half its length. Relabeling the vertices proves the same result for either other pair of side midpoints.

Define G=((b+c)/3,d/3). Calculate each vertex-plus-two-thirds displacement:

Median	Point two thirds from its vertex
A to M	A+(2/3)(M−A)=((b+c)/3,d/3)
B to N	B+(2/3)(N−B)=((b+c)/3,d/3)
C to P	C+(2/3)(P−C)=((b+c)/3,d/3)

All three expressions equal G, so every median contains G. Since 0 < 2/3 < 1, G lies inside each median segment. The displacement fractions prove the 2:1 ratio, measured from the vertex. Nondegeneracy ensures the first two medians are distinct lines, so their common point is unique. This point is called the centroid.

For a separate triangle theorem, if AB=AC then compare triangles ABC and ACB: AB=AC, AC=AB, and their included angle at A is the same. SAS gives the base-angle equality at B and C. This is an independent congruence argument; a median is not assumed to bisect an angle just because it does so in some isosceles examples.

Apply

Use fresh coordinates to construct midpoints and medians, then demonstrate the common point through all three parameter calculations. A correct centroid average alone is not the entire proof unless you explain why that point lies on each median.

Repair the claim that “a median always splits a triangle into two congruent triangles.” Equal half-bases give equal areas when the triangles share the altitude to that base, but their other sides can differ. In our worked triangle, AC and BC have different lengths, so the two halves cut by CP cannot be congruent. Equality of area is weaker than congruence.

Continue

Midsegments connect midpoint constructions to parallel directions; medians connect a triangle’s vertices to a single balanced coordinate average. Both claims were proved for arbitrary b,c,d, not by measuring the example.

Optional depth: with a uniform thin triangular lamina, G is also its center of mass. That physical interpretation requires uniform density and an area-balance argument. Concurrence of geometric medians alone does not establish the balance point of a nonuniform physical object.