Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

Συντονιστές: cretanman, ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ, socrates

Datis-Kalali
Δημοσιεύσεις: 117
Εγγραφή: Δευ Δεκ 12, 2016 5:33 pm
Τοποθεσία: Λευκωσία

Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#1

Μη αναγνωσμένη δημοσίευση από Datis-Kalali » Δευ Ιαν 01, 2018 8:19 pm

Ανοίγω το θέμα για να να συζητούμε θέματα αλγεβράς και θεωρία αριθμών (επίπεδου BMO ,Αρχιμήδη και JBMO). Είστε ευπρόσδεκτοι να βάλετε ασκήσεις σχετικό με το θέμα, με σκοπο να προετοιμάσουμε για τους διαγωνισμούς.
Ξεκινώ με 4 ασκήσεις:

Α1)Έστω ότι R είναι το σύνολο των πραγματικών αριθμών.
Να βρείτε όλες τις συνάρτησεις f: R \rightarrow R που ικανοποιούν τις σχέσεις ταυτόχρονα:
i. f(x+y) \ge f(x) \cdot f(y)
ii. f(x) \ge x+1

A2) Αν a,b,c είναι θετικοί πραγματικοί αριθμοί έτσι ώστε a^2+b^2+c^2+abc=4 να δείξετε ότι \frac{4}{4-a^2}+\frac{4}{4-b^2}+\frac{4}{4-c^2}+abc \ge 5

NT1) Έστω ότι N είναι το σύνολο των θετικών ακέραιων.
Να δείξετε ότι υπάρχουν άπειρες συνάρτησεις f: N \rightarrow N που ικανοποιούν τις σχέσεις ταυτόχρονα:
i. Η συνάρτηση f είναι 1–1 (ένα προς ένα)
ιii.Αν m \vert n τότε f(m) \vert f(n)
iii.Το πλήθος των διαιρέτων του f(n) είναι διπλάσιο του πλήθου των διαιρέτων του n

NT2) Να βρείτε όλες τις ακέραιες λύσεις της εξίσωσης 2(x^5+y^5+1)=5xy(x^2+y^2+1)
τελευταία επεξεργασία από Datis-Kalali σε Τρί Ιαν 02, 2018 2:32 pm, έχει επεξεργασθεί 4 φορές συνολικά.



Λέξεις Κλειδιά:
Datis-Kalali
Δημοσιεύσεις: 117
Εγγραφή: Δευ Δεκ 12, 2016 5:33 pm
Τοποθεσία: Λευκωσία

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#2

Μη αναγνωσμένη δημοσίευση από Datis-Kalali » Τρί Ιαν 02, 2018 1:46 pm

Θα προσθέσω ακόμη μια ασκησή
Α3) Αν a,b,c είναι θετικοί πραγματικοί αριθμοί έτσι ώστε abc=1, να δείξετε ότι
a^3+b^3+c^3 \ge \frac{3}{2}+\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}


Άβαταρ μέλους
Διονύσιος Αδαμόπουλος
Δημοσιεύσεις: 804
Εγγραφή: Σάβ Μαρ 19, 2016 5:11 pm
Τοποθεσία: Πύργος Ηλείας

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#3

Μη αναγνωσμένη δημοσίευση από Διονύσιος Αδαμόπουλος » Τρί Ιαν 02, 2018 2:10 pm

Datis-Kalali έγραψε:
Τρί Ιαν 02, 2018 1:46 pm
Θα προσθέσω ακόμη μια ασκησή
Α3) Αν a,b,c είναι θετικοί πραγματικοί αριθμοί έτσι ώστε abc=1, να δείξετε ότι
a^3+b^3+c^3 \ge \frac{3}{2}+\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}
Έχουμε πως:

a^3+b^3+c^3 \geq \dfrac{3}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\Leftrightarrow a^3+b^3+c^3+3\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\Leftrightarrow

\Leftrightarrow a^3+b^3+c^3+3abc\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}

Όμως από Schur έχουμε πως a^3+b^3+c^3+3abc\geq ab(a+b)+bc(b+c)+ca(c+a).

Άρα αρκεί:

ab(a+b)+bc(b+c)+ca(c+a)\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\Leftrightarrow

\Leftrightarrow \dfrac{a+b}{c}+\dfrac{b+c}{a}+\dfrac{c+a}{b}\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}.

Από ανισότητα Andreescu παρατηρούμε πως:

4(\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b})=\dfrac{4a^2}{ab+ac}+\dfrac{4b^2}{bc+ba}+\dfrac{4c^2}{ca+cb}\leq

