LA PREDICCIN Y LA REGLA DE LOS SIGNOS DE DESCARTES1

PRIMERA PARTE: ARGUMENTOS Y DEMOSTRACIONES

Ricardo Cantoral* y Marcela Ferrari** DME Cinvestav, IPN. ** Cimate UAG (Mxico) rcantor@cinvestav.mx , marcela_fe@yahoo.com.mx

RESUMEN
Ren Descartes public en 1637 su famosa Gomtrie, un tratado donde aplica el lgebra a la geometra e introduce el simbolismo algebraico actual. En el tercer libro de la Gomtrie enuncia, sin demostracin, su clebre regla de los signos de Descartes. Durante dos siglos, el mundo matemtico intent sin xito una demostracin general y satisfactoria a los estndares de la poca; finalmente Carl Frederick Gauss la demuestra, de la manera ms general, en 1828 recurriendo a mtodos algebraicos. Antes de ese acontecimiento, la regla de los signos vivi un intenso debate sobre la autenticidad y la originalidad que sola atribursele a Descartes. En la primera parte de este artculo presentaremos algunos de los intentos que se hicieron por demostrarla, as como el tratamiento que la regla de los signos tiene en los libros de texto de lgebra y propondremos, en la segunda parte, una justificacin original alternativa apoyada en la idea de prediccin que, hasta donde sabemos, no ha sido reportada en la literatura especializada.

LA REGLA DE LOS SIGNOS DE DESCARTES. PRESENTACIN

Ren Descartes desarrolla, a principio del siglo XVII, un acercamiento del lgebra a la geometra, publicando en 1637 su Gomtrie donde introduce el simbolismo algebraico actual que permiti, a la postre, la emergencia del lgebra clsica y de la geometra analtica. Particularmente, en el tercer libro de este tratado enuncia, sin demostracin, su clebre regla de los signos y que hoy lleva su nombre: ...On connaist aussy, de cecy, combien il peut y avoir de vrayes racines, & combien de fausses, en chasque Equation. A savoir: il y en peut avoir autant de vrayes que les signes + & s'y trouvent de fois estre changs, & autant de fausses qu'il s'y trouve de fois deux signes + o deux signes , qui s'entresuivent...2 (Descartes, 1637 p. 373).

La primera versin de este artculo fue publicada en: Cantoral, R. & Ferrari, M. (2004). Uno studio socioepistemologico sulla predizione. La matematica e la sua didattica 2 (pp. 3370). Bologna, Italia: Pitagora Editrice. ...podemos determinar el nmero de races verdaderas o falsas que cualquier ecuacin pueda tener, como sigue: una + a o de a +; y tantas races falsas como el nmero de veces que se encuentran en sucesin dos signos + o dos -.

Sin una demostracin de esta regla, Descartes explica su mtodo aplicndolo a la ecuacin particular x4 4x3 19x2 + 106x 120 = 0 que construye multiplicando las ecuaciones x2 = 0, x3 = 0, x4 = 0, x+5 = 0; a fin de obtener una ecuacin de cuarto grado con tres races positivas. En su explicacin Descartes dice: ...Comme en la dernire, cause qu'aprs + x 4 il y a 4 x 3 , qui est un changement du signe + en ; & aprs 1 9 x x il y a + 1 0 6 x , & aprs + 1 0 6 x il y a 1 2 0 , qui sont encore deux autres changemens, on connaist qu'il y a trois vrayes racines; & une fausse, cause que les deux signes , de 4 x 3 & 1 9 x x , s'entresuivent...3 (Descartes, 1637 p. 373). La regla limita entonces el nmero de races positivas de una ecuacin polinomial al declarar que no exceden el nmero de cambios de signo en los coeficientes del polinomio; cambios de signo naturalmente considerados cuando el polinomio ha sido escrito de forma tal que sus potencias desciendan o equivalentemente asciendan. Una demostracin satisfactoria y general de la regla de los signos de Descartes fue publicada por Gauss en 1828. Durante el periodo que va de 1637 a 1828 se produjo una gran cantidad de intentos de demostracin sin que ninguno de ellos alcanzara su objetivo. Algunos sin embargo, sirvieron para analizar casos particulares y para explicar la regla en la enseanza de la poca. Una interesante reflexin al respecto puede leerse en Bartolozzi y Franci (1993) donde rastrean varios originales y los comentan. Despus de la demostracin de Gauss, las discusiones sobre la regla de los signos de Descartes siguieron distintos rumbos. Por una parte se intentaba, como lo hicieran Budan, Sturm o Fourier, generalizarla de manera que los mtodos de separacin de races fuesen ms potentes. Por otro lado, el desarrollo de la regla en la historia de las ideas, sirvi como campo frtil para la discusin sobre las diferencias entre una prueba puramente algebraica y una demostracin analtica, entrando de este modo al terreno de los fundamentos de la matemtica y al de sus implicaciones en los paradigmas de enseanza. En 1807, Budan extiende la regla de los signos de Descartes para determinar una cota superior del nmero de races reales que se encuentren en un intervalo cualquiera (p, q). Su idea bsica consisti en desarrollar el polinomio en torno de nuevas variables, x = x p y x = x q , para contar despus el nmero de variaciones de signo que se perdieron en la sucesin de coeficientes de los polinomios transformados. Fourier retoma la argumentacin de Budan y publica un teorema, en 1820, hoy conocido como Teorema de Budan - Fourier4. Posteriormente, en 1829, Sturm propone su teorema sobre la secuencia de los signos, el cual permite determinar de manera precisa, cuntas races de un polinomio se encuentran en un intervalo dado (Anderson, Jackson y Sitharam, 1998, p. 447).
...en la ltima ecuacin, puesto que a +x4 sigue -4x3 se da un cambio de signo de + a y a -19x2 sigue +106x y luego de +106x a -120 dndose otros dos cambios, se conoce entonces que hay tres races verdaderas; y puesto que -4x3 sigue -19x2 hay una raz falsa. 4 El Teorema de Sturm y el Teorema de Budan-Fourier pueden consultarse en Kurosch (1981, pp.251-260), ambos previos a la presentacin del Teorema de Descartes que propone este texto.
3

