User talk:Vaughan Pratt/Sandbox

From Wikipedia, the free encyclopedia

Suppose \sqrt{2} = m/n for integers m, n not both even. Then m² = 2n² whence m is even, say m = 2p. Thus 4p² = 2n² so 2p² = n² whence n is even, contradiction.