In an equation in which two fractions or rational expressions are set equal, we can cross multiply provided neither denominator is zero. That is, if b and d are non-zero, then In common usage a fraction is any part of a unit. ... In mathematics, a rational function in algebra is a function defined as a ratio of polynomials. ...

a/b = c/d (equation one)

if and only if

ad = bc (equation two).

To prove this, we use the rule that both sides of an equation can be multiplied by any non-zero number. If b and d are both non-zero, then so is bc. Mutliplying both sides of equation one by bd yields

abd/b = cbd/d.

Reducing to lowest terms gives equation two.

Conversely, starting with

ad = bc

we can divide both sides of the equation by bd yielding

ad/bd = bc/bd

and reducing to lowest terms gives equation one.

Often this step is the first step in discovering whether or not two fractions are equal, or in solving an equation containing rational expressions.

More generally, any equation containing fractions or rational expressions can be simplified by multiplying both sides by the least common denominator. This step is called "clearing fractions". In mathematics, the lowest common denominator or least common denominator (abbreviated LCD) is the least common multiple of the denominators of a set of vulgar fractions. ...