RE: [math-fun] Triangles question; elliptic mean
This one is easy: start with the unit square in R2 and a point in the center. Move the center point up in the Z direction until it reaches any convenient rational or integer value. --- Wrt Means, Gosper's objection was a bit more subtle: should we require that avg( avg(a,b), avg(c,d) ) = same thing with b and c swapped? This *is* true for ordinary averages, and geometric, harmonic, etc. means. Rich -----Original Message----- From: math-fun-bounces+rschroe=sandia.gov@mailman.xmission.com [mailto:math-fun-bounces+rschroe=sandia.gov@mailman.xmission.com] On Behalf Of Daniel Asimov Sent: Friday, April 29, 2005 3:59 PM To: math-fun Subject: Re: [math-fun] Triangles question I heard this question in the immediately equivalent version: < Is there a point in the plane at rational distances from each corner of a unit square?
My former thesis advisor, Moe Hirsch, has remarked, "If we don't know that, we don't know *anything*!" Here's a wider class of questions: Suppose we have a planar unit square in R^n for any n >= 2. Then is there a point of R^n at rational distance from each corner of the square? And if that fails: Suppose we have a planar unit square in Hilbert space H = {f: Z+ -> R : sum of all f(k)^2 < oo }. Then is there a point of H at rational distance from each corner of the square? (Here d(f,g) = sum of all (f(k)-g(k))^2.) --Dan ----------------------------------------------------------------- Richard Guy writes: << What we'd REALLY like to know is: Is there a point at integer distances from each corner of a square with integer edge?
math-fun mailing list math-fun@mailman.xmission.com http://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
Wrt Means, Gosper's objection was a bit more subtle: should we require that
avg( avg(a,b), avg(c,d) ) = same thing with b and c swapped? Bingo. "Association" was a poor choice of words. Dyadic symmetry?
This *is* true for ordinary averages, and geometric, harmonic, etc. means. And the resulting symmetric expressions make it obvious how to define avg(a,b,c). A nonobvious def in terms of dyadic avg is the root of
avg(avg(a,b),avg(c,x)) = x . This does *not* work with elliptic mean. One plausible def is to iterate [a,b,c] <- [em(b,c),em(c,a),em(a,b)]. But I think em should be classified among the unscrupulous means. --rwg
participants (2)
-
R. William Gosper -
Schroeppel, Richard