Αθροίσματα τετραγώνων
Συντονιστής: nkatsipis
Αθροίσματα τετραγώνων
Να δείξετε ότι δεν υπάρχει πολυωνιμική ταυτότητα ώστε ώστε τα να είναι πολυώνυμα των με ακέραιους συντελεστές.
Μπορείτε να χρησιμοποιήσετε το θεώρημα του Gauss που λέει ότι ένας φυσικός αριθμός γράφεται ως άθροισμα τριών τετραγώνων αν και μόνο αν δεν είναι της μορφής όπου και .
Μπορείτε να χρησιμοποιήσετε το θεώρημα του Gauss που λέει ότι ένας φυσικός αριθμός γράφεται ως άθροισμα τριών τετραγώνων αν και μόνο αν δεν είναι της μορφής όπου και .
Κωνσταντίνος Σμπώκος
Λέξεις Κλειδιά:
Re: Αθροίσματα τετραγώνων
Η προσθετική θεωρία αριθμών είναι ένας μαγικός κλάδος.
Δεύτερη Άσκηση
Ο -οστός τριγωνικός αριθμός είναι ο . Είναι γνωστό(Gauss) ότι κάθε μη αρνητικός ακέραιος είναι άθροισμα τριών τριγωνικών αριθμών. Να δείξετε ότι αυτό δεν βελτιώνεται, δηλαδή ότι δεν είναι όλοι οι ακέραιοι άθροισμα δύο τριγωνικών αριθμών.
Είναι κάθε αρκετά μεγάλος αριθμός άθροισμα δυο τριγωνικών αριθμών;
Δεύτερη Άσκηση
Ο -οστός τριγωνικός αριθμός είναι ο . Είναι γνωστό(Gauss) ότι κάθε μη αρνητικός ακέραιος είναι άθροισμα τριών τριγωνικών αριθμών. Να δείξετε ότι αυτό δεν βελτιώνεται, δηλαδή ότι δεν είναι όλοι οι ακέραιοι άθροισμα δύο τριγωνικών αριθμών.
Είναι κάθε αρκετά μεγάλος αριθμός άθροισμα δυο τριγωνικών αριθμών;
Κωνσταντίνος Σμπώκος
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Αθροίσματα τετραγώνων
stranger έγραψε: ↑Παρ Μαρ 20, 2020 4:10 amΝα δείξετε ότι δεν υπάρχει πολυωνιμική ταυτότητα ώστε ώστε τα να είναι πολυώνυμα των με ακέραιους συντελεστές.
Μπορείτε να χρησιμοποιήσετε το θεώρημα του Gauss που λέει ότι ένας φυσικός αριθμός γράφεται ως άθροισμα τριών τετραγώνων αν και μόνο αν δεν είναι της μορφής όπου και .
Ας υποθέσουμε προς άτοπο ότι υπάρχει. Παίρνουμε . Τότε τα είναι ακέραιοι με . Αυτός όμως δεν μπορεί να συμβεί. (Είτε χρησιμοποιώντας το αναφερόμενο θεώρημα του Gauss, είτε εργαζόμενοι modulo 7, είτε κάνοντας απευθείας τον έλεγχο ότι δεν μπορούμε να γράψουμε το ως άθροισμα τριών (πιθανώς ίδιων) αριθμών από το σύνολο .)
Re: Αθροίσματα τετραγώνων
Ωραία λύση. Να γράψω και τη δική μου.
Αν υπήρχε τέτοια πολυωνυμική ταυτότητα τότε θα είχαμε ότι το γινόμενο δύο αριθμών που είναι άθροισμα τριών τετραγώνων είναι άθροισμα τριών τετραγώνων. Παίρνουμε έναν αριθμό . Τότε από το θεώρημα του Gauss έχουμε ότι ο είναι άθροισμα τριών τετραγώνων και επίσης ο αριθμός είναι άθροισμα τριών τετραγώνων. Άρα ο αριθμός είναι άθροισμα τριών τετραγώνων το οποίο είναι άτοπο επειδή από το θεώρημα του Gauss.
Αν υπήρχε τέτοια πολυωνυμική ταυτότητα τότε θα είχαμε ότι το γινόμενο δύο αριθμών που είναι άθροισμα τριών τετραγώνων είναι άθροισμα τριών τετραγώνων. Παίρνουμε έναν αριθμό . Τότε από το θεώρημα του Gauss έχουμε ότι ο είναι άθροισμα τριών τετραγώνων και επίσης ο αριθμός είναι άθροισμα τριών τετραγώνων. Άρα ο αριθμός είναι άθροισμα τριών τετραγώνων το οποίο είναι άτοπο επειδή από το θεώρημα του Gauss.
Κωνσταντίνος Σμπώκος
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Αθροίσματα τετραγώνων
stranger έγραψε: ↑Παρ Μαρ 20, 2020 7:11 amΗ προσθετική θεωρία αριθμών είναι ένας μαγικός κλάδος.
Δεύτερη Άσκηση
Ο -οστός τριγωνικός αριθμός είναι ο . Είναι γνωστό(Gauss) ότι κάθε μη αρνητικός ακέραιος είναι άθροισμα τριών τριγωνικών αριθμών. Να δείξετε ότι αυτό δεν βελτιώνεται, δηλαδή ότι δεν είναι όλοι οι ακέραιοι άθροισμα δύο τριγωνικών αριθμών.
Είναι κάθε αρκετά μεγάλος αριθμός άθροισμα δυο τριγωνικών αριθμών;
Πρώτη Λύση: Με έλεγχο εννιά περιπτώσεων βρίσκουμε ότι κάθε τριγωνικός αριθμός είναι ισότιμος με . Άρα κάθε αριθμός της μορφής και δεν μπορεί να γραφτεί ως άθροισμα δύο τριγωνικών αριθμών.
Δεύτερη Λύση: Ας γράψουμε . Το πολύ αριθμοί από τους μπορούν να γραφτούν ως άθροισμα το πολύ δύο τριγωνικών αριθμών. (Αφού κάθε τριγωνικός αριθμός που θα χρησιμοποιηθεί θα είναι ένας από τους .) Άρα από τους υπάρχουν τουλάχιστον αριθμοί οι οποίοι δεν μπορούν να γραφτούν ως άθροισμα το πολύ δύο τριγωνικών αριθμών.
Re: Αθροίσματα τετραγώνων
Προσθετική Θεωρία Αριθμών Άσκηση 3.
Έστω δύο τετραγωνικές μορφές και .
Δείξτε ότι αν για κάθε τότε για κάθε .
Έστω δύο τετραγωνικές μορφές και .
Δείξτε ότι αν για κάθε τότε για κάθε .
Κωνσταντίνος Σμπώκος
Re: Αθροίσματα τετραγώνων
Χάνω κάτι ή δεν περιορίζεται σε quadratic forms;
Ισχύει νομίζω για τυχαία πολυώνυμα μεταβλητών.
Η απόδειξη σχετικά απλή με επαγωγή (για το Θεμελιώδες Θεώρημα της Άλγεβρας,και από κει και πέρα γράφουμε το Πολυώνυμό μας ως όπου φιξάροντας τα λαμβάνουμε ότι το παραπάνω πολυώνυμο του έχει άπειρες ρίζες/είναι το μηδενικό.
Έτσι κάθε συντελεστής είναι μηδέν,οπότε μεταβάλλοντας τα μπορούμε να χρησιμοποιήσουμε την επαγωγική υπόθεση).
*Μάλιστα και το "για κάθε ακέραιο" βελτιώνεται.
Ισχύει νομίζω για τυχαία πολυώνυμα μεταβλητών.
Η απόδειξη σχετικά απλή με επαγωγή (για το Θεμελιώδες Θεώρημα της Άλγεβρας,και από κει και πέρα γράφουμε το Πολυώνυμό μας ως όπου φιξάροντας τα λαμβάνουμε ότι το παραπάνω πολυώνυμο του έχει άπειρες ρίζες/είναι το μηδενικό.
Έτσι κάθε συντελεστής είναι μηδέν,οπότε μεταβάλλοντας τα μπορούμε να χρησιμοποιήσουμε την επαγωγική υπόθεση).
*Μάλιστα και το "για κάθε ακέραιο" βελτιώνεται.
Re: Αθροίσματα τετραγώνων
Ξέχασα να αναφέρω ότι οι πίνακες και είναι συμμετρικοί.
Αν δεν ήταν συμμετρικοί τότε το συμπέρασμα νομίζω δεν ισχύει, γιατί ο συντελεστής του θα ήταν οπότε δεν θα είχαμε ότι . Πάρε για παράδειγμα και και o μηδενικός πίνακας.
Αν έχουμε ότι οι πίνακες είναι συμμετρικοί τότε η λύση σου είναι σωστή νομίζω.
Αν δεν ήταν συμμετρικοί τότε το συμπέρασμα νομίζω δεν ισχύει, γιατί ο συντελεστής του θα ήταν οπότε δεν θα είχαμε ότι . Πάρε για παράδειγμα και και o μηδενικός πίνακας.
Αν έχουμε ότι οι πίνακες είναι συμμετρικοί τότε η λύση σου είναι σωστή νομίζω.
Κωνσταντίνος Σμπώκος
Re: Αθροίσματα τετραγώνων
Για όσους τους αρέσει η Προσθετική Θεωρία Αριθμών(που εμένα είναι ο αγαπημένος μου κλάδος) προτείνω να κοιτάξετε το βιβλίο του Nathanson-Additive Number Theory-Classical Bases. Το βιβλίο αυτό ασχολείται με το πρόβλημα του Waring(που έλυσε ο Hilbert) και με την εικασία του Goldbach.
Περιέχει όλα τα σημαντικά αποτελέσματα της Προσθετικής Θεωρίας Αριθμών, όπως για παράδειγμα το θεώρημα του Vinogradov ότι κάθε αρκετά μεγάλος περιττός είναι άθροισμα τριών πρώτων, το Θεώρημα του Chen ότι κάθε αρκετά μεγάλος άρτιος είναι άθροισμα ενός πρώτου και ένος αριθμού που είναι πρώτος η γινόμενο δύο πρώτων.
Το βιβλίο είναι ευκολοδιάβαστο και μπορεί να το καταλάβει ο κάθενας που έχει μαθηματική ωριμότητα.
Μάλιστα λέει μέσα σε ένα σημείο "Το βιβλίο αυτό δεν είναι γραμμένο στο στυλ των περισσότερων βιβλίων που είναι ότι το χαρτί κοστίζει, όμως η προσπάθεια του αναγνώστη δεν κοστίζει", το οποίο σημαίνει ότι έχει πολλές λεπτομέρειες.
Περιέχει όλα τα σημαντικά αποτελέσματα της Προσθετικής Θεωρίας Αριθμών, όπως για παράδειγμα το θεώρημα του Vinogradov ότι κάθε αρκετά μεγάλος περιττός είναι άθροισμα τριών πρώτων, το Θεώρημα του Chen ότι κάθε αρκετά μεγάλος άρτιος είναι άθροισμα ενός πρώτου και ένος αριθμού που είναι πρώτος η γινόμενο δύο πρώτων.
Το βιβλίο είναι ευκολοδιάβαστο και μπορεί να το καταλάβει ο κάθενας που έχει μαθηματική ωριμότητα.
Μάλιστα λέει μέσα σε ένα σημείο "Το βιβλίο αυτό δεν είναι γραμμένο στο στυλ των περισσότερων βιβλίων που είναι ότι το χαρτί κοστίζει, όμως η προσπάθεια του αναγνώστη δεν κοστίζει", το οποίο σημαίνει ότι έχει πολλές λεπτομέρειες.
Κωνσταντίνος Σμπώκος
-
- Δημοσιεύσεις: 125
- Εγγραφή: Δευ Ιαν 19, 2009 7:53 pm
- Επικοινωνία:
Re: Αθροίσματα τετραγώνων
Θα συμφωνήσω κι εγώ ότι δεν περιορίζεται μόνο σε τετραγωνικές μορφές. Βασικά δεν χρειάζεται να ισχύει η ισότητα για όλους του ακεραίους αλλά για ένα αρκετά μεγάλο, που εξαρτάται από το βαθμό του πολυωνύμου, υποσύνολο του . Είναι γνωστό ως Combinatorial Nullstellensatz (δες εδώ).min## έγραψε: ↑Κυρ Μαρ 22, 2020 12:25 amΧάνω κάτι ή δεν περιορίζεται σε quadratic forms;
Ισχύει νομίζω για τυχαία πολυώνυμα μεταβλητών.
Η απόδειξη σχετικά απλή με επαγωγή (για το Θεμελιώδες Θεώρημα της Άλγεβρας,και από κει και πέρα γράφουμε το Πολυώνυμό μας ως όπου φιξάροντας τα λαμβάνουμε ότι το παραπάνω πολυώνυμο του έχει άπειρες ρίζες/είναι το μηδενικό.
Έτσι κάθε συντελεστής είναι μηδέν,οπότε μεταβάλλοντας τα μπορούμε να χρησιμοποιήσουμε την επαγωγική υπόθεση).
*Μάλιστα και το "για κάθε ακέραιο" βελτιώνεται.
"Υπάρχει αρκετό φως γι' αυτούς που επιθυμούν να δουν και αρκετό σκοτάδι γι' αυτούς που έχουν την αντίθετη επιθυμία", B. Pascal
Re: Αθροίσματα τετραγώνων
Και που χρησιμοποιούμε με το Combinatorial Nullstellensatz ότι οι πίνακες είναι συμμετρικοί;bouzoukman έγραψε: ↑Κυρ Μαρ 22, 2020 4:21 amΘα συμφωνήσω κι εγώ ότι δεν περιορίζεται μόνο σε τετραγωνικές μορφές. Βασικά δεν χρειάζεται να ισχύει η ισότητα για όλους του ακεραίους αλλά για ένα αρκετά μεγάλο, που εξαρτάται από το βαθμό του πολυωνύμου, υποσύνολο του . Είναι γνωστό ως Combinatorial Nullstellensatz (δες εδώ).min## έγραψε: ↑Κυρ Μαρ 22, 2020 12:25 amΧάνω κάτι ή δεν περιορίζεται σε quadratic forms;
Ισχύει νομίζω για τυχαία πολυώνυμα μεταβλητών.
Η απόδειξη σχετικά απλή με επαγωγή (για το Θεμελιώδες Θεώρημα της Άλγεβρας,και από κει και πέρα γράφουμε το Πολυώνυμό μας ως όπου φιξάροντας τα λαμβάνουμε ότι το παραπάνω πολυώνυμο του έχει άπειρες ρίζες/είναι το μηδενικό.
Έτσι κάθε συντελεστής είναι μηδέν,οπότε μεταβάλλοντας τα μπορούμε να χρησιμοποιήσουμε την επαγωγική υπόθεση).
*Μάλιστα και το "για κάθε ακέραιο" βελτιώνεται.
Αν οι πίνακες δεν είναι συμμετρικοί τότε το συμπέρασμα δεν ισχύει όπως έγραψα στα παραπάνω.
Κωνσταντίνος Σμπώκος
Re: Αθροίσματα τετραγώνων
Μα δεν έκανα κάτι περίεργο:Η ισότητα τιμών δίνει (και με τη ) ισότητα πολυωνύμων/συντελεστών.Αν οι πίνακες είναι συμμετρικοί (το παρέλειψα πλήρως παραπάνω) παίρνουμε -αυτό που θέμε.
Αν πάλι δεν είναι,παίρνουμε .
Αν πάλι δεν είναι,παίρνουμε .
τελευταία επεξεργασία από min## σε Δευ Μαρ 23, 2020 10:28 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Re: Αθροίσματα τετραγώνων
Προσθετική Θεωρία Αριθμών Άσκηση 4
Για έστω . Έστω το σύνολο .
Να αποδειχθεί ότι κάθε φυσικός αριθμός μικρότερος η ίσος του γράφεται ως άθροισμα δύο αριθμών από το .
Για έστω . Έστω το σύνολο .
Να αποδειχθεί ότι κάθε φυσικός αριθμός μικρότερος η ίσος του γράφεται ως άθροισμα δύο αριθμών από το .
Κωνσταντίνος Σμπώκος
-
- Δημοσιεύσεις: 303
- Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
- Τοποθεσία: Καισαριανή
- Επικοινωνία:
Re: Αθροίσματα τετραγώνων
Νομίζω ότι δεν ισχύει. Αν πάρουμε για τότε και το σύνολο είναι το:
Προφανώς, δεν μπορεί να γραφτεί ως άθροισμα δύο στοιχείων από το , αφού το μέγιστο άθροισμα που μπορούμε να πάρουμε είναι , αλλά ούτε και ως άθροισμα δύο στοιχείων του , αφού θα έπρεπε να ήταν πολλαπλάσιο του .
Ωστόσο, αφού για :
και , δεν μπορούμε να το γράψουμε ως άθροισμα ενός στοιχείου του και ενός του .
Re: Αθροίσματα τετραγώνων
Πράγματι έχεις δίκιο η άσκηση είναι λάθος. Θα βάλω άλλη σε λίγο.
Κωνσταντίνος Σμπώκος
Re: Αθροίσματα τετραγώνων
Προσθετική Θεωρία Αριθμών Άσκηση 5
Έστω και μη αρνητικοί ακέραιοι ώστε . Έστω ότι ο είναι άθροισμα τριών τετραγώνων.
Δείξτε ότι ο αριθμός είναι άθροισμα 6 μη αρνητικών κύβων.
Έστω και μη αρνητικοί ακέραιοι ώστε . Έστω ότι ο είναι άθροισμα τριών τετραγώνων.
Δείξτε ότι ο αριθμός είναι άθροισμα 6 μη αρνητικών κύβων.
Κωνσταντίνος Σμπώκος
Re: Αθροίσματα τετραγώνων
Ας βάλουμε και μία από την Πολλαπλασιαστική Θεωρία Αριθμών.
Να δείξετε ότι καθώς .
Το άθροισμα στο αριστερό μέλος είναι πάνω από τους πρώτους . Η συνάρτηση είναι το πλήθος των πρώτων διαιρετών του .
Να δείξετε ότι καθώς .
Το άθροισμα στο αριστερό μέλος είναι πάνω από τους πρώτους . Η συνάρτηση είναι το πλήθος των πρώτων διαιρετών του .
Κωνσταντίνος Σμπώκος
-
- Δημοσιεύσεις: 125
- Εγγραφή: Δευ Ιαν 19, 2009 7:53 pm
- Επικοινωνία:
Re: Αθροίσματα τετραγώνων
Αυτό που θέλω να πω είναι ότι δεν χρειάζεται να έχεις μία τετραγωνική μορφή αλλά ισχύει γενικότερα για οποιοδήποτε πολυώνυμο πολλών μεταβλητών. Δηλαδή αν και για κάθε τότε έχουμε ότι .stranger έγραψε: ↑Δευ Μαρ 23, 2020 10:12 pmΚαι που χρησιμοποιούμε με το Combinatorial Nullstellensatz ότι οι πίνακες είναι συμμετρικοί;bouzoukman έγραψε: ↑Κυρ Μαρ 22, 2020 4:21 amΘα συμφωνήσω κι εγώ ότι δεν περιορίζεται μόνο σε τετραγωνικές μορφές. Βασικά δεν χρειάζεται να ισχύει η ισότητα για όλους του ακεραίους αλλά για ένα αρκετά μεγάλο, που εξαρτάται από το βαθμό του πολυωνύμου, υποσύνολο του . Είναι γνωστό ως Combinatorial Nullstellensatz (δες εδώ).min## έγραψε: ↑Κυρ Μαρ 22, 2020 12:25 amΧάνω κάτι ή δεν περιορίζεται σε quadratic forms;
Ισχύει νομίζω για τυχαία πολυώνυμα μεταβλητών.
Η απόδειξη σχετικά απλή με επαγωγή (για το Θεμελιώδες Θεώρημα της Άλγεβρας,και από κει και πέρα γράφουμε το Πολυώνυμό μας ως όπου φιξάροντας τα λαμβάνουμε ότι το παραπάνω πολυώνυμο του έχει άπειρες ρίζες/είναι το μηδενικό.
Έτσι κάθε συντελεστής είναι μηδέν,οπότε μεταβάλλοντας τα μπορούμε να χρησιμοποιήσουμε την επαγωγική υπόθεση).
*Μάλιστα και το "για κάθε ακέραιο" βελτιώνεται.
Αν οι πίνακες δεν είναι συμμετρικοί τότε το συμπέρασμα δεν ισχύει όπως έγραψα στα παραπάνω.
"Υπάρχει αρκετό φως γι' αυτούς που επιθυμούν να δουν και αρκετό σκοτάδι γι' αυτούς που έχουν την αντίθετη επιθυμία", B. Pascal
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης