Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Division by Three [PDF]

Library Home || Full Table of Contents || Library Help

Visit this site: http://math.dartmouth.edu/~doyle/docs/three/three.pdf

Author:John Conway, Peter Doyle
Description: A formal proof that it is possible to divide by three. This assertion is easy to prove using the axiom of choice, but becomes a much more difficult problem if the axiom of choice is not allowed (as is the case here). From this proof, and the much simpler proof of division by two, we know that, in general, division by any finite n is possible. Available in hypertext or PostScript. Contents include: history; the Cantor-Schröder-Bernstein theorem; division by two; subtraction; swallowing; proof of Tarski's lemma; dividing an inequality by three; division as repeated subtraction; what's wrong with the axiom of choice?; and references. PostScript and source file are available from Doyle's site.

Levels: College, Research
Languages: English
Resource Types: Articles
Math Topics: Subtraction, Graph Theory, Set Theory, Inequalities

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

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