Given : In $$\triangle ABC$$ we have $$\angle B = \angle C$$.
To prove : $$AB = AC$$ (this is exactly Theorem 6: the sides opposite equal angles of a triangle are equal).
Construction : From vertex $$A$$ draw the perpendicular $$AD$$ to the base $$BC$$, so that $$AD \perp BC$$ and $$D$$ lies on $$BC$$.
After the construction we have two right triangles
- $$\triangle ABD$$ with right angle at $$D$$, and
- $$\triangle ACD$$ with right angle at $$D$$.
Step 1 : Establish similarity of the two right triangles
Because $$\angle B = \angle C$$ (given) and both the triangles are right–angled at $$D$$, we get
$$\angle ABD = \angle ACD\quad\text{and}\quad \angle ADB = \angle ADC = 90^{\circ}.$$
Thus, by the AA criterion,
$$\triangle ABD \sim \triangle ACD.$$
Step 2 : A proportionality obtained from similarity
Corresponding (hypotenuse) sides of the similar triangles give
$$\frac{AB}{AC} = \frac{BD}{DC}. \quad(1)$$
Step 3 : Invoke the Baudhāyana–Pythagoras theorem in each right triangle
Applying the theorem to $$\triangle ABD$$ and $$\triangle ACD$$, we have
$$AB^{2} = AD^{2} + BD^{2} \quad(2)$$
$$AC^{2} = AD^{2} + DC^{2}. \quad(3)$$
Step 4 : Use (1), (2) and (3) to compare the two sides
From (1) we get $$BD = \dfrac{AB}{AC}\,DC$$. Substitute this relation into (2):
$$AB^{2} = AD^{2} + \left( \dfrac{AB}{AC}\,DC \right)^{2}$$
$$\Rightarrow\; AB^{2} = AD^{2} + \dfrac{AB^{2}}{AC^{2}}\,DC^{2}. \quad(4)$$
Replace $$AD^{2}$$ obtained from (3): $$AD^{2} = AC^{2} - DC^{2}$$, and insert it into (4):
$$AB^{2} = (AC^{2} - DC^{2}) + \dfrac{AB^{2}}{AC^{2}}\,DC^{2}.$$
Collect the $$DC^{2}$$ terms on the right:
$$AB^{2} = AC^{2} + DC^{2}\left( \dfrac{AB^{2}}{AC^{2}} - 1 \right).$$
Move $$AC^{2}$$ to the left and factor:
$$AB^{2} - AC^{2} = DC^{2}\left( \dfrac{AB^{2}}{AC^{2}} - 1 \right).$$
Notice that the right-hand factor is exactly $$\dfrac{AB^{2} - AC^{2}}{AC^{2}}$$, so we get
$$AB^{2} - AC^{2} = DC^{2}\cdot \dfrac{AB^{2} - AC^{2}}{AC^{2}}.$$
If $$AB \neq AC$$, we can divide both sides by $$AB^{2} - AC^{2}$$ (which would be non-zero) and obtain
$$1 = \dfrac{DC^{2}}{AC^{2}},\;\text{i.e.}\; DC = AC.$$
But $$DC$$ is only a part of $$AC$$, so the equality is impossible unless the common factor we divided by was actually zero. Hence
$$AB^{2} - AC^{2} = 0 \;\Rightarrow\; AB = AC.$$
Step 5 : Conclusion
Because the sides opposite the equal angles $$\angle B$$ and $$\angle C$$ have turned out to be equal, the triangle is isosceles as claimed.
Thus, using the Baudhāyana–Pythagoras theorem we have established Theorem 6.
Hence proved.