\dfrac{a^2}{ab}+\dfrac{a^2}{ac}+\dfrac{b^2}{bc}+\dfrac{b^2}{ba}+\dfrac{c^2}{ca}+\dfrac{c^2}{cb}=\dfrac{a+b}{c}+\dfrac{b+c}{a}+\dfrac{c+a}{b}.

Επομένως αρκεί:

4(\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b})\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\Leftrightarrow 3(\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b})\geq \dfrac{9}{2}\Leftrightarrow

\Leftrightarrow \dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\geq \dfrac{3}{2}, που ισχύει, καθώς είναι η ανισότητα Nesbitt.


Houston, we have a problem!
Άβαταρ μέλους
Ορέστης Λιγνός
Δημοσιεύσεις: 1617
Εγγραφή: Κυρ Μάιος 08, 2016 7:19 pm
Τοποθεσία: Χαλάνδρι Αττικής

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#4

Μη αναγνωσμένη δημοσίευση από Ορέστης Λιγνός » Τρί Ιαν 02, 2018 3:14 pm

Datis-Kalali έγραψε:
Τρί Ιαν 02, 2018 1:46 pm
Θα προσθέσω ακόμη μια ασκησή
Α3) Αν a,b,c είναι θετικοί πραγματικοί αριθμοί έτσι ώστε abc=1, να δείξετε ότι
a^3+b^3+c^3 \ge \frac{3}{2}+\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}
Είναι από AM-GM:
\textnormal{\en RHS}=\dfrac{3}{2}+\displaystyle \sum{\dfrac{a}{b+c}} \leqslant \dfrac{3}{2}+\displaystyle \sum{\dfrac{a}{2\sqrt{bc}}}=\dfrac{3}{2}+\displaystyle \sum{\dfrac{a}{2\sqrt{\dfrac{1}{a}}}}=\dfrac{3}{2}+\displaystyle \dfrac{\displaystyle \sum{\sqrt{a^3}}}{2}.

Αρκεί επομένως a^3+b^3+c^3 \geqslant \dfrac{3}{2}+\displaystyle \dfrac{\displaystyle \sum{\sqrt{a^3}}}{2}, και θέτοντας \sqrt{a^3}=x,\sqrt{b^3}=y,\sqrt{c^3}=z έχουμε ν.δ.ό. :

x^2+y^2+z^2 \geqslant \dfrac{3}{2}+\dfrac{x+y+z}{2} με xyz=1.

Από C-S, x^2+y^2+z^2 \geqslant \dfrac{(x+y+z)^2}{3}, αρκεί επομένως \dfrac{(x+y+z)^2}{3} \geqslant \dfrac{3}{2}+\dfrac{x+y+z}{2}.

Θέτουμε x+y+z=t. Έχουμε τότε να δείξουμε ότι : \dfrac{t^2}{3} \geqslant \dfrac{3}{2}+\dfrac{t}{2} \Leftrightarrow ... \Leftrightarrow (t-3)(2t+3) \geqslant 0, που ισχύει καθώς t=x+y+z \geqslant 3\sqrt[3]{xyz}=3.

Το ίσον για a=b=c=1.


Κερδίζουμε ό,τι τολμούμε !
Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 884
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#5

Μη αναγνωσμένη δημοσίευση από M.S.Vovos » Τρί Ιαν 02, 2018 3:55 pm

Να βρεθούν όλες οι συναρτήσεις \displaystyle{f:\mathbb{R}\longrightarrow \mathbb{R}} τέτοιες ώστε για κάθε \displaystyle{x,y\in \mathbb{R}} να ισχύει:

\displaystyle{xf(y)+yf(x)=2f\left ( f(x)f(y) \right )} Φιλικά,
Μάριος


Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
Datis-Kalali
Δημοσιεύσεις: 117
Εγγραφή: Δευ Δεκ 12, 2016 5:33 pm
Τοποθεσία: Λευκωσία

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#6

Μη αναγνωσμένη δημοσίευση από Datis-Kalali » Τρί Ιαν 02, 2018 3:59 pm

Διονύσιος Αδαμόπουλος έγραψε:
Τρί Ιαν 02, 2018 2:10 pm
Datis-Kalali έγραψε:
Τρί Ιαν 02, 2018 1:46 pm
Θα προσθέσω ακόμη μια ασκησή
Α3) Αν a,b,c είναι θετικοί πραγματικοί αριθμοί έτσι ώστε abc=1, να δείξετε ότι
a^3+b^3+c^3 \ge \frac{3}{2}+\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}
Έχουμε πως:

a^3+b^3+c^3 \geq \dfrac{3}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\Leftrightarrow a^3+b^3+c^3+3\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\Leftrightarrow

\Leftrightarrow a^3+b^3+c^3+3abc\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}

