Proof: Vertical Angles 3

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	m∠YPW = 180	if m∠WPY = 180, then m∠YPW = 180 (Angle Symmetry Example 2)
2	(m∠YPX) + (m∠XPW) = 180	if m∠YPW = 180, then (m∠YPX) + (m∠XPW) = 180 (Collinear Points Theorem)
3	m∠YPX = 180 + ((m∠XPW) ⋅ (-1))	if (m∠YPX) + (m∠XPW) = 180, then m∠YPX = 180 + ((m∠XPW) ⋅ (-1)) (Add Term to Both Sides 6)
4	(m∠XPW) + (m∠WPZ) = 180	if m∠XPZ = 180, then (m∠XPW) + (m∠WPZ) = 180 (Collinear Points Theorem)
5	m∠WPZ = 180 + ((m∠XPW) ⋅ (-1))	if (m∠XPW) + (m∠WPZ) = 180, then m∠WPZ = 180 + ((m∠XPW) ⋅ (-1)) (Add Term to Both Sides 7)
6	m∠YPX = m∠WPZ	if m∠YPX = 180 + ((m∠XPW) ⋅ (-1)) and m∠WPZ = 180 + ((m∠XPW) ⋅ (-1)), then m∠YPX = m∠WPZ (Transitive Property of Equality Variation 1)

Comments

Please log in to add comments