sábado, 24 de octubre de 2009

Y más y más ejercicios sobre factorización


Como os dije, la única manera de adquirir destreza en esto de factorizar es hacer muchos y muchos ejercicios, así que aquí os pongo un par de páginas más para que sigáis factorizando. Incluye soluciones, pero como siempre os digo, antes intentadlo vosotros mismos.

Enlace 1

Enlace 2

En este último enlace se plantean ejercicios de todo el tema, e incluso algunos que no hemos realizado en clase, pero que también son interesantes:

Enlace 3

jueves, 22 de octubre de 2009

El Teorema Fundamental del Álgebra

El teorema fundamental del álgebra (TFA) establece que un polinomio en una variable, no constante y a coeficientes complejos, tiene tantas raíces como su grado, dado que las raíces se cuentan con sus multiplicidades. En otras palabras, dado un polinomio complejo p de grado n > 0, la ecuación p(z) = 0 tiene exactamente n soluciones complejas, contando multiplicidades. De manera equivalente:

* El cuerpo de los complejos es cerrado para las operaciones algebraicas.
* Todo polinomio complejo de grado n se puede expresar como un producto de n polinomios de la forma (x-a) por una constante, donde las a son las raíces (reales o complejas) del polinomio.

El teorema se establece comúnmente de la siguiente manera: todo polinomio en una variable con coeficientes complejos de grado al menos uno, tiene al menos una raíz compleja. Aunque ésta en principio parece ser una declaración más débil, implica fácilmente la forma completa por la división polinómica sucesiva por factores lineales.

Los primitivos estudios (circa 800 d.C.) llevados a cabo por al-Khwarizmi sólo buscaban raíces reales positivas y el TFA no tenía sentido. Cardano fue el primero en darse cuenta que uno podía trabajar con cantidades más generales que los números reales. El descubrimiento lo hizo trabajando para hallar las raíces de una cúbica. Esos métodos aplicados a la ecuación x^3 = 15x + 4 dieron una respuesta que implicaban la raíz cuadrada de -121, Cardano sabía que la ecuación tenía a x = 4 como raíz y fue capaz de manipular con números complejos (aunque no acababa de entender el porqué) hasta hallar la solución correcta. Bombelli, en su Algebra, publicado en 1572, dió unas reglas para manipular estos nuevos números.

Descartes en 1637, dijo que uno puede imaginar para cada ecuación de grado n, n raíces pero que estas n raíces podían no corresponder con cantidad real alguna. Vieta dió ecuaciones de grado n con n raíces. Sin embargo, el primero que afirmó que siempre existían n soluciones fue un matemático flamenco Albert Girard en 1629 en su L'invention en algèbre. Pero no afirmó que fueran complejos; o sea, números de la forma a + bi, a, b reales, permitiendo la posibilidad de cuerpos más grandes que C. De hecho, ese fue el problema del TFA durante muchos años puesto que los ¡matemáticos aceptaban la afirmación de Albert Girard como inmediata!. Aceptaban que una ecuación de grado n debe tener n raíces, el problema para ellos era demostrar que tenían la forma a + bi, a, b reales.

Aunque parece que Harriot sabía que un polinomio que tiene una raíz a (en un cuerpo), era divisible por x-a. Esto fue establecido por Descartes en 1637 en La géométrie. Albert Girard no dió estas razones para entender el concepto de raíz. Una demostración de la falsedad del TFA fue dada por Leibniz en 1702 (demostrando que hasta los grandes se equivocan) cuando aseguró que x^4 + 1 no podía ser escrito como el producto de dos factores cuadráticos complejos. Su error fue no darse cuenta que la unidad imaginaria i tiene dos raíces cuadradas complejas √2/2+i√2/2 y -(√2/2+i√2/2). Euler, en 1742 demostró que el contraejemplo de Leibniz era falso.

En 1746, D'Alembert hizo el primer intento serio de demostración del TFA. Para un polinomio f, tomó dos números reales b, c tal que f(b) = c. Entonces, demostró que existen dos complejos z1 y w1 tal que |z1| < |c|, |w1| < |c| y f(z1)=w1. Entonces, itera el proceso para converger a una raíz de f. Su demostración tenía varias debilidades. En primer lugar, usa un lema sin demostración que no fue demostrado hasta 1851, por Puiseau, pero ¡cuya demostración usa el TFA!. En segundo lugar, no usó ningún criterio de compacidad para la existencia de la convergencia. No obstante, las ideas de la esta demostración son importantes.

Al poco tiempo, Euler fue capaz de probar que todo polinomio real con grado, n < 7, tiene exactamente n raíces complejas. En 1749, intentó una demostración del caso general, o sea, el TFA para polinomios reales. Su demostración aparece en Recherches sur les racines imaginaires des équations.


