Proof: Power of 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	1 + 1 = 2	1 + 1 = 2 (Fixed Value Statement)
2	x(1 + 1) = x2	if 1 + 1 = 2, then x(1 + 1) = x2 (Substitution)
3	x(1 + 1) = (x1) ⋅ x	x(1 + 1) = (x1) ⋅ x (add_1_to_exponent)
4	x1 = x	x1 = x (Power By 1)
5	(x1) ⋅ x = x ⋅ x	if x1 = x, then (x1) ⋅ x = x ⋅ x (Substitution)
6	x2 = x ⋅ x	if x(1 + 1) = (x1) ⋅ x and x(1 + 1) = x2 and (x1) ⋅ x = x ⋅ x, then x2 = x ⋅ x (Transitive Property Application 2)

Comments

Please log in to add comments