την εξίσωση 
Συντονιστής: nkatsipis

, οπότε από την αρχική εξίσωση παίρνουμε την παρακάτω:
, προφανώς το
πρέπει να είναι περιττός.
, μετά από τις πράξεις καταλήγουμε ότι:
, Triangular Mersenne numbers
,
να επιστρέφει το πλήθος των ψηφίων της δυαδικής αναπαράστασης της εισόδου.
είναι άρτιος, τότε
, οπότε
.
συστήματα κάθε περίπτωσης, γίνεται να αποτιμηθεί ο αριθμός
.
είναι άρτιος, τότε 
είναι περιττός, τότε 
είναι περιττός, τότε
, οπότε
.
συστήματα κάθε περίπτωσης, γίνεται να αποτιμηθεί ο αριθμός
.
είναι άρτιος, τότε 
είναι περιττός, τότε 
έτσι, ώστε να λάβουμε την μορφή που θα έχει ο αριθμός
σε κάθε περίπτωση;Nikitas K. έγραψε: ↑Δευ Απρ 22, 2024 4:00 pm,
Έστω, η συνάρτησηνα επιστρέφει το πλήθος των ψηφίων της δυαδικής αναπαράστασης της εισόδου.
- Αν
είναι άρτιος, τότε
, οπότε
.
Θέτω,
Επιλύοντας τασυστήματα κάθε περίπτωσης, γίνεται να αποτιμηθεί ο αριθμός
.
- Αν
είναι άρτιος, τότε
- Αν
είναι περιττός, τότε
- Αν
είναι περιττός, τότε
, οπότε
.
Θέτω,
Επιλύοντας τασυστήματα κάθε περίπτωσης, γίνεται να αποτιμηθεί ο αριθμός
.
- Αν
είναι άρτιος, τότε
- Αν
είναι περιττός, τότε
Δεν είμαι σίγουρος ότι βγαίνει έτσι αυτή η διοφαντική.Nikitas K. έγραψε: ↑Σάβ Απρ 27, 2024 12:07 pmΧαίρετε,![]()
Έχοντας φτάσει ως το παρακάτω σημείο, υπάρχει κάποιος τρόπος να συνεχίστεί ο υπολογισμός όλων των δυαδικών ψηφίων του αριθμούέτσι, ώστε να λάβουμε την μορφή που θα έχει ο αριθμός
σε κάθε περίπτωση;
Nikitas K. έγραψε: ↑Δευ Απρ 22, 2024 4:00 pm,
Έστω, η συνάρτησηνα επιστρέφει το πλήθος των ψηφίων της δυαδικής αναπαράστασης της εισόδου.
- Αν
είναι άρτιος, τότε
, οπότε
.
Θέτω,
Επιλύοντας τασυστήματα κάθε περίπτωσης, γίνεται να αποτιμηθεί ο αριθμός
.
- Αν
είναι άρτιος, τότε
- Αν
είναι περιττός, τότε
- Αν
είναι περιττός, τότε
, οπότε
.
Θέτω,
Επιλύοντας τασυστήματα κάθε περίπτωσης, γίνεται να αποτιμηθεί ο αριθμός
.
- Αν
είναι άρτιος, τότε
- Αν
είναι περιττός, τότε
Ας γράψω τι σκέφτηκα, αλλα δεν έχω και πολύ χρόνο να το αναλύσω, το αφήνω ως ιδέα μήπως προχωρήσει κάπως.
άρτιο είναι σχετικά απλό (διαφορά τετραγώνων).
περιττό έχουμε:
, τότε απλά τη γράφουμε στη μορφή:
, σαφώς με τις κατάλληλες υποθέσεις.
, μία ας τη θεωρήσουμε πρωταρχική λύση των εξισώσεων
.
έχει λύση

