Documentos de Académico
Documentos de Profesional
Documentos de Cultura
4 Semestre
216Z0045
Métodos numéricos
-61y = 183
61y = -183
y = -183÷61
y = -3
Otro ejemplo que se hizo y con algoritmo fue este:
Por tanto
RZ2({x2 ,1x2 +2 − 1}) = {(a, 1/a)|a ∈ Q trascendente sobre Q}
∪{(a, −1/a)|a ∈ Q trascendente sobre Q},
esto se debe a la definición de cero regular y a que x
2 1x 2 +2 − 1 = (x1x2 − 1)(x1x2 + 1), ahora
calculamos RZ3(R∩K[x1, . . . , x3]), como tenemos que esta intersección añade el
polinomio x3+x1
tenemos que
RZ3({x 2 1x 2 +2 − 1, x3 + x1}) = {(a, 1/a, −a)|a ∈ Q trascendente sobre Q}
∪{(a, −1/a, −a)|a ∈ Q trascendente sobre Q}.
Ahora calculamos RZ4(R) como añadimos el polinomio x4 + x2 tenemos que:
RZ4(R) = {(a, 1/a, −a, −1/a)|a ∈ Q trascendente sobre Q}
∪{(a, −1/a, −a, −1/a)|a ∈ Q trascendente sobre Q}.
Con esto se obtienen los ceros genéricos de dos variedades irreducibles, a partir de
ellos se
obtendrá la descripción de la variedad al completo en este caso por ejemplo
obtenemos
V4({f1, f2, f3, f4} = {(a, 1/a, −a, −1/a), a ∈ Q} ∪ {(a, −1/a, −a, −1/a), a ∈ Q}