Consider △ABC and △DEF, shown below.
By applying the in each triangle, the following equations can be written.
{c2=a2+b12c2=a2+b22(I)(II)
The expression on the right hand-side of the first equation can be substituted into the second equation. Then a relation between
b1 and
b2 can be found.
{c2=a2+b12c2=a2+b22(I)(II)
{c2=a2+b12a2+b12=a2+b22
{c2=a2+b12∣b1∣=∣b2∣
Since both
b1 and
b2 represent side lengths, they are numbers. Moreover, the of a positive number is the number itself. Therefore, the second equation implies that
b1 and
b2 are equal.
∣b1∣b1b2=∣b2∣>0>0⇒b1=b2
Consequently, the three sides of
△ABC are congruent to the corresponding three sides of
△DEF.
Therefore, by the the triangles are congruent.