. Μάλλον λίγο ζόρι να βρούμε πρωταρχική λύση εδώ για να πάρουμε μετά τον αναδρομικό αλγόριθμο.
.
είναι UFD, το παραπάνω βέβαια είναι στο
, και δεν είμαι σίγουρος αν μπορούμε να δουλέψουμε ανάλογα (το 7 μάλιστα δεν είναι πρώτος σε αυτό τον δακτύλιο). Έχω την εντύπωση πως ο τελευταίος δακτύλιος είναι UFD, αν ισχύουν αυτά μπορώ να προχωρήσω σε λύση, αλλιώς μάλλον πρέπει να αλλάξουμε προσέγγιση.
, όπου
, ώστε
.
ώστε
.
και κάθε πρώτο
, ισχύει ότι ο
δεν διαιρεί τον
.Έστω, προς άτοπο, ότι
. Τότε
(αφού
) άρα
.
σε γινόμενο πρώτων παραγόντων, έχουμε ότι
.
, και αφού
, θα είναι
, άτοπο.Έστω
το σύνολο των περιττών που περιέχονται στο
. Από το θεμελιώδες θεώρημα της αριθμητικής είναι άμεσο ότι κάθε στοιχείο
γράφεται με μοναδικό τρόπο ως
όπου
και
. Ορίζουμε
με
.
άρα
. Όμως
άρα η
δεν είναι
, δηλαδή υπάρχουν
έτσι ώστε
. Αν
, τότε
, ενώ αν
, τότε
.Πολύ όμορφη λύση.giannispapav έγραψε: ↑Πέμ Μάιος 30, 2024 12:06 amΈστωτο σύνολο των περιττών που περιέχονται στο
. Από το θεμελιώδες θεώρημα της αριθμητικής είναι άμεσο ότι κάθε στοιχείο
γράφεται με μοναδικό τρόπο ως
όπου
και
. Ορίζουμε
με
.
Είναιάρα
. Όμως
άρα η
δεν είναι
, δηλαδή υπάρχουν
έτσι ώστε
. Αν
, τότε
, ενώ αν
, τότε
.
στην εκφώνηση, το οποίο καλύπτεται από την συγκεκριμένη λύση.
ώστε να υπάρχουν
διαδοχικοί ακέραιοι με άθροισμα τετραγώνων πρώτο αριθμό.Ο
εύκολα δεν ικανοποιεί την
. Έστω τώρα ότι ο (σε πρωτογενή παραγοντοποίηση)
την ικανοποιεί.
και ότι
. Πράγματι, υποθέτουμε πρώτα ότι
, όπου
πρώτος.
έχουμε:


διαδοχικοί ακέραιοι αποτελούν πλήρες σύστημα υπολοίπων
.
και
οπότε
.
(εύκολος έλεγχος), η
δεν ικανοποιείται.
, τότε:


σύνθετος.
, τότε
άρτιος μεγαλύτερος του
οπότε σύνθετος.
που είναι όλες δεκτές:
πρώτος
πρώτος
πρώτοςΩραιότατη η προηγούμενη λύση, αλλά ας δούμε μια τελείως στοιχειώδη και απλή:
, ακριβέστερα
, έχουμε με το χέρι τις εκδοχές α)
διότι
πρώτος, β)
διότι
πρώτος και γ)
διότι
πρώτος. Οι
και
αποκλείονται διότι
έχουμε
ίσον άρτιος
ως άθροισμα δύο άρτιων και δύο περιττών άρα απορρίπτεται και όμοια
ίσον σύνθετος, άρα απορρίπτεται.
περαν από τις προηγούμενες.
είναι της μορφής
ή
ή
ή
ή
ή
με
(το πρώτο για
). Τα εξετάζουμε χωριστά αφού πρώτα παρατηρήσουμε ότι το άθροισμα που εξετάζουμε γράφεται ![m^2+(m+1)^2+...+(m+x-1)^2 = \left [ 1^2+2^2 +...+ (m+x-1)^2\right ]- \left [ 1^2+2^2 +...+ (m-1)^2\right ] = m^2+(m+1)^2+...+(m+x-1)^2 = \left [ 1^2+2^2 +...+ (m+x-1)^2\right ]- \left [ 1^2+2^2 +...+ (m-1)^2\right ] =](/forum/ext/geomar/texintegr/latexrender/pictures/84f008c8eaa40520ae9820405db5c2a0.png)
![=\frac {1}{6} x(6A+ x^2-3x+1)= \frac {1}{6} x\left [6A+ (2x-1)(x-1)\right ] \, (*) =\frac {1}{6} x(6A+ x^2-3x+1)= \frac {1}{6} x\left [6A+ (2x-1)(x-1)\right ] \, (*)](/forum/ext/geomar/texintegr/latexrender/pictures/cd49f69cc6b6e6c5ab97ce6071f84c0f.png)
τότε το δεξί μέλος της
ισούται
που είναι σύνθετος, οπότε αυτή η περίπτωση απορρίπτεται.
τότε το δεξί μέλος της
ισούται
που είναι σύνθετος, οπότε αυτή η περίπτωση απορρίπτεται.
τότε το δεξί μέλος της
ισούται
που είναι σύνθετος, οπότε αυτή η περίπτωση απορρίπτεται.
τότε το δεξί μέλος της
ισούται
που είναι σύνθετος, οπότε αυτή η περίπτωση απορρίπτεται.
τότε το δεξί μέλος της
ισούται
που είναι σύνθετος, οπότε αυτή η περίπτωση απορρίπτεται.
τότε το δεξί μέλος της
ισούται
που είναι σύνθετος, οπότε αυτή η περίπτωση απορρίπτεται.
βαθμού
με ακέραιους συντελεστές.
, υπάρχουν το πολύ
ακέραιοι
ώστε
, όπου στην παράσταση
, συνθέτουμε την
,
φορές.
για κάποιους ακέραιους
.Ωραία! Μπορεί να βελτιωθεί αυτό;
;
;
) στους ακεραίους το σύστημα
,
.Μέλη σε αυτήν τη Δ. Συζήτηση: Bing [Bot] και 1 επισκέπτης