João Cruz

• 1. Tangents and Radius Theorem
• 2. Angle at the centre Theorem
• 3. Two Tangents Theorem
• 4. Triangle Inequality Theorem
• 5. Teorema de Napoleão
• 6. Triangle Midsegment Theorem
• 7. The Theorem of Pythagoras by shear mapping
• 8. Triangle Exterior Angle Theorem
• 9. Triangle Sum Theorem
• 10. Exterior Angle Theorem
• 11. Theorem 01 - Vertically Opposite Angles
• 12. Theorem 02 - Isosceles Triangle
• 13. Theorem 03 - Alternate Angles and Parallel Lines
• 14. Pick's Formula
• 15. Theorem 11
• 16. Theorem 21
• 17. Theorem 19
• 18. Theorem 16
• 19. Theorem 18
• 20. Theorem 15
• 21. Theorem 14
• 22. Theorem 20
• 23. Theorem 13
• 24. Theorem 12
• 25. Theorem 8
• 26. Theorem 9
• 27. Theorem 10
• 28. Theorem 4
• 29. Theorem 5
• 30. Theorem 6
• 31. Theorem 1
• 32. Theorem 2
• 33. Theorem 3
• 34. Corollary 1 to Theorem 10
• 35. Corollary 2 to Theorem 19
• 36. Corollary 3 to Theorem 19
• 37. Corollary 4 to Theorem 19
• 38. Corollary 5 to Theorem 19
• 39. Corollary 6 to Theorem 20
• 40. Axiom 4 (2)
• 41. Axiom 4 (4)
• 42. Axiom 4 (1)
• 43. Axiom 5
• 44. Axiom 3
• 45. Axiom 2
• 46. Axiom 1