# Difference between revisions of "2014 USAMO Problems/Problem 3"

## Problem

Prove that there exists an infinite set of points $\[\ldots,\,\,\,\,P_{-3},\,\,\,\,P_{-2},\,\,\,\,P_{-1},\,\,\,\,P_0,\,\,\,\,P_1,\,\,\,\,P_2,\,\,\,\,P_3,\,\,\,\,\ldots\]$ in the plane with the following property: For any three distinct integers $a,b,$ and $c$, points $P_a$, $P_b$, and $P_c$ are collinear if and only if $a+b+c=2014$.

## Solution

Consider an elliptic curve with a generator $g$, such that $g$ is not a root of $0$. By repeatedly adding $g$ to itself under the standard group operation, with can build $g, 2g, 3g, \ldots$ as well as $-g, -2g, -3g, \ldots$. If we let $\[P_k = (3k-2014)g\]$ then we can observe that collinearity between $P_a$, $P_b$, and $P_c$ occurs only if $P_a + P_b + P_c = 0$ (by definition of the group operation), which is equivalent to $(3a-2014)g + (3b-2014)g + (3c-2014)g = (3a+3b+3c-3*2014)g = 0$, or $3a + 3b + 3c = 3*2014$, or $a + b + c = 2014$. We know that all these points $P_k$ exist because $3k-2014$ is never 0 for integer $k$, so that none of these points need to be point at infinity (the identity element of the group).

Invalid username
Login to AoPS
{"ft_lang_label":"__label__en","ft_lang_prob":0.8572296,"math_prob":0.999995,"size":1983,"snap":"2021-04-2021-17","text_gpt3_token_len":622,"char_repetition_ratio":0.15715007,"word_repetition_ratio":0.26537216,"special_character_ratio":0.3494705,"punctuation_ratio":0.19248827,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999627,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,4,null,4,null,4,null,null,null,null,null,null,null,4,null,4,null,4,null,8,null,null,null,4,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-04-16T00:43:06Z\",\"WARC-Record-ID\":\"<urn:uuid:60a50d39-e407-4f25-be3a-68f7303a69f8>\",\"Content-Length\":\"42076\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:63cbf671-74cd-433d-ae76-e9d33321c1c3>\",\"WARC-Concurrent-To\":\"<urn:uuid:f42d1e0b-5f69-4852-bdf4-290268e8b87c>\",\"WARC-IP-Address\":\"104.26.10.229\",\"WARC-Target-URI\":\"https://artofproblemsolving.com/wiki/index.php?title=2014_USAMO_Problems/Problem_3&diff=prev&oldid=61811\",\"WARC-Payload-Digest\":\"sha1:GNY2PQYRFPDW3WWBJ5PGNSVLKZU6RR64\",\"WARC-Block-Digest\":\"sha1:UUS2C2T4F6KWYBSZEPVDBDCHH3WAS2UO\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-17/CC-MAIN-2021-17_segments_1618038088264.43_warc_CC-MAIN-20210415222106-20210416012106-00063.warc.gz\"}"}