PROOF 03

Prove.

a/b + c/d = (ad+bc)/bd

On the rationals ℚ.

Definition D1

When b has a multiplicative inverse, a/b denotes a · b⁻¹.

Proof.

Related labs