Πρόταση Ερατοσθένη
Συντονιστής: spyros
-
- Δημοσιεύσεις: 68
- Εγγραφή: Τετ Ιαν 29, 2014 12:14 pm
Πρόταση Ερατοσθένη
Πρόταση
Ένας ακέραιος αριθμός είναι πρώτος αν δεν διαιρείται με κανέναν πρώτο ακέραιο αριθμό με .
Απόδειξη
Έστω το σύνολο των πρώτων ακέραιων αριθμών με , που δεν διαιρούν το .
Για τους ακέραιους που είναι μικρότεροι από το , διακρίνουμε τις εξής περιπτώσεις:
i) Οι σύνθετοι ακέραιοι με . Έστω το σύνολο που τους απαρτίζει. Αυτοί δεν μπορεί να διαιρούν τον , γιατί είναι πολλαπλάσια πρώτων αριθμών που ανήκουν στο , οι οποίοι δεν διαιρούν τον .
ii) Oι ακέραιοι αριθμοί με Ας υποθέσουμε ότι κάποιος από αυτούς διαιρεί τον .
Τότε ισχύει μία από τις δύο παρακάτω περιπτώσεις:
α) Δίνει πηλίκο στο σύνολο δηλαδή , όμως τα στοιχεία του δεν διαιρούν τον , άρα το πηλίκο δεν μπορεί να ανήκει σε αυτά.
β) Δίνει πηλίκο τότε έχουμε και άρα , άτοπο.
Παραδείγματα
και , άρα δεν διαιρεί κανένα από τα στοιχεία του τον 113, άρα είναι πρώτος.
και , άρα , ο αριθμός 3 ανήκει στο και διαιρεί τον 123, άρα δεν είναι πρώτος.
Ένας ακέραιος αριθμός είναι πρώτος αν δεν διαιρείται με κανέναν πρώτο ακέραιο αριθμό με .
Απόδειξη
Έστω το σύνολο των πρώτων ακέραιων αριθμών με , που δεν διαιρούν το .
Για τους ακέραιους που είναι μικρότεροι από το , διακρίνουμε τις εξής περιπτώσεις:
i) Οι σύνθετοι ακέραιοι με . Έστω το σύνολο που τους απαρτίζει. Αυτοί δεν μπορεί να διαιρούν τον , γιατί είναι πολλαπλάσια πρώτων αριθμών που ανήκουν στο , οι οποίοι δεν διαιρούν τον .
ii) Oι ακέραιοι αριθμοί με Ας υποθέσουμε ότι κάποιος από αυτούς διαιρεί τον .
Τότε ισχύει μία από τις δύο παρακάτω περιπτώσεις:
α) Δίνει πηλίκο στο σύνολο δηλαδή , όμως τα στοιχεία του δεν διαιρούν τον , άρα το πηλίκο δεν μπορεί να ανήκει σε αυτά.
β) Δίνει πηλίκο τότε έχουμε και άρα , άτοπο.
Παραδείγματα
και , άρα δεν διαιρεί κανένα από τα στοιχεία του τον 113, άρα είναι πρώτος.
και , άρα , ο αριθμός 3 ανήκει στο και διαιρεί τον 123, άρα δεν είναι πρώτος.
τελευταία επεξεργασία από ΗρακληςΕυαγγελινος σε Κυρ Σεπ 03, 2023 12:09 pm, έχει επεξεργασθεί 2 φορές συνολικά.
Λέξεις Κλειδιά:
-
- Επιμελητής
- Δημοσιεύσεις: 15785
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Πρόταση Ερατοσθένη
Μάλλον χάνω κάτι γιατί η πρόταση είναι τετριμμένη, και η απόδειξη που την ακολουθεί υιοθετεί γραφή απλών πραγμάτων με δυσνόητο ύφος. Είναι το είδος των Μαθηματικών που πρέπει να αποφεύγουμε, ιδίως στην διδασκαλία μας.ΗρακληςΕυαγγελινος έγραψε: ↑Δευ Αύγ 28, 2023 10:25 pmΠρόταση
Ένας ακέραιος αριθμός είναι πρώτος αν δεν διαιρείται με κανέναν πρώτο ακέραιο αριθμό με .
Απλή απόδειξη: Αν ο ήταν σύνθετος, εξ ορισμού θα είχε διαιρέτη, έστω τον , που βέβαια είναι μικρότερος του . Ένας πρώτος διαιρέτης του είναι αυτόματα και διαιρέτης του . Άτοπο αφού υποθέσαμε ότι ο δεν έχει διαιρέτη .
'Αλλη απόδειξη: Έστω σύνθετος. Γράφουμε τον ως γινόμενο πρώτων. Κάθε όρος της παράστασης αυτής είναι πρώτος που τον διαιρεί, και φυσικά ικανοποιεί . Άτοπο.
-
- Δημοσιεύσεις: 68
- Εγγραφή: Τετ Ιαν 29, 2014 12:14 pm
Re: Πρόταση Ερατοσθένη
Υπήρξε λάθος κατά τη μεταφορά σε Latex, με αποτέλεσμα να λείπουν ορισμένα(κρίσιμα) ριζικά στην εκφώνηση και την λύση. Η ανάρτηση διορθώθηκε για να βγάζει νόημα. Ευχαριστώ για την έγκαιρη παρατήρηση
-
- Επιμελητής
- Δημοσιεύσεις: 15785
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Πρόταση Ερατοσθένη
Και πάλι παραμένει τετριμμένη. Αυτά που γράφω στο προηγούμενό μου ποστ, δεν αναιρούνται. Οι τετραγωνικές ρίζες που προστέθηκαν, μπορούν να διευθετηθούν με την εξής προσθήκη:ΗρακληςΕυαγγελινος έγραψε: ↑Τρί Αύγ 29, 2023 10:10 amΥπήρξε λάθος κατά τη μεταφορά σε Latex, με αποτέλεσμα να λείπουν ορισμένα(κρίσιμα) ριζικά στην εκφώνηση και την λύση. Η ανάρτηση διορθώθηκε για να βγάζει νόημα. Ευχαριστώ για την έγκαιρη παρατήρηση
Εκεί που λέω "Αν ο ήταν σύνθετος, εξ ορισμού θα είχε διαιρέτη, έστω τον , που βέβαια είναι μικρότερος του "
μπαίνει
"Αν ο ήταν σύνθετος, τότε θα είχε διαιρέτη . Πράγματι, αν , τότε ο ένας από τους δύο παράγοντες θα ήταν (διότι αν ήσαν και οι δύο θα είχαμε , άτοπο). Ονομάζουμε εκείνον που είναι
και συνεχίζουμε από εκεί που μείναμε.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης