Proof: Square Root 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(x ⋅ x)(1 / 2) = x	(x ⋅ x)(1 / 2) = x (square_root_of_a_square)
2	square_root(x * x) == power(x * x, 1 / 2)	square_root(x * x) == power(x * x, 1 / 2) (Square Root Property)
3	square root of (x ⋅ x) = x	if square_root(x * x) == power(x * x, 1 / 2) and (x ⋅ x)(1 / 2) = x, then square root of (x ⋅ x) = x (Transitive Property of Equality)

Comments

Please log in to add comments