The Math Forum

Ask Dr. Math - Questions and Answers from our Archives
Associated Topics || Dr. Math Home || Search Dr. Math

Proof for Dividing Fractions

Date: 01/18/2002 at 11:35:12
From: Cathy
Subject: Proof - dividing fractions

I am sure there is a proof for dividing fractions. Could you please 
send it to me?

Date: 01/18/2002 at 12:06:45
From: Doctor Peterson
Subject: Re: Proof - dividing fractions

Hi, Cathy.

Do you mean an explanation as to why we divide fractions the way we 
do? Try the Dr. Math FAQ:

   Dividing Fractions   

An actual proof will depend somewhat on what definitions and axioms 
you want to base the proof on. Several of the links at the bottom of 
the FAQ give informal demonstrations that could be turned into proofs. 

But let's try doing it algebraically. Just to make sure I don't 
accidentally assume what I'm proving, I'll write "DIV" for the 
division sign rather than "/" as usual, which sort of implies the 
connection between fractions and division. I'll suppose that we have 
defined a fraction as a pair "a/b" for which equality, addition, and 
multiplication have been defined in the standard ways.

We want to determine the value of a/b DIV c/d. First, we have to know 
how we are defining division. I would define it as the inverse of 
multiplication, so that

    x DIV y = z  if and only if  x = y * z

So our answer, a fraction x/y, must satisfy

    a/b DIV c/d = x/y  if and only if  a/b = c/d * x/y

By the definition of fraction multiplication,

    c/d * x/y = (cx)/(dy)


    a/b DIV c/d = x/y  if and only if  a/b = (cx)/(dy)

Now, how do we define equality of fractions?

    x/y = u/v  if and only if  xv = uy

So we can say

    a/b DIV c/d = x/y  if and only if  ady = bcx

and again, reinterpreting it as a different pair of fractions,

    a/b DIV c/d = x/y  if and only if  x/y = (ad)/(bc)

But the right side, by the definition of multiplication, is 
(a/b)(d/c); so we've found that

    a/b DIV c/d = (ad)/(bc) = (a/b)(d/c)

But this means that we divide by c/d by multiplying by d/c.

Is that the sort of proof you want?

- Doctor Peterson, The Math Forum   
Associated Topics:
Elementary Fractions
Middle School Fractions

Search the Dr. Math Library:

Find items containing (put spaces between keywords):
Click only once for faster results:

[ Choose "whole words" when searching for a word like age.]

all keywords, in any order at least one, that exact phrase
parts of words whole words

Submit your own question to Dr. Math

[Privacy Policy] [Terms of Use]

Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.