All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars
 perplexus dot info

 2 Colors 2 (Posted on 2003-08-25)
Suppose you have an infinite plane, and each point on the plane has been arbitrarily painted one of two colors.

Prove that there exists an equilateral triangle whose vertices are all the same color.

What is the fewest number of points needed to prove this?

 See The Solution Submitted by DJ Rating: 4.3684 (19 votes)

Comments: ( Back to comment list | You must be logged in to post comments.)
 a proof | Comment 1 of 13
This proof uses 8 points; I don't know if that's minimal:

Take a grid of points at the vertices of tesselated equilateral triangles of side length 1. Take one equilateral triangle with sides 2 units long. Either all three vertices are the same color (in which case we've met the desired condition) or two are one color and one is another. Call the two of the same color A and the odd color B, and set the points (as well as 5 neighboring points of the grid labeled with digits) out as below:

```
2 A

4 1 3

B 5 A

```

Point 1 must be either color A or color B.

If it is color A, then point 2 must be color B to avoid the triangle 1,2,top-existing-A from being all A; and point 3 must be color B to prevent 1,3, top-existing-A from being all A. But then triangle 2,3,original-B form an equilateral triangle that's all B.

If on the other hand point 1 is color B, then point 4 must be color A to avoid 1,B,4 from being all B; and point 5 must be color A to prevent 1,5,B from being all color B. But then triangle 4,5,original-top-A is all A.

This exhausts the alternatives: somewhere along the line we had an equilateral triangle with vertices of all one color.
 Posted by Charlie on 2003-08-25 13:17:23

 Search: Search body:
Forums (0)
{"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://perplexus.info/show.php?pid=1117&cid=7368", "fetch_time": 1544704823000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2018-51/segments/1544376824822.41/warc/CC-MAIN-20181213123823-20181213145323-00319.warc.gz", "warc_record_offset": 225835514, "warc_record_length": 4580, "token_count": 476, "char_count": 1803, "score": 3.8125, "int_score": 4, "crawl": "CC-MAIN-2018-51", "snapshot_type": "latest", "language": "en", "language_score": 0.893794059753418, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00048-of-00064.parquet"}