Όμως από Schur έχουμε πως a^3+b^3+c^3+3abc\geq ab(a+b)+bc(b+c)+ca(c+a).

Άρα αρκεί:

ab(a+b)+bc(b+c)+ca(c+a)\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\Leftrightarrow

\Leftrightarrow \dfrac{a+b}{c}+\dfrac{b+c}{a}+\dfrac{c+a}{b}\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}.

Από ανισότητα Andreescu παρατηρούμε πως:

4(\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b})=\dfrac{4a^2}{ab+ac}+\dfrac{4b^2}{bc+ba}+\dfrac{4c^2}{ca+cb}\leq

\dfrac{a^2}{ab}+\dfrac{a^2}{ac}+\dfrac{b^2}{bc}+\dfrac{b^2}{ba}+\dfrac{c^2}{ca}+\dfrac{c^2}{cb}=\dfrac{a+b}{c}+\dfrac{b+c}{a}+\dfrac{c+a}{b}.

Επομένως αρκεί:

4(\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b})\geq \dfrac{9}{2}+\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\Leftrightarrow 3(\dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b})\geq \dfrac{9}{2}\Leftrightarrow

\Leftrightarrow \dfrac{a}{b+c}+\dfrac{b}{c+a}+\dfrac{c}{a+b}\geq \dfrac{3}{2}, που ισχύει, καθώς είναι η ανισότητα Nesbitt.
Ορέστης Λιγνός έγραψε:
Τρί Ιαν 02, 2018 3:14 pm
Datis-Kalali έγραψε:
Τρί Ιαν 02, 2018 1:46 pm
Θα προσθέσω ακόμη μια ασκησή
Α3) Αν a,b,c είναι θετικοί πραγματικοί αριθμοί έτσι ώστε abc=1, να δείξετε ότι
a^3+b^3+c^3 \ge \frac{3}{2}+\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}
Είναι από AM-GM:
\textnormal{\en RHS}=\dfrac{3}{2}+\displaystyle \sum{\dfrac{a}{b+c}} \leqslant \dfrac{3}{2}+\displaystyle \sum{\dfrac{a}{2\sqrt{bc}}}=\dfrac{3}{2}+\displaystyle \sum{\dfrac{a}{2\sqrt{\dfrac{1}{a}}}}=\dfrac{3}{2}+\displaystyle \dfrac{\displaystyle \sum{\sqrt{a^3}}}{2}.

Αρκεί επομένως a^3+b^3+c^3 \geqslant \dfrac{3}{2}+\displaystyle \dfrac{\displaystyle \sum{\sqrt{a^3}}}{2}, και θέτοντας \sqrt{a^3}=x,\sqrt{b^3}=y,\sqrt{c^3}=z έχουμε ν.δ.ό. :

x^2+y^2+z^2 \geqslant \dfrac{3}{2}+\dfrac{x+y+z}{2} με xyz=1.

Από C-S, x^2+y^2+z^2 \geqslant \dfrac{(x+y+z)^2}{3}, αρκεί επομένως \dfrac{(x+y+z)^2}{3} \geqslant \dfrac{3}{2}+\dfrac{x+y+z}{2}.

Θέτουμε x+y+z=t. Έχουμε τότε να δείξουμε ότι : \dfrac{t^2}{3} \geqslant \dfrac{3}{2}+\dfrac{t}{2} \Leftrightarrow ... \Leftrightarrow (t-3)(2t+3) \geqslant 0, που ισχύει καθώς t=x+y+z \geqslant 3\sqrt[3]{xyz}=3.

Το ίσον για a=b=c=1.
Πολύ καλές λύσεις.


harrisp
Δημοσιεύσεις: 547
Εγγραφή: Σάβ Μαρ 28, 2015 8:49 pm

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#7

Μη αναγνωσμένη δημοσίευση από harrisp » Τρί Ιαν 02, 2018 4:07 pm

.
τελευταία επεξεργασία από harrisp σε Τρί Ιαν 02, 2018 4:19 pm, έχει επεξεργασθεί 1 φορά συνολικά.


Datis-Kalali
Δημοσιεύσεις: 117
Εγγραφή: Δευ Δεκ 12, 2016 5:33 pm
Τοποθεσία: Λευκωσία

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#8

Μη αναγνωσμένη δημοσίευση από Datis-Kalali » Τρί Ιαν 02, 2018 4:16 pm

M.S.Vovos έγραψε:
Τρί Ιαν 02, 2018 3:55 pm
Να βρεθούν όλες οι συναρτήσεις \displaystyle{f:\mathbb{R}\longrightarrow \mathbb{R}} τέτοιες ώστε για κάθε \displaystyle{x,y\in \mathbb{R}} να ισχύει:

