Υπάρχουν τέτοιοι φυσικοί;

Συντονιστές: emouroukos, achilleas, silouan

ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ
Επιμελητής
Δημοσιεύσεις: 4830
Εγγραφή: Τρί Αύγ 31, 2010 10:37 pm
Τοποθεσία: Ιστιαία Ευβοίας

Υπάρχουν τέτοιοι φυσικοί;

#1

Μη αναγνωσμένη δημοσίευση από ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ » Κυρ Ιουν 08, 2025 2:51 pm

Να εξετάσατε αν υπάρχουν φυσικοί αριθμοί \displaystyle{x , y} με \displaystyle{y<x^3} , έτσι ώστε ο αριθμός:

\displaystyle{\frac{x^4 +1}{xy+1}}

να είναι ακέραιος.

(ΣΗΜ: Η ιδέα της άσκησης βασίζεται σε θέμα που είχε τεθεί νομίζω σε Μαθηματική Ολυμπιάδα . Δεν έχω μπορέσει να δώσω λύση)



Λέξεις Κλειδιά:
Nikitas K.
Δημοσιεύσεις: 285
Εγγραφή: Δευ Νοέμ 06, 2023 6:01 pm
Τοποθεσία: Ρόδος

Re: Υπάρχουν τέτοιοι φυσικοί;

#2

Μη αναγνωσμένη δημοσίευση από Nikitas K. » Κυρ Ιουν 08, 2025 3:22 pm

Πήγα να ξεκινήσω να κάνω φωλιασμένη επαγωγή για να δείξω ότι δεν υπάρχουν τέτοια x και y... αλλά για καλή μου τύχη προέκυψε πως για x=1 και y=0 έχουμε:

Ισχύει πως y<x^3\Leftrightarrow 0<1^3

\dfrac{x^4+1}{xy+1} = \dfrac{1^4+1}{1\cdot 0 + 1}=\dfrac{2}{1}=2\in\mathbb{Z}

Άρα τελικά υπάρχουν τέτοια x και y

Γενικά, κάθε στοιχείο του συνόλου \left\{ \dfrac{x^4+1}{xy+1} |~ y = 0 \wedge x\in\mathbb{N}^* \right\} είναι ακέραιος.

Δηλαδή, κάθε στοιχείο του συνόλου \displaystyle \left\{ \left(x,y \right)| ~ y=0 \wedge x\in\mathbb{N}^*\right\} αποτελεί υπαρξιακό μάρτυρα.
τελευταία επεξεργασία από Nikitas K. σε Κυρ Ιουν 08, 2025 4:59 pm, έχει επεξεργασθεί 1 φορά συνολικά.


Νικήτας Κακούλλης
«Μέτρον ἄριστον» Κλεόβουλος Εὐαγόρου Λίνδιος
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18226
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Υπάρχουν τέτοιοι φυσικοί;

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Ιουν 08, 2025 4:07 pm

ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ έγραψε:
Κυρ Ιουν 08, 2025 2:51 pm
Να εξετάσατε αν υπάρχουν φυσικοί αριθμοί \displaystyle{x , y} με \displaystyle{y<x^3} , έτσι ώστε ο αριθμός:

\displaystyle{\frac{x^4 +1}{xy+1}}

να είναι ακέραιος.

(ΣΗΜ: Η ιδέα της άσκησης βασίζεται σε θέμα που είχε τεθεί νομίζω σε Μαθηματική Ολυμπιάδα . Δεν έχω μπορέσει να δώσω λύση)
Υπάρχουν πολλές λύσεις. Παραδείγματα

α) x=8, y=2 αφού τότε \dfrac{8^4 +1}{16+1}= \dfrac{4097}{16+1}=241. Γενικότερα η ταυτότητα

\displaystyle{\boxed {y^{12}+1=  (y^4+1)(y^8-y^4+1)}} μας δίνει τις άπειρες λύσεις (x,y)= (y^3,y) για τυχαίο y.

β) Άλλη λύση είναι η x=8, y=30 αφού \dfrac{8^4 +1}{8\cdot  30+1}= \dfrac{4097}{241}=17

γ) Άλλη λύση είναι η x=30, y=8 αφού \dfrac{30^4 +1}{30\cdot  8+1}= \dfrac{810001}{241}=3361

Υπάρχουν και άλλες.


Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18226
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Υπάρχουν τέτοιοι φυσικοί;

#4

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Ιουν 08, 2025 4:23 pm

Nikitas K. έγραψε:
Κυρ Ιουν 08, 2025 3:22 pm
Άρα τελικά υπάρχουν τέτοια x και y

Γενικά, κάθε στοιχείο του συνόλου \left\{ \dfrac{x^4+1}{xy+1} |~ y = 0 \wedge x\in\mathbb{N}^* \right\} αποτελεί υπαρξιακό μάρτυρα.
Σωστά μεν, αλλά οι λύσεις με y=0 και άρα παρονομαστή ίσο με 1 είναι τετριμμένες. Προφανώς δεν εννοεί αυτό ο θεματοθέτης, αλλά θέλει "γνήσιες λύσεις".

Παραπάνω έγραψα διάφορες λύσεις αλλά ας γράψω και άλλες, που δεν εμπίπτουν στις παραπάνω οικογένειες:

(x,y) = (27, 240), \, (112, 30), \,(30, 112)

Εννοείται ότι τις λύσεις αυτές δεν τις βρήκα τυχαία ή με σάρωση περιπτώσεων αλλά προέκυψαν από "χαρτί και μολύβι" και κάποια Άλγεβρα από πίσω. Οι πράξεις και οι αναγωγές είναι αρκετές, που δεν αξίζει να τις γράψω αφού δίνουν μερικές σκόρπιες εδώ και εκεί λύσεις.


ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ
Επιμελητής
Δημοσιεύσεις: 4830
Εγγραφή: Τρί Αύγ 31, 2010 10:37 pm
Τοποθεσία: Ιστιαία Ευβοίας

Re: Υπάρχουν τέτοιοι φυσικοί;

#5

Μη αναγνωσμένη δημοσίευση από ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ » Κυρ Ιουν 08, 2025 6:11 pm

Πολύ ωραία.
(Σημείωση: Επειδή σε κάποια βιβλία το μηδέν δεν συμπεριλαμβάνεται στους φυσικούς αριθμούς, στο πιο πάνω θέμα που προέκυψε από την προσπάθεια να λύσω ένα θέμα Ολυμπιάδας ξένου Κράτους, οι αριθμοί \displaystyle{x , y} είναι θετικοί ακέραιοι.)

Γράφω τώρα το θέμα, όπως το είδα από έναν συνάδελφο που το έχει ανεβάσει στο διαδίκτυο:

ΑΣΚΗΣΗ: Αν οι αριθμοί \displaystyle{x,y} είναι θετικοί ακέραιοι και ο αριθμός

\displaystyle{\frac{x^2 +y^2}{xy+1}} είναι ακέραιος, τότε ο ακέραιος αυτός είναι τέλειο τετράγωνο ακεραίου.

ΔΕΝ ΕΧΩ μπορέσει να το αποδείξω.

Στην προσπάθεια απόδειξης, έφτασα στο σημείο να εξετάσω αν είναι ακέραιος ο \displaystyle{\frac{x^4 +1}{xy+1}}, όταν \displaystyle{y<x^3}

Αν δεν είναι ακέραιος, τότε το θέμα θα είχε λυθεί.

Αφού όμως βρήκες Μιχάλη ότι είναι δυνατόν να είναι ακέραιος ο αριθμός αυτός, τότε η άσκηση του διαγωνισμού παραμένει άλυτη

(αφιέρωσα πολλές ώρες να δώσω λύση, αλλά τίποτα...)


Άβαταρ μέλους
Al.Koutsouridis
Δημοσιεύσεις: 1954
Εγγραφή: Πέμ Ιαν 30, 2014 11:58 pm
Τοποθεσία: Αθήνα

Re: Υπάρχουν τέτοιοι φυσικοί;

#6

Μη αναγνωσμένη δημοσίευση από Al.Koutsouridis » Κυρ Ιουν 08, 2025 6:21 pm

ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ έγραψε:
Κυρ Ιουν 08, 2025 6:11 pm

ΑΣΚΗΣΗ: Αν οι αριθμοί \displaystyle{x,y} είναι θετικοί ακέραιοι και ο αριθμός

\displaystyle{\frac{x^2 +y^2}{xy+1}} είναι ακέραιος, τότε ο ακέραιος αυτός είναι τέλειο τετράγωνο ακεραίου.

ΔΕΝ ΕΧΩ μπορέσει να το αποδείξω.

Στην προσπάθεια απόδειξης, έφτασα στο σημείο να εξετάσω αν είναι ακέραιος ο \displaystyle{\frac{x^4 +1}{xy+1}}, όταν \displaystyle{y<x^3}

Αν δεν είναι ακέραιος, τότε το θέμα θα είχε λυθεί.

Αφού όμως βρήκες Μιχάλη ότι είναι δυνατόν να είναι ακέραιος ο αριθμός αυτός, τότε η άσκηση του διαγωνισμού παραμένει άλυτη

(αφιέρωσα πολλές ώρες να δώσω λύση, αλλά τίποτα...)
Το πρόβλημα αυτό είναι από την ΔΜΟ του 1988 και είναι αρκετά δύσκολο. Τουλάχιστον τότε, όταν τέθηκε.


Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18226
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Υπάρχουν τέτοιοι φυσικοί;

#7

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Ιουν 08, 2025 7:02 pm

ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ έγραψε:
Κυρ Ιουν 08, 2025 6:11 pm

ΑΣΚΗΣΗ: Αν οι αριθμοί \displaystyle{x,y} είναι θετικοί ακέραιοι και ο αριθμός

\displaystyle{\frac{x^2 +y^2}{xy+1}} είναι ακέραιος, τότε ο ακέραιος αυτός είναι τέλειο τετράγωνο ακεραίου.

ΔΕΝ ΕΧΩ μπορέσει να το αποδείξω.

...

(αφιέρωσα πολλές ώρες να δώσω λύση, αλλά τίποτα...)
Δημήτρη,

Το πρόβλημα που αναφέρεσαι είχε πέσει στην Διεθνή Μαθηματική Ολυμπιάδα το 1988 και θεωρείται ένα από τα δυσκολότερα προβλήματα που τέθηκαν ποτέ στην Ολυμπιάδα αυτή. Και είναι πραγματικά δυσκολότατο.

Είχαμε αναφερθεί σύντομα σε αυτό, στο φόρουμ μας εδώ

Η λύση του υπάρχει εν γένει σε όλα τα κλασικά προχωρημένα βιβλία Ολυμπιάδων, όπως για παράδειγμα στο βιβλίο του Kuczma και ίσως στου Engel (δεν τα έχω μπροστά μου για να το ελέγξω).

Βλέπε επίσης ένα ωραίο και παραστατικό βιντεάκι στο Youtube, με την λύση εδώ


ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ
Επιμελητής
Δημοσιεύσεις: 4830
Εγγραφή: Τρί Αύγ 31, 2010 10:37 pm
Τοποθεσία: Ιστιαία Ευβοίας

Re: Υπάρχουν τέτοιοι φυσικοί;

#8

Μη αναγνωσμένη δημοσίευση από ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ » Κυρ Ιουν 08, 2025 7:46 pm

Mihalis_Lambrou έγραψε:
Κυρ Ιουν 08, 2025 7:02 pm
ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ έγραψε:
Κυρ Ιουν 08, 2025 6:11 pm

ΑΣΚΗΣΗ: Αν οι αριθμοί \displaystyle{x,y} είναι θετικοί ακέραιοι και ο αριθμός

\displaystyle{\frac{x^2 +y^2}{xy+1}} είναι ακέραιος, τότε ο ακέραιος αυτός είναι τέλειο τετράγωνο ακεραίου.

ΔΕΝ ΕΧΩ μπορέσει να το αποδείξω.

...

(αφιέρωσα πολλές ώρες να δώσω λύση, αλλά τίποτα...)
Δημήτρη,

Το πρόβλημα που αναφέρεσαι είχε πέσει στην Διεθνή Μαθηματική Ολυμπιάδα το 1988 και θεωρείται ένα από τα δυσκολότερα προβλήματα που τέθηκαν ποτέ στην Ολυμπιάδα αυτή. Και είναι πραγματικά δυσκολότατο.

Είχαμε αναφερθεί σύντομα σε αυτό, στο φόρουμ μας εδώ

Η λύση του υπάρχει εν γένει σε όλα τα κλασικά προχωρημένα βιβλία Ολυμπιάδων, όπως για παράδειγμα στο βιβλίο του Kuczma και ίσως στου Engel (δεν τα έχω μπροστά μου για να το ελέγξω).

Βλέπε επίσης ένα ωραίο και παραστατικό βιντεάκι στο Youtube, με την λύση εδώ
Ευχαριστώ πολύ Μιχάλη. Όταν είδα το θέμα, μου φάνηκε αντιμετωπίσιμο και στη συνέχεια μετά από προσπάθεια ωρών (αργά την νύχτα), κατάλαβα ότι πρόκειται για πολύ δύσκολο για μένα. Μετά από όσα μου ανέφερες, γλύτωσα πολλές ακόμα ώρες ασχολίας που και πάλι σίγουρα δεν θα μου έδιναν την λύση.


Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3523
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Υπάρχουν τέτοιοι φυσικοί;

