Επειδή το άθροισμα των βαρών είναι ίσο με 5050, σε κάθε πλευρά της ζυγαριάς το συνολικό βάρος θα είναι ίσο με 2525 και άρα κάθε πλευρά θα έχει τουλάχιστον 25 βαρίδια. (Θα έχει περισσότερα αλλά και το 25 δουλεύει.)socrates έγραψε: ΑΣΚΗΣΗ 438
Διαθέτουμε 100 βαρίδια βάρους 1,2,...,100 κιλών αντίστοιχα.
Τοποθετούμε όλα τα παραπάνω βαρίδια σε ζυγαριά ώστε αυτή να ισορροπεί.
Να δείξετε ότι μπορούμε να αφαιρέσουμε δύο βαρίδια από κάθε πλευρά της ζυγαριάς και αυτή να εξακολουθεί να ισορροπεί!
Έστω
το σύνολο των βαρών στην αριστερή πλευρά και
το σύνολο των βαρών στην δεξιά πλευρά. Κοιτάζουμε τώρα το σύνολο
το οποίο περιέχει το πολύ 200 αριθμούς. Επειδή όμως
, θα υπάρχουν διαφορετικά ζεύγη
με
και
και
. Δεν μπορούμε να έχουμε
αφού τότε θα έπρεπε και
ενώ τα ζεύγη είναι διαφορετικά. Ομοίως είναι
. Αφαιρούμε τώρα τα
από την αριστερή πλευρά και τα
από την δεξιά και τελειώσαμε αφού
.Επεξεργασία: Υπάρχει πρόβλημα με την πιο πάνω λύση. Δείτε εδώ για την διόρθωση.

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





, για 



με
. Δείξτε ότι
.
δεν έχω και πολλά να αποδείξω.
(θα χρειαστεί παρακάτω στο σενάριο...)

με
και
.Nα δείξετε ότι
για κάθε
.
, τέτοιοι ώστε ![b+\dfrac{1}{b}=\dfrac{1}{2}\left[\left(a+\dfrac{1}{a}\right)+\left(c+\dfrac{1}{c}\right)\right]; b+\dfrac{1}{b}=\dfrac{1}{2}\left[\left(a+\dfrac{1}{a}\right)+\left(c+\dfrac{1}{c}\right)\right];](/forum/ext/geomar/texintegr/latexrender/pictures/5a2db2edabe0abc29eeb05281ef06da8.png)
.
είναι τέτοιοι ώστε
και 

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


οπότε είναι


είναι ακέραιοι, τότε από τη σχέση
για κάθε θετικό ακέραιο
και
είναι ακέραιοι, άρα ο αριθμός
είναι ρητός. Έστω ότι ο
δεν είναι ακέραιος. Τότε, θα υπάρχουν ακέραιοι
με
και
, ώστε
και η σχέση
, για κάθε θετικό ακέραιο
για κάθε ακέραιο
. Τότε, πάλι από τη σχέση
για κάθε ακέραιο
Όμοια, βρίσκουμε ότι
για κάθε ακέραιο 

πράγμα άτοπο. Ώστε, ο αριθμός
της ακολουθίας
έτσι ώστε
με
και
όπου
το σύνολο των πρώτων αριθμών.
πρώτοι αριθμοί τέτοιοι, ώστε 

θα είναι επίσης ρητός. Επομένως, οι υπόρριζες παραστάσεις θα είναι τέλεια τετράγωνα, δηλαδή θα υπάρχουν θετικοί ακέραιοι
τέτοιοι, ώστε
και
Συνεπώς, θα είναι:
και 
και
είναι πρώτοι, θα έχουμε ότι
, οπότε
και
δηλαδή 
είναι ίσος με
. Διακρίνουμε δύο περιπτώσεις:
Έστω ότι
Τότε, οι αριθμοί
,
,
και
είναι πρώτοι.
δεν είναι πολλαπλάσιο του
. Αν
, τότε
, που είναι άτοπο. Άρα, θα πρέπει
, οπότε
και προκύπτει η λύση 
Τότε, είναι
και οι αριθμοί
και
είναι πρώτοι. Ακριβώς όπως στην προηγούμενη περίπτωση, βρίσκουμε ότι
, οπότε προκύπτει η λύση 
και
αρτιος Tότε:

και από την
άρα η
γίνεται:
, αδύνατο ή
που δίνει
,επίσης αδύνατο.

και από την
άρα η
Πάλι θα πρέπει

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


και άρα
,
ΣΧΕΣΗ 1
είναι διάφορος του μηδενός, θα έχουμε αριθμό μεγαλύτερο ή ίσο του
, δηλαδή μεγαλύτερο ή ίσο του
, πράγμα που είναι άτοπο, αφού δεν θα μπορούσε να ισχύει η ΣΧΕΣΗ 1.
και άρα η ΣΧΕΣΗ 1 γράφεται
, από την οποία προκύπτει (δεδομένου και ότι
), ότι
και άρα 
,
, με
. Τότε 


. Επίσης , 


, 

και αφού οι
, θα πρέπει να είναι:
, ή,
. 
, που είναι άτοπο.

,
ΣΧΕΣΗ 1
, η παραπάνω σχέση είναι αδύνατη, διότι
, (προφανές)
, (επίσης προφανές)
, η οποία και πάλι είναι αδύνατη.
![[a,b]=m , (a,b)=n [a,b]=m , (a,b)=n](/forum/ext/geomar/texintegr/latexrender/pictures/e2ad62a7ee2b22f00d7bd7b7a992cdd7.png)

. Άμα αντικαταστήσω στην αρχική, βρίσκω
.
. Παρομοίως,
. Επομένως μετά από πρόσθεση κατά μέλη 
. 
. Επειδή πρέπει ο
να είναι ακέραιος,
'η
ή
ή
ή
. Και από εδώ έχω:
ή
ή
'η
.
και
και οι τιμές αυτές που βρήκα, επαληθεύουν την αρχική εξίσωση.
και
και πάλι αυτές οι τιμές επαληθεύουν την αρχική
και 

και όπως και παραπάνω, βρίσκω ότι
ή 



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