\displaystyle{xf(y)+yf(x)=2f\left ( f(x)f(y) \right )} Φιλικά,
Μάριος
Θέτουμε x=y=0 στην εξίσωση και παιρνούμε f(f(0)^2)=0.
Άρα υπάρχει v \in R έτσι ώστε f(v)=0
Τωρά θέτουμε y=v
και πάιρνουμε f(x)=\frac{2f(0)}{v}, δηλαδή έχουμε ότι το f είναι σταθερό.
Θέτουμε f(x)=c και πάιρνουμε cx+cy=c για κάθε x,y \in R
Άρα c=0 η f(x)=0
τελευταία επεξεργασία από Datis-Kalali σε Τετ Ιαν 03, 2018 2:08 pm, έχει επεξεργασθεί 1 φορά συνολικά.


Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 884
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#9

Μη αναγνωσμένη δημοσίευση από M.S.Vovos » Τρί Ιαν 02, 2018 9:13 pm

Datis-Kalali έγραψε:
Τρί Ιαν 02, 2018 4:16 pm
M.S.Vovos έγραψε:
Τρί Ιαν 02, 2018 3:55 pm
Να βρεθούν όλες οι συναρτήσεις \displaystyle{f:\mathbb{R}\longrightarrow \mathbb{R}} τέτοιες ώστε για κάθε \displaystyle{x,y\in \mathbb{R}} να ισχύει:

\displaystyle{xf(y)+yf(x)=2f\left ( f(x)f(y) \right )} Φιλικά,
Μάριος
Θέτουμε x=y=0 στην εξίσωση και παιρνούμε f(f(x)^2)=0.
Άρα υπάρχει v \in R έτσι ώστε f(v)=0
Τωρά θέτουμε y=v
και πάιρνουμε f(x)=\frac{2f(0)}{v}, δηλαδή έχουμε ότι το f είναι σταθερό.
Θέτουμε f(x)=c και πάιρνουμε cx+cy=c για κάθε x,y \in R
Άρα c=0 η f(x)=0
Για δες το ξανά. Σου λείπουν λύσεις.

Φιλικά,
Μάριος


Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
Άβαταρ μέλους
min##
Δημοσιεύσεις: 310
Εγγραφή: Τρί Απρ 18, 2017 3:40 pm

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#10

Μη αναγνωσμένη δημοσίευση από min## » Τετ Ιαν 03, 2018 5:51 pm

(με αμφιβολίες):Αυτή που ξέφυγε (λόγω της υπόθεσης f(0)\neq 0 που τελικά κρίθηκε εσφαλμένη)
είναι η f(x)=\pm x.
Υποθέτω ότι η f είναι μη μηδενική.
Θέτω x=y και η αρχική γίνεται \bullet xf(x)=f(f^2(x)).Αν για z,w ισχύει f(z)=f(w)\neq 0
,τότε z=\frac{f(f^2(z))}{f(z)}=\frac{f(f^2(w))}{f(w)}=w,ενώ αν για κάποια u,f(u)=0,από την αρχική,(x,y)\rightarrow (x,u):uf(x)=2f(0),\forall x\epsilon \mathbb{R}.Όμως, αναγκαστικά f(0)=0,και συνεπώς uf(x)=0,\forall x\epsilon \mathbb{R},το οποίο,για u\neq 0 είναι άτοπο από την υπόθεση ότι η f είναι μη μηδενική.Άρα,f(u)=0< = > u=0 και σύμφωνα και με τα παραπάνω,η f είναι 1 προς 1.
Με (x,y)\rightarrow (1,1), η αρχική γίνεται f(1)=f(f(1)^2)< = > 1=f(1)^2.Παίρνω την περίπτωση f(1)=1 γιατί τα ίδια ισχύουν και για την άλλη περίπτωση:
Από την αρχική,για (x,y)\rightarrow (x,1) προκύπτει \bigstar x+f(x)=2f(f(x)).Πάλι από την αρχική,για (x,y)\rightarrow (f^2(x),f^2(y)) και λόγω της \bullet,είναι \blacktriangledown xf(x)f^2(y)+yf(y)f^2(x)=2f(xyf(x)f(y))=f(x)f(y)*2f(f(x)f(y))
.Τώρα,θέτοντας (x,y)\rightarrow (x,\frac{1}{x}),x\neq 0 προκύπτει f(x)f(\frac{1}{x})=1,όπου στην αρχική,για (x,y)\rightarrow (x,\frac{1}{x}) παίρνω \frac{x}{f(x)}+\frac{f(x)}{x}=2f(f(x)f(\frac{1}{x}))=2,δηλαδή (f(x)-x)^2=0.Άρα f(x)=x,\forall x\epsilon \mathbb{R} εκτός του μηδενός.Όμως f(0)=0 και τελικά f(x)=x


