Πολλαπλάσιο του 7

Συντονιστές: emouroukos, achilleas, silouan

Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18192
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Πολλαπλάσιο του 7

#1

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Τρί Νοέμ 19, 2019 7:26 pm

Δείξτε ότι αν a,\,b,\, c είναι ακέραιοι, τότε ο abc(a^3-b^3)(b^3-c^3)(c^3-a^3) είναι πολλαπλάσιο του 7.

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



Λέξεις Κλειδιά:
Άβαταρ μέλους
ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ
Δημοσιεύσεις: 922
Εγγραφή: Πέμ Νοέμ 22, 2018 9:43 pm

Re: Πολλαπλάσιο του 7

#2

Μη αναγνωσμένη δημοσίευση από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ » Τρί Νοέμ 19, 2019 7:38 pm

Mihalis_Lambrou έγραψε:
Τρί Νοέμ 19, 2019 7:26 pm
Δείξτε ότι αν a,\,b,\, c είναι ακέραιοι, τότε ο abc(a^3-b^3)(b^3-c^3)(c^3-a^3) είναι πολλαπλάσιο του 7.

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

Τα κυβικά υπόλοιπα \pmod 7 είναι -1,0,1.Αν κάποιος εκ των a,b,c είναι πολλαπλάσιο του 7 τελειώσαμε.Αν όχι τότε οι κύβοι τουλάχιστον 2 από αυτούς θα αφήνουν το ίδιο υπόλοπο \pmod 7 και το ζητούμενο έπεται.


Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18192
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Πολλαπλάσιο του 7

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Τρί Νοέμ 19, 2019 7:43 pm

:10sta10:

Είπαμε 24 ώρες αλλά μάλλον σου πήρε 24 δευτερόλεπτα. Τα σέβη μου.


christinat
Δημοσιεύσεις: 50
Εγγραφή: Κυρ Δεκ 23, 2018 11:26 pm
Τοποθεσία: Αθήνα

Re: Πολλαπλάσιο του 7

#4

Μη αναγνωσμένη δημοσίευση από christinat » Τρί Νοέμ 19, 2019 11:18 pm

Έστω A=abc(a^{3}-b^{3})(b^{3}-c^{3})(c^{3}-a^{3})

Αν κάποιος από τους a,b,c διαιρείται με το 7
τοτε προφανώς 7|A

Αν όμως ισχύει ότι (a,7)=1 και (b,7)=1 και (c,7)=1
τοτε από μικρό θεώρημα του Fermat προκύπτει ότι

a^{6}\equiv 1(mod7)\Rightarrow a^{3}\equiv \pm 1(mod7)

b^{6}\equiv 1(mod7)\Rightarrow b^{3}\equiv \pm 1(mod7)

c^{6}\equiv 1(mod7)\Rightarrow c^{3}\equiv \pm 1(mod7)

Αν a\equiv b\equiv c\equiv 1(mod 7) τοτε a^{3}-b^{3}\equiv b^{3}-c^{3}\equiv c^{3}-a^{3}\equiv 0(mod7)

Αντίστοιχα αν a\equiv b\equiv c\equiv -1(mod7)
τοτε a^{3}-b^{3}\equiv b^{3}-c^{3}\equiv c^{3}-a^{3}\equiv 0(mod7)

Αν τωρα δυο από τους a,b,c είναι ισοϋπόλοιποι με το 1(mod7) τότε προφανώς κάποιος από τους
a^{3}-b^{3},b^{3}-c^{3},c^{3}-a^{3} θα είναι ισουπόλοιπος με το 0(mod7)

Το ίδιο ισχύει και αν δύο από τους a,b,c είναι ισοϋπόλοιποι με το -1(mod7)

Άρα σε κάθε περίπτωση 7|A


Τσούρα Χριστίνα
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18192
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Πολλαπλάσιο του 7

#5

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Τρί Νοέμ 19, 2019 11:49 pm

Δεν βλέπω ουσιαστική διαφορά από αυτά που έγραψε ο Πρόδρομος παραπάνω. Ίσα ίσα τα έγραψε κομψότερα και χωρίς να πλατειάζει.


petrosqw
Δημοσιεύσεις: 38
Εγγραφή: Παρ Φεβ 01, 2019 6:46 pm

Re: Πολλαπλάσιο του 7

#6

Μη αναγνωσμένη δημοσίευση από petrosqw » Τετ Νοέμ 20, 2019 1:18 pm

Mihalis_Lambrou έγραψε:
Τρί Νοέμ 19, 2019 11:49 pm
Δεν βλέπω ουσιαστική διαφορά από αυτά που έγραψε ο Πρόδρομος παραπάνω. Ίσα ίσα τα έγραψε κομψότερα και χωρίς να πλατειάζει.
Το να συγκρίνουμε τις λύσεις δύο μαθητών δεν νομίζω να ωφελεί ούτε αυτούς ούτε κανέναν
Δεν νομίζω ότι εδώ στο mathematica αρμόζει να μπαίνουμε σε τέτοιες συγκρίσεις

Ευχαριστώ


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Πολλαπλάσιο του 7

#7

Μη αναγνωσμένη δημοσίευση από Demetres » Τετ Νοέμ 20, 2019 3:42 pm

Μια πιο hi-tech για ποικιλία.

Μπορούμε να υποθέσουμε ότι κανένα από τα a,b,c δεν είναι πολλαπλάσιο του 7.

Από την ορίζουσα Vandermonde έχουμε \displaystyle (a^3-b^3)(b^3-c^3)(c^3-a^3) = \begin{vmatrix} 
1 & 1 & 1 \\ 
a^3 & b^3 & c^3 \\ 
a^6 & b^6 & c^6  
\end{vmatrix}

Όμως modulo 7 η ορίζουσα είναι ίση με 0 αφού από το μικρό Θεώρημα Fermat η τελευταία σειρά είναι modulo 7 ίδια με την πρώτη.


Απάντηση

Επιστροφή σε “Άλγεβρα - Επίπεδο Θαλή/Ευκλείδη (Seniors)”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης