[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

1923.0. "Not all distances integer" by EVTSG8::ESANU (Au temps pour moi) Mon Dec 19 1994 13:11

If a rectangle's sides are odd integers, then there is no point in the
interior of the rectangle such that the distances from this point to the
vertices of the rectangle are all integers.

(Proposed by the Netherlands to the IMO 1972)

Mihai.
T.RTitleUserPersonal
Name
DateLines
1923.1RTL::GILBERTThu Dec 22 1994 18:161
    This may be related to note 1844.
1923.2HERON::BUCHANANEt tout sera bien etFri Feb 10 1995 14:0834
> If a rectangle's sides are odd integers, then there is no point in the
> interior of the rectangle such that the distances from this point to the
> vertices of the rectangle are all integers.

	I don't see the connection with 1844, but there is a note which treated
the special case where the rectangle is a unit square. The full solution of
the unit square problem is one of the top entries on my Most Wanted list.

	However, to tackle the question here. Let's say that the rectangle
is A by B, that the coordinates of the interior point are (a,b), and that
the distance from the vertices is P,Q,R & S. Upper case letters denote
integers, and A & B are by hypothesis odd. Then:

	a^2 + b^2 = P^2
	a^2 + (B-b)^2 = Q^2
	(A-a)^2 + b^2 = R^2
	(A-a)^2 + (B-b)^2 = S^2

which when we get rid of a & b yields:

	P^2 + S^2 = Q^2 + R^2
	B^2*(A^2-R^2+P^2)^2 + A^2*(B^2-Q^2+P^2) = 4*P^2*A^2&B^2 

The last equation is the key. The RHS is an even square, so the two
summands, since they are squares, must be even. A&B are odd, so EITHER
P is even and Q & R are odd OR P is odd and Q & R are even. But consider
the previous equation mod 8... The slimy tissue of lies falls apart, and
so our assumption, that A&B are both odd, is revealed as a canard.

Note this is true whatever a & b are, so they can be negative. Thus we are
not just restricted to *internal* points.

Love,
Andrew.