Ισχυρισμός...

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

kostas_zervos
Δημοσιεύσεις: 1156
Εγγραφή: Πέμ Μαρ 25, 2010 8:26 am
Τοποθεσία: Κέρκυρα

Ισχυρισμός...

#1

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

Στην προσπάθεια μου να λύσω αυτό προέκυψε ο παρακάτω ισχυρισμός τον οποίο δεν μπόρεσα αποδείξω :

Αν για του θετικούς ακέραιους \color{blue}m\;,\;n ισχύει ότι \displaystyle \color{blue}\frac{m+2}{2}<n<m , τότε το \color{blue} 2^{2n-2}-2^m+1 δεν είναι τέλειο τετράγωνο θετικού ακεραίου.

Αν κάποιος θέλει να ασχοληθεί...

Μετά από υπόδειξη του Σπύρου Καπελίδη άλλαξα τον τίτλο. Τον ευχαριστώ...
Κώστας Ζερβός
Άβαταρ μέλους
Αρχιμήδης 6
Δημοσιεύσεις: 1205
Εγγραφή: Παρ Αύγ 27, 2010 11:27 pm
Τοποθεσία: ΚΑΛΑΜΑΤΑ

Re: Ισχυρισμός...

#2

Μη αναγνωσμένη δημοσίευση από Αρχιμήδης 6 »

Επαναφορά!

Για να δυσκόλεψε τον αείμνηστο Κώστα θα έχει αρκετές δυσκολίες ...
Λάθε βιώσας-Επίκουρος
Κανακάρης Δημήτριος.
Άβαταρ μέλους
Αρχιμήδης 6
Δημοσιεύσεις: 1205
Εγγραφή: Παρ Αύγ 27, 2010 11:27 pm
Τοποθεσία: ΚΑΛΑΜΑΤΑ

Re: Ισχυρισμός...

#3

Μη αναγνωσμένη δημοσίευση από Αρχιμήδης 6 »

kostas_zervos έγραψε:Στην προσπάθεια μου να λύσω αυτό προέκυψε ο παρακάτω ισχυρισμός τον οποίο δεν μπόρεσα αποδείξω :

Αν για του θετικούς ακέραιους \color{blue}m\;,\;n ισχύει ότι \displaystyle \color{blue}\frac{m+2}{2}<n<m , τότε το \color{blue} 2^{2n-2}-2^m+1 δεν είναι τέλειο τετράγωνο θετικού ακεραίου.

Αν κάποιος θέλει να ασχοληθεί...

Μετά από υπόδειξη του Σπύρου Καπελίδη άλλαξα τον τίτλο. Τον ευχαριστώ...

Η άσκηση ζητάει να αποδείξουμε ότι ...

Είναι αδύνατον να βρούμε θετικούς ακέραιους a,b ώστε

2^{a+b}-2^b+1=c^2 , για b>0 και a<b-2


Για να δούμε...

2^{a+b}-2^b+1=c^2

2^b(2^a-1)=(c-1)(c+1)

Προφανώς c περιττός οπότε

Έχουμε 2 περιπτώσεις.

Περίπτωση 1

2^{b-1}|c-1 οπότε θα υπάρχει θετικός ακέραιος m ώστε

c=2^{b-1}m+1 και αντικαθιστώ τώρα των c στην αρχική εξίσωση.

Τελικά θα έχουμε

2^a-1=2^{b-2}m^2+m και αφού a<b-2 δεν έχω λύσεις.

Περίπτωση 2

2^{b-1}|c+1 οπότε θα υπάρχει θετικός ακέραιος n ώστε

c=2^{b-1}n-1 και αντικαθιστώντας τον c στην αρχική εξίσωση τελικά θα έχουμε:

2^{b-2}n^2-n=2^a-1 και δεδομένου ότι a<b-2 δεν έχει λύσεις.
Λάθε βιώσας-Επίκουρος
Κανακάρης Δημήτριος.
Άβαταρ μέλους
Αρχιμήδης 6
Δημοσιεύσεις: 1205
Εγγραφή: Παρ Αύγ 27, 2010 11:27 pm
Τοποθεσία: ΚΑΛΑΜΑΤΑ

Re: Ισχυρισμός...

#4

Μη αναγνωσμένη δημοσίευση από Αρχιμήδης 6 »

Αρχιμήδης 6 έγραψε:
kostas_zervos έγραψε:Στην προσπάθεια μου να λύσω αυτό προέκυψε ο παρακάτω ισχυρισμός τον οποίο δεν μπόρεσα αποδείξω :