Αν υπέθετα ότι f(1)=-1 θα έφτανα στην άλλη λύση..

υγ:κάποια πράγματα που γράφτηκαν δεν χρησιμοποιήθηκαν


Datis-Kalali
Δημοσιεύσεις: 117
Εγγραφή: Δευ Δεκ 12, 2016 5:33 pm
Τοποθεσία: Λευκωσία

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#11

Μη αναγνωσμένη δημοσίευση από Datis-Kalali » Τετ Ιαν 03, 2018 8:45 pm

Μια υπόδειξη για το Α1.
Η απάντηση είναι f(x)=e^x.


ΑΝΔΡΕΑΣ ΛΑΜΠΡΟΥ
Δημοσιεύσεις: 34
Εγγραφή: Τετ Μάιος 03, 2017 12:37 am

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#12

Μη αναγνωσμένη δημοσίευση από ΑΝΔΡΕΑΣ ΛΑΜΠΡΟΥ » Τετ Ιαν 03, 2018 10:51 pm

Datis-Kalali έγραψε:
Τρί Ιαν 02, 2018 1:46 pm
Θα προσθέσω ακόμη μια ασκησή
Α3) Αν a,b,c είναι θετικοί πραγματικοί αριθμοί έτσι ώστε abc=1, να δείξετε ότι
a^3+b^3+c^3 \ge \frac{3}{2}+\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}
Μετά από πράξεις αρκεί ν.δ.ο : \displaystyle{a^{3}+b^{3}+c^{3}\geq \frac{3}{2} +\frac{a^{3}+b^{3}+c^{3}+ab\cdot\left ( a+b \right )+bc\cdot\left ( b+c\right )+ca\cdot\left ( c+a \right )+3abc}{\left ( a+b \right )\left (b+c \right )\left ( c+a \right )}\Leftrightarrow }
\displaystyle{\Leftrightarrow a^{3}+b^{3}+c^{3}\geq \frac{3}{2} +\frac{a^{3}+b^{3}+c^{3}+ab\cdot\left ( a+b \right )+bc\cdot\left ( b+c\right )+ca\cdot\left ( c+a \right )+3abc}{8abc}\Leftrightarrow }
\displaystyle{\Leftrightarrow 8\left (a^{3}+b^{3}+c^{3}  \right )\geq 15+3\left(a^{3}+b^{3}+c^{3}  \right )\Leftrightarrow }
\displaystyle{\Leftrightarrow a^{3}+b^{3}+c^{3}\geq3} που ισχύει. Χρησιμοποιήθηκαν τα εξής λήμματα:
\displaystyle{\left ( a+b \right )\left (b+c \right )\left ( c+a \right)\geq 8abc} , \displaystyle{ a^{3}+b^{3}\geq ab\cdot\left ( a+b \right )} , \displaystyle{ a^{3}+b^{3}+c^{3}\geq3abc}
τελευταία επεξεργασία από ΑΝΔΡΕΑΣ ΛΑΜΠΡΟΥ σε Δευ Ιαν 15, 2018 8:16 pm, έχει επεξεργασθεί 1 φορά συνολικά.


Panagiotis11
Δημοσιεύσεις: 73
Εγγραφή: Κυρ Απρ 09, 2017 7:33 pm
Τοποθεσία: Πάτρα

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#13

Μη αναγνωσμένη δημοσίευση από Panagiotis11 » Παρ Ιαν 05, 2018 10:23 am

NT3) Να βρείτε τις τριάδες x,y,z> 0,που ικανοποιούν την εξίσωση:
1+2^{x}3^{y}=z^{2}


Μπορεί να απογοητευθείς αν αποτύχεις, αλλά είσαι χαμένος αν δεν προσπαθήσεις.
Άβαταρ μέλους
Διονύσιος Αδαμόπουλος
Δημοσιεύσεις: 804
Εγγραφή: Σάβ Μαρ 19, 2016 5:11 pm
Τοποθεσία: Πύργος Ηλείας

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#14

Μη αναγνωσμένη δημοσίευση από Διονύσιος Αδαμόπουλος » Παρ Ιαν 05, 2018 11:54 am

Panagiotis11 έγραψε:
Παρ Ιαν 05, 2018 10:23 am
NT3) Να βρείτε τις τριάδες x,y,z> 0,που ικανοποιούν την εξίσωση:
1+2^{x}3^{y}=z^{2}


Έχουμε πως:

2^x\cdot 3^y=(z-1)(z+1)

