| # | Statement | Reason |
|---|---|---|
| 1. | Right-triangle exists, with angle BAC right. | given |
| 2. | ||
| 3. | ||
| 4. | ||
| 5. | ||
| 6. | ||
| 7. | ||
| 8. | ||
| 9. | ||
| 10. | ||
| 11. | ||
| 12. | ||
| 13. | ||
| 14. | ||
| 15. | ||
| 16. | ||
| 17. | ||
| 18. | ||
| 19. | ||
| 20. | ||
| 21. | ||
| 22. | ||
| 23. | ||
|
TBC. (to be continued...)
In right-angled triangles the square on the side opposite the right angle equals the sum of the squares on the sides containing the right angle. Success! Name: |
||
|
||
| Add to proof | Summary | |
|---|---|---|
| Definition of a point. | ||
| Definition of a straight line => A line exists | ||
| Definition of a straight line => Choose an arbitrary point | ||
| Definition of a circle | ||
| Definition of an equilateral triangle. | ||
| Definition of a square (right-angled). | ||
| Definition of a square (equilateral). | ||
| Draw a straight line from any point to any point. | ||
| Extend a finite straight line continuously in a straight line. | ||
| Draw a circle with center and radius. | ||
| All right angles equal one another. | ||
| The Parallel Postulate | ||
| Things equal to the same thing are equal to each other. | ||
| If equals are added to equals, then the wholes are equal. (angles) | ||
| If equals are subtracted from equals, then the remainders are equal. | ||
| Things which coincide with one another equal one another. (lines) | ||
| Things which coincide with one another equal one another. (whole angle) | ||
| The whole is greater than the part. | ||
| Construct an equilateral triangle on a given finite straight line. | ||
| Place a straight line equal to a given straight line with one end at a given point. | ||
| Cut off from the greater of two given unequal straight lines a straight line equal to the less. | ||
| SAS - If two triangles have two sides equal to two sides respectively, and have the angles contained by the equal straight lines equal, then they also have the base equal to the base the triangle equals the triangle, and the remaining angles equal the remaining angles respectively, namely those opposite the equal sides. | ||
| In isosceles triangles the angles at the base equal one another, and, if the equal straight lines are produced further, then the angles under the base equal one another. | ||
| If in a triangle two angles equal one another, then the sides opposite the equal angles also equal one another. | ||
| Given two straight lines constructed from the ends of a straight line and meeting in a point, there cannot be constructed from the ends of the same straight line, and on the same side of it, two other straight lines meeting in another point and equal to the former two respectively, namely each equal to that from the same end. | ||
| If two triangles have the two sides equal to two sides respectively, and also have the base equal to the base, then they also have the angles equal which are contained by the equal straight lines. | ||
| If a straight line stands on a straight line, then it makes angles whose sum equals two right angles. | ||
| If with any straight line, and at a point on it, two straight lines make angles summing to two right angles. | ||
| A straight line falling on parallel straight lines makes the alternate angles equal to one another. | ||
| A straight line falling on parallel straight lines makes the exterior angles equal to their interior and opposite angle. | ||
| To draw a straight line through a given point parallel to a given straight line. | ||
| If a parallelogram has the same base with a triangle and is in the same parallels, then the parallelogram is double the triangle. | ||
| To describe a square on a given straight line. | ||