Α1. Για τους πραγματικούς αριθμούς
και
ισχύει ότι
. Να δειχθεί ότι
. (Προτάθηκε από τη Σερβία)
A2. Έστω θετικοί πραγματικοί αριθμοί
τέτοιοι ώστε
. Να αποδειχθεί ότι
(Προτάθηκε από τα Σκόπια)
Σημείωση: Ήταν αρκετά γνωστή και κακώς τη βάλαμε στη shortlist.
A3. Έστω
και
δύο μη κενά υποσύνολα του συνόλου
με
. Έστω
το γινόμενο όλων των στοιχείων του
και
το γινόμενο όλων των στοιχείων του
. Να βρεθεί η μέγιστη και ελάχιστη δυνατή τιμη του
και να βρεθούν όλες οι περιπτώσεις ισότητας.(Προτάθηκε από την Ελλάδα)
Α4. Έστω
δύο διαφορετικοί πραγματικοί αριθμοί και έστω
θετικός πραγματικός αριθμός ώστε 
Να αποδειχθεί ότι

(Προτάθηκε από την Σαουδική Αραβία - Ήταν η άσκηση 2 του διαγωνισμού)
Α5. Έστω θετικοί πραγματικοί αριθμοί
ώστε
. Να αποδειχθεί η ανισότητα
(Προτάθηκε από την Ρουμανία)
Α6. Έστω θετικοί πραγματικοί αριθμοί
. Να αποδειχθεί η ανισότητα
(Προτάθηκε από το Τατζικιστάν)
Α7. Αν
θετικοί πραγματικοί αριθμοί τέτοιοι ώστε
, να αποδειχθεί ότι![\displaystyle 3+\sqrt[3]{\frac{a^3+1}{2}}+\sqrt[3]{\frac{b^3+1}{2}}+\sqrt[3]{\frac{c^3+1}{2}}\leqslant 2(a+b+c)\,.
\displaystyle 3+\sqrt[3]{\frac{a^3+1}{2}}+\sqrt[3]{\frac{b^3+1}{2}}+\sqrt[3]{\frac{c^3+1}{2}}\leqslant 2(a+b+c)\,.](/forum/ext/geomar/texintegr/latexrender/pictures/1a4e92444568ddd550e52a837b9b0dcf.png)
(Προτάθηκε από την Αλβανία)

η δοθείσα σχέση γράφεται
οπότε 
λαμβάνουμε 

ότι 
Τότε είναι
, αφού 
και έχουμε
άτοπο!
.
Έστω
οπότε
.
ισχύει και 
Όμως όταν
είναι
και φανερά είναι 

τότε
. Αυτό όμως είναι αδύνατο αφού 
από το οποίο παίρνουμε
. Αν
τότε πάλι καταλήγουμε σε άτοπο αφού
.)
όπως θέλαμε να δείξουμε.
.
από την ανισότητα Chebyshev.
, οπότε θέλουμε
, ισοδύναμα 
έχει διακρίνουσα
, οπότε είναι πάντα
. Έπεται από την
ότι
, που είναι το ένα ζητούμενο. 
, οπότε
, που είναι το δεύτερο ζητούμενο.
και μετά Chebyshev.Η άσκηση ήταν και στην ΒΜΟ Shortlist 2018.
.
. Τώρα παίρνουμε



.

.


, που ισχύει.
,που είναι άμεση απόρροια της ανισότητας αριθμητικού-γεωμετρικού μέσου.
,
.

, οπότε αρκεί
,
πράγμα άμεσο από ΑΜ-ΓΜ.

για όλα τα διαφορετικά
.![\displaystyle a^3 + a^2b + a^2b + a^2c + a^2c + a^2d + a^2d + b^2a + c^2a + d^2a + bcd + bcd \geqslant 12\sqrt[12]{a^{18}b^{6}c^{6}d^{6}} = 12a \displaystyle a^3 + a^2b + a^2b + a^2c + a^2c + a^2d + a^2d + b^2a + c^2a + d^2a + bcd + bcd \geqslant 12\sqrt[12]{a^{18}b^{6}c^{6}d^{6}} = 12a](/forum/ext/geomar/texintegr/latexrender/pictures/35365a8a4758b759adfb1b41f12e795b.png)




.Έστω
.Τότε 
![\sum \sqrt[3]{\dfrac{a^3+1}{2}}\le \sqrt[3]{(\dfrac{1}{2}+\dfrac{1}{2}+\dfrac{1}{2})(\sum (a+1))(\sum (a^2-a+1))}=\sqrt[3]{\dfrac{3}{2}(A+3)(A^2-3A+3)} \sum \sqrt[3]{\dfrac{a^3+1}{2}}\le \sqrt[3]{(\dfrac{1}{2}+\dfrac{1}{2}+\dfrac{1}{2})(\sum (a+1))(\sum (a^2-a+1))}=\sqrt[3]{\dfrac{3}{2}(A+3)(A^2-3A+3)}](/forum/ext/geomar/texintegr/latexrender/pictures/c8a226d833cd1a0da70c8e48ed30b722.png)
που ισχύει αφού 
![P_A+P_B\geq\left [2\sqrt{11!}\right]=\left[1440\sqrt{77}\right]=12636 P_A+P_B\geq\left [2\sqrt{11!}\right]=\left[1440\sqrt{77}\right]=12636](/forum/ext/geomar/texintegr/latexrender/pictures/064dbac6c9c2c6805a6398e03efe3d6a.png)
.
και
τότε
αδύνατο
, έτσι
ή
:
όπου
,
και
, 
και
ή
και 
:
που ισχύει για
και
. Άρα
και
και το
ανήκει σε οποιοδήποτε από τα 2 σύνολα. (Ή αντίστροφα)
και
(πρώτος) άτοπο
ή
και 
:
που ισχύει για
και
και
και το
:
αδύνατο
για
και
ή αντίστροφα 