#9

Μη αναγνωσμένη δημοσίευση από gbaloglou » Τετ Ιουν 11, 2025 9:43 pm

ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ έγραψε:
Κυρ Ιουν 08, 2025 7:46 pm
Mihalis_Lambrou έγραψε:
Κυρ Ιουν 08, 2025 7:02 pm
ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ έγραψε:
Κυρ Ιουν 08, 2025 6:11 pm

ΑΣΚΗΣΗ: Αν οι αριθμοί \displaystyle{x,y} είναι θετικοί ακέραιοι και ο αριθμός

\displaystyle{\frac{x^2 +y^2}{xy+1}} είναι ακέραιος, τότε ο ακέραιος αυτός είναι τέλειο τετράγωνο ακεραίου.

ΔΕΝ ΕΧΩ μπορέσει να το αποδείξω.

...

(αφιέρωσα πολλές ώρες να δώσω λύση, αλλά τίποτα...)
Δημήτρη,

Το πρόβλημα που αναφέρεσαι είχε πέσει στην Διεθνή Μαθηματική Ολυμπιάδα το 1988 και θεωρείται ένα από τα δυσκολότερα προβλήματα που τέθηκαν ποτέ στην Ολυμπιάδα αυτή. Και είναι πραγματικά δυσκολότατο.

Είχαμε αναφερθεί σύντομα σε αυτό, στο φόρουμ μας εδώ

Η λύση του υπάρχει εν γένει σε όλα τα κλασικά προχωρημένα βιβλία Ολυμπιάδων, όπως για παράδειγμα στο βιβλίο του Kuczma και ίσως στου Engel (δεν τα έχω μπροστά μου για να το ελέγξω).

Βλέπε επίσης ένα ωραίο και παραστατικό βιντεάκι στο Youtube, με την λύση εδώ
Ευχαριστώ πολύ Μιχάλη. Όταν είδα το θέμα, μου φάνηκε αντιμετωπίσιμο και στη συνέχεια μετά από προσπάθεια ωρών (αργά την νύχτα), κατάλαβα ότι πρόκειται για πολύ δύσκολο για μένα. Μετά από όσα μου ανέφερες, γλύτωσα πολλές ακόμα ώρες ασχολίας που και πάλι σίγουρα δεν θα μου έδιναν την λύση.
Και το παραπάνω βίντεο ΔΕΝ μπαίνει στην ουσία του θέματος, και οι διάφορες παρουσιάσεις που έχω δει χωλαίνουν. Μια από τις καλύτερες [url=chrome-extension://efaidnbmnnnibpcajpcglclefindmkaj/https://blogs.sch.gr/sotskot/files/2011 ... umping.pdf]εδώ[/url] (αν και ακόμη και αυτή αναφέρει την επάρατη "άπειρη κάθοδο"):

Δοθέντος αυστηρά θετικού ακεραίου k θεωρούμε τους ελάχιστους κατά το άθροισμα τους αυστηρά θετικούς ακεραίους a, b τέτοιους ώστε k(ab+1)=a^2+b^2. Αν a\geq b τότε ο kb-a=\dfrac{b^2-k}{a} επίσης ικανοποιεί την συνθήκη του προβλήματος, ισχύει δηλαδή, λόγω της k(ab+1)=a^2+b^2, ΚΑΙ η k((kb-a)b+1)=(kb-a)^2+b^2. Και μόνον επειδή ικανοποιεί αυτήν την συνθήκη, ο kb-a δεν μπορεί να είναι αρνητικός. Ούτε θετικός μπορεί να είναι, διότι τότε η a\geq b δίνει kb-a=\dfrac{b^2-k}{a}<a, κάτι που αντίκειται στην αρχική υπόθεση ελαχιστότητας λόγω (kb-a)+b<a+b. Αναγκαστικά λοιπόν kb-a=0, οπότε k=b^2.

[Δεν υπάρχει άπειρη κάθοδος, αν μη τι άλλο το ίδιο τέχνασμα (πήδημα Vieta) εφαρμοζόμενο στους kb-a και b μας επιστρέφει στον a ... λόγω της kb-(kb-a)=a :evil: ]


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Απάντηση

Επιστροφή σε “Άλγεβρα - Επίπεδο Θαλή/Ευκλείδη (Seniors)”

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

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