Αν για του θετικούς ακέραιους \color{blue}m\;,\;n ισχύει ότι \displaystyle \color{blue}\frac{m+2}{2}<n<m , τότε το \color{blue} 2^{2n-2}-2^m+1 δεν είναι τέλειο τετράγωνο θετικού ακεραίου.

Αν κάποιος θέλει να ασχοληθεί...

Μετά από υπόδειξη του Σπύρου Καπελίδη άλλαξα τον τίτλο. Τον ευχαριστώ...

Η άσκηση ζητάει να αποδείξουμε ότι ...

Είναι αδύνατον να βρούμε θετικούς ακέραιους a,b ώστε

2^{a+b}-2^b+1=c^2 , για b>0 και a<b-2


Για να δούμε...

2^{a+b}-2^b+1=c^2

2^b(2^a-1)=(c-1)(c+1)

Προφανώς c περιττός οπότε

Έχουμε 2 περιπτώσεις.

Περίπτωση 1

2^{b-1}|c-1 οπότε θα υπάρχει θετικός ακέραιος m ώστε

c=2^{b-1}m+1 και αντικαθιστώ τώρα των c στην αρχική εξίσωση.

Τελικά θα έχουμε

2^a-1=2^{b-2}m^2+m και αφού a<b-2 δεν έχω λύσεις.

Περίπτωση 2

2^{b-1}|c+1 οπότε θα υπάρχει θετικός ακέραιος n ώστε

c=2^{b-1}n-1 και αντικαθιστώντας τον c στην αρχική εξίσωση τελικά θα έχουμε:

2^{b-2}n^2-n=2^a-1 και δεδομένου ότι a<b-2 δεν έχει λύσεις.
Η περίπτωση 2 έχει σφάλμα στην τελευταία σειρά (το διαπίστωσα τώρα στην προσπάθεια μου να λύσω τη γενικότερη εξίσωση

2^a\pm2^b+1=n^2 στους φυσικούς ) συνεπώς δεν έχει αποδειχθεί! :oops:
Λάθε βιώσας-Επίκουρος
Κανακάρης Δημήτριος.
Άβαταρ μέλους
Αρχιμήδης 6
Δημοσιεύσεις: 1205
Εγγραφή: Παρ Αύγ 27, 2010 11:27 pm
Τοποθεσία: ΚΑΛΑΜΑΤΑ

Re: Ισχυρισμός...

#5

Μη αναγνωσμένη δημοσίευση από Αρχιμήδης 6 »

Απίστευτη σύμπτωση με τις ημερομηνίες....! :shock:
Λάθε βιώσας-Επίκουρος
Κανακάρης Δημήτριος.
Άβαταρ μέλους
Γιώργος Ρίζος
Επιμελητής
Δημοσιεύσεις: 5550
Εγγραφή: Δευ Δεκ 29, 2008 1:18 pm
Τοποθεσία: Κέρκυρα

Re: Ισχυρισμός...

#6

Μη αναγνωσμένη δημοσίευση από Γιώργος Ρίζος »

Αρχιμήδης 6 έγραψε:Απίστευτη σύμπτωση με τις ημερομηνίες....! :shock:
Ο Δημήτρης, φαντάζομαι εννοεί τις δύο αναρτήσεις του που διαφέρουν ακριβώς ένα χρόνο.

Δυστυχώς υπάρχει κι άλλη σύμπτωση.

Ο Κώστας έκανε την ανάρτησή του στις 18 Μαΐου 2013.

Έχασε την άνιση μάχη που έδινε, ακριβώς ένα χρόνο μετά.
socrates
Επιμελητής
Δημοσιεύσεις: 6603
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Re: Ισχυρισμός...

#7

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

Ένα παρόμοιο πρόβλημα:
http://artofproblemsolving.com/communit ... ect_square

Δεν ξέρω αν βοηθάει στο αρχικό...
Θανάσης Κοντογεώργης
Άβαταρ μέλους
Αρχιμήδης 6
Δημοσιεύσεις: 1205
Εγγραφή: Παρ Αύγ 27, 2010 11:27 pm
Τοποθεσία: ΚΑΛΑΜΑΤΑ

Re: Ισχυρισμός...

#8

Μη αναγνωσμένη δημοσίευση από Αρχιμήδης 6 »

Εγώ πάλι Θανάση δεν βρίσκω σφάλμα στην απόδειξή μου (πλέον) και αυτό το οφείλω στον Παπαδόπουλο Σταύρο . :) Τον ευχαριστώ.
Λάθε βιώσας-Επίκουρος
Κανακάρης Δημήτριος.
Απάντηση

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

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

Μέλη σε αυτήν τη Δ. Συζήτηση: Google [Bot] και 1 επισκέπτης