Si se revisa la literatura actual, se encuentran ciertos progresos en el estudio de la regla de los signos de Descartes, denotando que sigue suscitando nuevas preguntas como la que Anderson et al. (1998) proponen al cuestionarse sobre las razones por las que, siendo la regla un resultado tan til y clsico, no se haya respondido que: Dada una sucesin de signos, es posible encontrar siempre un polinomio con el mximo nmero de races positivas y cuyos coeficientes tengan la secuencia dada de signos? (p. 447) Particularmente ellos abordan el caso en el que los coeficientes del polinomio son todos diferentes de cero y dejan como problema abierto la situacin que admite coeficientes nulos. Un ao ms tarde, Grabiner lo retoma proponiendo y demostrando el siguiente teorema: Sea 0 , . n una sucesin de signos 1 , 0 , y + 1 . Entonces para k > n , el polinomio

p( x) = j k j x j
2

j =0

tiene el mximo nmero de races positivas y negativas segn se indica en la regla de los signos de Descartes (Grabiner, 1999, p. 854). Pretendemos entonces, analizar la evolucin conceptual de la regla de los signos de Descartes, no slo desde ciertas obras originales como la de Descartes (1637) o Gauss (1828) o incluso desde artculos de investigacin como los de Bartolozzi y Franci (1993), Borowczyk (1989) o Stedall (2000), entre otros; sino tambin desde libros escolares que nos permitan reflexionar y contrastar la argumentacin presente en ellos, anlisis insoslayables para profundizar en el discurso matemtico escolar actual

DESCARTES Y SU POCA
Se sabe segn sus bigrafos, que la vida de Ren Descartes transcurre en la aristocracia francesa del siglo XVII, en una sociedad lastimada por las guerras con grandes diferencias sociales. Descartes naci en 1596 en la Haye, en Touraine. Estudi derecho en la Universidad de Poitiers y se interes por el estudio de las matemticas en Pars. Esa poca vivi un fuerte renacimiento filosfico, pues al tiempo que se desarrollan escuelas del pensamiento preocupadas por profundizar su comprensin del infinito, el cambio y el movimiento o la naturaleza del espacio, se reconsidera con fuerza el significado de la razn, el saber y el ser. Esta poca plantea un escenario adecuado para dar inicio al proceso de sustitucin de ideas antiguas por otras nuevas, como el cambio que se dio entre aquella idea del cosmos finito y ordenado propias del pensamiento aristotlico, por la de un universo infinito y homogneo. Perodo que segn los historiadores sociales de la ciencia est lleno de contrastes, en el cual era frecuente escuchar tanto la frase carpe diem - goza de este da, como memento mori - recuerda que vas a morir. El teatro, como smbolo o imagen de la vida, se ocup por representar los contrastes de la poca. Shakespeare por ejemplo, pone en boca de uno de sus personajes en Como gustis la frase: 5

Todo el mundo es una escena sobre la cual los hombres y mujeres son pequeos actores que vienen y van. Un hombre ha de hacer muchos papeles en la vida. Hamlet, en su obra homnima, provee la frase clebre: Ser o no ser, esa es la cuestin. Mientras que Caldern en su obra La vida es sueo plantea: Qu es la vida? Un frenes. Qu es la vida? Una ilusin, una sombra, una ficcin; y el mayor bien es pequeo; que toda la vida es sueo, y los sueos, sueos son. Ellos reflejan, en algn sentido, una visin cultural de la poca: la preocupacin por la brevedad de la vida y la racionalizacin del ser, por los rastros de realidad y de ilusin que la vida condensa. Esta visin plantea una ruptura con la idea segn la cual las producciones cientficas son realizadas de manera aislada y en secreto, pues se alimenta entre los cientficos y pensadores de la poca necesidades de comunicacin y de intercambio para la confrontacin de ideas. Todo ello incentiva la produccin de conocimiento y propicia la formacin de las primeras agrupaciones y sociedades cientficas y la produccin editorial de revistas especializadas. Este ambiente favorece la obra de Ren Descartes, uno de los filsofos ms importantes del siglo XVII, quien sostiene, como Scrates, que slo la razn puede proporcionar conocimientos, y por tanto, se habr de buscar la ciencia que pueda encontrarse en ella misma y en el examen del gran libro del mundo. Descartes pensaba, como otros de sus contemporneos, que la ciencia deba orientarse hacia el provecho del hombre y escribe en 1619: ... de lo que es motivo de mi trabajo quisiera publicar no un Ars Brevis como Lulio, sino una ciencia toda nueva, que permita resolver en general todos los problemas que pudieran presentarse... La poca se caracteriz fuertemente por la literatura y por la simplificacin del lenguaje, lo que tuvo una repercusin indirecta sobre la actividad matemtica y sobre sus productos. Se realizaron numerosas traducciones y se publicaron mltiples obras de matemticos de la antigedad, fundamentalmente de los griegos clsicos. De este modo, se puso al alcance de los pensadores de la poca la originalidad y profundidad de las matemticas desarrolladas por una visin cultural representada por los textos griegos de Euclides, Aristteles, Diofanto, Pappus, Hern. Todo ello produjo que los filsofos de la naturaleza desarrollaran tcnicas matemticas ms poderosas. Durante el siglo XVI se avanz en lgebra al resolverse las ecuaciones cbicas y bicuadradas, y se dan en esta poca pasos importantes hacia la comprensin de las races negativas y complejas, construyendo un simbolismo algebraico mejor adaptado a los problemas emergentes. Segn Acevedo y Falk (2000, p. 253), Descartes usaba transformaciones del tipo de Budan en sus consideraciones acerca de las soluciones negativas de ecuaciones polinomiales, en una poca donde los nmeros negativos no gozaban an de una interpretacin geomtrica clara, es decir, no podan interpretarse como magnitudes de segmentos, generndose polmicas y desconciertos; cuestionamientos sobre su existencia como objeto matemtico, que se revela en la terminologa 6

