therefore the square which is made of one of the sides of a triangle, be equall to the squares which are made of the two other sides of the same triangle, the an∣gle comprehended vnder those two other sides is a right angle. which was re∣quired to be proued.
This proposition is the conuerse of the former, and is of Pelitarius demon∣strated by an argument leading to an impossibilitie after this maner.
Suppose that ABC be a triangle: & let the square of the side AC, be equal to the squares of the two sides AB and BC. Then I say that the angle at the point B, which is opposite to the side AC, is a right angle. For if the angle at the point
B be not a right angle, then shal it be eyther greater or lesse thē a right angle. First let it be is greater. And let the angle
DBC be a right angle, by erecting from the point
B a per∣pendicular line vnto the line
BC (by the 11. proposition) which let be
BD: and put the line
BD equall to the lyne
AB (by the thirde proposition). And drawe a line from
C to D. Now (by the former proposition) the square of the side
CD shalbe equall to the squares of the two sides
BD and
BC: wherefore also to the squares of the two sides
BA and
BC. Wherefore the base
CD shalbe equall to the base
CA, when as their squares are equall: which is con∣trary to the 24. proposition. For forasmuch as the angle
ABC is greater then the angle D
BC, and the two sides
AB and
BC are equall to the two sides
DB and
BC, the one to the other, the base
CA shall be greater then the base
CD. It is also contrary to the 7. proposition, for from the two endes of one & the same line, namely, frō the points
B &
C should be drawn on one and the same side two lines
BD and
DC ending at the pointe
D, e∣quall to two other lines
BA and
AC drawen from the same endes and ending at an other point, namely, at
A, which is impos∣sible. By the same reason also may we proue that the whole angle at the pointe
B is not lesse then a right angle. Wherfore it is a right angle: which was required to be proued.