En 1772, Lagrange planteó objeciones a la demostración de Euler. Afirmó que las funciones racionales podían conducir eventualmente a la contradicción 0/0. Lagrange usó su conocimiento de las permutaciones de las raíces para encontrar todos los puntos débiles de la demostración de Euler. El único incoveniente es que el propio Lagrange estaba usando que las raíces existían y que podía trabajar con ellas y deducir propiedades.

En 1795, Laplace trató de probar el TFA usando el discriminante de un polinomio. Su demostración era muy elegante solo que de nuevo suponía la existencia de las raíces.

A Gauss se le concede el crédito de la primera demostrración del TFA. En 1799, en su tesis doctoral presentó su esquema de demostración y también todas las objeciones a las anteriores. Fue el primero en observar que todas ellas suponían la existencia de las raíces y deducían propiedades de ellas. Él mismo no afirmó tener la demostración, sino que una demostración rigurosa debía ir en esos términos. Esta primera demostración de Gauss es en esencia topológica y tiene serios inconvenientes. Hoy día no es aceptada.

En 1814, el contable suizo Jean Robert Argand publicó una demostración del TFA que posiblemente sea la más simple de todas. Su demostración está basada en una idea de d'Alembert de 1746. Argand había esquematizado esas ideas en una publicación anterior, Essai sur une manière de représenter les quantitiés imaginaires dans les constructions géometriques. En ese artículo interpretaba la unidad imaginaria i como un giro de 90 en el plano, haciendo surgir lo que hoy día llamamos plano de Argand o diagrama de Argand; o sea, la representación geométrica de los números complejos. En su artículo Réflexions sur la nouvelle théorie d'analyse, Argand simplifica la idea usando un teorema general sobre la existencia de un mínimo de una función continua.

En 1820, Cauchy le dedicó un capítulo completo de su Cours d'analyse a la demostración de Argand (aunque sorprendentemente no adjudica el crédito a nadie, o sea no nombra a Argand). Esta demostración en aquella época no es completamente rigurosa, ya que el concepto de extremo inferior no había sido desarrollado todavía. La demostración de Argand fue recogida por Chrystal en su libro de texto Algebra en 1886. Este libro fue muy divulgado y la demostración de Argand se hizo famosa.

En 1816, dos años mas tarde de la demostración de Argand, Gauss dió una demostración del TFA. Gauss usó la aproximación de Euler pero en vez de operar con raíces que pueden no existir, Gauss opera con indeterminadas. Esta demostración completa la de Euler y es correcta. Otra demostración (tercer intento) de Gauss también de 1816 es, como la primera, de naturaleza topológica. Gauss introduce en 1831 el término 'número complejo'. En 1821, Cauchy había introducido el término 'conjugado'.

Sin embargo, las críticas de Gauss a la demostración de Lagrange-Laplace del TFA no fueron aceptadas en Francia. En la 2ª edición, de 1828, del tratado de ecuaciones de Lagrange no aparece todavía ninguna demostración salvo la incorrecta de Laplace-Lagrange.

En 1849, 50 años después de su primer intento, Gauss produjo la primera demostración del enunciado general de que una ecuación de grado n con coeficientes complejos tiene n raíces complejas. La demostración es similar a la primera (con los mismos inconvenientes), lo único que hace es deducir el resultado para coeficientes complejos a partir del resultado sobre polinomios reales. Merece la pena resaltar que, a pesar de la insistencia de Gauss de no suponer la existencia de las raíces cuando se trata de demostrar su existencia. Él mísmo creía, como todos en su época, que había una jerarquía de cantidades imaginarias de las cuales los números complejos eran solo los más simples. Gauss los llamó "sombra de sombras".

En 1843, buscando esas generalizaciones de los números complejos, Hamilton descubrió los cuaterniones, aunque estos no son conmutativos. Tienen todas las propiedades de un cuerpo salvo la conmutativa del producto. La primera demostración de que el único cuerpo (conmutativo) algebráico que contiene a los números reales es C, la dió Weierstrass en sus lecciones de 1863. Ésta fue publicada en en el libro de Hankel, Theorie der complexen Zahlensysteme.

Naturalmente, todas las demostraciones anteriores son válidas, una vez que se establece el resultado de la existencia del cuerpo de descomposición de cualquier polinomio. Frobenius, en la celebración en Besel del bicentenario del nacimiento de Euler dijo: Euler dió la demostración mas algebráica de la existencia de las raíces de una ecuación, basándose en que una ecuación real de grado impar tiene, por continuidad, que tener una raíz real.