utilizada donde era comn llamar a las races negativas como falsa o ficticias, o menos que nada como encontramos en la Gomtrie de Descartes (1637, p, 372). As, mediante transformaciones apropiadas, las ecuaciones se convertan en otras cuyas soluciones eran nmeros positivos. Tanto Pierre de Fermat como Ren Descartes, quienes desarrollan un mtodo para abordar la geometra con apoyo del lgebra, se nutren de las ideas de Vieta respecto a la construccin geomtrica de las races de una ecuacin algebraica. Uno de los aportes ms relevantes de Descartes a las matemticas, lo constituye la asociacin de la geometra con el lgebra puramente simblica, lo que propici el desarrollo de tcnicas algebraicas en forma independiente de la visualizacin; ello permiti superar las limitaciones dimensionales del lgebra geomtrica de Euclides, al hacer que los cuadrados o los cubos de los trminos algebraicos se expresaran como magnitudes lineales y con ello se tratara de expresar a los problemas geomtricos como problemas algebraicos. Descartes presenta los principios de su geometra analtica en un libro que forma parte de su trabajo filosfico, el Discurso del Mtodo. En sntesis, el libro primero de la Gomtrie, titulado: Problemas que pueden construirse empleando slo circunferencias y lneas rectas trata de los problemas que se pueden construir sin emplear ms que los elementos mencionados. Podemos considerar que contiene el germen de la Geometra Analtica pues se plantean algunos procedimientos para resolver geomtricamente ciertas operaciones algebraicas, mostrndose tambin cmo llegar a las ecuaciones que permiten resolver ciertos enunciados de geometra. El segundo libro, De la naturaleza de las lneas curvas, proporciona quizs, el aspecto ms moderno de su trabajo. Descartes expresa que fue escrito respondiendo a la necesidad de aclarar e introducir los conceptos que se usarn en el tercer libro. Para lo cual trata problemas sobre planos, slidos y lineales es decir, aquellas lneas que no fueran ni rectas ni secciones cnicas, terminologa heredada de Pappus, mediante las ecuaciones de segundo, tercero y cuarto o mayor grado. Es aqu donde demuestra que basta conocer las relaciones que mantienen los puntos con las lneas rectas para encontrar las propiedades de las curvas, y proporciona ideas para la construccin de normales a una curva. Finalmente, en el Libro III, De la construccin de problemas que son slidos y o ms que slidos, estudia el tema de la resolucin de ecuaciones y discute las relaciones que se establecen entre las races de una ecuacin algebraica con los coeficientes de la ecuacin. Presenta su tcnica para el tratamiento de estas cuestiones que consiste en mostrar, mediante ejemplos diversos, cmo es que una ecuacin algebraica pueda tener tantas races como lo indique el grado del polinomio y presenta tambin su clebre regla de los signos, tema que nos interesa discutir en este artculo.

LA REGLA DE LOS SIGNOS DE DESCARTES EN LOS TEXTOS

Destinamos este apartado para mostrar algunos de los enunciados de la regla de los signos de Descartes como han sido presentados en libros de texto escolar y para discutir, cuando sea el caso, las argumentaciones propuestas. El tema de la regla de los signos suele presentarse en aquellos apartados sobre teora de ecuaciones en cursos de lgebra superior y, en menor proporcin, en aquellos llamados de preclculo segn la tradicin anglosajona, eventualmente tambin en algunos textos de lgebra bsica. Sin lugar a dudas, actualmente el tema ha perdido popularidad en la medida en que el clculo aproximado y la localizacin y aislamiento de races se encuentra a la baja en el terreno educativo. A fin de disponer de factores de contraste, comenzaremos presentando la versin que originalmente propusiera el propio Descartes. Como sealamos en el apartado anterior, es en la pgina 373 del Libro III de la Gomtrie que establece una relacin entre el nmero de cambios de signo de la sucesin de los coeficientes de un polinomio real con el nmero de sus races positivas. En dicho enunciado, aunque no se haga de manera explcita, se asume que los trminos del polinomio estn ordenados en forma descendente, de modo que sus potencias decrezcan; mientras que en la parte final del texto cuando se alude al mtodo para determinar el nmero mximo de races negativas se asume, implcitamente, que la ecuacin polinomial no presenta coeficientes nulos. Una adaptacin del enunciado original dado por Descartes, cambiando falsas por negativas, verdaderas por positivas y ecuaciones por ecuaciones polinomiales, versara en: Tambin se puede determinar el nmero de races positivas o negativas que cualquier ecuacin polinomial pueda tener como sigue: una ecuacin polinomial puede tener tantas races positivas como cambios de signo contenga, de + a o de a +; y tantas races negativas como nmero de veces se encuentren en sucesin dos signos + o dos signos . Para nuestros propsitos, dividiremos el enunciado anterior en dos partes. La primera, aquella que trata sobre cmo determinar el nmero mximo de races positivas de una ecuacin polinomial; mientras que la segunda, se ocupa de la determinacin del nmero mximo de races negativas de la misma. En ambos casos, como sealamos anteriormente, la ecuacin polinomial habr de ser escrita de manera que las potencias de x decrezcan: anxn+an-1xn-1 ++a2x2+a1x+a0=0 El ejemplo que Descartes discute para tratar con la primera parte de su enunciado de la regla, es una ecuacin polinomial de cuarto grado sin coeficientes nulos, a saber, x 4 4 x 3 1 9 x 2 + 1 0 6 x 1 2 0 = 0 . En esta ecuacin, el nmero de cambios de signos es tres y el nmero de races positivas es tres tambin, lo que concuerda con su enunciado. De hecho como dijimos anteriormente, la ecuacin polinomial propuesta fue construida de manera que se conocieran todas sus races positivas {2, 3, 4}, pues dicha ecuacin fue el resultado de multiplicar las ecuaciones x 2 = 0 , x 3 = 0 , x 4 = 0 , x + 5 = 0 . La segunda parte de su enunciado sera falsa, a menos que no hubiese trminos con coeficiente cero, pues si consideramos el caso de los polinomios: 8

x6x5x3x2+1, x6x4x3x2+x; la secuencia de signos en ambos es idntica {+, , , , +}, as la formulacin original de Descartes dira que ambos polinomios tienen el mismo posible nmero de races negativas, digamos que dos o ninguna. Pero la formulacin correcta para derivar el posible nmero de races negativas se logra mediante la inspeccin del polinomio auxiliar f ( x ) . As obtendramos que la sucesin de signos en el primer polinomio es {+, , +, , } y tendr, posiblemente, tres races o una raz, mientras que en el segundo la sucesin {+, +, +, , +} implica dos o cero races. Esto muestra, que Descartes al formular la segunda parte de su regla, habr tenido en mente slo a polinomios con coeficientes no nulos. Este error en la formulacin de la regla de los signos debido a Descartes, fue adecuadamente advertido pronto en el mundo acadmico, y la segunda parte de la regla fue modificada en los libros de texto y en sus posteriores formulaciones, al introducir al polinomio auxiliar f (x) como medio para localizar las races negativas de una ecuacin polinomial. En otro orden de ideas, nos llama la atencin el prrafo siguiente en el que establece su posicin respecto de la simplicidad de las demostraciones y, como dato curioso, sus comentarios sobre la actitud del lector ante el aprendizaje: he omitido aqu la demostracin de la mayora de mis enunciados, pues me parece tan fcil que si se toma la molestia de examinarlas sistemticamente, las demostraciones se presentarn ante usted y ser de mucho mayor valor aprenderlas as, que leyndolas... (Descartes, 1637, p. 389)5. Es claro que la nocin de rigor evoluciona y pertenece, por as decirlo, a una poca, entendiendo entonces, que la argumentacin es producto de acciones de una comunidad que responden a un escenario sociocultural particular (Crespo, Farfn & Lezama, 2009); de modo que interpretando la cita anterior desde una perspectiva didctica, ella sugiere el examen sistemtico como medio para la justificacin. En nuestra opinin, esta postura parece haber influido considerablemente a los autores de texto de entonces a la fecha. An ahora, en los libros de texto contemporneos, no se suele presentar a la regla de los signos de Descartes acompaada de sus demostraciones ni de justificaciones que la presenten factible frente a los estudiantes, sino ms bien, como dijera el propio Descartes, se considera que el examen de diversos ejemplos dar las pistas de su validez. As encontraremos, en los libros de texto, presentaciones que en nuestra opinin se ubican en dos vertientes: unas que se ocupan de mostrar la validez y pertinencia de la regla de los signos de Descartes a partir de ejemplos genricos y otras que se interesan por demostrarla bajo un cierto cuerpo discursivo. Entre las primeras tendremos las de (Sullivan, 1989; Mataix, 1967; Hall & Knight, 1980), mientras que entre las segundas ubicamos a las de (Dickson, 1939; Ferrar, 1943; Kostrikin, 1983; Uspensky, 1990).

