Math 2.0

statement theorem

Side-side-side congruence

Statement

Let ABCABC and A′B′C′A'B'C' be triangles in the Euclidean space Rn\mathbb{R}^n, and let dd be the Euclidean distance. Then ABCABC and A′B′C′A'B'C' are congruent if and only if d(A,B)=d(A′,B′),d(B,C)=d(B′,C′)andd(C,A)=d(C′,A′).d(A, B) = d(A', B'), \quad d(B, C) = d(B', C') \quad \text{and} \quad d(C, A) = d(C', A').

Remarks

Other criteria for congruence are side-angle-side, angle-side-angle and angle-angle-side. Side-side-angle is not a criterion: two sides and an angle that is not between them can fit two different triangles. Angle-angle-angle is not a criterion either. Triangles with equal angles are similar, but they can have different sizes.

Explanations

L1 human

If you know the three side lengths of a triangle, you know the whole triangle. Three sticks of fixed lengths make one rigid shape, up to a turn or a flip. This is why triangles make frames stiff.

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. Congruent triangles concept
  2. Euclidean distance concept
  3. Side-side-side congruence statement

Sources

  1. Web https://en.wikipedia.org/wiki/Congruence_(geometry), Determining congruence