2022-P4 Best Solutions and Final Results

Problem 4 – Image of a point

By the end of the competition, there were 1146 registered participants from 80 countries. In total, 50 solutions were submitted for problem 4, out of which 43 were correct.

As usual, when selecting the best solutions, preference has been given to those solutions which have been submitted before the publication of the first hint. Overall, there were 35 such solutions. Out of those, the pre-screening passed those whose construction in GeoGebra had 25 or less construction steps (marking a point, drawing a circle or a line); there were 23 such submissions. Out of those, the best solution awards got the solutions which were clearly written and did not have gaps in reasoning (e.g. it was not clearly explained why there is a certain freedom to choose the position of the lens). As a result, the best solutions can be divided into three categories.
Solutions – based on harmonic conjugates of projective geometry – with these constructions, compass is not needed, the point D’ can be found by using a ruler and pencil only:
Vlad-Stefan Oros, 19 steps without using a compass (20% of the bonus); ggb file.
Solutions based on cross ratio of projective geometry :
Zhening Li & Eddie Chen, 17 steps (20% of the bonus); ggb file.
Kevin You, 12 steps (20% of the bonus); ggb file.
Erik Sünderhauf, 20 steps without using a compass (20% of the bonus); ggb file.
As a matter of fact, the construction of Erik is very close to the one which is obtained when harmonic bundles are used. Apart from those four, I gave a bonus also to two slightly less rigorous solutions which did not mention projective geometry theorems, but still ended up with constructions close to the ones based on the cross ratio:
Alessandro Rezzi, 13 steps (10% of the bonus): ggb file.
Isaac Wu, 15 steps (10% of the bonus); ggb file.

Finally, a few comments on the solution and my own (JK) ggb file (cf below).
First, many contestants showed nicely and mathematically that an image of a straight line is another straight line, and those two lines meet at the lens. However, the mathematical proof is superfluous once you apply the construction rules of geometrical optics: let a light ray propagate along the original straight line, and refract on the lens. According to the construction rules, the ray propagates after refraction as a straight line, and that is exactly the image of your original line! Since the refraction takes place at the lens, the image and the original obviously meet on the lens.
Second, while knowing the projective geometry was definitely helpful, the problem could have been solved nicely and more or less rigorously without that. As a first step, notice that what the three points (A’, B’, C’) define is only the intersection point F of the line A’B’ with the nearest focal plane, and nothing else, because we don’t know anything about the distance between the original points, and the direction of the line AB. The fact that F (and D’) is uniquely defined can be seen easily by using the Newtonian lens formula. To that end, notice that the distances of the points A’, B’, C’, and D’ from F are proportional to their distances from the respective focal plane (these distances appear in the Newtonian lens formula).

Since only one point of the focal plane is defined, and all those lens positions which yield the same position for that point are legitimate and result in the same position for D’, we are free to add another constraint, e.g. mark arbitrary points P’ and Q’, and demand that these are images of such points P and Q that their originals P and Q form together with the point A another set of equidistant points on a straight line. In other words, we have an image of a triangle AQC, so that the points P and B, the originals of P’ and B’, are the midpoints of AQ and AC, respectively. Hence we can draw the images of the medians, P’C’ and Q’B’, together with their intersection point M’. So, A’M’ is a median, too, and its intersection point T’ with Q’C’ is the image of the midpoint T of QC. Hence, PT is parallel to AC so that their images, the lines P’T’ and A’C’, must meet at the focal plane, at the point F. Now we can draw the image of a line parallel to AC and passing through M; this is the line M’F, and mark its intersection point N’ with the line Q’C’. Finally, we draw line S’N’ and mark its intersection point with line A’C’ as D’. In order to show that |CD| equals to |AB|, we can use the similarity of the triangles ABC and MST, as well as STN amd NCD.

Final results for Problem 5

University students

First nameSurnameCountrySchool/UniversityP4 Score
ErikSünderhaufGermanyTechnical University of Munich3.168
AlessandroRezziItalyUniversity of Padova2.6059
ZiyueWangChinaHebei University of Technology2.1436
KevinYouUnited StatesCarnegie Mellon University1.9671
YuechenZhuChinaPeking University1.9487
JaroslavHermanCzech RepublicCharles University1.7716
Zhening LiEddie ChenCanada/United StatesMassachusetts Institute of Technology1.4779
ShofarSnoSurinameAnton de Kom University of Suriname1.4641
QianLinChinaUniversity of Oxford1.331
IsaacWuAustraliaUniversity of Melbourne1.1052
Ameya VikramaSinghIndiaIndian Institute of Technology Bombay1.1
MarinusLehmannGermanyUniversity of Potsdam1.0
Bayram AlpSahinTurkeyBogazici University1.0
FelixSchwarzfischerGermanyTechnical University Munich1.0
SoumyadeepSarmaIndiaIndian Institute of Science0.9
Cheng WeiLinTaiwanNational Cheng Kung University0.7
PushpRajIndiaIIT DELHI0.7
UdhavVarmaIndiaIndian Institute of Technology, Kanpur0.7
SimonSelgEstoniaTartu Ülikool0.5

Pre-university students

First nameSurnameCountrySchool/UniversityP4 Score
Vlad-ȘtefanOrosRomania“Grigore Moisil” Theoretical High School3.168
LucaMilaneseItalyLiceo “Leonardo da Vinci”, Terracina2.3579
AdamDžavoronokSlovakiaGymnázium Poštová 92.1436
ChengkaiYuChinaThe High School Affiliated to Renmin University of China1.9487
WangQuanquanChinaTianjin Yaohua High School1.7716
YehyunChoiUnited StatesWestlake High School1.6105
Emerson FranzuaAldana GavarreteHondurasSchool1.4641
SebastiánArévaloEl SalvadorInstituto Emiliani1.331
FilipVučićCroatiaI. gymnasium Zagreb1.21
TomasBabelisLithuaniaVilniaus jėzuitų gimnazija1.0
SarthakPandaIndiaFIITJEE Bhubaneswar1.0
VukHipSerbiaMathematical Grammar School1.0
MatejGelevNorth MacedoniaYahja Kemal1.0
DženanMidžićBosnia and HerzegovinaJU Gimnazija “Bihać”1.0
FelixYewMalaysiaNational Junior College, Singapore1.0
Jun LinJinhua ZhangChinaLvliang Fengshan Senior Middle School1.0
YijunLinChinaHigh School Attached to Herbin Normal University0.99
GigiTsirekidzeGeorgiaLEPL Kutaisi Andria Razmadze physics and mathematical public school N410.9
Juan FranciscoLorusso Notaro FrancescoUnited KingdomAbbey College Cambridge0.9
Yang YiTang GuofengChinaChongqing Nankai Secondary School0.9
RhythmKediaIndiaLord Buddha Public school0.72
Miguel IsaíasDoradea MeléndezEl SalvadorInsituto Emiliani0.5

Participating countries: Algeria, Azerbaijan, Australia, Bangladesh, Belarus, Belgium, Bosnia and Herzegovina, Bolivia, Brazil, Bulgaria, Cambodia, Canada, China, Croatia, Czechia, Egypt, El Salvador, Estonia, Finland, Georgia, Germany, Greece, Hungary, India, Indonesia, Iran, Israel, Italy, Japan, Kazakhstan, Kenya, Korea, Kyrgyzstan, Latvia, Lebanon, Lithuania, Macedonia, Malaysia, Mexico, Moldova, Mongolia, Nepal, Nigeria, North Macedonia, Pakistan, Peru, Philippines, Poland, Romania, Russia, Saudi Arabia, Serbia, Singapore, Slovakia, Slovenia, South Africa, South Korea, Spain, Sri Lanka, Sweden, Switzerland, Syria, Taiwan, Thailand, Turkey, Turkmenistan, United Arab Emirates, United Kingdom, United States, Uzbekistan, Vietnam.