Proof: Adding Fractions

If two fractions share a denominator, we can add them by adding the numerators. For example,

1/6 + 3/6 = 4/6

Let's prove the following theorem:

We can use the distributive property to claim that:

(a ⋅ (1 / c)) + (b ⋅ (1 / c)) = (a + b) ⋅ (1 / c)

Then we can simplify this equation using properties and theorems we have learend so far.

Proof:

Proof Table

#	Claim	Reason
1	(a ⋅ (1 / c)) + (b ⋅ (1 / c)) = (a + b) ⋅ (1 / c)	(a ⋅ (1 / c)) + (b ⋅ (1 / c)) = (a + b) ⋅ (1 / c) (distributive_property_5)
2	a / c = a ⋅ (1 / c)	a / c = a ⋅ (1 / c) (Division is Multiplication by Inverse)
3	b / c = b ⋅ (1 / c)	b / c = b ⋅ (1 / c) (Division is Multiplication by Inverse)
4	(a ⋅ (1 / c)) + (b ⋅ (1 / c)) = (a / c) + (b / c)	if a / c = a ⋅ (1 / c) and b / c = b ⋅ (1 / c), then (a ⋅ (1 / c)) + (b ⋅ (1 / c)) = (a / c) + (b / c) (Add Equal Terms)
5	(a + b) ⋅ (1 / c) = (a + b) / c	(a + b) ⋅ (1 / c) = (a + b) / c (division_theorem)
6	(a / c) + (b / c) = (a + b) / c	if (a ⋅ (1 / c)) + (b ⋅ (1 / c)) = (a + b) ⋅ (1 / c) and (a ⋅ (1 / c)) + (b ⋅ (1 / c)) = (a / c) + (b / c) and (a + b) ⋅ (1 / c) = (a + b) / c, then (a / c) + (b / c) = (a + b) / c (Transitive Property Application 2)

Comments

Please log in to add comments