Proof: Tangent 4

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	tangent of (m∠BAC) = (distance BC) / (distance AB)	if ∠ABC is a right angle, then tangent of (m∠BAC) = (distance BC) / (distance AB) (Tangent 3)
2	m∠BAC = m∠CAB	m∠BAC = m∠CAB (Angle Symmetry Property)
3	tangent of (m∠BAC) = tangent of (m∠CAB)	if m∠BAC = m∠CAB, then tangent of (m∠BAC) = tangent of (m∠CAB) (Substitution)
4	tangent of (m∠CAB) = (distance BC) / (distance AB)	if tangent of (m∠BAC) = tangent of (m∠CAB) and tangent of (m∠BAC) = (distance BC) / (distance AB), then tangent of (m∠CAB) = (distance BC) / (distance AB) (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments