Εξίσωση

Συντονιστές: cretanman, silouan, rek2

achilleas
Γενικός Συντονιστής
Δημοσιεύσεις: 3014
Εγγραφή: Τρί Σεπ 15, 2009 3:32 pm

Εξίσωση

#1

Μη αναγνωσμένη δημοσίευση από achilleas » Σάβ Ιούλ 16, 2022 6:24 pm

Να βρεθούν όλοι οι θετικοί ακέραιοι a,b,c τέτοιοι ώστε \lcm(a,b,c)=\dfrac{ab+bc+ca}{4}.



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

Re: Εξίσωση

#2

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Αύγ 29, 2022 10:15 am

achilleas έγραψε:
Σάβ Ιούλ 16, 2022 6:24 pm
Να βρεθούν όλοι οι θετικοί ακέραιοι a,b,c τέτοιοι ώστε \lcm(a,b,c)=\dfrac{ab+bc+ca}{4}.
Γράφουυμε M = \lcm(a,b,c). Τότε έχουμε M = ar = bs = ct για κάποιους θετικούς ακεραίους r,s,t με \lcm(r,s,t) = 1. Έχουμε

\displaystyle  4M = ab+bc+ca = M^2\left(\frac{1}{rs} + \frac{1}{st} + \frac{1}{tr} \right) \implies 4rst = M(r+s+t)

Έστω περιττός πρώτος p τέτοιος, ώστε p|r+s+t. Τότε p|rst. Χωρίς βλάβη της γενικότητας p|r. Τότε p|s+t. Αν p|s τότε p|t και επειδή \lcm(r,s,t)=1 καταλήγουμε σε άτοπο. Άρα p|r,p\nmid s, p \nmid t. Έστω k μέγιστο ώστε p^k|r. Τότε k μέγιστο ώστε p^k|4rst. Όμως p^k|r \implies p^k|M και έχουμε επίσης ότι p|r+s+t. Επομένως p^{k+1}|M(r+s+t), άτοπο.

Άρα το r+s+t είναι δύναμη του 2. Επειδή \lcm(r,s,t)=1, δεν μπορούν τα r,s,t να είναι όλα άρτιοι. Αναγκαστικά θα έχουμε έναν άρτιο, έστω τον r και δύο περιττός. Έστω k μέγιστο ώστε 2^k|r. Τότε έχουμε και 2^k|M. Έχουμε επίσης ότι r+s+t \geqslant 2^{k+1}, άρα 2^{k+1}|r+s+t και 2^{2k+1}|M(r+s+t). Αφού 2^{2k+1}|4rst και s,t περιττοί, τότε 2^{2k-1}|r. Από τον ορισμό του k πρέπει 2k-1 \leqslant k και αφού k \geqslant 1, τότε k = 1.

Επίσης, για να έχουμε ισότητα στην πιο πάνω παράγραφο, πρέπει r+s+t = 2^{k+1}=4 αφού αλλιώς θα είχαμε 2^{k+2}|r+s+t που θα κατέληγε σε άτοπο.

Τότε όμως είναι r=2,s=t=1 και προκύπτει M = 4.

Άρα μόνες τριάδες είναι οι (a,b,c) = (1,2,2) και οι μεταθέσεις της.


vgreco
Δημοσιεύσεις: 72
Εγγραφή: Σάβ Φεβ 19, 2022 6:22 pm

Re: Εξίσωση

#3

Μη αναγνωσμένη δημοσίευση από vgreco » Τρί Αύγ 30, 2022 2:48 pm

Κάπως πιο απλά:

Χωρίς βλάβη της γενικότητας, υποθέτω a\geq b\geq c \,\,\, (1).

Προφανώς:

a \mid \dfrac{ab+bc+ca}{4} \Rightarrow a \mid ab+bc+ca \Leftrightarrow a \mid a(b+c)+bc \Rightarrow a \mid bc

Και επειδή καθένας από τους a, b, c διαιρεί τον bc, έπεται πως \lcm(a,b,c) \mid bc \Rightarrow \lcm(a,b,c) \leq bc

Τώρα, εάν ήταν \lcm(a,b,c)<bc, τότε θα ήταν επίσης \lcm(a,b,c)\leq \dfrac{bc}{2} \Leftrightarrow 2bc \geq ab+bc+ca \overset{(1)}{\geq} 3bc, ατοπο. Έτσι, είναι υποχρεωτικά \lcm(a,b,c) = bc \,\,\, (2).

Με παρόμοιο τρόπο δείχνουμε b \mid ca και κατόπιν \lcm(a,b,c)=ca. Έτσι, προκύπτει \boxed{a = b \,\,\, (3)}.

Από τη σχέση (2), ομως, έχουμε: \dfrac{ab+bc+ca}{4}=bc \Leftrightarrow ab+ac=3bc \overset{(3)}{\Leftrightarrow} a^2 + ac = 3ac \Leftrightarrow a = b = 2c.

Εύκολα μετά: \dfrac{ab+bc+ca}{4}=\dfrac{4c^2 + 2c^2 + 2c^2}{4}=2c^2\overset{(2), (3)}{=\joinrel=\joinrel=\joinrel=}2c \Leftrightarrow \boxed{c = 1}, απ' όπου \boxed{a=b=2}.

Έτσι, οι μοναδικές λύσεις είναι οι (a,b,c)=(2,2,1) και οι αντιμεταθέσεις τους.


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

Re: Εξίσωση

#4

Μη αναγνωσμένη δημοσίευση από Demetres » Τρί Αύγ 30, 2022 4:53 pm

vgreco έγραψε:
Τρί Αύγ 30, 2022 2:48 pm
Κάπως πιο απλά:
Πολύ ωραία. Βλέπω ότι και εδώ έχεις δώσει μια σύντομη λύση.

Απορία: Είσαι καθηγητής ή μαθητής;


Απάντηση

Επιστροφή σε “Θεωρία Αριθμών - Προχωρημένο Επίπεδο (Juniors)”

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

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