Απλή με Πρώτους!

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

Άβαταρ μέλους
JimNt.
Δημοσιεύσεις: 590
Εγγραφή: Παρ Μάιος 20, 2016 3:00 pm

Απλή με Πρώτους!

#1

Μη αναγνωσμένη δημοσίευση από JimNt. » Κυρ Απρ 30, 2017 9:43 pm

Να βρείτε όλα τα ζεύγη πρώτων (p,q) που ικανοποιούν την p^2-pq-q^3=1 . Για μαθητές.


Bye :')

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

Re: Απλή με Πρώτους!

#2

Μη αναγνωσμένη δημοσίευση από Διονύσιος Αδαμόπουλος » Κυρ Απρ 30, 2017 11:23 pm

Έχουμε:

q^3+1+pq=p^2

Εύκολα προκύπτει ότι p>q και αφού η περίπτωση για q=2 απορρίπτεται, έπεται ότι p\geq q+2.

Ακόμα έχουμε πως:

q^3+1+pq=p^2\Rightarrow p|q^3+1\Rightarrow p|(q+1)(q^2-q+1). Άρα p|q+1 ή p|q^2-q+1. Όμως p>q+1, άρα έχουμε πως p|q^2-q+1 (1).

Άρα έχουμε πως q^2-q+1=kp\Leftrightarrow k=\dfrac{q^2-q+1}{p}\leq \dfrac{q^2-q+1}{q+2}\leq \dfrac{q^2-4}{q+2}=q-2\Rightarrow k+3\leq q+1 (2).

Ακόμη έχουμε πως q+1|p^2-pq\Rightarrow q+1|p^2-pq+p(q+1)=p(p+1)\Rightarrow q+1|p+1 (3), καθώς (p, q+1)=1 (αφού p πρώτος και q+1<p).

Πολλαπλασιάζοντας τις (1) και (3) κατά μέλη έχουμε πως:

p(q+1)|(q^2-q+1)(p+1)\Rightarrow pq+p|pq^2-pq+p+q^2-q+1\Rightarrow pq+p|pq^2-pq+p+q^2-q+1+(pq+p)=pq^2+2p+kp\Rightarrow

q+1|q^2+2+k\Rightarrow q+1|q^2+2+k-(q^2+q)\Rightarrow q+1|k+2-q\Rightarrow q+1|k+3\Rightarrow k+3\geq q+1 (4)

Από τις σχέσεις (2) και (4) συμπεραίνουμε πως k+3=q+1\Leftrightarrow k=q-2.

Επομένως q-2|q^2-q+1\Rightarrow q-2|q^2-q+1-(q^2-2q)\Leftrightarrow q-2|q+1\Leftrightarrow q-2|3 άρα q=3 ή q=5.

Εύκολα λοιπόν απορρίπτουμε την περίπτωση q=5 (βλέποντας πως η εξίσωση p^2-5p-126=0 δεν έχει λύση στο σύνολο που μας ενδιαφέρει), ενώ στην περίπτωση που q=3, η εξίσωση p^2-3p-28=0 έχει μοναδική λύση p=7 (στους θετικούς) που εγκρίνεται.

Μοναδική λύση της αρχικής εξίσωσης λοιπόν η (p, q)=(7, 3)


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

Re: Απλή με Πρώτους!

#3

Μη αναγνωσμένη δημοσίευση από Ορέστης Λιγνός » Κυρ Απρ 30, 2017 11:23 pm

JimNt. έγραψε:Να βρείτε όλα τα ζεύγη πρώτων (p,q) που ικανοποιούν την p^2-pq-q^3=1 . Για μαθητές.
Η εξίσωση γράφεται ισοδύναμα p(p-q)=(q+1)(q^2-q+1) (1).

Είναι προφανές ότι p>q.

Πρέπει p \mid (q+1)(q^2-q+1), και αφού p πρώτος, p \mid q+1 ή p \mid q^2-q+1.

Η πρώτη εκδοχή απορρίπτεται, διότι πρέπει q<p \leqslant q+1, άρα p=q+1, οπότε p=3,q=2, που δεν επαληθεύει.

Άρα, p \mid q^2-q+1, έστω q^2-q+1=kp, με k>0.

Αντικαθιστούμε στην (1) και παίρνουμε p-q=k(q+1).


Έχουμε λοιπόν το σύστημα εξισώσεων \begin{cases} q^2-q+1=kp, \, (2) \\ p-q=k(q+1), \, (3) \end{cases}.

Από την (3), p=kq+q+k.

Με αντικατάσταση στην (2) έχουμε την δευτεροβάθμια (ως προς q), q^2-(k^2+k+1)q+1-k^2=0.

Η διακρίνουσα είναι ίση με \Delta=-3k^4+2k^3+11k^2+2k-3 \geqslant 0, οπότε 2k^3+11k^2+2k \geqslant 3k^4+3, που ισχύει για k=1, k=2.

Αν k=1, q^2-q+1=p, \, p-q=q+1, με λύση p=7,q=3.

Αν k=2, q^2-q+1=2p, \, p-q=2q+2, που δεν έχει λύση.

Άρα, \boxed{p=7,q=3}.

Με πρόλαβε ο Διονύσης ...


Κερδίζουμε ό,τι τολμούμε!
Άβαταρ μέλους
JimNt.
Δημοσιεύσεις: 590
Εγγραφή: Παρ Μάιος 20, 2016 3:00 pm

Re: Απλή με Πρώτους!

#4

Μη αναγνωσμένη δημοσίευση από JimNt. » Δευ Μάιος 01, 2017 9:27 am

:coolspeak: Πολύ ωραία.


Bye :')
Απάντηση

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

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

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