Olimpiadi della Matematica Torino - OliMaTO - Forum

Sapreste dimostrare il seguente enunciato?

Ipotesi

Sia dato un polinomio (a coefficienti reali) a più variabili appartenenti al campo complesso f(x,y,z....) ed un altro polinomio g(x,y,z...) libero da quadrati (non è multiplo di alcun polinomio elevato al quadrato) tale che i valori
delle varabili che azzerano g(x,y,z..) azzerano anche f(x,y,z..)

Tesi

f(x,y,z,....) è multiplo di g(x,y,z...)

P.s.
Ve lo chiedo perchè mi sembra un teorema di fondamentale importanza difficile da dimostrare ed anche perchè esso è una generalizzazione del TEOREMA DI RUFFINI per polinomi a PIÙ variabili

(Riposto questa domanda che avevo inserito nella sezione sbagliata)

Importante: è equivalente dimodtrare che data una curva in uni spazio cartsiano a n dinensioni esiste una sola equazione che la genera (si consideri che applicando la stessa funzione a entrambi i membri si ottiene la stessa cosa)

Poiché $V(g)\subseteq V(f)$, per il Nullstellensatz $(f)\subseteq \sqrt{(f)}=I(V(f)) \subseteq I(V(g))=\sqrt{(g)}=(g)$ e quindi $g$ divide $f$.