These fields are all optional and need only
be supplied if you would like a direct reply.
Your email address
Your real name
You must answer this!
If you don't, my spam filtering will
ensure that I never see your email.
What's 8 plus five (in digits only)?
Please make your changes here and then
Editing tips and layout rules.
File: FourPointsTwoDistancesProof ''' <link rel="alternate" type="application/rss+xml" ''' href="/rss.xml" title="RSS Feed"> ********> width="25%" |>> ''' <a title="Subscribe to my feed" ''' rel="alternate" ''' href="https://www.solipsys.co.uk/rss.xml"> ''' <img style="border-width: 0px;" ''' src="http://www.feedburner.com/fb/images/pub/feed-icon32x32.png" ''' align="middle" ''' alt="" />Subscribe!</a> _ ''' <a href="http://twitter.com/ColinTheMathmo"> ''' <img src="https://www.solipsys.co.uk/new/images/TwitterButton.png" ''' title="By: TwitterButtons.net" ''' width="212" height="69" ''' alt="@ColinTheMathmo" ''' /></a> <<| ---- My latest posts can be found here: * ColinsBlog ---- Previous blog posts: * MeetingRonGraham * NapkinRingVersusSphericalCap * TheFourPointsPuzzle * RadiusOfTheEarthPartTwo * GrepTimingAnomaly * TheRadiusOfTheEarth * ThisWorksToCureMyHiccoughs * PerhapsWeSavedOne * ThinkingAboutMastodon * DisappearingTrainsOnVirgin * TheIndependenceGame * OneOfMyFavouritePuzzles * ThinkingAboutRecursion * MemorisingTheTube * SpikeySpheres * SurprisinglyQuick * AnUnexpectedFraction * YouHaveToAdmireTheirOptimism * RepresentativesMatter * PythagorasByIncircle * APuzzleAboutPuzzles * HowNotToDoTwitter * Calculating52FactorialByHand * SmallThingsMightNotBeSoSmall * NotIfYouHurry * FactoringViaGraphThreeColouring * AnotherProofOfTheDoodleTheorem * WhenObviousIsNotObvious * GraphThreeColouring * TheDoodleTheorem * BeCarefulWhatYouSay * TheMutilatedChessboardRevisited * AMirrorCopied * TheOtherOtherRopeAroundTheEarth * PhotocopyAMirror * ThePointOfTheBanachTarskiTheorem * SieveOfEratosthenesInPython * FastPerrinTest * RussianPeasantMultiplication * FindingPerrinPseudoPrimes_Part2 * FindingPerrinPseudoPrimes_Part1 * TheUnwiseUpdate * MilesPerGallon * TrackingAnItemOnHackerNews * HackerNewsUserAges * PokingTheDustyCorners * ThereIsNoTimeForThis * PublicallySharingLinks * LearningTimesTables * GracefulDegradation * DiagrammingMathsTopics * OnTheRack * SquareRootByLongDivision * BeyondTheBoundary * FillInTheGaps * SoftwareChecklist * NASASpaceCrews * TheBirthdayParadox * TheTrapeziumConundrum * RevisitingTheAnt * TheAntAndTheRubberBand * IrrationalsExist * MultipleChoiceProbabilityPuzzle * RandomEratosthenes * WrappingUpSquareDissection * DissectingASquarePart2 * DissectingACircle * DissectingASquare * AnOddityInTennis * DecisionTreeForTennis * DecisionTreesInGames * AMatterOfConvention * DoYouNourishOrTarnish * BinarySearchReconsidered * TwoEqualsFour * TheLostPropertyOffice * TheForgivingUserInterface * SettingUpRSS * WithdrawingFromHackerNews ---- Additionally, some earlier writings: * RandomWritings. * ColinsBlog2010 * ColinsBlog2009 * ColinsBlog2008 * ColinsBlog2007 * ColinsBlogBefore2007 ******** !! 2017/10/03 - Four points - the proof [[[> This page has been _ TaggedAsMaths. ]]] TheFourPointsPuzzle challenge that Peter Winkler set me was this: * Find all configurations of four (distinct) points in the plane that determine exactly two distances. As I remarked earlier, given four points there are six possible pairs, so in general, four points in the plane will determine six distances. But we can choose to place the points to create duplication, and the challenge here is to find all possible ways to do that and end up with only two distances. That's reasonable, and lots of people have sent me their solutions. Peter had also said: * "Nearly everyone misses at least one, and for each possible solution, it's been missed by at least one person." So the challenge isn't really to find all the configurations so much as to be able to prove that you have them all. That's what I'm going to do here, so if you haven't had a go at the puzzle, now is the time to bookmark the page, close the browser, get yourself a tea, coffee, or other beverage of your choice, and have a go. Remember, it's the proof that matters. Here's mine. !! Preliminaries ... We have four points, and therefore six pairs. But we only have two distances, so some are short, and some are long. The short ones are all the same as each other, and the long ones are all the same as each other. Obvious, I know, but we're just warming up. So let's prove a few simple results. *Lemma:* No three points are collinear. [[[>50 These sorts of proofs, descriptions, and discussions can really stretch your visualisation skills. If you're an experienced mathematician you'll know that you can't just skim this sort of thing and try to "Read like a novel" - you need to take pencil/pen and paper and draw what's going on. And if not literally with pen and paper, then at least to work on explicitly visualising it. You need to "Read like maths" - because it is. ]]] If points $A$, $B$, and $C$ are collinear, with $B$ between $A$ and $C$, Then $|AC|$ is the long distance, and both $|AB|$ and $|BC|$ are the short distance. Consider point $D$. We have two possibilities. If $D$ is the same distance from $A$ and $C$ then that must be the long distance, but then $|BD|$ is neither $|AB|$ nor $|AC|$. So that doesn't work. So $|AD|$ and $|CD|$ are different lengths. We can compute exactly (up to symmetry) where $D$ must lie, then observe that again, $|BD|$ is neither of our possible lengths, so that doesn't work either. So there is nowhere to put point $D$, and hence no three points can be collinear. *Observation:* Each edge is in exactly two triangles. *Lemma:* There are at least two short edges that share a vertex. We cannot have no short edges, because then we'd have all long edges, and the points would have to be in a tetrahedron, which isn't in a plane. We cannot have exactly one short edge, because then the other five would all be long, and have to form two equilateral triangles with a shared edge. The remaining edge would have to be longer. We cannot have $|AB|$ and $|CD|$ as the only short edges, because both $C$ and $D$ would have to be on the perpendicular bisector of the line $AB$, and they would have to be on opposite sides of the line, making $|CD|$ too long. So if there are exactly two short edges they must share a vertex, which is what we need. Any three or more edges must share at least one vertex. So there are (at least) two short edges that share a vertex. ---- Now for the single insight that, I think, make the enumeration of all solutions quite straight-forward. The fact is simple, making certain it is a fact is a little tedious - feel free to skip this section if you're happy with the statement of the lemma. *Lemma:* There is a triangle with two short and one long side. We proceed by the cases of how many long edges there are. We cannot have no long edges. If there is exactly one long edge then either triangle it forms will suffice. If there are exactly two long edges, consider one of them. It is part of exactly two triangles, at most one of which can contain the other long edge, so at least one of which has two short sides. If there are exactly three long edges then we have three short edges. Take two that share a vertex - $AB$ and $BC$. If $AC$ is short then all distances to $D$ would have to be long, which is not possible. So $AC$ is long, and $ABC$ is our required triangle. If there are exactly four long edges then the two short edges share a vertex and the remaining edge of that implied triangle is long. We cannot have exactly five or six long edges. So we are done. ---- !! Finding all solutions ... [[[> |>> https://www.solipsys.co.uk/images/TriangleWithTwoShortSides.png ---- Triangle with _ two short sides <<| ]]] So now we know that there is at least one triangle with two short sides and a long side. So let's call that $ABC$ with $AC$ being the long edge. We can see that $B$ has to be on that blue line, above the line $AC$, and because the red lines are the shorter ones, $B$ cannot be as high as the grey point, which forms the equilateral triangle with $A$ and $C$. Now let's consider the fourth point, $D$. Without loss of generality we can assume that $D$ is on or to the right of the blue line. If not, reflect around that line. The distances from $D$ to each of $A$, $B$, and $C$ must be short or long, so let's write all the possible combinations of each of those distances. |>> | Case | |>> Distance _ to $A$ <<| | |>> Distance _ to $B$ <<| | |>> Distance _ to $C$ <<| | | |>> 0 <<| | |>> Short <<| | |>> Short <<| | |>> Short <<| | | |>> 1 <<| | |>> Short <<| | |>> Short <<| | |>> Long <<| | | |>> 2 <<| | |>> Short <<| | |>> Long <<| | |>> Short <<| | | |>> 3 <<| | |>> Short <<| | |>> Long <<| | |>> Long <<| | | |>> 4 <<| | |>> Long <<| | |>> Short <<| | |>> Short <<| | | |>> 5 <<| | |>> Long <<| | |>> Short <<| | |>> Long <<| | | |>> 6 <<| | |>> Long <<| | |>> Long <<| | |>> Short <<| | | |>> 7 <<| | |>> Long <<| | |>> Long <<| | |>> Long <<| | <<| Cases 1 and 3 are not possible, for then $D$ would be to the left of the blue line, which we have excluded. ''' <table border="1" cellspacing="5" cellpadding="5"> ''' <tr> <td colspan="2" width="70%"> *Case*0* /(sss):/ Point $D$ has to be the reflection of point $B$ across the line $AC$ giving a pair of equilateral triangles that share an edge. ''' </td> <td colspan="1"> |>> https://www.solipsys.co.uk/images/FourPointsProblem_Case_0a.png <<| ''' </td> </tr> ''' <tr> <td colspan="1"> |>> https://www.solipsys.co.uk/images/FourPointsProblem_Case_2a.png <<| ''' </td> <td colspan="2" width="70%"> *Case*2* /(sls):/ As case 0, point $D$ has to be the reflection of point $B$ across the line $AC$. In this case we get a square with $AC$ and $BD$ as diagonals. ''' </td> </tr> ''' <tr> <td colspan="2" width="70%"> *Case*4* /(lss):/ The triangle $BCD$ is equilateral, and $ACD$ is isosceles. ''' </td> <td colspan="1" width="30%"> |>> https://www.solipsys.co.uk/images/FourPointsProblem_Case_4a.png <<| ''' </td> </tr> ''' <tr> <td colspan="1" width="30%"> |>> https://www.solipsys.co.uk/images/FourPointsProblem_Case_5a.png <<| ''' </td> <td colspan="2" width="70%"> *Case*5* /(lsl):/ Here $ACD$ is equilateral, and $B$ is in the middle. Point $D$ must be where the grey point is on the diagram above. ''' </td> </tr> ''' <tr> <td colspan="2" width="70%"> *Case*6* /(lls):/ Here $D$ is a little below $C$, and the four points are the points of a regular pentagon. ''' </td> <td colspan="1" width="30%"> |>> https://www.solipsys.co.uk/images/FourPointsProblem_Case_6a.png <<| ''' </td> </tr> ''' <tr> <td colspan="1" width="30%"> |>> https://www.solipsys.co.uk/images/FourPointsProblem_Case_7a.png <<| ''' </td> <td colspan="2" width="70%"> *Case*7* /(lll):/ Now point $D$ forms an equilateral triangle with $A$ and $C$, and must be the opposite side of the line $AC$ from the point $B$. The points form a kite. ''' </td> </tr> ''' </table> So there are 8 combinations, two of which are impossible, and the other six give exactly one solution. And we are done. * Did you get them all? * Which one (or ones) did you miss? * Which one did you find last? * How did /you/ prove that you had them all? Send me email from the comment box below. ---- !! Other solutions ... Here is the solution from Josh Jordan: * https://drive.google.com/file/d/0B2AF520HhpuzNU56aUVTeWJrdXc/view ---- |>> | |>> <<<< Prev <<<< ---- MeetingRonGraham <<| | : | |>> >>>> Next >>>> ---- TheDoctorAndTheLawyer ... <<| | ---- ********> ''' <a href="https://mathstodon.xyz/@ColinTheMathmo"> ''' <img src="https://www.solipsys.co.uk/images/Mastodon_Mascot.png" ''' width="256" height="280" ''' alt="https://mathstodon.xyz/@ColinTheMathmo" ''' /></a> ******** ''' <a href="https://mathstodon.xyz/@ColinTheMathmo/">You can follow me on Mathstodon.</a> _ _ _ _ [[[> ''' <a href="http://twitter.com/ColinTheMathmo">Of course, you can also<br>follow me on twitter:</a> ''' <a href="http://twitter.com/ColinTheMathmo"> ''' <img src="https://www.solipsys.co.uk/new/images/TwitterButton.png" ''' title="By: TwitterButtons.net" ''' width="212" height="69" ''' alt="@ColinTheMathmo" ''' /></a> ''' <img src="/cgi-bin/CountHits.py?FourPointsTwoDistancesProof" alt="" /> ]]] ********< ---- !! Send us a comment ... ''' <form action="https://www.solipsys.co.uk/cgi-bin/FormMail.pl" method=post> ''' <input type=hidden name="recipient" value="email@example.com" > ''' <input type=hidden name="subject" value="Blog comment : FourPointsTwoDistancesProof" > ''' <input type=hidden name="redirect" value="https://www.solipsys.co.uk/new/ThankYouForYourComment.html" > ''' <input type=hidden name="missing_fields_redirect" value="https://www.solipsys.co.uk/RequestError.html"> ''' <input type=hidden name="env_report" value="REMOTE_HOST, REMOTE_ADDR, HTTP_USER_AGENT" > ''' <input type=hidden name="print_blank_fields" value="1" > ********> width="47%" You can send us a message here. It doesn't get published, it just sends us an email, and is an easy way to ask any questions, or make any comments, without having to send a separate email. So just fill in the boxes and then ''' <font size="+4"><INPUT TYPE="submit" VALUE="CLICK HERE TO SEND"></font> ******** width="53%" ********< ''' <table cellpadding="5"> ''' <tr> ''' <td valign="top">Your name </td> <td valign="top">:</td> ''' <td> <input type=text name="realname" size="48"> </td> ''' <tr> ''' <td valign="top">Email </td> <td valign="top">:</td> ''' <td> <input type=text name="email" size="48"> </td> ''' </tr> ''' <tr> ''' <td valign="top">Message </td> <td valign="top">:</td> ''' <td> <TEXTAREA NAME="Message" ROWS=10 COLS=64></TEXTAREA> </td> ''' </tr> ''' </table> ''' <center> ''' <font size="+4"> ''' <INPUT TYPE="submit" VALUE="CLICK HERE TO SEND"> ''' </font> ''' </center> ''' </form> ********<