triangle sum theorem
Theory_of_BPT_theorem
He created a proof.
proof
By definition, a theorem is a proven statement- until a proof is made for a statement, it is not a theorem but rather a conjecture. Whether you need to be able to reproduce the proof of a known theorem is another matter. If you trust the prover, I think you can make use of a theorem without knowing the proof. However, studying the proof can give you valuable insights into what the theorem really means and how it might be used. Also, reading proofs made by other people can help you prove you own theorems and write them up coherently.
triangle sum theorem
converse of the isosceles triangle theorem
vertical Angles theorem
A+
Pythagoras' theorem is only theorem regarding right angle triangles but it is true.
Proposition 3 of Book IV in Euclid's Elements (angle bisector theorem)
transitive property of congruence
congruent
Parts of formal proof of theorem?
It can be shown that for any right angle triangle that its hypotenuse when square is equal to the sum of its squared sides.
(1) substitution, (2) subtraction
Sometimes Yes, as in Pythagoras' Theorem. Other times No, for as Godel's Incompleteness Theorem shows, there will be complete bodies of knowledge in which there will be truths that cannot be proven, and falsities which cannot be denied. [I paraphrase his theorem.]