Τέλεια τετράγωνα

Συντονιστές: cretanman, Demetres, polysot, achilleas, socrates, silouan

Antonis_Z
Δημοσιεύσεις: 522
Εγγραφή: Δευ Σεπ 05, 2011 12:07 am

Τέλεια τετράγωνα

#1

Μη αναγνωσμένη δημοσίευση από Antonis_Z »

Έστω n φυσικός.Αν οι αριθμοί 3n+1,4n+1 είναι τέλεια τετράγωνα,να αποδείξετε ότι 7|n.
Αντώνης Ζητρίδης
asxetos
Δημοσιεύσεις: 26
Εγγραφή: Παρ Ιούλ 20, 2012 11:33 pm
Τοποθεσία: Menidi City Re!!

Re: Τέλεια τετράγωνα

#2

Μη αναγνωσμένη δημοσίευση από asxetos »

Έστω \displaystyle{ 3n+1=x^2}, \displaystyle{ 4n+1=y^2}.
Πολλαπλασιάζοντας την πρώτη σχέση με 4 και τη δεύτερη με 3, αφαιρώντας κατά μέλη προκύπτει:
\displaystyle{ 4x^2-3y^2=1}.

Θέτοντας \displaystyle{ x=13a+45b}, \displaystyle{ y=15a+52b} έχουμε
\displaystyle{ a^2-12b^2=1} (*), μια εξίσωση Pell.


Εύκολα προκύπτει τώρα ότι όλες η λύσεις της (*) είναι οι \displaystyle{ (a_n,b_n)} με \displaystyle{ a_{k+2}=14a_{k+1}-a_k,a_1=7,a_2=97} και \displaystyle{ b_{k+2}=14b_{k+1}-b_k,b_1=2,b_2=28} μαζι με την προφανη \displaystyle{ (1,0)}.Παρατηρούμε όμως ότι \displaystyle{ a_{k+2}\equiv a_k \pmod 7, άρα a_k \equiv \begin{cases} 
 & 0   \text{      k odd}\\  
 & -1 \text{   k even} 
\end{cases} \pmod 7}.Ομοίως \displaystyle{ b_k \equiv \begin{cases} 
 & 2   \text{      k odd}\\  
 & 0 \text{   k even} 
\end{cases} \pmod 7}.


Τώρα \displaystyle{ x=13a_k+45b_k}, επομένως \displaystyle{ 3n+1=x^2\Leftrightarrow 3n+1=169a_k^2+1170a_kb_k+2025b_k^2}.

Θεωρώντας την παραπάνω εξίσωση \displaystyle{ \pmod 7} και διακρίνοντας περιπτώσεις ως προς την αρτιότητα του k προκύπτει ότι:
\displaystyle{ 3n \equiv 0 \pmod 7\Rightarrow 7|n}, αφού \displaystyle{ \gcd(3,7)=1} και ο 7 είναι πρώτος.

Και το ζητούμενο αποδείχθηκε.

Δεν ήταν λίγο εύκολη για Seniors??
sokratis lyras
Δημοσιεύσεις: 710
Εγγραφή: Σάβ Μαρ 05, 2011 9:13 pm

Re: Τέλεια τετράγωνα

#3

Μη αναγνωσμένη δημοσίευση από sokratis lyras »

asxetos έγραψε:
Δεν ήταν λίγο εύκολη για Seniors??
Pell για μικρούς? Μάλλον δύσκολο.
Εκτός αν έχεις κάτι άλλο στο μυαλό σου.
Antonis_Z
Δημοσιεύσεις: 522
Εγγραφή: Δευ Σεπ 05, 2011 12:07 am

Re: Τέλεια τετράγωνα

#4

Μη αναγνωσμένη δημοσίευση από Antonis_Z »

Η άσκηση είναι από το βιβλίο του Engel.
Έχω μια απορία.

Αν 3n+1=x^2,4n+1=y^2,τότε θεωρώ ότι οι ακολουθίες x_k,y_k είναι:
3,0,4,0,3,0,4,.... για τη x_k
0,3,0,4,0,3,0,.... για την y_k (mod 7 πάντα).
Έτσι, το n θα είναι ισότιμο με 2 ή -2 mod 7(εναλλάξ).


Πού υπάρχει το πρόβλημα;
Αντώνης Ζητρίδης
Απάντηση

Επιστροφή στο “Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις”

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

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