PROPOSITION 48.¶
For in the triangle ABC let the square on one side BC be equal to the squares on the sides BA, AC;
I say that the angle BAC is right.
For let AD be drawn from the point A at right angles to the straight line AC, let AD be made equal to BA, and let DC be joined.
Since DA is equal to AB, the square on DA is also equal to the square on AB.
Let the square on AC be added to each;
therefore the squares on DA, AC are equal to the squares on BA, AC.
But the square on DC is equal to the squares on DA, AC, for the angle DAC is right; [I. 47]
and the square on BC is equal to the squares on BA, AC, for this is the hypothesis;
And, since DA is equal to AB, and AC is common, the two sides DA, AC are equal to the two sides BA, AC; and the base DC is equal to the base BC;
But the angle DAC is right;
See Commentary on Proposition I.48.