Πολυώνυμο δύο μεταβλητών

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ · #1

Εστω

πολυώνυμο.

Αν για κάθε $\sigma :\mathbb{R}^{2}\rightarrow \mathbb{R}^{2}$

στροφή με κέντρο το (0,0)

ισχύει $P(x,y)=P(\sigma (x,y))$

τότε
$P(x,y)=\sum_{k=0}^{n}c_{k}(x^{2}+y^{2})^{k}$

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ · #2

Επαναφορά.

AlexandrosG · #3

Με απλές στροφές βρίσκουμε ότι P(x,y)=P(y,x)

και

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

και

. Όπου βλέπουμε το

το γράφουμε $xy=\frac{(x+y)^2-(x^2+y^2)}{2}$ . Άρα το

μπορεί να γραφεί ως πολυώνυμο των μεταβλητών x+y

και

. Από την δεύτερη σχέση, όλοι οι όροι που εμφανίζεται το x+y

έχουν συντελεστή

. Άρα το

μπορεί να γραφεί ως πολυώνυμο της μεταβλητής x^2+y^2

.

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ · #4

AlexandrosG έγραψε: ↑
Κυρ Ιαν 28, 2018 12:22 am
Με απλές στροφές βρίσκουμε ότι και . Από την πρώτη σχέση το πολυώνυμο είναι συμμετρικό και άρα από το θεμελιώδες θεώρημα των συμμετρικών πολυωνύμων, μπορεί να γραφεί ως πολυώνυμο των απλών συμμετρικών πολυωνύμων και . Όπου βλέπουμε το το γράφουμε $xy=\frac{(x+y)^2-(x^2+y^2)}{2}$ . Άρα το μπορεί να γραφεί ως πολυώνυμο των μεταβλητών και . Από την δεύτερη σχέση, όλοι οι όροι που εμφανίζεται το έχουν συντελεστή . Άρα το μπορεί να γραφεί ως πολυώνυμο της μεταβλητής .

Με απλές στροφές βρίσκουμε ότι P(x,y)=P(y,x)

και

.
Αυτά δεν είναι στροφές στον $\mathbb{R}^{2}$
Είναι συμμετρίες ως προς ευθεία.

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ · #5

AlexandrosG έγραψε: ↑
Κυρ Ιαν 28, 2018 12:22 am
Με απλές στροφές βρίσκουμε ότι και . Από την πρώτη σχέση το πολυώνυμο είναι συμμετρικό και άρα από το θεμελιώδες θεώρημα των συμμετρικών πολυωνύμων, μπορεί να γραφεί ως πολυώνυμο των απλών συμμετρικών πολυωνύμων και . Όπου βλέπουμε το το γράφουμε $xy=\frac{(x+y)^2-(x^2+y^2)}{2}$ . Άρα το μπορεί να γραφεί ως πολυώνυμο των μεταβλητών και . Από την δεύτερη σχέση, όλοι οι όροι που εμφανίζεται το έχουν συντελεστή . Άρα το μπορεί να γραφεί ως πολυώνυμο της μεταβλητής .

Η λύση του Αλέξαντρου είναι σωστότατη.
Το προηγούμενο σχόλιο μου ήταν άστοχο.
Ο λόγος είναι ότι ισχύει για όλες τις στροφές οπότε μια στροφή
μπορεί να εξαρτάται από τα σημεία.
Ζητώ και δημόσια συγνώμη από τον Αλέξαντρο για την ταλαιπωρία που τον έβαλα.
(ανταλλάξαμε π.μ για το θέμα)

Υπάρχουν τουλάχιστον ακόμα δύο λύσεις.
Αν δεν δοθούν σε λίγες μέρες θα τις γράψω.

#6

Το είχα σκεφτεί πριν καιρό αλλά αμέλησα να το γράψω. Ως ιδέα δεν διαφέρει τόσο πολύ από την λύση του Αλέξανδρου. Μάλιστα η λύση του Αλέξανδρου είναι καλύτερη.

Θέτω z = x^2+y^2

. Αλλάζοντας κάθε εμφάνιση του y^2

σε

, μπορώ να γράψω το

ως

όπου τα

είναι πολυώνυμα του

με συντελεστές στο $\mathbb{R}[z]$ . Το P(x,y)

είναι σταθερό σε κάθε κύκλο με κέντρο το (0,0)

οπότε ισχύει ότι P(x,y) = P(x,-y)

για κάθε

.

Τότε όμως είναι Q_z(x) = P(x,y)

και

για κάθε

με

.

Ισχυρίζομαι ότι το Q_z(x)

είναι πολυώνυμο στο

. Ας υποθέσουμε ότι αυτό δεν ισχύει και ότι υπάρχει δύναμη του

(τουλάχιστον 1) με μη μηδενικό συντελεστή. Ο συντελεστής μπορεί να είναι πολυώνυμο στο

. Υπάρχει λοιπόν κατάλληλη θετική τιμή του

, έστω

, ώστε το $Q_{z_0}(x)$ να είναι μη σταθερό.

Αλλά για κάθε $x,x' \in [0,z_0]$ έχουμε $Q_{z_0}(x) = P(x,\sqrt{z_0^2-x^2}) = P(x',\sqrt{z_0^2-(x')^2}) = Q_{z_0}(x')$ . Άρα το $Q_{z_0}(x)$ είναι σταθερό πολυώνυμο, άτοπο.

Άρα το Q_z(x)

είναι όντως πολυώνυμο στο

.

Επίσης, πρέπει R_z(x) = 0

για κάθε

με

και $y \neq 0$ . Με παρόμοιο τρόπο όπως πιο πάνω παίρνουμε ότι R_z(x)

είναι ταυτοτικά ίσο με

.

Το ζητούμενο έπεται.

Πολυώνυμο δύο μεταβλητών

Πολυώνυμο δύο μεταβλητών

Re: Πολυώνυμο δύο μεταβλητών

Re: Πολυώνυμο δύο μεταβλητών

Re: Πολυώνυμο δύο μεταβλητών

Re: Πολυώνυμο δύο μεταβλητών

Re: Πολυώνυμο δύο μεταβλητών

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