...iay omis icy les demonstrations de la plus part de ce que iay dit a cause quelles mont sembl si faciles, que pourvque vous prenis la peine dexaminer methodiquement si iay failly, elles se prefenteront a vous delles mesme : & il sera plus utile de les apprendre en cete faon, qu en les lisant. (Descartes, 1637, p. 389)

Una primera observacin que podemos hacer de la revisin de los textos escolares consiste en sealar una clara coincidencia entre ellos; los autores tratan a la regla de los signos de Descartes como una tcnica de fcil aplicacin que resulta de suma utilidad para la identificacin del nmero de races reales, positivas y negativas, de un polinomio. Si bien no todos la demuestran, ni todos buscan una construccin que la dote de sentido ms all que su mera ejemplificacin, restringen su introduccin a su enunciado y exhiben el funcionamiento que sta tiene mediante ejemplos concretos. Con la intencin de compartir esta opinin, hemos entresacado de los textos citados, con un poco ms en detalle, lo que los autores hacen en su tratamiento. Iniciemos con los autores que presentan la regla sin demostrarla. Aunque en el captulo de funciones y grficas del libro de preclculo de Sullivan (1989) se tratan las operaciones grficas a un nivel introductorio y stas se extienden hasta el tratamiento de los polinomios, la regla de los signos en cambio, slo se ejemplifica con polinomios particulares y no se apoya en ningn tipo de informacin grfica para sustentarla. Dice el autor, por ejemplo, que la regla de los signos de Descartes es un resultado que provee informacin acerca del nmero y localizacin de los ceros de una funcin polinomial, por lo tanto, sostiene, ayuda a determinar dnde buscar sus ceros. Se asume implcitamente que el polinomio debe estar ordenado en potencias decrecientes de x y que se requiere contar el nmero de variaciones de signos de los coeficientes de f ( x ) y el de los coeficientes de f (x). Despus de desarrollar un ejemplo, enuncia la regla como teorema y dejar la demostracin como un ejercicio para el lector: Let f denote a polynomial function. The number of positive zeros of f either equals the number of variations in sign of the coefficients of f(x) or else equals that number less some even integer. The number of negative zeros of f either equals the number of variations in sign of the coefficients of f(x) or else equals that number less some even integer6 (Sullivan, 1989, p. 181). El texto de Hall & Knight (1980), considerado un clsico del lgebra superior, a diferencia de Sullivan, se ocupa de la regla de los signos de Descartes en el captulo destinado a la teora de las ecuaciones. Presenta la relacin entre el grado del polinomio y el nmero de sus races, as como entre stas y los coeficientes de la ecuacin. Encontramos al respecto el siguiente texto: Una ecuacin f (x)= 0 no puede tener ms races positivas que el nmero de cambios de signo que hay en f ( x ) , y no puede tener ms races negativas que el nmero de cambios de signo que haya en f (x) (Hall & Knight, 1980, p. 553). No proporciona demostracin alguna, aunque presenta una idea que sirve de base para construirla; multiplicar por un binomio cuyos signos sean respectivamente + y , lo que produce, para el ejemplo que tratan, un cambio de signo adicional a los cambios que originalmente tena el polinomio. Presentan entonces la demostracin para un caso particular. Esta idea fue

Denotemos con f a una funcin polinomial. El nmero de races positivas de f es igual al nmero de variaciones de signo de los coeficientes de f (x) o es igual a este nmero menos algn entero par. El nmero de las races negativas de f iguala el nmero de variaciones en el signo de los coeficientes de f (-x) o es igual a este nmero menos algn entero par.

10

originalmente usada por Segner en 1756 y posteriormente incorporada en la demostracin de Gauss de 1828. Por su parte, el texto de Kostrikin (1983) dedica un captulo al estudio de las races de polinomios y en su presentacin establece que esta cuestin ha dejado de ser determinante en lgebra, pero que su importancia no es discutida por nadie. Ello obedece, en su opinin, a que muchos problemas matemticos se reducen al clculo de races aisladas de polinomios concretos, o a la descripcin cualitativa del conjunto de ellas. Despus de definir raz, enuncia el teorema de Berzout7 respecto a la divisibilidad de los polinomios por binomios x raz. Trata al polinomio como una funcin y desarrolla las frmulas de interpolacin de Lagrange y de Newton. En el captulo de polinomios con coeficientes reales, estudia la descomposicin en factores irreducibles y enuncia la regla de los signos de Descartes en el apartado para la localizacin de las races. Este texto enuncia la regla como un teorema con el siguiente enunciado: El nmero de races positivas del polinomio f con coeficientes reales, coincide con L ( f ) o es menor en un nmero par (Kostrikin, 1983, p. 254). donde L ( f ) es el nmero de cambios de signo de los coeficientes del polinomio. Considera de sumo inters determinar un intervalo [a, b] donde se hallen todas las races del polinomio y tambin los intervalos donde ellas quedan aisladas unas de otras, mencionando que, en el ao de 1829, es Sturm quien proporciona la primera resolucin satisfactoria del mtodo para aislar las races. Con relacin a los autores que se ocupan de dar alguna demostracin de la regla de los signos, tenemos a Dickson (1939). En ese texto, la regla de los signos de Descartes aparece en el captulo sobre el nmero de las races reales y su aislamiento donde enuncia la regla como sigue: The number of positive real roots of a real equation either is equal to the number v of its variation of sign or is less than v by a positive even integer. A root of multiplicity m is here counted m time8 (Dickson, 1939, p. 77). En el texto de Mataix (1967) en cambio, se demuestran algunos teoremas mediante la frmula de Taylor y se utiliza cierto tipo de argumentos grficos relativos al papel que juegan las derivadas en la determinacin, por ejemplo, del nmero de ondulaciones de una grfica de una funcin polinmica. Introduce el teorema de Rolle, para discutir la ubicacin relativa de las races de la funcin con las de sus derivadas, para lo cual se vale del examen de los mximos, mnimos y puntos de inflexin. Enuncia la regla de los signos de Descartes como sigue: El nmero de races reales y positivas de una ecuacin no puede exceder al nmero de variaciones de su primer miembro, y cuando es menor, la diferencia es un nmero par (Mataix, 1967, p. 269).

Tambin conocido como Teorema del resto o de Ruffini, idea que incluso Descartes enuncia en su Geometra (1637, p.372) 8 El nmero de races positivas de una ecuacin real es igual al nmero v de sus variaciones de signo o es menor que v por un entero par positivo. Una raz de multiplicidad m es contada m veces.

11

El autor no demuestra esta aseveracin, aunque muestra por qu se presenta la paridad del nmero de races con argumentos puramente algebraicos y deriva de su presentacin las siguientes consecuencias interesantes: El nmero de races negativas de una ecuacin no puede exceder al nmero de variaciones de su transformada en x , y cuando es menor la diferencia es un nmero par. La suma ( v + v ) de las variaciones de una ecuacin y de su transformada en x no es mayor que el grado m de la ecuacin, y cuando es menor, la ecuacin tiene por lo menos m ( v + v ) races imaginarias. Si todas las races de una ecuacin son reales, el nmero p de las positivas es igual al nmero v de variaciones, y el nmero de races negativas es igual al nmero v de variaciones de la transformada en x. Si una ecuacin es completa y no tiene ms que variaciones, todas sus races reales son positivas. y finalmente, si una ecuacin no tiene ms que permanencias, todas sus races reales son negativas (Mataix, 1967, pp. 270-271). En el libro de Uspensky (1990), la regla de los signos se presenta en el captulo sobre la separacin de races en polinomios con coeficientes reales, luego de discutir el efecto que tienen sobre el signo del polinomio los valores grandes o pequeos de la variable. Afirma y utiliza en sus demostraciones el hecho de que existir una raz del polinomio si ste pasa de positivo para un determinado valor de x a negativo para otro. Se apoya tambin en el teorema de Rolle y en el teorema de Jean-Paul de Gua para probar la regla de los signos de Descartes. Enuncia la regla como: El nmero de races reales positivas de una ecuacin con coeficientes reales f ( x ) = a 0 x n + a 1 x n - 1 + + a n = 0 , nunca es mayor que el nmero de variaciones en la sucesin de sus coeficientes a 0 , a 1 , . . . , a n y, si es menor, siempre lo es en un nmero par (Uspensky, 1990, p. 138). Como dijimos, a diferencia de los libros anteriores, la demostracin se apoya en un resultado conocido como teorema de de Gua, el cual trata de la relacin entre el nmero de races de la funcin f ( x ) con el nmero de races de su derivada. Para lo cual, trabaja con la ecuacin auxiliar, F ( x ) = x f ( x ) f ( x ) = 0 en la que controlando el valor de la constante arbitraria se busca alcanzar al objetivo de la prueba. Por ltimo, en el libro de Ferrar (1943) se introduce el tema de la regla de los signos en el captulo de teora de ecuaciones despus de haber analizado algunas cuestiones sobre grficas de funciones polinomiales y donde propone una justificacin basada en el teorema de Bolzano para funciones continuas. Enuncia algunos resultados notables para el polinomio y = p ( x ) ; como por ejemplo: si p ( a ) > 0 y p ( b ) < 0 , entonces existe al menos una raz en [a, b]; o, dadas p ( x ) y p ( x ) , entonces entre dos races de p ( x ) hay al menos una de p ( x ) ; y entre dos races de p ( x ) hay al menos una de p ( x ) . Se desprende de esta afirmacin que el autor considera que el polinomio

12

p ( x ) tiene todas sus races reales, pues de otro modo no se cumplira con esta segunda afirmacin. Establece tambin que si p ( x ) tiene a la expresin ( x a ) r como factor, entonces p ( x ) tendr a la expresin ( x a ) r - 1 como factor, por tanto la multiplicidad de una raz de p ( x ) es de un orden menor en p ( x ) . Posteriormente, enuncia la regla de los signos de Descartes como un teorema que demuestra inductivamente haciendo uso de los resultados anteriores: Let p ( x ) be a given polynomial. Then the equation p(x ) = 0 cannot have more positive roots then there are changes of sign in p ( x ) 9 (Ferrar, 1943, p.141). Su demostracin, como sealamos, utiliza la induccin matemtica haciendo uso de los polinomios p ( x ) y su derivada p ( x ) . La mayora de los textos mencionados, establecen que la Regla de los signos de Descartes es una herramienta matemtica que resulta prctica cuando todas las races de la ecuacin son reales contrastando con la muy limitada de su aplicacin al no conocer de antemano, en la mayora de los casos, la naturaleza de las races.

ARGUMENTOS Y DEMOSTRACIONES
En nuestra opinin, bsicamente son dos las argumentaciones que se utilizan para demostrar o explicar la regla de los signos de Descartes en la literatura analizada. La primera de dichas formas, se apoya en el teorema fundamental del lgebra de Gauss, mientras que la segunda lo hace basando sus argumentaciones en el teorema de Bolzano o teorema del valor intermedio del anlisis matemtico clsico. Dado que la cuestin que plantea la regla de los signos de Descartes trata de la relacin que se establece entre el nmero de variaciones de signo de los coeficientes del polinomio y la cantidad de sus races positivas, las demostraciones que hemos analizado siguen, en nuestra opinin, una de dos lgicas, a las cuales llamaremos, genricamente, como el acercamiento algebraico y el acercamiento analtico. Para la lgica algebraica, la explicacin de las variaciones de signo entre los coeficientes se debe al efecto que produce sobre el signo de los coeficientes la multiplicacin del polinomio por el factor (x raz positiva); mientras que en la lgica analtica en cambio, la presencia de la raz positiva se justifica a travs de las variaciones de signo entre coeficientes. En este segundo caso se usa la explicacin del cambio de signo de la funcin en dos puntos del dominio para mostrar la existencia de races entre dichos puntos.