Αν x=0 τότε πρέπει 3^y=(z-1)(z+1), άρα z+1=3^a, z-1=3^b, άρα 3^b+2=3^a, με a\geq b+1. Αν b\geq 1, τότε 3^b+2<3^{b+1}\leq 3^a, άτοπο. Άρα b=0 και a=1, οπότε z=2 και y=1.

Μια λύση λοιπόν είναι η (x, y, z)=(0, 1, 2)

Αν y=0 τότε πρέπει 2^x=(z-1)(z+1), άρα z+1=2^a, z-1=2^b, άρα 2^b+2=2^a, με a\geq b+1. Αν b\geq 2, τότε 2^b+2<2^{b+1}\leq 2^a, άτοπο. Άρα b<2 και εύκολα βρίσκουμε πως b=1 και a=2, οπότε z=3 και x=3.

Μια λύση λοιπόν είναι η (x, y, z)=(3, 0, 3).

Έστω τώρα x, y>0. Θα είναι z\geq 3.

Ισχύει πως το z είναι περιττός, άρα το z-1 και το z+1 διαιρούνται με το 2. Άρα x\geq 2. Έστω k=x-2, με k\geq 0.

Τότε προκύπτει ότι 2^k\cdot 3^y=\dfrac{z-1}{2}\cdot \dfrac{z+1}{2}. Αν θέσουμε όπου \dfrac{z-1}{2}=c, όπου c θετικός ακέραιος, η εξίσωση γίνεται:

2^k\cdot 3^y=c(c+1)

Λόγω του ότι οι αριθμοί c και c+1 είναι πρώτοι μεταξύ τους διακρίνουμε τις εξής δύο περιπτώσεις:

1) c=2^k και c+1=3^y. Έχουμε λοιπόν ότι 3^y-1=2^k, από το θεώρημα Catalan προκύπτει ότι μοναδική λύση είναι η y=2 και k=3, άρα y=2 και x=5, οπότε z=17.

Λύση λοιπόν είναι η (x, y, z)=(5, 2, 17).

2) c+1=2^k και c=3^y. Έχουμε πως 3^y+1=2^k, άρα προκύπτει η τετριμμένη λύση (y, k)=(1, 2), ενώ το θεώρημα Catalan μας υποδεικνύει πως δεν υπάρχει άλλη. Επομένως y=1 και x=4, άρα z=7.

Λύση λοιπόν είναι η (x, y, z)=(4, 1, 7).


Houston, we have a problem!
Datis-Kalali
Δημοσιεύσεις: 117
Εγγραφή: Δευ Δεκ 12, 2016 5:33 pm
Τοποθεσία: Λευκωσία

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#15

Μη αναγνωσμένη δημοσίευση από Datis-Kalali » Παρ Ιαν 05, 2018 12:37 pm

Panagiotis11 έγραψε:
Παρ Ιαν 05, 2018 10:23 am
NT3) Να βρείτε τις τριάδες x,y,z> 0,που ικανοποιούν την εξίσωση:
1+2^{x}3^{y}=z^{2}
Αρχικά , η εξίσωση γράφεται 2^{x}3^{y}=(z+1)(z-1)
Τότε z+1=2^a3^b, z-1=2^c3^d
Δηλαδή 2^a3^b-2^c3^d=2 \Rightarrow 2^{a-1}3^b=2^{c-1}3^d
Αφου το δεξί μέλος δεν διαιρείται με το 2 , έχω τις περιπτώσεις:
1) a=1
Η εξίσωση γράφεται 3^b-2^{c-1}3^d=1
Αφου το δεξί μέλος δεν διαιρείται με το 3 και 2^{c-1}3^d>0, πρέπει να έχω d=0 σε αλλά λόγια 3^b-2^{c-1}=1, που έχει τις λύσεις (b,c)=(2,4) και (b,c)=(1,2) : (*)
2) c=1
Η εξίσωση γράφεται 2^{a-1}3^b-3^d=1
Αφου το δεξί μέλος δεν διαιρείται με το 3 , πρέπει να έχω d=0 ή b-0. Η περίπτωση d=0 καταλήγει σε (a,b,c,d)=(2,0,1,0)
Έτσι έχουμε , δηλαδή πρέπει να λύσουμε την εξίσωση 2^{a-1}-3^d=1, που έχει λύση (a,d)=(3,1). : (**)
Άρα (a,b,c,d) \in \{(3,0,1,1),(2,0,1,0),(1,2,4,0),(1,1,2,0)\}.
Αφού x=a+c και y=b+d ευκολά βρουμε (x,y,z) \in \{(\(4,1,7),(3,0,3),(5,2,17),(3,1,5)\}.
Σημείωση: (Η λύση (x,y,z)=(3,0,3) απορρίπτεται αφου x,y,z>0, εκτός αν ζητάει για μη-αρνητικές λύσεις)
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Σχόλια: (*) Η εξίσωση 3^x-2^y=1 έχει λύσεις (x,y)=(2,3),(1,1). Μπορεί να αποδείχθει, με mod 4 και έχουμε x είναι αρτιός και έχουμε περιπτώσεις.
(**) Όμοια η εξίσωση 2^x-3^y=1 έχει λύση (x,y)=(2,1) Μπορεί να αποδείχθει, με mod 8 και έχουμε x \le 2


Panagiotis11
Δημοσιεύσεις: 73
Εγγραφή: Κυρ Απρ 09, 2017 7:33 pm
Τοποθεσία: Πάτρα

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#16

Μη αναγνωσμένη δημοσίευση από Panagiotis11 » Παρ Ιαν 05, 2018 12:38 pm

NT4) Να βρείτε όλα τα ζεύγη θετικών ακεραίων, τέτοια ώστε το τελευταίο ψηφίο του αθροίσματός τους να είναι 3,
η διαφορά τους να είναι πρώτος αριθμός και το γινόμενο τους να είναι τετράγωνο θετικού ακεραίου.
τελευταία επεξεργασία από Panagiotis11 σε Παρ Ιαν 05, 2018 12:54 pm, έχει επεξεργασθεί 2 φορές συνολικά.


