🏅 Iurie Boreico και IMO 2005: Η απρόσμενη λύση που κέρδισε Special Prize και πέρασε στο Lean

Στη 46η Διεθνή Μαθηματική Ολυμπιάδα, στο Μεξικό το 2005, το Πρόβλημα 3 αποδείχθηκε ένα από τα δυσκολότερα της διοργάνωσης.

Από τους 513 διαγωνιζομένους, οι 423 πήραν 0 βαθμούς. Μόλις 54 κατάφεραν να πάρουν και τους 7 βαθμούς.

Ανάμεσά τους ήταν ο μαθητής από τη Μολδαβία Iurie Boreico.

Όχι μόνο έλυσε το πρόβλημα, αλλά παρουσίασε μια λύση τόσο κομψή και διαφορετική από τις αναμενόμενες, ώστε η επιτροπή τού απένειμε το σπάνιο Special Prize.

Και εκείνη τη χρονιά ο Boreico δεν έχασε ούτε έναν βαθμό:

\[ \boxed{42/42}. \]

Το πρόβλημα

Για θετικούς πραγματικούς αριθμούς \(x,y,z\) με

\[ xyz\ge1, \]

έπρεπε να αποδειχθεί ότι

\[ \frac{x^5-x^2}{x^5+y^2+z^2} + \frac{y^5-y^2}{y^5+z^2+x^2} + \frac{z^5-z^2}{z^5+x^2+y^2} \ge0. \]

Η μορφή της ανισότητας δεν είναι ιδιαίτερα φιλική. Πέμπτες δυνάμεις, διαφορετικοί παρονομαστές και κυκλική συμμετρία κάνουν μια άμεση επίθεση δύσκολη.

Η ιδέα του Boreico ήταν να μην προσπαθήσει να χειριστεί το άθροισμα όπως ήταν γραμμένο.

Μια απλούστερη ανισότητα κρυμμένη μέσα σε κάθε όρο

Ο Boreico παρατήρησε ότι κάθε περίπλοκο κλάσμα μπορεί να αντικατασταθεί από μια κατάλληλη απλούστερη κάτω εκτίμηση.

Για παράδειγμα, το κρίσιμο βήμα είναι της μορφής

\[ \frac{x^5-x^2}{x^5+y^2+z^2} \ge \frac{x^2-yz}{x^2+y^2+z^2}, \]

και αντίστοιχα κυκλικά για τους άλλους δύο όρους.

Όταν προστεθούν οι τρεις εκτιμήσεις, οι δύσκολες πέμπτες δυνάμεις εξαφανίζονται και απομένει ουσιαστικά

\[ x^2+y^2+z^2-xy-yz-zx. \]

Αλλά

\[ x^2+y^2+z^2-xy-yz-zx = \frac12\left[(x-y)^2+(y-z)^2+(z-x)^2\right] \ge0. \]

Από μια δύσκολη ανισότητα με πέμπτες δυνάμεις
σε ένα άθροισμα τετραγώνων.

Αυτή ήταν η ομορφιά της λύσης: όχι περισσότερος υπολογισμός, αλλά η σωστή ενδιάμεση ανισότητα.

Ένα πραγματικά σπάνιο Special Prize

Η IMO απονέμει Special Prize μόνο σε εξαιρετικές περιπτώσεις, συνήθως για μια ιδιαίτερα πρωτότυπη ή κομψή λύση που ξεχωρίζει πέρα από την απλή πλήρη βαθμολογία.

Στα επίσημα αποτελέσματα του 2005, ο Boreico εμφανίζεται με

\[ 7+7+7+7+7+7=42 \]

και με ξεχωριστή ένδειξη Special Prize.

Από το γραπτό ενός μαθητή στο Lean

Δύο δεκαετίες αργότερα, η ίδια ιδέα έχει περάσει σε έναν εντελώς διαφορετικό κόσμο: τη formalized mathematics.

Η λύση του Boreico έχει formalization στη βιβλιοθήκη mathlib του Lean. Εκεί το κρίσιμο βήμα εμφανίζεται ως ξεχωριστό θεώρημα — key_insight — και κάθε αλγεβρικό και λογικό βήμα ελέγχεται από τον proof assistant.

Μια ιδέα που γεννήθηκε σε ένα γραπτό μαθητή το 2005
μπορεί σήμερα να ελεγχθεί γραμμή προς γραμμή από έναν υπολογιστή.

Και ίσως αυτό να είναι το πιο όμορφο μέρος της ιστορίας: μια ανισότητα που σταμάτησε εκατοντάδες από τους καλύτερους μαθητές του κόσμου λύθηκε με μια ιδέα που, όταν τη δεις εκ των υστέρων, μοιάζει σχεδόν φυσική.

Αυτό ακριβώς κάνουν συχνά οι μεγάλες ολυμπιακές λύσεις: μετατρέπουν το δύσκολο σε προφανές — αλλά μόνο αφού κάποιος βρει τον σωστό δρόμο.

Πηγές: International Mathematical Olympiad, Official Results 2005 · IMO 2005 Problem 3 statistics · Lean mathlib, IMO 2005 Q3.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →