fom
Posts:
1,968
Registered:
12/4/12


Re: x + y + z >= xyz implies x^2 + y^2 + z^2 >= Axyz
Posted:
Oct 27, 2013 11:00 AM


On 10/27/2013 9:50 AM, Peter Percival wrote: > christian.bau wrote: >> On Saturday, October 26, 2013 1:41:54 AM UTC+1, Peter Percival wrote: >> >>> A = sqrt 3. >> >> Proof? > > Are you trying to embarrass me? :). > > I asked a computer program to find satisfying x, y, z for various values > of A. The program was only allowed to run for a short time. For A a > little greater that sqrt 3 it ran out of time, for A a little less than > sqrt 3 it found x, y, z. > > It gets worse: neither the computer nor the program are mine, they > belong to Stephen Wolfram. >
Hmm...
I hear echoes of Herman Rubin....
Hey. I met Kenneth Appel and took a course with Wolfgang Haken. If they could do it, why shouldn't anyone else?
:)

