In the 1988 IMO only 11 contestants solved this 6th problem, including 2 future Fields Medalists : Terrence Tao (12 years old) & G. PERLMAN.
The most elegant solution came from the 17 year-old Balgarian contestant using “Reductio Absurdum” Proof : Simple & “Violent” way.
https://m.toutiaoimg.cn/a6816353938204262927/?app=news_article_lite&is_hit_share_recommend=0