Sea p(x) un polinomio dado. Entonces la ecuacin p(x)=0 no puede tener ms races positivas que los cambios de signos que hay en p(x).

13

As las cosas, en un caso, se habr de multiplicar un polinomio arbitrario por un factor lineal de la forma x r , para mostrar que dicha multiplicacin introduce en el resultado al menos un cambio adicional de signo. Mientras que en el otro, la cuestin radica, no en multiplicar por un factor ms, sino en mostrar que un cambio en el signo de dos coeficientes consecutivos, o bien de dos coeficientes cuyos trminos intermedios sean cero, produce a lo ms una raz real en un cierto intervalo. Acercamiento algebraico Acercamiento analtico Si (x) = anxn + an-1xn-1 + + a1x + a0 con Si V(anxn + an-1xn-1 + + a1x + a0) = q ai ai+1< 0 para algn i f puede tener a lo V[(anxn + an-1xn-1 + + a1x + a0 )(x a)] = q + 1 ms una raz en un cierto intervalo Un cambio de signo en la lista de los Una adicin de un cambio de signo proviene de la coeficientes sucesivos, hace factible una raz presencia de una raz positiva ms positiva ms Diagrama 1. Esquema de las lgicas algebraica y analtica Analicemos, como un ejemplo de los dos acercamientos que hemos presentado en el diagrama anterior y que hemos denominado como acercamiento algebraico y acercamiento analtico, los argumentos propuestos por Hall & Knight (1980) en su texto de lgebra superior conjuntamente con la demostracin original de Gauss (1828); y discutiremos a continuacin la demostracin que brinda Ferrar (1943) como ejemplo de la lgica analtica. El argumento que utilizan los autores Hall & Knight (1980) para mostrar la validez de la regla de los signos de Descartes, descansa en el anlisis de la estructura de un ejemplo particular. Proponen considerar una sucesin especfica de signos que represente a los signos de los coeficientes de un polinomio, luego "multiplican" por los signos de un factor de la forma x a , con a > 0 y muestran que el nmero de cambios de signo crece al menos en uno. Consideran entonces, la sucesin de signos {+ + + + + } ; que ser multiplicada por la sucesin de signos {+ } . Afirman que habr cuando menos un cambio de signo ms en el producto que en el polinomio original.

A partir de este ejemplo, argumentan que una ambigedad m o reemplaza cada permanencia de signo en el polinomio original. Sealan tambin que los signos colocados antes y despus de una ambigedad son distintos y que se introduce un cambio de signo adicional en el extremo. A 14

continuacin comentan que el caso ms desfavorable es aquel en el que las ambigedades se tornan permanencias; observndose que el resultado tiene al menos un cambio adicional de signo respecto a la serie original y por tanto el resultado sera {+ + + + + + } . La argumentacin anterior est basada en una prueba presentada por Segner en 1756 ante la Real Academia de Ciencias de Berln. Su prueba de naturaleza algebraica descansa en que al multiplicar un polinomio cualquiera por un factor de la forma x a , se aumenta una variacin en los cambios de signo y que al multiplicar por un factor de la forma x+a se aumenta en una unidad el nmero de sus permanencias. La demostracin de Gauss de 1828 utiliza esa misma idea tratando con el caso ms general posible. Para ello, demuestra que si se toma un polinomio de grado uno con un cambio de signo, entonces ste tendr una sola raz positiva. Luego advierte que si se le multiplica por un factor x a se produce al menos un nuevo cambio de signo. Posteriormente toma un polinomio arbitrario y demuestra que si se le multiplica por un factor x a se incrementa tambin, como en el caso anterior, al menos en uno el nmero de cambios de signo. La demostracin de gauss a la regla de los signos de descartes, fue considerada como la ms general y elegante. Considera un polinomio x, del cual algunos de sus coeficientes pueden ser cero y lo representa de la siguiente manera: X = xm + nxn + pxp + qxq v Donde nxn es el primer trmino negativo, +pxp es el primer trmino sucesivo positivo, etctera. El producto de x por un binomio x a, a > 0, tendr la forma: X (xa) = xm+1+n'xn+1 + p'xp+1+ q'xq+1 Con n', p', q' positivos. El producto cambia entonces el signo, al menos en una unidad adicional, pues si se consideran los trminos cuyo signo no se conoce (como cero o sin cambio), slo se ha agregado un cambio ms. Naturalmente este producto podr tener ms cambios de signo, pero el enunciado a demostrar dice que este producto produce al menos un cambio ms de signo. As fue probada por gauss la regla de los signos de descartes. Si seguimos los clculos a los que hace referencia Gauss, notaremos con mayor nitidez la estructura de su argumentacin. Supongamos que un polinomio general: F (x) = xm + am-1 xm-1 ++ a1 x + a0 Es escrito en la forma Xm + nxn + pxp + qxq vxv , Donde n, p, q, ..., v son positivos y nxn es el primer trmino negativo, +pxp es el primer trmino positivo despus de nxn y as sucesivamente. De esta manera se agrupan los trminos del polinomio f(x) en bloques del mismo signo, es decir, sin variaciones de signo en cada uno de ellos, se tendr: (xm++an+1xn+1) (anxn++ap+1xp+1)+ (apxp++aq+1xq+1) (aqxq++av+1xv+1) + (avxv++a0)

15

Se observa que al multiplicar por el factor x a, con a > 0, usando el mtodo de la multiplicacin sinttica considerando slo los signos de los coeficientes se tendr lo siguiente:

En tal caso, siempre el primer trmino del bloque resultante conserva el signo del polinomio original, salvo en su ltimo trmino, donde cambia de signo. De modo que el resultado tendr, al menos, un cambio de signo ms respecto del original. Por otra parte, para el caso de los argumentos de tipo analtico que encontramos en la revisin de los textos escolares, la presentacin es sensiblemente diferente que la de aquellos de corte algebraico. Veamos como un ejemplo, el caso de la demostracin de Ferrar (1943, pp.133-160) en su libro de lgebra superior destinado a los primeros aos universitarios. En este texto se introduce el tema de la regla de los signos en el captulo sobre la teora de ecuaciones, a la par que trata con algunas ideas relativas a la continuidad de funciones. Se ocupa de las grficas de los polinomios al discutir qu curvas podran describir polinomios (las ondas suaves) y cuales no (aquellas con picos) y discute algunos teoremas elementales ya mencionados en la seccin anterior, algunos de los cuales son resultados clave en su demostracin de la regla de los signos de descartes, donde utiliza induccin matemtica trabajando simultneamente con la funcin y su derivada como se muestra a continuacin. Sea p(x) un polinomio dado. Entonces la ecuacin p(x)=0 no puede tener ms races positivas que los cambios de signos que hay en p(x) (ferrar, 1943, p. 141). El autor inicia mostrando que el teorema es verdadero para polinomios lineales y supone que el teorema es verdadero para un polinomio p ( x ) de grado n 1 . Considera al polinomio p ( x ) = a n x n + a n - 1 x n - 1 + + a 1 x + a 0 , que tiene m cambios de signo y donde a 0 > 0 . Analiza la situacin organizndola en casos, primero, para a 1 > 0 el segundo cuando a 1 < 0 y el tercero para a1=0. I) el teorema es vlido cuando el polinomio p ( x ) es de primer grado; pues la ecuacin a 1 x + a 0 = 0 no puede tener una raz positiva al menos que a1 y a0 tengan signos opuestos. II) supone ahora que el teorema es cierto para polinomios de grado n 1 y considera primero cualquier polinomio de grado n con trmino constante positivo, es decir, p ( x ) = a n x n + + a 1 x + a 0 = 0 , con a 0 > 0 y el cual tiene m cambios de signo. IIA) sea a 1 > 0 . Ningn cambio de signo se pierde cuando el trmino a 0 (positivo) se omite al derivar, pues p (x)= n a n x n 1 + + a 1 tambin tiene m cambios de signo. Por ii), p (x)= 0 no puede tener ms que m races positivas. Debido a que p (0)= a 0 y p (0)= a 1 son 16

ambos positivos, la grfica de p(x) cerca de x = 0 tiene la forma indicada en la figura iia. En ella, la grfica crece desde a 0 pues p (0) es positiva, y a representa la raz positiva ms pequea de p (x)= 0. (si p (x)= 0 no tiene raz positiva, la grfica crece incesantemente desde a 0 en adelante y la ecuacin p(x)= 0 no tiene races positivas).

Figura II A IIB) sea a 1 < 0 . Entonces p (x)= n a n x n 1 + + a 1 t iene m 1 cambios de signo, pues se pierde un cambio cuando el trmino positivo a0 desaparece. Como p (0)= a 1 es negativo, la grfica de p (x) cerca de x = 0 desciende y tiene una de las formas indicadas en la figura ii b.

Figura II B Por II), p(x)= 0 tiene a lo ms m1 races positivas. Entre ellas estn a lo ms m2 races de p(x)= 0; una raz de p(x)= 0 puede estar entre o y a y otra a la derecha de la raz positiva ms grande de p (x)= 0. As p(x)= 0 no puede tener ms que m races positivas. IIC) sea a1= 0. Entonces, la ecuacin puede ser anxn+a0= 0, la cual no tiene races positivas cuando an y a0 tienen el mismo signo, y a lo ms una cuando an y a0 tengan signos opuestos, y as el teorema es probado directamente; o la ecuacin es anxn++arxnr+a0= 0, donde ar 0 y no existen trminos en x, x2, ..., xn-r-1. Cuando ar > 0, p (x) es positivo para x pequeos y el argumento procede exactamente como en IIA), salvo que la tangente a la grfica en a0 es paralela al eje x. Cuando p (x) es negativo, el argumento procede como en iib), siempre con la tangente en a0 paralela al eje x, por tanto, p(x) = 0 no tiene ms que m races positivas. Si a0 es negativo, se aplica el trabajo previo a la ecuacin. En caso de que a0 sea cero y el polinomio contiene al trmino xk, pero no xk+1, como un factor, se aplica el trabajo al polinomio obtenido al dividirlo por xk, pues quitar este factor no altera el nmero de las races positivas ni el signo de los varios trminos del polinomio. As en todos los casos, si el teorema es cierto cuando p(x) es de grado n1, entonces es tambin cierto cuando p(x) es de grado n; entonces, por induccin, es cierto para ecuaciones de cualquier grado. 17

En esta prueba el autor basa sus argumentos en las grficas cuyos puntos de retorno no estn sobre el eje x, pero seala que en caso de que existan puntos de retorno sobre el eje x, digamos que en x= a, entonces (xa)k es un factor de p (x) y (xa)k+1 es un factor de p(x).

A MANERA DE SNTESIS. PARTE I

El desarrollo de nociones y conceptos como funcin, raz o solucin, precisan de grandes periodos de evolucin hasta alcanzar sus estados actuales. Durante este tiempo las nociones se modifican y adquieren progresivamente significados que les son caractersticos. Por esa razn que consideramos importante indagar respecto al proceso de construccin de los significados compartidos asociados a los conceptos y procedimientos matemticos a lo largo de su devenir histrico y social. Pues comprender estos episodios, es nuestra tesis, resulta valioso al momento de buscar explicarse el por qu dichas entidades matemticas resultan tan resistentes al entendimiento de los alumnos de nuestros das. Dos destacados estudios con esta filosofa y referidos respectivamente a la nocin de funcin logaritmo y a la nocin de punto de inflexin pueden consultarse en (Ferrari, 2008; Castaeda, 2004). El artculo que ahora presentamos sobre la regla de los signos de Descartes, centr su atencin en un mtodo que se encuentra en el cruce de caminos entre los procedimientos algebraicos y analticos y en una poca marcada por el nacimiento de un nuevo espritu cientfico. Como se pudo apreciar en estas pginas, hemos sintetizado aspectos de la evolucin de un teorema, ires y venires. Aunque la presentacin ha sido limitada a algunos rasgos de su historia, creemos que ilustra el sentido de la bsqueda de la construccin social del conocimiento que sustenta la socioepistemologa en el sentido de Cantoral, Farfn, Lezama, Martnez (2006), pues si bien el teorema que hemos estudiado es publicado por descartes y por Harriot, hecho que dio lugar a una muy prolongada polmica respecto de la originalidad del resultado (Stedall, 2000), es cierto tambin que su completa demostracin y difusin institucional se ha debido a una gran cantidad de personas en contextos y circunstancias concretas. Consideramos tambin que el conocimiento matemtico, como parte de la cultura, vive en instituciones y se materializa a travs de las prcticas y contextos que les son propios. La prediccin, la regla de los signos, la teora de ecuaciones o la nocin de verdad en la ciencia, comparten escenarios y circunstancias culturales, histricas e institucionales. Las actividades humanas que acontecen al seno de organizaciones sociales impregnan por igual a las prcticas cotidianas como aquellas que consideraramos las ms especializadas; en este sentido, al atender a estas cuestiones creemos que un amplio programa de investigacin emerge en beneficio del quehacer didctico. El problema de la estructuracin del conocimiento escolar, cada vez con ms claridad, est siendo entendido como un verdadero asunto de investigacin cientfica. Este aporte en consecuencia, se suma a aquellos que plantean el estudio sistmico del quehacer educativo 18

REFERENCIAS BIBLIOGRFICAS
Acevedo, M. & Falk, M. (2000). Formacin del pensamiento algebraico de los docentes. Revista Latinoamericana de Investigacin en Matemtica Educativa 3(3), 245 264. Anderson, B., Jackson, J. & Sitharam, M. (1999). Descartes' Rule of Signs Revisited. American Mathematical Monthly 105(5), 854 856. Bartolozzi, M. & Franci, R. (1993). La Regola del Signi dall'Enunciato di R. Descartes (1637) alla Dimostrazione di C. F. Gauss (1828). Archive for History of Exact Sciences 45(4), 335 374. Borowczyk, J. (1989). Sur l'histoire des dmonstrations de la rgle des variations de signe de Descartes. La Dmonstration mathmatique dans l'histoire. Actes du 7me colloque inter IREM Epistmologie et Histoire des Mathmatiques, IREM de Besanon et IREM de Lyon, 275 293. Cantoral, R., Farfn, RM., Lezama, J. & Martnez-Sierra, G. (2006). Socioepistemologa y representacin: algunos ejemplos. Revista Latinoamericana de Investigacin en Matemtica Educativa 9(4), 83 102. Cantoral, R. (1995). Acerca de las contribuciones actuales de una didctica de antao: el caso de la Serie de Taylor. Mathesis 11(1), 55 101. Cantoral, R. & Farfn, R.M. (1998). Pensamiento y lenguaje variacional en la introduccin del anlisis. Epsilon, Vol. 42, Nm. 14(3), 353 369. Cantoral, R. & Ferrari, M. (2004). Uno studio socioepistemologico sulla predizione. La matematica e la sua didattica 2 (pp. 3370). Bologna, Italia: Pitagora Editrice. Cantoral, R., Molina, J. & Snchez, M. (2005). Socioepistemologa de la prediccin. En J. Lezama, M. Snchez & J. Molina (Eds.) Acta latinoamericana de Matemtica Educativa 18 (463-468). Mxico: Clame. Cantoral, R. & Mirn, H. (2000). Sobre el estatus de la nocin de derivada: De la epistemologa de Joseph Louis Lagrange al diseo de una situacin didctica. Revista Latinoamericana de Investigacin en Matemtica Educativa 3(3), 265 292. Castaeda, A. (2004). Un acercamiento a la construccin del conocimiento: Estudio de la evolucin didctica del punto de inflexin. Tesis de Doctorado no publicada. Centro de Investigacin en Ciencia Aplicada y Tecnologa Avanzada -IPN, Mxico. Cordero, F. (1998). El entendimiento de algunas categoras del conocimiento del clculo y anlisis: el caso del comportamiento tendencial de las funciones. Revista Latinoamericana de Investigacin en Matemtica Educativa 1(1), 56 74. Cordero, F. (2001). La distincin entre construcciones del Clculo: Una epistemologa a travs de la actividad humana. Revista Latinoamericana de Investigacin en Matemtica Educativa 4(2), 103-128. Crespo, C., Farfn, R.-M. & Lezama, J. (2009). Algunas caractersticas de las argumentaciones y la matemtica en escenarios sin influencia aristotlica. Revista Latinoamericana de Investigacin en Matemtica Educativa 12(1), 29 66. Descarte, R. (1637). La Geometra. Mxico: Serie Matemticas, IPN y Limusa. Dickson, L. E. (1939). New course in the theory of Equation. NY, USA: John Wiley & Sons. 19

Farfn, R.-M. (1997). Ingeniera didctica: la matemtica de la variacin y el cambio. Mxico: Grupo Editorial Iberoamrica. Ferrar, W. L. (1943). Higher Algebra for School. UK: Oxford University Press. Ferrari, M. (2008). Un estudio socioepistemolgico de lo logartmico: de multiplicar sumando a una primitiva. Tesis de Doctorado. Departamento de Matemtica Educativa. Cinvestav-IPN, Mxico. Ferrari, M. & Farfn, R. M. (2008). Un estudio socioepistemolgico de lo logartmico: La construccin de una red de modelos. Revista Latinoamericana de Investigacin en Matemtica Educativa 11(3), 309-354. Gauss, C. F. (1828). Beweis eines algebraischen Lehrsatzes. Journal fr die reine und angewandte Mathematick. 1 4. Grabiner, D. (1999). Descartes' Rule of Signs: Another Construction. American Mathematical Monthly 106(9), 854 - 856. Hall, H. S. & Knight, S. R. (1980). lgebra Superior. Mxico: Unin tipogrfica editorial hispano americano. Kostrikin, A. I. (1978). Introduccin al lgebra. Mosc, Rusia: Editorial MIR. Kurosch, A. G. (1981). Curso de lgebra Superior. Mosc, Rusia: Editorial MIR. Lacroix, S. F. (1797). Trait lmentaire de calcul diffrentiel, et de calcul intgral. Bachelier Imprimeur Libraire de lEcole Polytechnique. Lagrange, J. L. (1797). Thorie des fonctions analytiques. Imprimeur libraire pour les mathmatiques. Mataix, C. (1967). Anlisis algbrico e infinitesimal. Madrid, Espaa: Editorial Dossat. Snchez, G., Garca, M. & Llinares, S. (2008). La comprensin de la derivada como objeto de investigacin en didctica de la matemtica Revista Latinoamericana de Investigacin en Matemtica Educativa 11(2), 267 296. Stedall, J. (2000). Robd of Glories: The Posthumous Misfortunes of Thomas Harriot and His Algebra. Archive for History of Exact Sciences 54(6), 455 497. Sullivan, M. (1989). Precalculus. USA: Maxwell Macmillan International Editions. Taylor, B. (1715). Methodus incrementorum directa et inversa. Gran Bretaa. Uspensky, J. V. (1990). Teora de Ecuaciones. Mxico: Noriega Limusa. Vrancken, S. & Engler, A. (2008). Una propuesta para la introduccin del concepto de derivada desde la variacin. Anlisis de resultados. Revista Premisa Agosto 2008 10(38), 36 45.

20