Μπορεί να απογοητευθείς αν αποτύχεις, αλλά είσαι χαμένος αν δεν προσπαθήσεις.
Panagiotis11
Δημοσιεύσεις: 73
Εγγραφή: Κυρ Απρ 09, 2017 7:33 pm
Τοποθεσία: Πάτρα

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#17

Μη αναγνωσμένη δημοσίευση από Panagiotis11 » Παρ Ιαν 05, 2018 12:42 pm

Διονύσιος Αδαμόπουλος έγραψε:
Παρ Ιαν 05, 2018 11:54 am
Panagiotis11 έγραψε:
Παρ Ιαν 05, 2018 10:23 am
NT3) Να βρείτε τις τριάδες x,y,z> 0,που ικανοποιούν την εξίσωση:
1+2^{x}3^{y}=z^{2}

1) c=2^k και c+1=3^y. Έχουμε λοιπόν ότι 3^y-1=2^k, από το θεώρημα Catalan προκύπτει ότι μοναδική λύση είναι η y=2 και k=3, άρα y=2 και x=5, οπότε z=17.

Πολύ ωραία λύση,μια μικρή παρατήρηση.Το θεώρημα Catalan αναφέρεται σε y>1,k>1.Αφού υπάρχει k\geq 0 τότε για k=1
προκύπτει η τετριμμένη λύση (x,y,z)=(3,1,5).Για k>1 ισχύει το θ. Catalan


Μπορεί να απογοητευθείς αν αποτύχεις, αλλά είσαι χαμένος αν δεν προσπαθήσεις.
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 8444
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#18

Μη αναγνωσμένη δημοσίευση από Demetres » Παρ Ιαν 05, 2018 12:48 pm

Datis-Kalali έγραψε:
Δευ Ιαν 01, 2018 8:19 pm
Α1)Έστω ότι R είναι το σύνολο των πραγματικών αριθμών.
Να βρείτε όλες τις συνάρτησεις f: R \rightarrow R που ικανοποιούν τις σχέσεις ταυτόχρονα:
i. f(x+y) \ge f(x) \cdot f(y)
ii. f(x) \ge x+1
Επαγωγικά η (i) δίνει f(x_1 + \cdots + x_n) \geqslant f(x_1) \cdots f(x_n). Έστω t \in \mathbb{R}. Για x_1 = \cdots = x_n = t/n παίρνουμε f(t) \geqslant f(t/n)^n. Άρα από την (ii) έχουμε

\displaystyle  f(t) \geqslant \left(1 + \frac{t}{n}\right)^n

για κάθε t \in \mathbb{R} και κάθε n \in \mathbb{N}.

Παίρνοντας όρια όταν το n τείνει στο άπειρο (εδώ ξεφεύγουμε λίγο από την ύλη των ολυμπιάδων) καταλήγουμε στο f(t) \geqslant e^t για κάθε t \in \mathbb{R}.

Η (i) για x = y = 0 δίνει f(0) \geqslant f(0)^2, που δίνει f(0) \in [0,1]. Όμως η (ii) δίνει f(0) \geqslant 1, και άρα f(0) = 1.

Έστω τώρα t \in \mathbb{R}. Για x=t,y=-t η (i) δίνει

\displaystyle  1 = f(0) = f(t-t) \geqslant f(t)f(-t) \geqslant e^t e^{-t} = 1

