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.