SUPERFICIES POLIDRICAS

Definicin: Una superficie cuadrtica (o cudrica) es la grfica de una ecuacin de segundo grado con tres variables x, y, z. La forma general de la ecuacin es:

Donde A, B, C, , son constantes. Observacin: en la ecuacin de segundo grado deliberadamente no hemos incluido los trminos mixtos , y , pues la presencia de estos genera superficies con rotacin. 1. ELIPSOIDE: Tiene por ecuacin:

Las trazas del Elipsoide son: Si

Si

Si

Las trazas del elipsoide son elipses, es decir, la interseccin con planos paralelos a los planos coordenados es una elipse

2. HIPERBOLOIDE DE UNA HOJA.

Tiene por ecuacin

Las trazas del hiperboloide de una hoja son:

Si

Si

Si

Las trazas del hiperboloide son hiprbolas en planos paralelos al plano XZ y al YZ, mientras que en planos paralelos al XY las trazas son elipses. El eje por donde se abre el hiperboloide es por el eje cuya variable aparece en la ecuacin negativa (en este caso eje z). La diferencia fundamental entre el hiperboloide de una hoja y el elipsoide es que tiene una variable con signo negativo.

3. HIPERBOLOIDE DE DOS HOJAS. Tiene por ecuacin

Las trazas del hiperboloide de dos hojas son:

Si

Si

Si

Las trazas de esta superficies son : Para planos paralelos a XZ son hiprbolas al igual que para planos paralelos al YZ. Se diferencia de las otras superficies ya que tiene dos variables negativas.

4. PARABOLOIDES Tiene por ecuacin

Las trazas del paraboloide de una hoja son:

Si

Si

Si

Tiene por ecuacin Las trazas del paraboloide son: Para planos paralelos al XY son elipses, para planos paralelos al XZ o al YZ son parbolas. Su diferencia con las otras cudricas es que tienen una variable que no est elevada al cuadrado, y las otras variables tienen el mismo signo.

5. PARABOLOIDE HIPERBLICO. Tiene por ecuacin

Las trazas del paraboloide hiperblico son:

Si

Si

Si

Su diferencia fundamental con las otras superficies es que ella tiene en su ecuacin una variable que no est elevada al cuadrado, y las otras variables tienen signos contrarios.

6. CONO Tiene por ecuacin:

Las trazas del paraboloide hiperblico son: Si

Si

Si

7. CILINDRO: Tiene la siguiente ecuacin:

Cuando una de las variables x, y o z no aparece en la ecuacin de la superficie, Entonces la superficie es un Cilindro La ecuacin anterior es un cilindro en el espacio ya que falta la variable z. Por lo tanto, la grfica del cilindro se extender paralelo al eje z

8. CILINDRO HIPERBLICO Tiene la siguiente ecuacin:

1. CILINDRO PARABLICO Tiene la siguiente ecuacin:

DEMOSTRACIN DE LA IRRACIONALIDAD DE
Por Reduccin al Absurdo: La demostracin comienza suponiendo que raz de 2 no es irracional y acabar en algo contradictorio. Si no es irracional debe ser obligatoriamente racional, es decir, debe ser igual a una fraccin as:

Podemos suponer sin ningn problema que el mximo comn divisor de p y q es 1, es decir, que no tienen factores comunes y por tanto son primos relativos. Elevamos al cuadrado y operando queda:

Por tanto p2 debe ser mltiplo de 2, lo que implica que p tambin es un mltiplo de 2. Es decir, p = 2k para un cierto k. Sustitumos este valor de p en la expresin anteriory simplificamos un 2 de esa igualdad:

Esa expresin nos asegura que q2 es mltiplo de 2, y por tanto tambin lo es q. Y aqu est el absurdo: habamos supuesto que p y q no tenan factores comunes (es decir, mcd(p,q) = 1) y hemos llegado a que los dos son mltiplos de 2, es decir, que tienen al 2 como factor comn, y por tanto su mcd debe ser al menos 2. Esa es la contradiccin que buscbamos.
Conclusin: es irracional.

DEMOSTRACIN DE LA IRRACIONALIDAD DE

Comenzamos mostrando una propiedad bien conocida del nmero e:

(1)

Supongamos ahora que podemos obtener e como cociente de dos enteros positivos (por la expresin anterior claramente e debe ser positivo), es decir:

(2)

siendo p y q enteros positivos. Multiplicamos la expresin (1) por q! a ambos lados, obteniendo:
(3)

Por (2) tenemos que q!e es un nmero entero, y claramente la parte de la suma que aparece explcitamente en (3) tambin es un nmero entero. Por tanto la diferencia entre ellos, digamos R, tambin ser un nmero entero (y positivo). Veamos qu forma tiene R:

Simplificamos los factoriales:

Como q + 2 > q + 1, q + 3 > q + 1, etc, se cumple la siguiente desigualdad:

Sacando factor comn y usando la frmula de la suma de una progresin geomtrica:

Pero q era un entero positivo, por tanto q > 1. En consecuencia su inverso ser menor que 1. Tenemos entonces que R es un nmero entero positivo que cumple la siguiente cadena de desigualdades:

Pero como no existe ningn nmero entero entre 0 y 1 tenemos que la esta situacin no puede darse. Es decir, hemos llegado a una contradiccin que parti del hecho de suponer que e era racional. Por tanto, utilizando reduccin al absurdo, obtenemos que el nmero e es un nmero irracional.