με ισότητα μόνο αν f(t) = e^t.

Πρέπει λοιπόν f(x) = e^x για κάθε x \in \mathbb{R}. (Οι συνθήκες ικανοποιούνται.)


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 8444
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#19

Μη αναγνωσμένη δημοσίευση από Demetres » Παρ Ιαν 05, 2018 1:08 pm

Datis-Kalali έγραψε:
Δευ Ιαν 01, 2018 8:19 pm
NT1) Έστω ότι N είναι το σύνολο των θετικών ακέραιων.
Να δείξετε ότι υπάρχουν άπειρες συνάρτησεις f: N \rightarrow N που ικανοποιούν τις σχέσεις ταυτόχρονα:
i. Η συνάρτηση f είναι 1–1 (ένα προς ένα)
ιii.Αν m \vert n τότε f(m) \vert f(n)
iii.Το πλήθος των διαιρέτων του f(n) είναι διπλάσιο του πλήθου των διαιρέτων του n
Για p συγκεκριμένο πρώτο, ορίζουμε f(n) = p^{r+1}n, όπου p^r είναι η μεγαλύτερη δύναμη του p η οποία διαιρεί το n. Ας ελέγξουμε ότι ισχύουν τα (i)-(iii)

(i) Αν p^r η μεγαλύτερη δύναμη του p η οποία διαιρεί το n, τότε p^{2r+1} είναι η μεγαλύτερη δύναμη του p η οποία διαιρεί το f(n). Άρα n = f(n)/p^{(k+1)/2} όπου p^k η μεγαλύτερη δύναμη του p η οποία διαιρεί το f(n).

(ii) Άμεσο γράφοντας τους m,n σε γινόμενα πρώτων παραγόντων.

(iii) Άμεσο από τον τύπο d(p_1^{r_1} \cdots p_k^{r_k}) = (r_1+1) \cdots (r_k+1), όπου d(n) το πλήθος των διαιρετών του n. Πράγματι, αν p^r η μέγιστη δύναμη του p που διαιρεί τον n, τότε η συνεισφορά του πρώτου p στον τύπο για το πλήθος των διαιρετών είναι r+1 για το n και (2r+1)+1 = 2(r+1) για το f(n).

Προφανώς για διαφορετικούς πρώτους έχουμε διαφορετικές συναρτήσεις (διαφέρουν π.χ. στο p(1)) άρα υπάρχουν όντως άπειρες τέτοιες συναρτήσεις.

Επεξεργασία: Υπάρχουν άλλες τέτοιες συναρτήσεις ή όχι; (Έχω λύση, αλλά δεν λέω αν η απάντηση είναι αρνητική ή καταφατική.)


Άβαταρ μέλους
Διονύσιος Αδαμόπουλος
Δημοσιεύσεις: 804
Εγγραφή: Σάβ Μαρ 19, 2016 5:11 pm
Τοποθεσία: Πύργος Ηλείας

Re: Ασκήσεις Άλγεβρας/θεωρία αριθμών (Επίπεδο BMO, Αρχιμήδης και JBMO)-Ανοιχτή συζήτηση

#20

Μη αναγνωσμένη δημοσίευση από Διονύσιος Αδαμόπουλος » Παρ Ιαν 05, 2018 1:32 pm

Panagiotis11 έγραψε:
Παρ Ιαν 05, 2018 12:42 pm
Διονύσιος Αδαμόπουλος έγραψε:
Παρ Ιαν 05, 2018 11:54 am
Panagiotis11 έγραψε:
Παρ Ιαν 05, 2018 10:23 am
NT3) Να βρείτε τις τριάδες x,y,z> 0,που ικανοποιούν την εξίσωση:
1+2^{x}3^{y}=z^{2}

1) c=2^k και c+1=3^y. Έχουμε λοιπόν ότι 3^y-1=2^k, από το θεώρημα Catalan προκύπτει ότι μοναδική λύση είναι η y=2 και k=3, άρα y=2 και x=5, οπότε z=17.

Πολύ ωραία λύση,μια μικρή παρατήρηση.Το θεώρημα Catalan αναφέρεται σε y>1,k>1.Αφού υπάρχει k\geq 0 τότε για k=1
προκύπτει η τετριμμένη λύση (x,y,z)=(3,1,5).Για k>1 ισχύει το θ. Catalan
Ναι βλακεία πως μου ξέφυγε αυτή η τελείως τετριμμένη λύση... :wallbash_red: :wallbash_red: :wallbash_red: :cursing:


Houston, we have a problem!
Απάντηση

Επιστροφή σε “Θέματα διαγωνισμών (ΕΜΕ, BMO, JBMO, IMO, Kangaroo κλπ)”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 3 επισκέπτες