υπολογίζουμετο :
. Βρίσκουμε πάντα αποτέλεσμα της μορφής :
, όπου οι αριθμοί
είναι ακέραιοι ή ημιακέραιοι . Δύο ακόμη ενδιαφέρουσες παρατηρήσεις :
Για
περιττό , είναι :
. Για
άρτιο , είναι :
. Για μεγάλα
είναι :
.Συντονιστής: Γιώργος Ρίζος
υπολογίζουμε
. Βρίσκουμε πάντα αποτέλεσμα της μορφής :
, όπου οι αριθμοί
περιττό , είναι :
. Για
άρτιο , είναι :
. Για μεγάλα
είναι :
..KARKAR έγραψε: ↑Τετ Νοέμ 20, 2024 1:06 pmΣίγουρα έχει μελετηθεί αλλά το βάζω ως ερέθισμα για ψάξιμο . Για κάθε φυσικόυπολογίζουμε
το :. Βρίσκουμε πάντα αποτέλεσμα της μορφής :
, όπου οι αριθμοί
![]()
είναι ακέραιοι ή ημιακέραιοι . Δύο ακόμη ενδιαφέρουσες παρατηρήσεις :
Γιαπεριττό , είναι :
. Για
άρτιο , είναι :
. Για μεγάλα
είναι :
.
τότε
(διότι οι όροι της μορφής
του αναπτύγματος κρατάνε ένα
αν και μόνον αν το
είναι περιττός, αλλά τότε μένει και ένα "πλην").
(η τιμή του είναι
) έχουμε ότι για
περιττό ισχύει
ενώ είναι
για
άρτιο. Έπεται ότι
για
περιττό και
, αλλιώς, όπως θέλαμε.
, ισχύει
για μεγάλα
. Ακόμα καλύτερα, διαιρώντας με το
αποδεικνύεται ότι
, αφού
.
και
έχουμε
και
. Όμοια
και
.
(ημιακέραιοι) ότι θα είναι ημιακέραιοι και οι
και
και λοιπά (ανά τρεις). Όμοια
(ημιακέραιοι) ότι θα είναι ημιακέραιοι και οι
και
και λοιπά (ανά τρεις) και
(ακέραιοι) ότι θα είναι ακέραιοι και οι
και
και λοιπά (ανά τρεις)..
και
που είδαμε στην πρώτη λύση.
, για το επαγωγικό βήμα, έστω ότι ισχύει
(όμοια για την ανάποδη ανισότητα), τότε θα δείξουμε ότι
(ή, αντίστοιχα, το ανάποδο). Πράγματι, από την
και με πολλαπλασιασμό επί
έχουμε
. Άρα
, που με χρήση των
ισοδυναμεί με το αποδεικτέο. Και λοιπά, οι ανισότητες πηγαίνουν εναλλάξ, αρχίζοντας από την πρώτη.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης