Transitive Property of Equality Variation 2

Distance Property 1

Angle Symmetry Example 2

Collinear Angles Property 9

Transitive Property Application 2

Angles of an Isosceles Triangle

Angle Symmetry 4

Collinear Then 180

Converse of the Supplementary Angles Theorem

Subtract Both Sides

Add Term to Both Sides 6

Commutative Property Example 2

Commutative Property Variation 1

Subtract Both Sides 2

Add Term to Both Sides 7

Transitive Property of Equality Variation 1

Angle Symmetry Example

Distance Property 2

Distance Property 3

Congruent Triangles to Distance 3

Triangles Adjacent to Isosceles

Proof: Collinear Points Theorem

Let's prove the following theorem:

if m∠ABC = 180, then (m∠ABX) + (m∠XBC) = 180

Proof:

View as a tree | View dependent proofs | Try proving it

Given

1	m∠ABC = 180

Proof Table

#	Claim	Reason
1	m∠ABC = (m∠ABX) + (m∠XBC)	if m∠ABC = 180, then m∠ABC = (m∠ABX) + (m∠XBC) (Collinear Points Property 2)
2	(m∠ABX) + (m∠XBC) = 180	if m∠ABC = (m∠ABX) + (m∠XBC) and m∠ABC = 180, then (m∠ABX) + (m∠XBC) = 180 (Transitive Property of Equality Variation 2)

Previous Lesson Next Lesson

Comments

Please log in to add comments