socrates έγραψε:ΑΣΚΗΣΗ 585
Για ποιους θετικούς ακεραίουςείναι ο αριθμός
πρώτος ;
'Εστω

Για
, βρίσκουμε
, ο οποίος είναι πρώτος.Για
, βρίσκουμε
, ο οποίος δεν είναι πρώτος.Έστω
,
. Τότε 
Αν
, τότε
, ο οποίος είναι πρώτος. Δηλαδή, αν
, τότε
πρώτοςΑν όμως
, τότε ο
είναι σύνθετος.Αν
, τότε
. Κάνοντας την διαίρεση των πολυωνύμων, βρίσκουμε:
, ο οποίος είναι σύνθετοςΤέλος, έστω ότι
. Tότε έχουμε:
o οποίος είναι σύνθετος (ΣΗΜ: ο αριθμός
, είναι προφανώς ανάμεσα στο μηδέν και το ένα, για κάθε τιμή του φυσικού αριθμού
).Συνεπώς ο αριθμός
είναι πρώτος , μόνο όταν
, ή
.
είναι ο αριθμός
πρώτος ;


, όπου
, με
.
, (1) , και από την σχέση αυτή προκύπτει
είναι άρτιος και άρα θα πρέπει τα
να είναι άρτιοι και οι δύο ή περιττοί και οι δύο και
, με
.
, (2)![\displaystyle{\Delta =100-4[2-(m-n)]=4[23+(m-n)]} \displaystyle{\Delta =100-4[2-(m-n)]=4[23+(m-n)]}](/forum/ext/geomar/texintegr/latexrender/pictures/3c80318514788acba0452cb9a2fb77e1.png)
και αφ ετέρου η διακρίνουσα να είναι και τέλειο τετράγωνο, δηλαδή
, να είναι τέλειο τετράγωνο και επίσης
.
. Και με δεδομένο ότι οι
πρέπει να έχουν διαφορά 

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


παίρνουμε
και
.Αντικαθιστώτας στην 1η παίρνουμε
και με
λαμβάνουμε
και έπεται ότι 


και επειδή
, θα πρέπει
και επειδή ο
είναι πρώτος, θα πρέπει 


και επειδή
, θα πρέπει
και επειδή ο
είναι πρώτος, θα πρέπει 




τέτοιοι ώστε
και 
να βρείτε την τιμή της παράστασης 
την εξίσωση θα λάβουμε:
. Για να είναι ακέραιος ο αριθμός
. Άμα λύσουμε αυτή την ανίσωση, και δεδομένου ότι
, θα βρούμε ότι
. Όμως οι τιμές
δεν είναι παραδεκτές, διότι τότε ο
, ή
, ή
.
. H λύση τώρα μπορεί να γίνει όπως πριν, αλλά επειδή ήδη την έχει λύσει πιο κάτω ο κ. Θάνος, δεν θα την ξαναγράψω
είναι η 

λύση της εξίσωσης. Τότε 
(
)
Αν
η (
, βρίσκουμε 
βρίσκουμε
ενώ αν
είναι 

η (
βρίσκουμε
ενώ αν
είναι 
βρίσκουμε
αντίστοιχα.





(
)
(
)![\displaystyle{(1)\implies x^4+y^4+z^4+2[(xy)^2+(yz)^2+(zx)^2]=36\stackrel{(2)}{\implies}x^4+y^4+z^4=18.} \displaystyle{(1)\implies x^4+y^4+z^4+2[(xy)^2+(yz)^2+(zx)^2]=36\stackrel{(2)}{\implies}x^4+y^4+z^4=18.}](/forum/ext/geomar/texintegr/latexrender/pictures/f5daebb94a58aeecebb0ee18c3045d34.png)

θα βρω
και άμα αντικαταστήσω στην άλλη, θα βρω
. Eπομένως κατάληξα σε τριώνυμο που έχει για διακρίνουσα
. Kαι με
, δηλαδή με
, παίρνω
, είτε 
, γιατί η άλλη περίπτωση αντιμετωπίζεται όμοια
και το
είναι οποιοσδήποτε πραγματικός αριμός αρκεί να είναι τέτοιος, ώστε
, βρίσκω
και
, δηλαδή τιμές που ικανοποιούνε τις απαιτήσεις της άσκησης.
και βρίσκω την ΄παράσταση
, σαν συνάρτηση του 
και άρα
κτλ...

όπου
ακέραιοι και
πρώτος τέτοιες ώστε 
,
με
.

με
και στη συνέχεια προσθέτουμε τους αντίστοιχους όρους των παραστάσεων
και
, από τα δεξιά προς τα αριστερά. Χρησιμοποιώντας την
,
.
παίρνουμε 
ή
τότε είναι
άρα
απ' όπου
και
.
και
για κάποιους ακέραιους
. Τότε αντικαθιστώντας στην αρχική παίρνουμε:
πράγμα που σημαίνει ότι
δηλαδή
απ' όπου τελικά
δηλαδή
, άτοπο.
δηλαδή
οπότε
. Αντικαθιστώντας στην τελευταία, παίρνουμε τελικά ότι
που έχει διακρίνουσα
η οποία πρέπει να είναι θετική πράγμα που σημαίνει ότι
και οι μόνες δεκτές τιμές του
και
.
παίρνουμε
ή
οπότε
και
αντίστοιχα κι έτσι έχουμε τις λύσεις
και
.
παίρνουμε
οπότε
και
.
αντίστοιχα κι έτσι έχουμε τις λύσεις
και
.![x^6-2[x]^3+1=0. x^6-2[x]^3+1=0.](/forum/ext/geomar/texintegr/latexrender/pictures/cff5a1d026ad63d0b89545a7ad33f415.png)

να γράφεται ως γινόμενο δύο διαδοχικών θετικών ακεραίων.
,
. Τότε:
. Η διακρίνουσα του τριωνύμου αυτού είναι:
. Παρατηρούμε ότι για κάθε
, είναι:
. Αυτό
, (1) , όπου
.
, συμπεραίνουμε ότι το πρώτο μέλος της είναι περιττός, οπότε θα
, πρέπει να είναι περιττός, δηλαδή
περιττός.
, έχουμε από την (1), 
, έχουμε από την (1),
, που όμως απορρίπτεται
, με όμοιο τρόπο βρίσκουμε ότι
, που όμως και πάλι απορρίπτεται αφού
. Η εξίσωση όμως αυτή, έχει
και άρα είναι αδύνατη στο 
, έχουμε το ζητούμενο

![\displaystyle{[x]\leq x \Rightarrow [x]^3 \leq x^3 \Rightarrow -2[x]^3 \geq -2x^3 \Rightarrow x^6 -2[x]^3 +1 \geq x^6 -2x^3 +1} \displaystyle{[x]\leq x \Rightarrow [x]^3 \leq x^3 \Rightarrow -2[x]^3 \geq -2x^3 \Rightarrow x^6 -2[x]^3 +1 \geq x^6 -2x^3 +1}](/forum/ext/geomar/texintegr/latexrender/pictures/aa00946d57c4bcfa1243e46d6158599d.png)
, (1)
, τότε
και άρα
, οπότε η δοσμένη εξίσωση είναι αδύνατη.
, διαπιστώνουμε ότι η δοσμένη εξίσωση επαληθεύεται και άρα είναι η μόνη λύση της.
.


.