mersenneforum.org  

Go Back   mersenneforum.org > Fun Stuff > Puzzles

Reply
 
Thread Tools
Old 2006-06-18, 12:55   #1
Wacky
 
Wacky's Avatar
 
Jun 2003
The Texas Hill Country

32×112 Posts
Default PR 4 # 18

Given five points in or on a unit square, prove that at least two points are no farther than sqrt2 / 2 apart.
Wacky is offline   Reply With Quote
Old 2006-06-18, 13:57   #2
axn
 
axn's Avatar
 
Jun 2003

32×5×113 Posts
Default

Pigeonhole principle
axn is offline   Reply With Quote
Old 2006-06-18, 14:24   #3
Wacky
 
Wacky's Avatar
 
Jun 2003
The Texas Hill Country

32·112 Posts
Default

I think that you are on the right track. However, you need to supply more specifics in order to have a proof.
Wacky is offline   Reply With Quote
Old 2006-06-18, 15:14   #4
xilman
Bamboozled!
 
xilman's Avatar
 
"π’‰Ίπ’ŒŒπ’‡·π’†·π’€­"
May 2003
Down not across

3·5·719 Posts
Default

Quote:
Originally Posted by Wacky
Given five points in or on a unit square, prove that at least two points are no farther than sqrt2 / 2 apart.
Note that 1 > sqrt2 / 2, so four points can be placed at the corners of the
square, to give a mimimum separation of 1. These points are as far as possible
from the centre. The centre is sqrt2 /2 from each of the corners, so place the
fifth point there. This proves the existence of a solution with the property required.

Proving it is the unique and maximal solution is another matter entirely!


Paul
xilman is offline   Reply With Quote
Old 2006-06-18, 15:29   #5
Wacky
 
Wacky's Avatar
 
Jun 2003
The Texas Hill Country

32×112 Posts
Default

The "official" answer is very similar to what has been decribed here.
Draw two lines through the center of the square, perpendicular to each other, such that each is parallel to a side of the unit square. These two lines partition the unit square into four 1/2 unit squares. At least two of the 5 points must be in (or on the perimeter of) one of these smaller squares. This pair of points cannot be farther apart than the length of the small square
s diagonal, [tex] sqrt2 /2 [/tex] units.
Wacky is offline   Reply With Quote
Reply

Thread Tools


All times are UTC. The time now is 05:18.


Fri Aug 6 05:18:09 UTC 2021 up 13 days, 23:47, 1 user, load averages: 2.39, 2.25, 2.34

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.