Δίνω μια λύση, αλλά έχει πολλή φασαρία. Ίσως δοθεί κάποια πιο σύντωμη στο μέλλον.socrates έγραψε:ΑΣΚΗΣΗ 592
Να βρεθούν οι ακέραιες λύσεις του συστήματος
![]()
Θεωρώ την ανίσωση:
. Τότε αυτή γράφεται:
, (1) , και έχει διακρίνουσα
.Aν ήταν
, δηλαδή
, τότε η (1) θα ήταν αδύνατη. Άρα πρέπει να είναι 
Αφού όμως
ακέραιος, άρα έχουμε ότι
, δηλαδή
, δηλαδή:
.Θα αποδείξω τώρα ότι αποκλείεται όλα τα
, να είναι μεγαλύτερα της μονάδας. Πράγματι, έστω ότι
,για κάθε
. Οι δοσμένες ανισώσεις, γράφονται:

........................................
.........................................
..........................................

Και άρα:


.............................
............................
............................

Mε πρόσθεση αυτών κατά μέλη, έχουμε:

Όμως, αφού υποθέσαμε ότι
, τότε
και άρα
, δηλαδή
και άρα
, πράγμα που είναι άτοπο, αφού υποθέσαμε ότι 
Aπό τα ανωτέρω, συμπεραίνουμε ότι ένα τουλάχιστον από τα
, θα είναι ίσο με
, ή με
.Στη συνέχεια θα δείξω ότι αν ένα από τα
είναι ίσο με μηδέν, τότε όλα τα
, θα είναι ίσα με μηδέν.Πράγματι, έστω ότι
. Τότε από την ανίσωση 
και αφού
.Mε όμοιο τρόπο, από την ανίσωση
, και ομοίως συμεραίνουμε ότι
Όμοια , αν
, τότε από
, οπότε όπως πριν είδαμε, θα είναι όλα μηδέν,και ούτω καθ εξής.
Τέλος, θα δείξω ότι αν ένα από τα
είναι ίσο με μονάδα, τότε όλα όλα θα είναι ίσα με την μονάδα.Πράγματι, έστω ότι
. Τότε από την ανίσωση 
και αφού
ή
. Όμως αποκλείεται να είναι
, γιατί τότε όπως προηγουμένως είδαμε, θα ήταν όλα τα
, και άρα θα ήταν και
, που είναι άτοπο, αφού υποθέσαμε ότι
. Άρα υποχρεωτικά θα είναι
. Τότε από την ανίσωση 
, (παρόμοια με πριν)Και ομοίως βρίσκουμε ότι

Στο ίδιο συμπέρασμα (εργαζόμενοι ομοίως) καταλήγουμε ότι αν
, τότε
για κάθε 
Kαι ούτω καθ εξής.
Τελικά η λύση του συστήματος που μας δόθηκε, είναι:
, ή 
EDIT: Nομίζω ότι θέλει επανέλεγχο στο πρώτο στάδιο. Θα επανέλθω αφού το ξαναδώ
EDIT: Νομίζω ότι είναι καλά διατυπωμένο το γιατί
(στο οποίο πίστεψα προς στιγμήν ότι υπήρχε κενό)
είναι πρώτοι αριθμοί και
, να
τότε
και επομένως
.
ώστε
τότε θα έχουμε
, άτοπο. Επομένως
για κάθε
τότε
. Άρα (από την προηγούμενη παρατήρηση)
.
.
είτε
για κάθε 
τότε
. Τότε όμως
.
με
και
οι οποίες είναι πράγματι λύσεις.
, να
για κάποιο
θετικό ακέραιο.
.
γιατί οι
είναι πρώτοι.
. Άρα 
και επομένως
γιατί
είναι πρώτος αριθμός.
και με ανικατάσταση η
μας δίνει
το οποίο απορρίπτεται γιατί ο
πρέπει να είναι πρώτος.
.
, είναι φυσικός.


, με
, τότε ο αριθμός
,
είναι ακέραιος, το ίδιο θα ισχύει και για τον
άτοπο.






ή
ή
ή
ή
ή
ή
Ισχύει
προκύπτει το ζητούμενο
)




(τα ριζικά μπορεί να είναι όσα θέλουμε). Ένας γρήγορος τρόπος λύσης είναι να μεγαλώσουμε το τελευταίο
σε
και μετά η παράσταση παίρνει "τηλεσκοπική" μορφή. Το κάνω για την περίπτωση των τριών ριζικών αλλά γίνεταια με όσα θέλουμε (στο "Καγκουρό" ήταν με τέσσερα):
(όλο ισότητες μετά την πρώτη ανισότητα).
και η παράσταση πάλι γίνεται "τηλεσκοπική".
, όπου μεγαλώνουμε το τελευταίο
.
και
, δείξτε ότι ο αριθμός:
είναι ρητός.
![\displaystyle{A=\sqrt{[b(a+c)+a(a+c)][a(b+c)+b(b+c)][a(b+c)+c(b+c)]}=\sqrt{(a+b)(a+c)(a+b)(b+c)(a+c)(b+c)}} \displaystyle{A=\sqrt{[b(a+c)+a(a+c)][a(b+c)+b(b+c)][a(b+c)+c(b+c)]}=\sqrt{(a+b)(a+c)(a+b)(b+c)(a+c)(b+c)}}](/forum/ext/geomar/texintegr/latexrender/pictures/d08519228031b31aaf219ffdbf39a9ee.png)


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

.