Re: Does Mathematica think Sqrt[2] is rational?
- To: mathgroup at smc.vnet.net
- Subject: [mg86681] Re: Does Mathematica think Sqrt[2] is rational?
- From: magma <maderri2 at gmail.com>
- Date: Tue, 18 Mar 2008 04:49:53 -0500 (EST)
- References: <frkv66$109$1@smc.vnet.net>
Ops.. I have overlooked the trivial solution x=0 and y=0 in the logical equation. If we consider Reduce[ForAll[{x, y}, x != 0 && Element[x | y, Integers], x^2 != 2 y^2]] as suggested by Andrzej, Mathematica answers correctly. Oh well.. the pythagoreans did not come back after all. So Mathematica correctly realizes that Sqrt[2] is irrational.