Fuente: wikipedia, http://www.ugr.es/~eaznar/FTA.htm



Una demostración actual del Teorema Fundamental del Álgebra.

Abel, la prematura muerte de un genio


Niels Henrik Abel (Findö, Noruega, 5 de agosto de 1802 - Froland, Noruega, 16 de abril de 1829) fue un matemático noruego. Es célebre fundamentalmente por haber probado en 1824 que no hay ninguna fórmula para hallar los ceros de todos los polinomios generales de grados mayor que 5 en términos de sus coeficientes y en el de las funciones elípticas, ámbito en el que desarrolló un método general para la construcción de funciones periódicas recíprocas de la integral elíptica.

En 1815 ingresó en la escuela de la Catedral de Cristianía (hoy Oslo) en donde tres años después probaría sus aptitudes para las matemáticas con sus brillantes soluciones a los problemas originales propuestos por Bernt Holmboe. En esa misma época, su padre, un pastor protestante pobre, murió y su familia sufrió graves penurias económicas; sin embargo, una pequeña beca del Estado permitió a Abel ingresar en la Universidad de Cristianía en 1821.


El primer trabajo relevante de Abel consistió en demostrar la imposibilidad de resolver las ecuaciones de quinto grado usando raíces (véase el Teorema de Abel-Ruffini). Fue esta, en 1824 su primera investigación publicada, aunque la demostración era difícil y enrevesada. Posteriormente se publicó de modo más elaborado en el primer volumen del Diario de Crelle.

La financiación estatal le permitió visitar Alemania y Francia en 1825. Abel conoció al astrónomo Schumacher (1780-1850) en Altona cerca de Hamburgo cuando residió seis meses en Berlín, en donde colaboró en la elaboración para su publicación del diario matemático de August Leopold Crelle. Este proyecto fue respaldado con entusiasmo por Abel, que fue en gran parte responsable del éxito de la iniciativa. De Berlín se trasladó a Friburgo en donde llevó a cabo su brillante investigación sobre la teoría de las funciones, en la que estudió sobre todo la elíptica y la hiperelíptica, e introduciendo un nuevo tipo de funciones que hoy se conocen como funciones abelianas, y que fueron objeto de un profundo estudio por su parte. En 1826 Abel viajó a París, permaneciendo allí unos diez meses; allí conoció a los matemáticos franceses más importantes, aunque ni él ni su trabajo (poco conocido) fueron especialmente valorados. A ello contribuyó también su modestia, que lo llevó a no hacer públicos los resultados de sus investigaciones. Los problemas económicos, que nunca se separaron de él, llevaron a Abel a interrumpir su viaje para regresar a Noruega, en donde trabajó como profesor (en Cristianía) durante algún tiempo. A principios de abril de 1829 Crelle le ayudó a obtener un trabajo en Berlín, pero la oferta llegó a Noruega dos días después de su muerte, a causa de una pulmonía.

La prematura muerte, a los 27 años, de este genio de las matemáticas terminó con una brillante y prometedora carrera. Sus investigaciones aclararon algunos de los aspectos más oscuros del análisis y abrieron nuevos campos de estudio, posibilitando numerosas ramificaciones en el conocimiento matemático y alcanzando un notable progreso. La parte más profunda y original del trabajo de Abel se publicó en el Diario de Crelle del que era editor Holmboe. Una edición más completa de sus trabajos se publicó en 1881 por parte de Ludwing Sylow y Sophus Lie. El adjetivo abeliano, que se ha popularizado en los escritos matemáticos deriva de su nombre y suele indicarse en minúsculas (ver grupo abeliano, categoría abeliana o variedad abeliana).

En el año 1964, se decidió en su honor llamarle «Abel» a un cráter de impacto lunar. En el año 2002 se instituyó en su honor el prestigioso premio Abel, el cual se otorga cada año a los matemáticos más destacados.

Fuente: wikipedia.

sábado, 17 de octubre de 2009

Factorización de Polinomios



Aquí os dejo algunas páginas con información y ejercicios acerca del noble arte de factorizar polinomios. ¡Buen provecho!

enlace 1

enlace 2

enlace 3

jueves, 15 de octubre de 2009

Back to Business: Identidades Notables

Después del parón veraniego (y algo otoñal) vuelvo a abrir el blog para volver a poner diferentes materiales que os ayuden con la asignatura. En este primer post os pongo varios enlaces en los que podéis ensayar las identidades notables, que ya sabéis que os van a ser muy muy útiles tanto este año como todos los demás en los que sigáis estudiando cosas relacionadas con las matemáticas. Aquí os los dejo:

primer enlace

segundo enlace

tercer enlace

cuarto enlace