Proof: Divide 180 by 2

Let's prove the following theorem:

if a = 180 ⋅ (1 / 2), then a = 90

Proof:

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

Given
1 a = 180 ⋅ (1 / 2)
Proof Table
# Claim Reason
1 180 ⋅ (1 / 2) = 90 180 ⋅ (1 / 2) = 90
2 a = 90 if a = 180 ⋅ (1 / 2) and 180 ⋅ (1 / 2) = 90, then a = 90

Comments

Please log in to add comments