Converse of Pythagoras Theorem: In a triangle, if the square of one side is equal to the sum of the squares of the other two sides, then the angle opposite to the first side is at right angle.
Given: BC2=AB2+AC2 in △ABC
To prove that ∠A is a right angle.
Let ¯¯¯¯¯¯¯¯¯OX be any ray
we can construct ¯¯¯¯¯¯¯¯OY such that ¯¯¯¯¯¯¯¯OY⊥¯¯¯¯¯¯¯¯¯OX
Let M∈OY such that OM=AC
Let N∈¯¯¯¯¯¯¯¯¯OX such that ON=AB
Draw ¯¯¯¯¯¯¯¯¯¯¯MN
△OMN is right angle triangle as ¯¯¯¯¯¯¯¯¯¯OM⊥¯¯¯¯¯¯¯¯¯ON
∠MON is a right angle
∴ MN is the hypotenuse
According to the Pythagoras theorem
MN2=OM2+ON2=AC2+AB2
But AB2+AC2=BC2
MN2=BC2
MN=BC......(i)
∴ In △ABC and △ONM consider the correspondence ABC↔ONM
¯¯¯¯¯¯¯¯AB≅¯¯¯¯¯¯¯¯¯ON (ON=AB)
¯¯¯¯¯¯¯¯AC≅¯¯¯¯¯¯¯¯¯¯OM (OM=AC)
¯¯¯¯¯¯¯¯BC≅¯¯¯¯¯¯¯¯¯¯¯MN (MN=BC)
The correspondence ABC↔ONM is congruence. So △ABC↔△ONM (by SSS)
∴ ∠A≅∠O
But ∠O in △ONM is right angle by construction
∴ ∠A is a right angle.