Proof: Divide Zero 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	not (b = 0)	if b > 0, then not (b = 0) (Greater Than is Not Equal)
2	c - c = 0	c - c = 0 (subtract_to_zero)
3	(c - c) / b = 0 / b	if c - c = 0, then (c - c) / b = 0 / b (Divide Both Sides)
4	0 / b = 0	if not (b = 0), then 0 / b = 0 (Zero Numerator Property)
5	(c - c) / b = 0	if (c - c) / b = 0 / b and 0 / b = 0, then (c - c) / b = 0 (Transitive Property of Equality)
6	(b + a) - a = b	(b + a) - a = b (subtract_1)
7	(c - c) / ((b + a) - a) = (c - c) / b	if (b + a) - a = b, then (c - c) / ((b + a) - a) = (c - c) / b (Divide Property)
8	(c - c) / ((b + a) - a) = 0	if (c - c) / ((b + a) - a) = (c - c) / b and (c - c) / b = 0, then (c - c) / ((b + a) - a) = 0 (Transitive Property of Equality)

Comments

Please log in to add comments