If in a triangle the square on one of the sides be equal to the squares on the remaining two sides of the triangle, the angle contained by the remaining two sides of the triangle is right.
For in the triangle
let the square on the side
be equal to the squares on the sides
,
;
I say that the angle
is right.
For let
be drawn from the point
at right angles to the straight line
, let
be mace equal to
, and let
be joined.
Since
is equal to
,
the square on
is also equal to the square on
.
Let the square on
be added to each;
therefore the squares on
,
are equal to the squares on
,
.
But the square on
is equal to the squares on
,
, for the angle
is right; [Prop. 1.47]
and the square on
is equal to the squares on
,
, for this is the hypothesis;
therefore the square on
is equal to the square on
,
so that the side
is also equal to
.
And, since
is equal to
,
and
is common,
the two sides
,
are equal to the two sides
,
;
and the base
is equal to the base
;
therefore the angle
is equal to the angle
. [Prop. 1.8]
But the angle
is right;
therefore the angle
is also right.
Therefore etc.
Q.E.D.