Tesis Maestria2020 DWRJ
Tesis Maestria2020 DWRJ
Tesis Maestria2020 DWRJ
net/publication/340167219
CITATIONS READS
0 221
2 authors:
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Diana Wendolyne Ríos Jarquín on 25 March 2020.
POLITÉCNICO NACIONAL
Unidad Zacatenco
teoremas fundamentales
Maestra en Ciencias
Director de la Tesis:
CVU – 725870
Agradecimientos
A mis sinodales, la Dra. Gilda Bolaños y el Dr. Francisco Cordero, por sus
reflexiones, por contribuir en este proceso, porque una etapa finaliza y otra
comienza.
Abstract ................................................................................................................................. v
1. Presentación ..................................................................................................................... 2
Categorías de análisis........................................................................................... 47
i|Página
De la relación derivada-integral definida, a la organización de derivadas sucesivas
.......................................................................................................................................................... 128
ii | P á g i n a
Resumen
Así, el objetivo de esta investigación ha sido una reconstrucción racional del saber
transversal entre los tres teoremas mediante las prácticas, significados y procedimientos
propios de su génesis, sus ideas germinales. Dicha reconstrucción racional se sustenta en la
Teoría Socioepistemológica, enlazando de manera sistémica elementos de carácter
epistemológico y sociocultural propios de su génesis histórica (contexto y obras
matemáticas), formas de pensamiento inherentes a su comprensión (tesitura cognitiva) y
aspectos didácticos y dificultades que emanan de su enseñanza actual. Para ello se realizó
una problematización del saber matemático mediante la historización y dialectización de
los tres teoremas fundamentales por medio del análisis de obras originales: Elementos de
Euclides, Arte analítico de Viète, Geometría de Descartes, correspondencia de Newton,
Métodos directos e indirectos de incremento de Taylor, Disquisiciones Aritméticas y tesis
doctoral de Gauss.
iii | P á g i n a
iv | P á g i n a
Abstract
Thus, the objective of this research has been a rational reconstruction of the
transversal knowledge between the three theorems through the practices, meanings and
procedures proper to their genesis, their germinal ideas. This rational reconstruction is based
on the Socioepistemological Theory, linking in a systemic way element of epistemological
and socio-cultural character typical of its historical genesis (context and mathematical
works), ways of thinking inherent to its understanding (cognitive frame) and didactic aspects
and difficulties emanating from its current teaching. To this end, a problematization of
mathematical knowledge was carried out through the historización and dialectización of
the three fundamental theorems by means of the analysis of original works: Elements of
Euclid, Analytical Art of Viète, Geometry of Descartes, Correspondence of Newton, Direct
and Indirect Methods of Increment of Taylor, Arithmetic Disquisitions and doctoral thesis of
Gauss.
As a result of this research, we identified that the essential elements of their meaning
- constructed through the exercise of regulated practices - constitute what we have
postulated as a conjecture in a structural sense, this being an example of how practices
precede and accompany objects and how, through them, their meanings are articulated.
Thus, this research provides us with elements for the construction of learning situations that
allow us to build scaffolds between such knowledge as well as more robust meanings that,
in the end, are part of the inclusive proposal of the Socioepistemological theory.
v|Página
vi | P á g i n a
Introducción
Por otro lado, reconocemos que las tesis de grado suelen tratar con un concepto o
con una única relación entre conceptos, pocas veces se estudian de manera simultánea
las relaciones entre teoremas y más aún cuando los conceptos involucrados corresponden
a zonas curriculares disjuntas. Pues bien, en esta investigación sostendremos como hipótesis
que los tres teoremas tienen elementos matemáticos y epistemológicos comunes —los
cuales localizaremos en esta tesis— que permiten hablar de una transversalidad conceptual
que, eventualmente, puede ser de gran utilidad didáctica.
vii | P á g i n a
el número desconocido de elementos y el ordenamiento o clasificación por paquetes con
sus restos. El ejemplo es el siguiente:
La resolución de este problema se puede encontrar por varias vías, en nuestro caso
lo usamos para mostrar algunos de los elementos de base que usaremos en esta
investigación. Es decir, en nuestro caso elegimos tres teoremas denominados, por la
literatura didáctica, teoremas fundamentales. Sean estos: T1, T2 y T3, los cuales corresponden
al Teorema Fundamental del Aritmética, Teorema Fundamental del Álgebra y Teorema
Fundamental del Cálculo respectivamente. Un análisis estructural de ellos diría lo siguiente:
Siendo A un conjunto con dos operaciones + y •, que admite el neutro para la suma
+, denominado 0; y un producto • que admite un elemento neutro, el 1; cuyas operaciones
son además asociativas para el producto y distributivas para la suma y el producto. Se
afirma entonces que existe una descomposición única de los elementos de A, una
reescritura única que les caracteriza
viii | P á g i n a
Este es un resultado de importancia matemática considerable que se redescubre
en esta tesis, mediante el empleo del enfoque teórico centrado en prácticas denominado
socioepistemológico. Dicha descomposición permitirá a la postre la localización de
elementos de transversalidad que serán de utilidad para fines didácticos, en síntesis, la
conjetura o hipótesis a probar es:
T1 T2 T3
C1
TFAr TFAl TFC-T
Ver tablas 11 y 16
Para el caso del T1, A es el anillo conmutativo de los enteros ℤ; en el siguiente caso,
el teorema T2, A es el anillo conmutativo de los polinomios en la indeterminada 𝑋, y para el
teorema T3, es el anillo de polinomios de Taylor cuyos coeficientes se corresponden con las
derivadas sucesivas de funciones analíticas.
Tanto T1, como T2 y T3 son teoremas de naturaleza distinta, que operan sobre objetos
distintos, pero en todos los casos, se logra afirmar que existe un reordenamiento para cada
elemento del A correspondiente. En unos casos, se hará uso de la descomposición en
primos, en otro en la descomposición en factores lineales y en otro basado en el Binomio
de Newton, en descomposición de factores compuestos. Siendo así, una ruta de trabajo
didáctico se abre para el diseño de situaciones de aprendizaje inclusivas. La conjetura C 1,
señala que, partiendo de lo común y más básico, es posible llegar a las generalizaciones y
abstracciones más diversas. En esta tesis se elaborará una reconstrucción racional que le
da sentido y certeza a la conjetura, digamos que la robustece.
ix | P á g i n a
1. Presentación
El surgimiento de esta investigación se debe, particularmente, a un cambio en la
mirada del conocimiento matemático, cambio que – en lo personal – surgió a partir de la
experiencia con tareas que involucran el desarrollo del Pensamiento y Lenguaje Variacional
(PyLV), pues es mediante éstas que he reconocido la gran diversidad de significados que
se encuentran diluidos en el discurso escolar actual. Este cambio en la mirada hacia el
conocimiento matemático tuvo lugar a partir de las reflexiones grupales en los primeros
semestres del posgrado en el Departamento de Matemática Educativa en el Centro de
Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Cinvestav-IPN)
cuando, sin darnos cuenta, comenzamos a cuestionar la forma en que hemos aprendido
matemáticas. Para ilustrar lo anterior, retomaré un ejemplo similar a los abordados en el
Seminario de Pensamiento Matemático I:
Método 1.
Una forma tradicional de abordar esta pregunta podría ser asignar valores a la
variable independiente y encontrar los respectivos valores de la variable dependiente 𝑓(𝑥),
de este modo podrían encontrarse algunas coordenadas por donde pase la gráfica de 𝑓:
𝑓(−3) = (−3)3 − 2(−3)2 − (−3) + 2 = −40
⋮
𝑓(3) = (3)3 − 2(3)2 − (3) + 2 = 8
𝒙 𝒇(𝒙)
-3 -40
-2.5 -23.63
-2 -12
-1.5 -4.38
-1 0
0 2
1 0
2 0
2|Página
3 8
Este método es muy común en los primeros pasos de la enseñanza de las gráficas
de funciones y lugares geométricos, sin embargo, no implica el reconocimiento del
comportamiento de la función en las regiones cercanas a sus raíces —comportamiento
local— pues éste depende sólo de la cantidad de puntos evaluados de la función lo que sí
es posible significar mediante un enfoque variacional, y ésa es precisamente la
aproximación del siguiente método.
Método 2.
3|Página
Figura 3. Raíces de 𝑓(𝑥)
Ahora bien, considerando que cada uno de los términos lineales corresponde a una
recta: 𝑦1 = 𝑥 − 1; 𝑦2 = 𝑥 + 1; 𝑦3 = 𝑥 − 2, es posible visualizar la curva 𝑓(𝑥) mediante el
comportamiento de 𝑦1 , 𝑦2 y 𝑦3 antes y después de las regiones comprendidas entre las
raíces, de esta forma sabremos las regiones por las cuales atraviesa la curva de 𝑓:
Observemos que en la región A no hay valores de ninguna de las rectas por lo cual,
el producto de los valores en el intervalo (−∞. −1] es siempre negativo y mientras más
alejado esté del −1 “más negativo es” por lo cual, en ese intervalo la gráfica de 𝑓 es
creciente y negativa; en el intervalo [−1,1] dado que los extremos son raíces, la gráfica de
𝑓 pasa de negativa a positiva en (−1, 0) y de positiva a negativa en (1, 0), además de que
en 𝑥 = 0 el producto de los valores que toman cada una de las rectas es (1)(−1)(−2) = 2,
por lo tanto 𝑓(0) = 2, lo cual también puede deducirse de la expresión original de 𝑓(𝑥); un
análisis similar se realiza para las regiones comprendidas en el intervalo [1,2] y finalmente en
[2, ∞) debido a que todas las rectas son crecientes y positivas, la imagen de su producto
también lo es.
4|Página
En síntesis, se tiene lo siguiente:
respectivamente
iii. En 𝑥 = 0, 𝑓(𝑥) = 2 por lo cual, la gráfica de 𝑓 pasa por el punto (0,2).
5|Página
Figura 5. Gráfica de 𝑓
Este segundo método requiere no sólo de algunos conocimientos del álgebra y del
cálculo sino de la articulación de ellos y con esto, de un significado más amplo de la
función. Así pues, esta segunda aproximación fue la que me permitió mirar más allá de los
conocimientos matemáticos que solía utilizar en la licenciatura y ante este, se sumó una
pregunta más interesante aún: ¿es necesario conocer todas las regiones por las cuales
atraviesa la gráfica de 𝑓?, ¿con cuántas bastaría?
6|Página
• Descomposición de un polinomio en factores irreducibles (Teorema
Fundamental del Álgebra)
• Producto de rectas (Producto de funciones lineales)
• Ubicación de máximos y mínimos (Criterios de la primera y segunda
derivada)
7|Página
Hipótesis de investigación
Es por ello que, al inicio de esta investigación hemos postulado como hipótesis “la
existencia de relaciones y elementos epistemológicos y conceptuales de naturaleza
transversal entre los Teoremas Fundamentales del Aritmética, el Álgebra y el Cálculo” de
los cuales, emergen significados de manera articulada.
8|Página
9|Página
2. Problemática de investigación
2.1 discurso Matemático Escolar (dME)
1 De acuerdo con Cantoral (2019), se propone una clasificación de tres tipos de objeto matemático: los
del primer tipo refieren a un concepto o una noción matemática, expresado mediante axiomas o definiciones, es
un objeto matemático básico; los del segundo tipo son operaciones, reglas y procedimientos con los objetos del
primer tipo; los del tercer tipo son proposiciones, teoremas o conjeturas.
10 | P á g i n a
𝑛 = 𝑝1 𝑝2 ∙∙∙ 𝑝𝑠 = 𝑞1 𝑞2 ∙∙∙ 𝑞𝑡 (1)
Queremos demostrar que 𝑠 = 𝑡 y que cada 𝑝 es igual a algún 𝑞. Dado que 𝑝1 divide
el producto 𝑞1 𝑞2 ∙∙∙ 𝑞𝑡 , debe dividir a uno, por lo menos, de los factores. Ordenaremos
los 𝑞1 , 𝑞2 , … 𝑞𝑡 de forma que 𝑝1 |𝑞1 . Entonces 𝑝1 = 𝑞1 ya que 𝑝1 y 𝑞1 son primos. En (1)
podemos dividir por 𝑝1 obteniendo
Si 𝑠 > 1 o 𝑡 > 1, entonces 1 < 𝑛⁄𝑝1 < 𝑛. La hipótesis de inducción nos dice que las dos
11 | P á g i n a
Ilustración 6. Ejercicio escolar relativo a la factorización en primos
𝛽 𝛽 𝛽
𝑛 = 𝑝1 1 𝑝2 2 ∙∙∙ 𝑝𝑘 𝑘
Donde 𝑝1 ,∙∙∙ 𝑝𝑛 son primos distintos y 𝛽1 ,∙∙∙ 𝛽𝑛 son enteros positivos. Esta factorización se
llama la factorización prima de 𝑛.
12 | P á g i n a
que es cierto para 𝑘 + 1. Si 𝑘 + 1 es primo, listo. Si 𝑘 + 1 es compuesto, entonces
existen 𝑎, 𝑏 ∈ ℤ, 1 < 𝑎 ≤ 𝑏 < 𝑘 + 1, tal que 𝑘 + 1 = 𝑎𝑏. Pero, por hipótesis de inducción
𝑎 y 𝑏 factorizan como producto de primos, así que 𝑘 + 1 también factoriza como
producto de primos, a saber, los factores de 𝑎 y 𝑏.
𝑟𝑖1 𝑟𝑖2 ∙∙∙ 𝑟𝑖𝑛 = 𝑞𝑗1 𝑞𝑗2 ∙∙∙ 𝑞𝑗𝑚 (todos distintos)
Entonces
𝑟𝑖1 (𝑟𝑖2 ∙∙∙ 𝑟𝑖𝑛 ) = 𝑞𝑗1 𝑞𝑗2 ∙∙∙ 𝑞𝑗
𝑚′
Es decir, 𝑟𝑖1 divide a 𝑞𝑗1 𝑞𝑗2 ∙∙∙ 𝑞𝑗 entonces por el lema de Euclides, 𝑟𝑖1 divide a algún
𝑚′
𝑞𝑗𝑡 , por tanto 𝑟𝑖1 = 𝑞𝑗𝑡 : Contradicción pues los asumimos distintos.
13 | P á g i n a
principalmente al estudio de la proporcionalidad en niveles posteriores en educación
secundaria.
Por otro lado, dentro del Eje Forma, Espacio y Medida (SEP, 2017a), se incluye el
estudio de las magnitudes y su medida en un sentido operativo y convencional, debido a
su importante aplicación en problemas de las ciencias naturales y sociales. Sin embargo,
aún si reconocemos la necesidad del estudio de la medida en este sentido, también
consideramos que no es suficiente para explorar y construir significados alrededor de la
noción de medida en un sentido amplio, en el cual se ha de considerar la naturaleza de la
magnitud en cuestión. En este sentido, de acuerdo con Galo, (2019) la noción misma de
medida se construye, más aún, “ante la imposibilidad de medir se compara”.
14 | P á g i n a
15 | P á g i n a
De acuerdo con la tabla anterior, previo al estudio de la noción de divisibilidad, la
noción de número es ampliamente tratada desde un enfoque por conteo de colecciones,
además de involucrar técnicas y procedimientos de tipo aditivo y multiplicativo para
estimar y calcular cantidades mayores a 100 unidades. Por otra parte, no es explícito en la
propuesta, el papel de la construcción de la unidad como elemento básico en el trabajo
con el número, aún si ésta es requerida para el estudio de los números fraccionarios, tema
abordado en el 2º ciclo de nivel primaria.
Más aún, en el tema particular que interesa en esta investigación y de acuerdo con
la tabla anterior, el tratamiento de la factorización en primos, requiere del uso de criterios
de divisibilidad aún antes de haber trabajado con el procedimiento del cálculo del máximo
común divisor y el mínimo común múltiplo —que como veremos más adelante en el análisis
epistemológico en la obra de Euclides son previos a la génesis del Teorema Fundamental
del Aritmética— además de esto, no se hace alusión a la noción de indivisibilidad del
número previo a esto, lo cual es consistente con la hipótesis propuesta por Zaskis y Campbell
(1996).
16 | P á g i n a
continuar este proceso indefinidamente y, por tanto, se ha encontrado una
factorización para 𝑓.
Ahora hay que probar la unicidad. Para eso requerimos del siguiente lema:
Lema. Sea 𝑝 irreducible en 𝐾[𝑡]. Sean 𝑓, 𝑔 ∈ 𝐾[𝑡] polinomios no nulos y supóngase que
𝑝 divide a 𝑓𝑔. Entonces 𝑝 divide a 𝑓 o 𝑝 divide a 𝑔.
Prueba. Supóngase que 𝑝 no divide a 𝑓. Entonces, el máximo común divisor de 𝑝 y
de 𝑓 es igual a 1 y, por tanto, existen polinomios ℎ1 , ℎ2 en 𝐾[𝑡] tales que
1 = ℎ1 𝑝 + ℎ2 𝑓.
Al multiplicar por 𝑔 se obtiene
𝑔 = 𝑔ℎ1 𝑝 + 𝑔ℎ2 𝑓
Pero 𝑓𝑔 = 𝑝ℎ3 para algún ℎ3 , de donde
𝑔 = ( 𝑔ℎ1 + ℎ2 ℎ3 )𝑝,
Y 𝑝 divide a 𝑔, como se quería demostrar.
El lema se aplica cuando 𝑝 divide a un producto de polinomios irreducibles 𝑞1 ⋯ 𝑞𝑠 .
En ese caso, 𝑝 divide a 𝑞1 o 𝑝 divide a 𝑞2 ⋯ 𝑞𝑠 . En el último caso, se procede
inductivamente y se concluye que, en cualquier caso, existe algún 𝑖 tal que 𝑝 y 𝑞𝑖
difieren por un factor constante.
Supóngase ahora que tenemos dos productos de polinomios irreducibles
𝑝1 ⋯ 𝑝𝑟 = 𝑞1 ⋯ 𝑞𝑠
Luego de renumerarlos 𝑞𝑖 se puede suponer que 𝑝1 = 𝑐1 𝑞1 para alguna constante 𝑐1 .
Cancelando 𝑞1 , se obtiene
𝑐1 𝑝2 ⋯ 𝑝𝑟 = 𝑞2 ⋯ 𝑞𝑠
Repitiendo el argumento inductivamente, se concluye que existen constantes 𝑐𝑖
tales que 𝑝𝑖 = 𝑐𝑖 𝑞𝑖 para todo 𝑖, después de hacer una posible permutación de
𝑞1 , … , 𝑞𝑠 . Esto prueba la unicidad deseada (Lang, 1987).
17 | P á g i n a
demostración será abordada posteriormente en el Capítulo 5, como parte del soporte
epistemológico de esta investigación.
Tal como hicimos en el caso anterior, reconocemos la naturaleza del TFAl como
objeto matemático, que involucra una amplia serie de nociones y conceptos matemáticos
elementales, dentro de los cuales se encuentran las ecuaciones, los polinomios y las
operaciones entre ellos, sin mencionar el uso de la divisibilidad como argumento de base
para la reducción del grado del polinomio. A continuación, retomaremos algunos de los
aprendizajes clave que están vinculados a los conceptos anteriores y que son promovidos
en el currículo de educación Media Básica en México. De acuerdo con SEP (2017), estos
son:
Secundaria
1o 2o 3o
Calcula valores faltantes Resuelve problemas de
Proporcionalidad
en problemas de proporcionalidad
proporcionalidad directa, directa e inversa y de
con constante natural, reparto proporcional.
fracción o decimal
(incluye tablas de
variación)
18 | P á g i n a
Con base en los aprendizajes clave recabados de la propuesta curricular mexicana
para la educación secundaria, se reconoce que el acercamiento para la construcción de
ecuaciones se basa en la generalización de patrones de progresiones geométricas, las
cuales van desde conceptos como el de proporcionalidad y ecuaciones, hasta funciones
y patrones, figuras geométricas y expresiones equivalentes, considerando el estudio de
distintos tipos de variación mediante sus diferentes representaciones: tabular, gráfica y
algebraica.
Bachillerato General
Álgebra Eje. Del pensamiento aritmético al lenguaje algebraico
Reconoce la existencia de las variables y distinguen sus usos como
Uso de las variables y las
número general, como incógnita y como relación funcional.
expresiones algebraicas
Evalúa expresiones algebraicas en diversos contextos numéricos.
De los patrones numéricos Reconocen patrones de comportamiento entre magnitudes
a la simbolización Formula de manera coloquial escrita (retórica), numérica y
algebraica gráficamente patrones de comportamiento.
Variación lineal como Expresa de manera simbólica fenómenos de naturaleza
introducción a la relación proporcional en el marco de su vida cotidiana.
funcional
Opera y factoriza polinomios de grado pequeño.
Representación y Significa, gráfica y algebraicamente las soluciones de una
resolución de sistemas de ecuación.
ecuaciones lineales Interpreta la solución de un sistema de ecuaciones lineales.
Tabla 2. Adaptación propia de SEP (2017b)
19 | P á g i n a
• Extensión de propiedades y operaciones aritméticas al campo de las
expresiones algebraicas
Uno de los primeros textos donde fue introducido en su forma actual como Teorema
Fundamental del Cálculo, fue en Courant (1936), y se muestra de la siguiente manera:
La integral indefinida
𝑥
∅(𝑥) = ∫ 𝑓(𝑢)𝑑𝑢
𝑎
de una función continua 𝑓(𝑥) siempre posee una derivada ∅′ (𝑥), a más aún,
∅′ (𝑥) = 𝑓(𝑥)
Esto es, la diferenciación de la integral indefinida de una función continua dada siempre
nos da la misma función.
20 | P á g i n a
∅(𝑥 + ℎ) − ∅(𝑥)
𝑓(𝑥0 ) ≥ ≥ 𝑓(𝑥1 )
ℎ
Bachillerato General
Eje. Pensamiento y Lenguaje Variacional
Cálculo Diferencial. Cambio y Cálculo Integral. Cambio y
Predicción Acumulación
21 | P á g i n a
• Caracteriza a las funciones • Calcula el área debajo de
métodos elementales
herramientas de predicción, útiles cuadráticas y cúbicas entre dos
en una diversidad de modelos límites de integración.
para el estudio del cambio. • Interpreta por extensión o
• Construye y analiza sucesiones generalización, el área bajo la
numéricas y reconocen los curva de gráficas de funciones
patrones de crecimiento y de trigonométricas básicas.
decrecimiento.
• Analiza las regiones de
crecimiento y decrecimiento de
una función.
• Opera algebraica y • Encuentra la antiderivada de
Usos de la derivada en
funciones polinomiales y
trigonométricas.
22 | P á g i n a
De manera general, el breve análisis de los tres teoremas y los conceptos asociados
a ellos nos permite caracterizar el discurso matemático escolar asociado a ellos, de la
siguiente manera:
23 | P á g i n a
2.2 Factores didácticos y cognitivos
El Teorema Fundamental del Aritmética es un objeto matemático que, como se ha
mencionado, se estudia en el Nivel Superior, algunas demostraciones formales de éste se
pueden encontrar en (Apostol, 1980; Granville, 2004; Jaume, 2011; Mora, 2010). No obstante,
existen investigaciones cuyos resultados apuntan a que su conceptualización requiere de
la adecuada construcción de otras nociones matemáticas como número compuesto,
número primo, divisor, múltiplo, división, divisibilidad, entre otros (Zazkis & Campbell, 1996a;
Zazkis & Campbell, 1996b; Griffiths, 2012).
En un estudio realizado por Zazkis & Campbell (1996b), mencionan que una de las
dificultades más comunes al resolver problemas que requieren el uso del Teorema
Fundamental del Aritmética, es la unicidad pues a priori ésta no parece ser una necesidad
en los problemas aritméticos. Sin embargo, ellos señalan que la unicidad sólo aparece
cuando el número ha sido completamente descompuesto en factores primos y por lo tanto
si el concepto de primo y número compuesto no han sido adecuadamente construidos,
esto podría inhibir cualquier conceptualización de la descomposición. En el estudio
realizado con estudiantes de nivel básico, reconocieron como hipótesis que el concepto
de divisibilidad es usualmente construido o encapsulado como un objeto antes que su
contraparte, el concepto de indivisibilidad, lo cual es consistente con lo encontrado en el
apartado discurso Matemático Escolar relativo a los conceptos antes mencionados (ver
página 13). Con base en lo anterior reconocemos la importancia del concepto de
divisibilidad así como las estructuras multiplicativas dentro de la conceptualización de los
números, en palabras de Zazkis & Campbell (1996a):
24 | P á g i n a
de una acción interiorizada a partir de la acción con los divisores. Usar esta aproximación
bajo una relación inversa, de acuerdo con los autores podría enfatizar la equivalencia de
factores y divisores y por lo tanto, su representación en términos de la descomposición en
primos.
Por otro lado, López y Cañadas (2013) con base en una revisión sobre el Teorema
Fundamental del Aritmética y la divisibilidad proponen la siguiente estructura conceptual
para la divisibilidad:
25 | P á g i n a
En esta estructura, se puede identificar el carácter inverso de las relaciones que se ponen
en juego en la descomposición en factores primos, así como la divisibilidad.
Por otro lado, Nunes, Dorneles, Lin, & Rathgeb-Schnierer, (2016) destacan en el uso
de los números y sus significados: de representación, que refiere al uso de números para
representar cantidades y uno analítico, que se define por un sistema numérico. Así mismo,
hacen hincapié en dos formas de pensamiento involucradas en el tratamiento del número:
el razonamiento aritmético y el razonamiento cuantitativo, el primero se basa en relaciones
entre números mientras que el segundo, se basa en relaciones entre cantidades y sus
medidas, este último, resulta de particular interés para nosotros.
26 | P á g i n a
cuesta $ 5 pesos, ¿cuánto costarán cuatro manzanas?), el segundo está asociado a la
relación funcional de medida “cuantas veces cabe” una magnitud dentro de otra cuando
éstas son de naturaleza distinta (Por ejemplo: Si en cuatro cajas cabe un total de 28
manzanas y debo guardar 42 manzanas, ¿cuántas cajas debo tener?). Estas dos estructuras
de razonamiento son la base para el desarrollo de formas de pensamiento más complejas
que involucran el uso articulado de dimensiones simples (longitud, tiempo, peso, etc.),
dimensiones producto (área, volumen, etc.) y dimensiones cociente (velocidad, densidad,
valor unitario, etc.), las dimensiones simples pueden ser medidas directamente, las
dimensiones-producto y las dimensiones-cociente son medidas con frecuencia de manera
indirecta, por mediación de las dimensiones simples que las componen:
Así, los elementos característicos para la comprensión del Teorema Fundamental del
Aritmética van desde la noción de número, sus significados y su relación intrínseca con el
concepto de divisibilidad, así como las formas de razonamiento involucradas, tanto la
aritmética como la cuantitativa, cuyos componentes son el razonamiento aditivo como el
multiplicativo.
Por otra parte, como se ha mostrado en el apartado anterior, pareciera haber una
evolución conceptual —vista a través del currículo— de los conceptos asociados a cada
uno de los Teoremas que son de interés en esta investigación. Sin embargo, como veremos
a continuación, el proceso de “tránsito” entre dichos conceptos involucra una amplia
gama de dificultades, obstáculos didácticos, rupturas y desarrollo de diversas formas de
27 | P á g i n a
pensamiento que en algunos casos propician su comprensión, mientras que, en otros, la
obstaculizan.
28 | P á g i n a
• los estudiantes usan los términos literales mucho antes de que sean capaces
de conceptualizarlos como variables, en fórmulas para el cálculo de áreas o
magnitudes de medición (Kieran & Filloy, 1989; Herscovics & Linchevski, 1994;
Linchevski & Livneh, 1999).
29 | P á g i n a
En el caso de este teorema, las propuestas didácticas para su enseñanza suelen
realizarse desde un enfoque visual haciendo uso de tecnología: calculadora gráfica,
GeoGebra, polynomiography software entre otros, realizando los productos de factores
lineales y cuadráticos, haciendo emerger la conexión entre el grado del polinomio y la
suma de multiplicidades de todos los ceros del polinomio, construyendo curvas de nivel,
incluso promoviendo la estimulación artística mediante polynomiography (Goel & Reid,
2001; Kalantari, 2005; Kalantari & Torrence, 2013; Vieira, 2013).
Ahora bien, este tratamiento clásico del álgebra, suele obstaculizar el tránsito hacia
las nociones del cálculo pues se pasa de razonamientos por equivalencias sucesivas a
razonamientos por condiciones suficientes (Sanabria, 2013). Respecto de este tránsito, en la
literatura se ha reportado que el pensamiento funcional (functional thinking) es un enfoque
fructífero para esa transición (Blanton & Kaput, 2004; 2016). Blanton y Kaput en Cai & Knuth,
(2011) caracterizan de manera general el pensamiento funcional de la siguiente manera:
30 | P á g i n a
• Relaciones de correspondencia
Aunado esto, Bednarz, Kieran, & Lee, (1996) y Kieran et al., (2016) reconocen como
características del pensamiento funcional:
De acuerdo con esta postura, los aspectos anteriores favorecen el tránsito entre las
nociones del Álgebra y las del Cálculo, por lo cual la literatura sugiere introducirlos no solo
como complemento a la enseñanza del álgebra, sino como parte de su construcción en
los primeros grados (Blanton & Kaput, 2004).
En el caso del Teorema Fundamental del Cálculo, Carlson, Persson, & Smith (2003)
sugieren cuatro dimensiones para su comprensión que involucran aspectos conceptuales y
de notación: entendimientos fundacionales y habilidades del razonamiento, razonamiento
covariacional con cantidades de acumulación (acciones mentales), aspectos de notación
de la acumulación (integral) y formas y relaciones del TFC (expresión formal).
31 | P á g i n a
ausencia de significados de la función de acumulación, el concepto de derivada como
razón de cambio y la relación integral-derivada (D. Bressoud, Ghedamsi, Martinez-Luaces,
& Törner, 2016; Carraher, Schliemann, & Brizuela, 2000; Cordero, 2001; Kouropatov & Dreyfus,
2013; Oehrtman & Thompson, 2008; Ponce, 2013a; Radmehr & Drake, 2017; Thompson &
Silverman, 2008a; Verzosa, Guzon, & De las peñas, 2014).
En el caso del concepto de función, Carraher et al., (2000) sostienen que si bien una
persona concibe las cantidades cuando ve los objetos como capaces de ser ordenados,
contados o medidos a lo largo de un continuo de posibilidades, la labor dentro de la
disciplina se basa en la premisa de que la comprensión de las relaciones algebraicas y de
la notación algebraica convencional puede surgir de las oportunidades de razonar sobre
las cantidades, lo cual no es promovido por el enfoque estructural —en el sentido de Sfard—
promovido en los cursos de Cálculo. No obstante, considerar los aspectos covariacionales
de la función así como el análisis de situaciones dinámicas para establecer relaciones
funcionales y de correspondencia permitiría colocar a la función como un principio
organizador del currículo del Early Algebra y del Cálculo (M. Carlson, 1998; M. Carlson,
Jacobs, Coe, Larsen, & Hsu, 2002).
Byerley, Hatfield, & Thompson, (2012) han estudiado la dificultad de los estudiantes
para reconocer el cociente como una medida del tamaño relativo y han mostrado cómo
este aspecto de la razón y la proporción dificulta la comprensión de la derivada. El
concepto de derivada involucra no sólo el uso del cociente, sino la razón de cambio, la
32 | P á g i n a
tangente a una curva, y en un sentido más robusto el límite de una función, la variación
continua de cierta cantidad que fluye y la variación de parámetros de una función para
organizar comportamientos (Cordero, 2001).
33 | P á g i n a
que el uso de la tecnología puede ser fructífero en la enseñanza del Cálculo, fortaleciendo
los argumentos visuales.
Por otra parte, (M. Carlson et al., 2002) mencionan la importancia del razonamiento
transformacional el cual se concibe como:
…es posible reconstruir el discurso didáctico del cálculo tomando como idea central
de su desarrollo a la Serie de Taylor. En otro sentido, dicha hipótesis señala que es
posible rediseñar el currículum y su discurso didáctico en torno a aquello que,
consideramos, resultó epistemológicamente indispensable en un su génesis.
Esta postura concuerda con la que refiere al uso del enfoque dinámico para la
significación de los conceptos del Cálculo, en tanto potencia el estudio de las variables
mediante su cambio. Así, respecto al teorema, la idea “la acumulación total cambia al
ritmo de las acumulaciones de las cantidades constitutivas” coincide con la mirada que
34 | P á g i n a
ofrece el pensamiento y lenguaje variacional el cual estudia fenómenos de enseñanza,
aprendizaje y comunicación de saberes matemáticos propios de la variación y el cambio
(Cantoral, 2019).
35 | P á g i n a
3. Aspectos teóricos y metodológicos
Teoría Socioepistemológica de la Matemática Educativa
La Teoría Socioepistemológica de la Matemática Educativa, es un enfoque teórico
cuyo objeto de estudio es la construcción social del conocimiento matemático y su difusión
institucional (Cantoral, 2013, p. 139). En ese sentido, se asume que el conocimiento
matemático es de naturaleza social, se le concibe como saber en tanto que forma parte
de la sabiduría humana, y por lo tanto se construye socialmente.
El carácter social del conocimiento matemático desde esta postura, va más allá de
la idea vigotskiana donde el conocimiento es un producto de la interacción social y de la
cultura, involucra al propio conocimiento matemático, sus elementos regulatorios a nivel
social, en tanto civilizaciones que vertebran su construcción a través del tiempo, la región,
la cultura y los paradigmas científicos (Reyes, 2016).
De acuerdo con Soto, (2010) las características principales del dME son:
36 | P á g i n a
permite la visión de que el conocimiento se construye para transformar la
realidad
• La falta de marcos de referencia para la resignificación de la matemática
escolar: no permite la resignificación del conocimiento matemático en
diversos escenarios de uso.
37 | P á g i n a
• En la fenomenología intrínseca se señala la necesidad de contar con una
fenomenología propia de los conceptos y procedimientos involucrados, tomando
como base los elementos que caracterizaron los diferentes significados que adquirió
la noción en su génesis histórica, es decir, restituye al significado actual, el conjunto
de significados construidos a lo largo de la génesis conceptual y que a medida que
se convirtió en un objeto susceptible de ser enseñado, quedaron ocultos.
• Los constructos característicos surgen a partir de un análisis riguroso de la génesis
histórica de los conceptos, posibilitando la identificación de una estructura
cognoscitiva que propicie su construcción.
• La praxis educativa involucra la reflexión sobre la práctica educativa en términos de
una relación entre la investigación y la praxis educativa, permitiendo que éstas se
afinen progresivamente hasta lograr el aprendizaje, objetivo final de la práctica
educativa, por lo tanto, involucra el análisis de la producción de los estudiantes en
relación a las nuevas bases aportadas por la investigación.
Una de las conclusiones obtenidas por Espinoza (2009), respecto a esto es que como
resultado de un proceso de historización y dialectización, se consideran las racionalidades
diversas que forman parte de la epistemología del conocimiento y con ello las prácticas,
que son transversales a los conocimientos en general, pueden constituir un eje rector que
permita unificar en la diversidad, logrando respetar cada realidad, cada mundo y avanzar
hacia la inclusión (p. 159).
Por otro lado Reyes (2016) menciona que cuando se lleva a cabo la psm para
entender los usos y razón de ser del conocimiento matemático estudiado, se trabaja de
38 | P á g i n a
manera sistémica con las cuatro dimensiones del saber: didáctica, cognitiva,
epistemológica y social y; los cuatro principios de la teoría: normatividad de la práctica
social, racionalidad contextualizada, relativismo epistemológico y resignificación
progresiva.
Localiza las
Características
fenomenologías y los
explicita al mentales, de saber en tanto
constructos
discurso razonamiento y de construcción social:
característicos con
Matemático pensamiento usos y prácticas
base en la
Escolar relativos a un saber situados
problematización
Cuestionamientos
que permiten su
produce la
el pensamiento construcción del contextualizar el
difusión
matemático? conocimiento aprendizaje?
institucional?
matemático?
39 | P á g i n a
Principios de la Teoría Socioepistemológica
El carácter sistémico del análisis del saber proviene a su vez de los cuatro principios
de la Teoría Socioepistemológica, los cuales operan de manera sistémica. Un análisis en
profundidad de los principios de la TSME puede ser consultado en (Cantoral, 2013; Reyes,
2016)
40 | P á g i n a
Se pasa de la acción, directa del sujeto (individual, colectivo o histórico) ante el
medio en tres acepciones (material o entorno, organizacional o contexto, social o
normativo), esto se organiza como una actividad humana (situada
socioculturalmente), para perfilar una práctica (iteración deliberada del sujeto y
regulada por el contexto); dicha práctica cae bajo la regulación de una práctica
de referencia que es la expresión material e ideológica de un paradigma
(ideológico, disciplinar y cultural), las que a su vez son normadas mediante sus cuatro
funciones por la práctica social (normativa, identitaria, pragmática, discursiva-
reflexiva)(Cantoral, Reyes-Gasperini, & Montiel, 2014).
41 | P á g i n a
Sobre el análisis histórico-epistemológico
Dada la naturaleza del objeto de estudio de esta investigación y la mirada bajo la
cual interpretamos nuestra problemática, la metodología que guio esta investigación
consta de los siguientes aspectos:
Como parte del análisis de la constitución del saber, se retomaron aquellas obras
que fueron antecedente histórico y epistemológico de la construcción de los tres teoremas
de interés en esta investigación, para ello se retomaron inicialmente fuentes secundarias,
estudios de carácter histórico-epistemológico que nos llevaron a la selección de las fuentes
primarias, las obras originales que fueron parte de la génesis histórica:
42 | P á g i n a
Aargün & Özkan (2001): Los Carrera (1992): Desde el Ars Klisinska (2009): Lectiones
Elementos de Euclides y los Magna de Cardano hasta la geometricae de I. Barrow,
libros aritméticos (𝑉𝐼𝐼 − 𝐼𝑋) demostración de Laplace, Philosophiæ naturalis principia
Goldstein (1992): Las previos a Gauss, incluyendo el mathematica de I. Newton
Disquisitiones Arithmeticæ, de papel del Arte Analítico de Bressoud (2011): Lectiones
C. F. Gauss Viète y la Geometría de geometricae de I. Barrow, sin
Descartes (regla de los signos) embargo, señala que ésta
Salazar (2009): el Arte Analítico construcción es meramente
de Viète (relación raíces- geométrica y no es
coeficientes) y demostración representativa de la noción de
de C. F. Gauss fluentes propuesta por Newton,
Lucero (2017): La Geometría la cual por su naturaleza
de Descartes, la regla de los dinámica resulta crucial en la
signos como intuición del génesis del teorema
teorema Cantoral (1995; 2001): Carta de
Quintero (1996): Arte Analítico Newton a Oldenburg sobre la
de F. Viète y La Geomètrie de construcción del teorema del
Descartes en la constitución binomio, Methodus
del Álgebra incrementorum directa et
inversa de B. Taylor
En el siguiente cuadro, clasificamos las obras analizadas, así como los fragmentos
que fueron extraídos de ellas para fundamentar la hipótesis epistemológica de partida de
esta investigación, algunas de ellas son traducciones y otras corresponden a la obra
original:
43 | P á g i n a
Teorema Fundamental del Aritmética
Euclides Los Elementos, año 300 a.e. Proposiciones:
Libros aritméticos VII - IX Libro VII, 30, 31
Libro IX, 14
Carl F. Gauss Disquisitiones Aritmeticæ, año 1801 Artículos:
d.e. 14 y 16
Sección Dos. Sobre las
congruencias de primer
grado
Teorema Fundamental del Álgebra
Viète The Analytic Art, año 1591 d. e. CI. Etapas del análisis: Zetética, Porística y
Introducción al Arte Analítico Rhética o Exegética
Capítulo I-III CII. Reglas fundamentales de las
ecuaciones y proporciones
CIII. Ley de la homogeneidad y
extrapolación de las propiedades
euclídeas para las magnitudes
conocidas a las magnitudes
desconocidas
Notas preliminares de la lógica Proposiciones:
simbólica (logística speciosa) V, XL, XLV
Cinco libros de Zetética Libro I, Zetética II
Libros I, II y V Libro II, Zetética IV
Libro V, Zetética VI
El entendimiento y enmienda de las Teorema 1
ecuaciones
Capítulo III. Las partes
constituyentes de las
ecuaciones cuadráticas de
acuerdo con la Zetética
Sobre la resolución numérica de Problema I
potencias mediante exegética Problema I, VI
Potencias puras
Potencias afectadas
Descartes The Geométrie, año 1637 d. e. Secciones 1-10
Libro III. Sobre la
construcción de sólidos y
súper sólidos
Gauss Demonstratio nova theorematis Artículos 13-24
omnem functionem algebraicam
rationalem integram unius variabilis,
año 1799 d. e.
Teorema Fundamental del Cálculo
Newton Correspondencia de Newton a 13 de junio
Oldenburg, año 1676 d. e. Cambridge, 24 de octubre
Taylor Methodus incrementorum directa et Proposición VII, Teorema III
inversa, año 1715 d. e.
Tabla 7. Fuentes originales
44 | P á g i n a
Reconstrucción racional y Socioepistemología
Existe entre la filosofía de la ciencia y la historia de la ciencia, una relación
fundamental de naturaleza metodológica, en palabras de Lakatos (1978), “la filosofía de la
ciencia proporciona metodologías normativas en términos de las cuales el historiador
reconstruye la "historia interna" y, por lo tanto, proporciona una explicación racional del
crecimiento del conocimiento objetivo”, de esta forma la filosofía de la ciencia nutre
metodológicamente el hacer del historiador, no obstante, “toda reconstrucción racional
de la historia debe complementarse con una "historia externa" empírica (socio-
psicológica)”, de tal modo que la historia nutre de argumentos empíricos la racionalidad
con la que se reconstruye el desarrollo del conocimiento, de esta forma las
reconstrucciones racionales se basan en una relación simbiótica entre filosofía e historia de
la ciencia.
Así, las reconstrucciones racionales se basan en dos aspectos esenciales: una historia
interna y una historia externa, la primera de ellas es predominante, pues surge a partir del
conocimiento en sí y de su desarrollo en un sentido conceptual, mientras que la historia
externa se considera secundaria, pues desde este enfoque únicamente provee de una
explicación empírica, no-racional sobre las circunstancias del conocimiento y su desarrollo
(Lakatos, 1978).
45 | P á g i n a
En esta investigación, ante la necesidad de realizar un análisis de la constitución del
saber, nos propusimos realizar una reconstrucción racional del saber, sustentada en una
hipótesis epistemológica, esto es un análisis de las circunstancias que permitieron su
construcción, reconociendo elementos persistentes en el tiempo, en su historicidad, sus
ideas germinales “a partir de las cuales tanto procedimientos como significaciones se
construyen paulatinamente y adquieren así, su compleja significación epistémica”
(Cantoral, 2001).
Ilustración 9. Esquema del modelo teórico para el estudio de la constitución del saber [Extraído de
(Espinoza et al., 2018)]
46 | P á g i n a
Al ser un modelo sistémico, la génesis, el desarrollo y la transversalidad no deben ser
concebidas como independientes o secuenciadas, sino que requieren ser entendidas de
manera articulada.
Por otra parte, reconocemos una relación dialéctica entre conocimiento y saber, el
primero en un sentido conceptual y estático que ha alcanzado un valor epistémico dentro
de la matemática en sí, mientras que el segundo en tanto resultado de una construcción
social. En ese sentido, Espinoza (2014) menciona que el saber es dinámico, aglutinante y
está en constante desarrollo; la construcción social y difusión institucional son procesos
simultáneos, imbricados y vivos; y existen constantes tránsitos entre saber y conocimiento,
esta última afirmación resulta de particular interés en la metodología de nuestra
investigación, ya que los objetos matemáticos que analizamos pertenecen en un sentido
conceptual a áreas distintas de la matemática, constituidos en momentos distintos de la
historia de la matemática. Respecto a esta relación de tránsito constante entre saber y
conocimiento, Espinoza (2014) menciona lo siguiente:
Categorías de análisis
El análisis de los ejemplos representativos de la génesis histórica estuvo guiado por
tres categorías de análisis: prácticas, significados y procedimientos cada una descrita
mediante indicadores.
Prácticas
47 | P á g i n a
desarrollo de ideas que sirvan para que el estudiante identifique el cambio
en las variables.
• Actividad: Consisten en el establecimiento de una instrumentación mediada
culturalmente que organiza a las acciones de forma consiente e intencional.
En situaciones de cambio, las actividades son el medio para cuantificar el
cambio, donde la mediación cultural puede consistir en, por ejemplo,
procedimientos, operaciones y fórmulas provenientes del discurso
matemático escolar o la experiencia.
• Práctica socialmente compartida: Intencionales y normadas socialmente. En
el caso de situaciones de cambio, consisten en una organización de las
acciones y las actividades que orienten al estudiante hacia el desarrollo de
prácticas predictivas, por ejemplo, una predicción de estados futuros o una
estimación de comportamientos.
Significados
48 | P á g i n a
En ambos casos, el de la unidad de referencia y el de la unidad de medida, cabe
señalar que no nos referimos al sentido aritmético ni métrico de la medida, sino a la
construcción funcional de la noción de medida en un sentido amplio3.
Procedimientos
Por otra parte, asumimos que los procedimientos son mecanismos producto del
ejercicio iterado e intencional de las prácticas, en palabras de Cantoral & Reyes-Gasperini,
(2016) su funcionalidad refiere al desarrollo del pensamiento. Por lo tanto, en nuestra
investigación, la categoría de procedimientos implica un conjunto de reglas de acción
(mecanismos), así como el ejercicio iterado e intencional de las prácticas.
49 | P á g i n a
4. Hipótesis epistemológica
4.1 Teorema Fundamental del Aritmética (TFAr)
El Teorema Fundamental del Aritmética, es un resultado matemático cuya
ubicación actual en los libros de texto parece conservar el orden que existe en la obra de
Gauss —el primer matemático en realizar una demostración formal del teorema— sin
embargo, estudios de orden histórico como los de Aargün & Özkan (2001) y los de Goldstein
(1992) han mostrado que su construcción deviene de un proceso de aportaciones teóricas
y conceptuales que van desde Los Elementos de Euclides (300 a.e.) hasta las Disquisitiones
Arithmeticæ de Gauss (1801 d.e.) y otros matemáticos modernos que aportaron distintas
demostraciones de este teorema.
En la Grecia Antigua, los “Elementos” eran todas aquellas obras en las cuales se
exponían las primeras abstracciones de los sistemas matemáticos de la época, con la
finalidad de que éstos fueran enseñados 4. El siglo IV a. e. se caracterizó por un proceso de
sistematización y generalización de los resultados de la época, de hecho Euclides desarrolló
su obra en Alejandría —centro comercial y de perfeccionamiento técnico de la época—
en donde se fundó el Museo, lugar que durante casi 700 años resguardó más de 500 mil
manuscritos de carácter científico y donde matemáticos como Euclides, Arquímedes,
Apolonio, Eratóstenes, entre otros, desarrollaron sus trabajos. En ese sentido, la obra de
Euclides obtuvo un reconocimiento general como sistema de conocimientos matemáticos
4 Los primeros Elementos de los que se conoce su existencia, han sido los de Hipócrates de
50 | P á g i n a
cuya rigurosidad constituyó el primer antecedente del método actual de construcción
axiomática de las matemáticas (Ríbnikov, 1987).
Particularmente los libros VII, VIII y IX, son considerados los “libros aritméticos” de la
obra de Euclides, pues dentro de ellos se encuentran una gran cantidad de resultados
respecto al estudio de los números enteros y sus relaciones como: la divisibilidad de los
enteros, donde se presenta lo que se conoce como “algoritmo de Euclides”; la suma de
series geométricas y propiedades de los números primos, como su infinitud y;
específicamente es en estos “libros aritméticos” donde se encuentran las primeras ideas del
TFAr.
Libro VIII
Números continuamente proporcionales (progresiones geométricas)
Números planos, sólidos, cuadrados y cubos5
Propiedades y relaciones entre números continuamente proporcionales, números
cuadrados, cubos, planos y sólidos
Libro IX
Relaciones y propiedades de números planos, sólidos, cuadrados y cubos
Relaciones entre números continuamente proporcionales, números cuadrados y
cubos
Propiedades de los divisores de números continuamente proporcionales
La descomposición de un número que es el menor medido por números primos es
única. (P14)
Relación entre números primos y números continuamente proporcionales
Infinitud de los números primos (P31 libro VII)
Propiedades de los números pares e impares
5 Las definiciones 17 a 20 del libro VII parten de una noción constructiva del número: un número plano es
el producto de dos números (6 es un número plano, 2 y 3 son sus lados), mientras que un número sólido es el
producto de tres (24 es un número sólido cuyos lados serían 2, 3 y 4); un número cuadrado es el producido por sí
mismo o por números iguales (4 = 22 es un número cuadrado), mientras que un número cubo es el producido por
sí mismo dos veces o por tres números iguales (8 = 23 es un número cubo).
51 | P á g i n a
Relación entre números continuamente proporcionales bajo la resta.
Relación entre números proporcionales, primos y perfectos
Ilustración 11. Desarrollo conceptual de los libros VII. VIII y IX de los Elementos
Como se ve en la ilustración anterior los libros VII y IX desarrollan problemas que son
esenciales en el Teorema Fundamental del Aritmética: la divisibilidad mediante números
primos (libro VII) y, la unicidad de la descomposición de un número que es el menor medido
por números primos (libro IX); entre ellas, se encuentra un conjunto de proposiciones en las
que se hace un análisis de las propiedades de los números y de sus relaciones, como es el
caso de los números continuamente proporcionales, los números cuadrados, cúbicos,
planos y sólidos.
Con base en lo anterior, se han elegido las proposiciones 30 y 31 del libro VII, pues es
en éstas donde Euclides plantea algunas propiedades relativas a cuándo un número es
divisible por un número primo o producto de números primos. Además, del libro IX se ha
extraído la proposición 14, en la cual se plantea la unicidad de la composición de un
número por medio de números primos.
Definición Interpretación
01. Una unidad es aquello en Se establece una medida mínima, la unidad, con
virtud de lo cual cada una de las base en la cual es posible establecer una relación
cosas que hay es llamada una. respecto de medidas más grandes. Podemos
interpretar de esta definición que, la unidad es la
medida común entre los números.
02. Un número es una pluralidad El número se asume distinto de la unidad, pero
compuesta de unidades. compuesto por un conjunto de éstas.
Por ejemplo: 5 es un número, ya que está compuesto
de cinco unidades, siempre que se considere 5 = 1 +
1 + 1 + 1 + 1, pues estamos en el conjunto de los
números enteros, o bien, 5 puede expresarse como:
6 Muchas de estas definiciones provienen del análisis realizado en el libro V respecto a las magnitudes y
sus relaciones (razones y proporciones), por lo tanto, conservan la noción de medida dentro de su construcción.
Nota: Las transcripciones de fragmentos de Los Elementos de Euclides que se encuentran aquí, son
retomadas de (Puertas, 1982)
52 | P á g i n a
ejemplo: 2 es parte de 6 pues, 2 “cabe tres veces” en
6:
12. Un número primo es el Un número primo es aquél que sólo es divisible por él
medido por la sola unidad. mismo y por la unidad. Por ejemplo: 3 sólo puede ser
resultado de la suma de 1 +1 + 1, pues 2 no cabe una
cantidad entera de veces.
13. Números primos entre sí son Números primos relativos o coprimos son aquellos
los medidos por la sola unidad cuyo único divisor común es la unidad, es decir,
como medida común. dentro de ellos, ningún otro número cabe una
cantidad entera de veces. Por ejemplo, entre el 3 y el
5, sólo la unidad cabe una cantidad exacta de veces:
Proposición 30. Si dos números, al multiplicarse entre sí, hacen algún (número) y
algún número primo mide a su producto, también medirá a uno de los iniciales.
53 | P á g i n a
Proposición 30. Demostración Interpretación matemática actual
[1] Hagan, pues, los dos números A, B, al A×B= T
multiplicarse entre sí, el (número) T, y mida algún Sea P primo tal que P | T
número primo, P, al (número) T.
[2] Digo que P mide a uno de los (números) A, B. entonces P | A o P | B
[3] Pues no mida a A; pero P es primo; entonces A y Si P ∤ A entonces son primos
P son primos entre sí 7. relativos
[4] Ahora bien, cuantas veces mida P a T, tantas Dado que T = P + P + ⋯ + P, E
unidades haya en E. veces
7 Esto se deduce de la Proposición 29, Todo número primo es primo con respecto a todo (número) al que
no mide.
8 Esto se deduce de la Proposición 21, Los números primos entre sí son los menores de aquellos que
guardan la misma razón que ellos.
9 Esto se deduce de la Proposición 20, Los números menores de aquellos que guardan la misma razón
que ellos miden a los que guardan la misma razón el mismo número de veces, el mayor al mayor y el menor al
menor.
54 | P á g i n a
Por otro lado, en [7] la deducción P | B deviene de dos propiedades de los números
primos relativos, esto es:
P
P, A son los números menores que guardan la relación , de lo contrario no serían primos relativos
A
P B mP
Por otro lado, = =
A E mA
Esta última relación es la base para garantizar que P mide a B, ya que P debe caber
la misma cantidad de veces en B que A en E, en otras palabras P, A guardan la misma
proporción con respecto a B, E. Notemos que, el paso de [6] a [7] no es inmediato pues la
implicación:
P B
P×E= A×B→ =
A E
requiere del reconocimiento de la relación que guardan P, A en tanto que son primos entre
sí, y con esto la relación entre B, E queda definida, por lo cual, no se reduce a un simple
producto de inversos, sino más bien a una relación de la forma:
Proposición 31. Todo número compuesto es medido por algún número primo.
55 | P á g i n a
[5] Pues bien, como T mide a B y mide a A, entonces A = B (C veces)
T mide también a A. Y si T es primo, se habría dado B(C veces) = (T (D veces)) (C veces)
lo propuesto. Entonces T | A, si T es primo la
proposición queda demostrada.
[6] Pero si es compuesto, algún número lo medirá. Si T no es primo, entonces
Siguiendo así la investigación se hallará un número T = E(F veces)
primo, que lo medirá. ⋮
[7] Pues, si no se halla, una serie infinita de números El proceso es finito, ya que el
medirán al número A, cada uno de los cuales es estudio se encuentra en el
menor que otro; lo cual es imposible en el (caso de) conjunto de los números enteros.
los números.
es equivalente a lo siguiente:
24
24 = 12 + 12
12 = 3 + 3 + 3 + 3
Es importante enfatizar la relación que este mecanismo guarda respecto del
algoritmo que Euclides propone para hallar lo que en términos de la matemática actual
56 | P á g i n a
denominamos máximo común divisor. Con la finalidad de hacer evidente esta relación, a
continuación, mostramos una interpretación geométrica de su demostración para AB y CD
en este caso (Proposición 2 del libro VII)11:
45
45 = 12 + 12 + 12 + 9
12 = 9 + 3
09 = 3 + 3 + 3
11 Dados dos números no primos entre sí, hallar su medida común máxima
57 | P á g i n a
menor producido por números primos, para analizar la posibilidad de una composición
distinta a la construida.
58 | P á g i n a
Proposiciones 30 y 31 del libro VII:
iterativos de descomposición, que terminan una vez que ha sido hallado el divisor que
mantiene la propiedad de ser medido sólo por la unidad.
Dado que, se ha partido del supuesto de que B, T y P son números primos (de la
demostración anterior), entonces ̅̅̅̅
AB es el menor medido por ellos. Para garantizar esto, la
demostración propone la existencia de un cuarto número primo, que también mida a AB
̅̅̅̅,
es decir, que sea divisor, lo cual implicaría que B, T y P miden a otro número menor que ̅̅̅̅
AB
lo que contradice que AB
̅̅̅̅ es el menor y se contrapone con el mecanismo establecido en
Como hemos visto, en el primer caso, la división por primos se basa en un esquema
de descomposición mediante la propiedad de divisibilidad, y en el segundo, se sitúa en un
esquema de composición única, haciendo uso del esquema previo, ningún número divide
a un (número) primo.
59 | P á g i n a
Gauss y la factorización en primos: la racionalidad de la matemática moderna
60 | P á g i n a
Artículo 14. Si ni 𝑎 ni 𝑏 pueden dividirse por un número primo 𝑝, tampoco el producto
𝑎𝑏 puede dividirse por 𝑝.
12 Artículo 13
Teorema. El producto de dos números positivos, más pequeños que un número primo dado, no puede
dividirse por este número primo.
61 | P á g i n a
Así, el siguiente enunciado (artículo 15) se basa en una generalización de la
propiedad demostrada en el enunciado previo, lo que permite extender el resultado hacia
el producto de cualquier cantidad finita de números primos. Mientras que en el artículo 16,
se plantea la demostración de lo que conocemos como Teorema Fundamental de la
Aritmética, aunque en la obra original, no lleva ese nombre, sino sólo Teorema.
Artículo 15. Si ninguno de los números 𝑎, 𝑏, 𝑐, 𝑑, 𝑒𝑡𝑐., puede dividirse por un número
primo 𝑝, tampoco puede dividirse por 𝑝 el producto 𝑎𝑏𝑐𝑑 etc.
Artículo 15. Demostración Interpretación matemática actual
Según el artículo anterior, 𝒂𝒃 no puede El proceso de la demostración anterior se sigue
dividirse por 𝒑; por lo tanto, tampoco de manera reiterada, agrupando los productos
𝒂𝒃𝒄, ni tampoco 𝒂𝒃𝒄𝒅, etc. con el fin de darles el mismo tratamiento.
62 | P á g i n a
[7] El que una de ellas no contenga al factor 𝑝 Esto contradice [3 y 4], pues una
mientras que la otra lo contenga 𝑚 − 𝑛 veces de las composiciones tiene más
contradice lo que acabamos de mostrar. factores.
Por otro lado, resulta interesante observar que, el mecanismo asociado al cálculo
del máximo común divisor (mcd) y el mínimo común múltiplo (mcm), se ubican en
momentos distintos en cada una de las obras, en el caso euclídeo, se encuentra en la
segunda proposición del libro VII (el primero de los libros aritméticos, donde se estudia la
existencia de la descomposición); mientras que en la obra de Gauss, se encuentra en el
enunciado 18 de la segunda sección, posterior a la demostración del Teorema. Como
vimos, en el caso euclídeo el tratamiento de medida, que se da en las proposiciones
relacionadas con el TFAr y que se hereda del mecanismo para encontrar el mcd, son
fundamentales en su construcción, mientras que en el caso gaussiano, es una herramienta
operativa que permite reducir y simplificar las representaciones de los números, lo que
posteriormente le permite trabajar con facilidad las propiedades de las congruencias.
Finalmente, como parte del análisis de los elementos que constituyen la génesis del
Teorema Fundamental del Aritmética, en la siguiente sección se realizará una
caracterización de las prácticas, significados y procedimientos asociados a este teorema,
lo cual nos permite comprender la naturaleza constructiva del mismo, y nos proporciona
elementos para su construcción.
63 | P á g i n a
De la factorización única en primos a la noción de medida
del número
En la sección anterior, se realizó un análisis libre de los argumentos utilizados por
Euclides en las proposiciones 30 y 31 del libro VII, así como la proposición 14 del libro IX de
los Elementos, en donde se trata correspondientemente, la existencia y la unicidad de la
composición de un número compuesto mediante números primos. Además, se hizo un
análisis similar para la demostración del teorema dentro de las Disquisitiones Arithmeticae
de Gauss.
64 | P á g i n a
Ahora bien, si consideramos nuestras categorías de análisis tenemos lo siguiente:
II. Si un número es el menor medido por números primos, no será medido por ningún
otro número primo fuera de los que le medían desde un principio
65 | P á g i n a
y por lo tanto, A no puede caber una
cantidad entera de veces dentro de Z.
Para demostrar la unicidad de este resultado, aún si hace uso de una simbología
moderna, Gauss utiliza la misma lógica que usara Euclides en la proposición 14 del libro IX,
la reducción al absurdo.
66 | P á g i n a
A = 𝑎𝛼 𝑏 𝛽 𝑐 𝛾 𝑝𝑚 Así, al extraer 𝑛 veces 𝑝 de cada composición,
y A = 𝑎𝛼 𝑏 𝛽 𝑐 𝛾 𝑝𝑛 con 𝑚 > 𝑛 A
resulta que el número 𝑛 no solo tendrá dos
p
entonces
descomposiciones en primos, sino que una de
𝑎𝛼 𝑏 𝛽 𝑐 𝛾 𝑝𝑚 = 𝑎𝛼 𝑏 𝛽 𝑐 𝛾 𝑝𝑛
ellas tiene más factores que la otra, lo cual es
imposible pues se trata del mismo número.
Si bien, en este caso Gauss hace uso del mismo argumento lógico que usara
Euclides, el significado del número en tanto magnitud de conteo y medida, no son
explícitos; consideramos que una explicación para esto se encuentra en el uso de la
notación moderna, cuya naturaleza simbólica no permite visualizar estos significados.
De manera general, como resultado del análisis de los tres momentos de la génesis
del Teorema Fundamental del Aritmética, reconocemos los siguientes elementos de
acuerdo con nuestras categorías de análisis: prácticas, significados y procedimientos.
67 | P á g i n a
4.2 Teorema Fundamental del Álgebra (TFAl)
El Teorema Fundamental del Álgebra (TFAl), es un resultado matemático que ha sido
producto de la extensión y generalización de la resolución de ecuaciones a lo largo de la
historia. Debido a su importancia en el desarrollo de la matemática y en particular el del
álgebra moderna, se han llevado a cabo diversas investigaciones de corte histórico-
epistemológico; entre ellas destacan la investigación de Carrera (1992) en la cual realiza
una revisión de diversas aproximaciones al TFAl previas a la prueba formal realizada por
Gauss, y la de Salazar (2009) y Lucero (2017) quienes realizaron una recopilación y
clasificación de las distintas demostraciones del teorema desde diferentes ramas de la
matemática: Galois en el Álgebra, Rouché en el Análisis Matemático, Brouwer en la
Topología y finalmente Gauss, al ser el primero en realizar la demostración algebraica
formal.
68 | P á g i n a
coeficientes de las ecuaciones y sus raíces no sólo es uno de los más valiosos aportes dentro
de la formulación del TFAl, sino que su tratamiento geométrico de las curvas, ha sido uno
de los principales motores en la formulación de la hipótesis de esta investigación (Sección
1. Presentación).
Klein (1968) realizó una descripción del trabajo de Viète y con ella un análisis de sus
precursores, describiendo la influencia del trabajo de Euclides y su estudio de las razones y
proporciones, seguida del desarrollo aritmético del álgebra de Diofanto y el uso del trabajo
geométrico para resolver problemas relacionados con el cálculo de magnitudes
desconocidas, tal es el caso del trabajo realizado por Apolonio para el cálculo de distancias
inaccesibles pues, como se mencionó anteriormente los problemas astronómicos fueron
parte importante de la problemática de la época precedida a la obra de Viète. Además,
en ese sentido Klein reconoce que, para Viète un álgebra “pura” no sólo es una “teoría
general de ecuaciones” sino también una “teoría general de proporciones”, es por esto
que Introducción al Arte Analítico resulta de interés en este análisis, pues nos permite
identificar aspectos epistemológicos de las ecuaciones y la relación con sus coeficientes, y
cómo viven dentro de ellos las propiedades de los números y sus relaciones.
La obra de Viète (1591) está compuesta de ocho secciones que contienen desde
una introducción a la formulación y tratamiento de la lógica simbólica, problemas de
construcción de ecuaciones mediante proporciones, métodos de resolución de
ecuaciones, ejemplos geométricos de ellas mediante proporciones con triángulos y una
69 | P á g i n a
colección de teoremas universales del análisis de secciones angulares. En el siguiente
cuadro se muestran de manera sintética algunas de las nociones abordadas en su obra,
particularmente sobresalen en azul aquellas que serán ilustradas a continuación, por su
relación con esta investigación:
70 | P á g i n a
VIII. TEOREMAS UNIVERSALES SOBRE EL ANÁLISIS DE SECCIONES ANGULARES
Problemas geométricos basados en las relaciones proporcionales entre triángulos,
círculos y ángulos
Ilustración 13. Desarrollo conceptual de Arte Analítico
Para el trabajo con las ecuaciones y las proporciones, Viète plantea reglas
fundamentales acerca de las relaciones de proporcionalidad para construir las ecuaciones,
algunas de ellas se presentan a continuación:
71 | P á g i n a
15. Si hay tres o cuatro términos tales que el producto Sean A, B, C, D tales que
de los extremos sea igual al cuadrado de la media o AD = BC entonces
al producto de los medios, entonces son A C
=
proporcionales. B D
“…una proporción es aquella de la que se compone Resolver la ecuación
una ecuación y una ecuación en la que se resuelve Cx − D = 0 implica encontrar la
una proporción.” proporción 𝑥 =
D
C
Notemos que, la regla 13 es el resultado de 1 y 5, pues al ser α y β partes del entero
se tiene A = α + β, y al ser A él mismo, el producto α + β por sí mismo se expresa como la
suma de los productos de las partes de A, en una notación moderna el argumento sería el
siguiente: A = α + β, luego A2 = (α + β)2 = 𝛼𝛽 + 𝛽𝛼 + 𝛼𝛼 + 𝛽𝛽. Sin embargo, el argumento
anterior no proviene de un procedimiento algebraico, sino de un razonamiento
proporcional basado en el estudio de las relaciones parte-todo (regla 1), como veremos
más adelante (proposición 5, sección 2).
Esta ley indica que “términos homogéneos sólo se comparan con términos
homogéneos” y para poder hacerlos comparables el capítulo tres contiene una serie de
reglas acerca de su tratamiento, algunas de ellas son las siguientes:
72 | P á g i n a
4. Los tipos de magnitudes de La magnitud 𝑎 se nombra en relación con la
comparación, se nombran en el mismo escalar con la que se compara: 𝑥 = 𝑎, 𝑎 =
orden que los términos escalares. 𝑥 2, 𝑎 = 𝑥 3, longitud, plano, sólido
respectivamente.
7. Un término suplementario de su En las expresiones 𝑎𝑥, 𝑏𝑥 2 , 𝑎, 𝑏 se denominan
producto y un término de orden menor es coeficientes, al ser suplementarios y afectar
homogéneo con la potencia a la que a las potencias correspondientes.
afecta es llamada coeficiente.
73 | P á g i n a
5
2. √𝐴4 𝐵
5
3. √𝐴3 𝐵 2
5
4. √𝐴2 𝐵 3
5
5. √𝐴𝐵 4
6. 𝐵
El análisis sería similar para cualquier cantidad de
Por lo tanto, se ha demostrado que hay muchos proporciones continuas entre 𝐴 y 𝐵.
valores proporcionales continuos medios entre A
y B como se exigió.
1 1 1
𝐴 (𝐴𝑛−1 𝐵)𝑛 (𝐴2 𝐵𝑛−2 )𝑛 (𝐴𝐵𝑛−1 )𝑛
1 = 1 =⋯= 1 =
𝐵
(𝐴𝑛−1 𝐵)𝑛 (𝐴𝑛−2 𝐵2 )𝑛 (𝐴𝐵𝑛−1 )𝑛
Por otra parte, uno de los resultados que permea la lógica simbólica establecida
por Viète, es la relación que produce del cuadrado de una raíz binomial, es decir,
(𝐴 + 𝐵)2 = 𝐴2 + 2𝐴𝐵 + 𝐵2 y su recíproco, (𝐴 − 𝐵)2 = 𝐴2 − 2𝐴𝐵 + 𝐵2 y en general, cualquier
producto con ella misma (𝐴 + 𝐵)𝑛 pues, como veremos más adelante, éste constituye en sí
mismo un método de aproximación para el cálculo de raíces.
74 | P á g i n a
La siguiente proposición es un ejemplo de cómo las relaciones producidas por una
raíz binomial 𝐴 + 𝐵 —donde, 𝐴 es la magnitud desconocida y 𝐵 la magnitud dada— se usan
para establecer lo que Viète llama posteriormente “Teoremas sintéticos” y que son usados
para establecer relaciones proporcionales entre raíces.
Uno de los aportes más destacados del trabajo de Viète fue su capacidad de
transformar los problemas geométricos a problemas algebraicos; en la siguiente proposición
se muestra cómo resuelve la construcción de un triángulo a partir de dos raíces asumiendo
la validez de la relación pitagórica entre los lados del triángulo y la relación cuadrática de
una raíz binomial:
13 Para que 𝐷 sea comparable con 𝐴 + 𝐵, 𝐷 debe ser una magnitud longitudinal, siendo 𝐴 un lado, una
magnitud desconocida [Ley de los términos homogéneos].
75 | P á g i n a
cuadrados de los lados del ángulo recto. [Se
acostumbra, llamar al lado subtendido la
hipotenusa y los lados del ángulo recto, la
perpendicular y la base]. De ahí que el asunto
se reduzca a: Dadas dos raíces, se construyen
tres cuadrados, uno de los cuales es igual a la
suma de los otros dos. La raíz de la mayor de
ellas se compara con la hipotenusa y las raíces
de las otras con la perpendicular y la base. Partiendo de la proposición pitagórica:
Dado que, ya se ha demostrado que el 𝑐 2 = 𝑎2 + 𝑏 2 … [1]
cuadrado de la suma de dos raíces es igual al Y por lo tanto, el problema geométrico se
cuadrado de su diferencia más cuatro veces su traduce a un problema algebraico.
producto14. Dado que se conoce la relación:
Por lo tanto, que una tercera parte proporcional (𝐴 + 𝐵)2 = (𝐴 − 𝐵)2 + 4𝐴𝐵 … [2]
𝑩𝟐
sea añadida a las raíces 𝑨 y 𝑩. La suma de los Por lo tanto, si se considera que dadas las raíces
𝑨
𝑩𝟐
𝐴 y 𝐵 con 𝐴 > 𝐵 (dado que ambas son
extremos, la hipotenusa, es 𝑨 + . Su diferencia, magnitudes, entonces la relación se cumple):
𝑨
𝑩𝟐 𝐵
la base, es claramente 𝑨~ . La perpendicular Como 𝐴 > 𝐵, entonces 1 > > 0, pues ambas
𝑨 𝐴
será 𝟐𝑩, cuyo cuadrado es igual a cuatro veces son positivas.
el producto de los extremos. Con el fin de Además, 𝐴 es proporcional a sí misma —primera
reducir todos los lados al mismo tipo, se parte proporcional— bajo una relación uno a
multiplican todos los términos por 𝑨: la uno, luego:
𝐵
hipotenusa será 𝑨𝟐 + 𝑩𝟐 , la perpendicular 𝟐𝑨𝑩 y 𝐴 × = 𝐵, segunda parte proporcional de 𝐴;
𝐴
la base 𝑨𝟐 ~𝑩𝟐 .
𝐵 𝐵2
𝐵×
𝐴
=
𝐴
, tercera parte proporcional de 𝐴.
De esta manera, es posible transformar la
expresión [2] a la forma de la proposición
pitagórica [1]:
14 La Proposición XIII corresponde a la siguiente relación: (𝐴 + 𝐵)2 = (𝐴 − 𝐵)2 − 4𝐴𝐵, donde 𝐴 y 𝐵 son las
correspondientes raíces.
76 | P á g i n a
El problema anterior, evidencia el uso que Viète le daba a los “Teoremas sintéticos”
dados mediante las relaciones cuadráticas de raíces binomiales, además, es de particular
interés la manera en que construye los vínculos entre el problema geométrico y el problema
algebraico, pues no se trata de una mera sustitución de variables, sino de la construcción
de magnitudes proporcionales, en este caso la tercera parte proporcional de 𝐴.
𝐵2
En este problema, la magnitud 𝐴 + resulta ser 𝐴 más una pequeña parte de ella,
𝐴
77 | P á g i n a
De donde (𝑆 − 𝑅)𝐸 = 𝑆𝐵
(𝑺 − 𝑹): 𝑺 = 𝑩: 𝑬. [2] 𝑆−𝑅 𝐵
= … [2]
Dada entonces, la diferencia entre dos raíces y 𝑆 𝐸
su razón, las raíces pueden ser encontradas:
La diferencia entre dos raíces verdaderas es a la Ejemplo: Sea 𝑩 12, 𝑹 2 y 𝑺 3, es decir:
raíz verdadera más grande o pequeña como la
1 12 1 12
diferencia entre dos raíces análogas es a la raíz = y =
análoga más grande o pequeña. 2 𝐴 3 𝐴+12
Ejemplo:
Sea 𝑩 12, 𝑹 2 y 𝑺 3. 𝑨 es entonces 24 y 𝑬 es 36 𝑨 es entonces 24 y 𝑬 es 36.
78 | P á g i n a
magnitudes dadas sí es un resultado al que se recurre en cierta medida en la sección V en
el método de resolución numérica de las potencias.
Al contrario (𝑩 + 𝑫)𝟐 − 𝒁𝒑 —es decir, menos de las raíces son, (1,24), (2, 12), (3, 8), (4, 6), …
cuatro veces el producto de las raíces— deja De donde,
(24 − 1)2 + 4(24)(1) = (24 + 1)2
(𝑩 − 𝑫)𝟐 , y (𝑭 + 𝑮)𝟐 − 𝒁𝒑 deja (𝑭 − 𝑮)𝟐 .
(12 − 2)2 + 4(12)(2) = (12 + 2)2
Sustrayendo 96 de 625 rinde 529, el cuadrado de
⋮
23. Y 196 menos 96 son 100, el cuadrado de 10.
Análogamente, es posible encontrar un número
infinito de cuadrados que sean iguales a otro
cuadrado menos el plano dado:
(𝐴 + 𝐵)2 − 4𝐴𝐵 = (𝐴 − 𝐵)2
79 | P á g i n a
En los problemas establecidos mediante las Zetéticas anteriores, se proponen
relaciones conocidas entre raíces, las cuales, para ser resueltas requieren del planteamiento
de una ecuación, sin embargo, el ejemplo siguiente involucra el razonamiento contrario,
dada una ecuación, entonces las relaciones existen y por lo tanto, es posible deducir una
de las raíces.
Como resultado de este teorema se infiere que, dada una ecuación cuadrática, es
posible reconstruir la relación entre sus raíces y por lo tanto, encontrarlas. En ese sentido, la
ecuación se resuelve por medio de la relación entre las raíces y su media proporcional,
siendo esta última la raíz del término independiente. Con base en lo anterior, se reconocen
dos maneras distintas de construir y resolver las ecuaciones de segundo grado:
80 | P á g i n a
Caso 1. Dada la suma y el producto de dos raíces, encontrar las raíces.
De la forma del problema, si 𝑎 y 𝑏 son las dos raíces que se buscan, entonces: 𝑎 +
𝑏 = 𝑠 y 𝑎𝑏 = 𝑝, de donde, 𝑎(𝑎 − 𝑠) = 𝑝 → 𝑎2 − 𝑠𝑎 = 𝑝, así, dada la relación entre dos raíces se
construye una ecuación que las conserva y cuyos coeficientes son precisamente esas
relaciones.
15 En álgebra, este hecho que proviene de la porística (el aseguramiento de la veracidad de la ecuación
para cualquiera de las magnitudes desconocidas), se transforma en el estudio de los polinomios simétricos.
81 | P á g i n a
dos posibles raíces tales que la suma de sus cuadrados y sus medias proporcionales
aproximen la cantidad buscada entre la fila para Q.
82 | P á g i n a
Interpretación
Debido a que 𝑩 = 𝟐𝟗𝟏𝟔 es un número de cuatro cifras, se tienen dos parejas (por ser una
ecuación de segundo grado) y por lo tanto el número tiene dos raíces, cada una
representada por un punto. De donde, 𝑩 = (𝒙𝟏 + 𝒙𝟐 )𝟐 = 𝒙𝟐𝟏 + 𝟐𝒙𝟏 𝒙𝟐 + 𝒙𝟐𝟐 .
2 9 1 6
∙ N ∙ Cantidad de raíces
𝑥1 𝑥2 Orden de extracción de las raíces
Extracción de 𝑥12 2 5
4 1 6 B − 𝑥12
Se comienza extrayendo el plano producido por la primera raíz cuyo cuadrado aproxime
la primera pareja de dígitos, en este caso, 𝟓𝟐 = 𝟐𝟓 < 29, luego se resta esta cantidad de
𝑩, quedando como resultado 416, el cual se aproxima por: 𝟐𝒙𝟏 𝒙𝟐 + 𝒙𝟐𝟐 .
Interpretación
83 | P á g i n a
Se continúa extrayendo el lado producido por el doble de la primera raíz que ya ha sido
propuesta (𝟐𝒙𝟏 = 𝟏𝟎), el siguiente par de dígitos a aproximar es 41, y al ser 10 uno de los
lados, en la operación: 41 dividido por 10, el número que mejor aproxima es el 4 pues
𝟏𝟎 × 𝟒 = 𝟒𝟎
4 1 6
∙ Cantidad de raíces por extraer
2𝑥1 1 0 41 ≈ (2𝑥1 )(𝑥2 )
Extracción de: (2𝑥1 )(𝑥2 ) 4 0
𝑥22 1 6
4 1 6 (B − 𝑥12 ) − (2𝑥1 𝑥2 + 𝑥22 )
Finalmente se extrae el plano producido por el cuadrado del segundo lado 16,
recorriendo un espacio en la tabla, como se observa en el esquema.
Como resultado del proceso de aproximación, se tiene que la solución de la ecuación
es 54.
𝑛
𝑛
(𝑥1 + 𝑥2 )𝑛 = ∑ ( ) 𝑥1 𝑘 𝑥2 𝑛−𝑘
𝑘
𝑘=0
Es claro que si 𝐵 es un número que, al ser separado por grupos de dígitos según la
potencia o grado de la ecuación, basta con hacer 𝑥1 = 𝑥1 + 𝑥2 tantas veces como el
número de lados lo requiera, conservando así la estructura del método, pero, ¿cómo Viète
sabría de la existencia del método si Newton desarrollaría su obra más de medio siglo
después?, podemos decir que el método propuesto por Viète proviene más que de una
fórmula establecida, parte de un sentido de medida en el sentido euclídeo, lo que nos lleva
al tercer elemento, la similitud del proceso de sustracción sucesiva con el algoritmo de
Euclides; como se vio en el ejemplo, Viète extrae cada una de las raíces, y a cada paso,
compara con el número restante:
84 | P á g i n a
Dada la ecuación 29,16 = (𝑥1 + 𝑥2 )2 = 𝑥12 + 2𝑥1 𝑥2 + 𝑥22
𝑥 2 = 2916 (𝑥1 + 𝑥2 )2 = 𝑥12 + 2𝑥1 𝑥2 + 𝑥22
2916 − 502 = 416 2916 − 𝑥12 = 416
416 − 2(50)(4) = 16 416 − 2𝑥1 𝑥2 = 16
16 − 42 = 0 16 − 𝑥22 = 0
Así, el método de sustracción se asemeja al utilizado por Euclides para el cálculo del
máximo común divisor, y que, como vimos es el mismo que utiliza para la descomposición
en primos. Como mostramos, el método es generalizable para cualquier potencia pura, y
en caso de no serlo, para las potencias afectadas positiva o negativamente, basta con
añadir una relación más al método, con base en el coeficiente de los planos, cubos o
sólidos que la afecten.
Interpretación
El método de resolución de este problema es análogo al Problema 1, mencionado
anteriormente. En este caso 𝑩 = 𝟔𝟎𝟕𝟓𝟎, un número de cinco cifras, por lo cual, se tienen
85 | P á g i n a
tres grupos de cifras separadas a pares (por ser una ecuación de segundo grado), de
donde el número tiene tres raíces, cada una representada por un punto.
Considerando el argumento de Viète acerca de que, la forma de descomposición es al
𝟐
método de su composición16, se tiene que 𝑩 = [(𝒙𝟏 + 𝒙𝟐 ) + 𝒙𝟑 ] + 𝑨[(𝒙𝟏 + 𝒙𝟐 ) + 𝒙𝟑 ] donde
𝑨 = 𝟕, esta expresión se deduce del teorema sintético aplicado anteriormente para n
número de dos raíces agrupando 𝒙𝟏 , 𝒙𝟐 , 𝒙𝟑 por pares.
Interpretación
Se continúa considerando a 7 como uno de los divisores y, dado que se ha extraído ya
una de las raíces del número, se recorre la posición de éste.
En seguida el siguiente par de cifras será aproximado por el producto del doble de la
primera raíz por la segunda, es decir, 𝟏𝟗𝟎𝟎𝟎 ≈ 𝟒𝒙𝟐 , de donde 𝒙𝟐 = 𝟒𝟎, posteriormente se
extrae el cuadrado y siete veces la segunda raíz, tal como en el primer acercamiento.
Así, al comparar la suma de (𝟐𝒙𝟏 )𝒙𝟐 + 𝒙𝟐𝟐 + 𝟕𝒙𝟐 con 19350, se tiene una nueva
aproximación al plano inicial dado, de manera simbólica tenemos lo siguiente:
86 | P á g i n a
[𝑩 − (𝒙𝟐𝟏 + 𝟕𝒙𝟏 )] − [(𝟐𝒙𝟏 )𝒙𝟐 + 𝒙𝟐𝟐 + 𝟕𝒙𝟐 ]
7 𝐴 como divisor
1 9 3 5 0 𝐵 − (𝑥12 + 7𝑥1 )
Extracción de ∙ ∙ Cantidad de raíces por extraer
2𝑥1 4
2𝑥1 +7 4 0 7 Suma de los divisores
(2𝑥1 )𝑥2 1 6
𝑥22 1 6
7𝑥2 2 8
1 7 8 8 (2𝑥1 )𝑥2 + 𝑥22 + 7𝑥2
1 4 7 0 [𝐵 − (𝑥12 + 7𝑥1 )] − [(2𝑥1 )𝑥2 + 𝑥22 + 7𝑥2 ]
Nota: Viète calcula la suma de los divisores para aproximar el número dado de tal forma
que pueda hallarse la segunda raíz, así 𝟏𝟗𝟑𝟓𝟎 ≈ 𝟒𝟎𝟕 × 𝒙𝟐 , de donde 𝒙𝟐 = 𝟒𝟎.
Interpretación
Finalmente, tomando en cuenta como divisor al 487, se tiene que 𝟏𝟒𝟕𝟎 ≈ 𝟒𝟖𝟕 × 𝒙𝟑 , de
donde 𝒙𝟑 = 𝟑 y por lo tanto se continúa extrayendo el doble de la suma de las primeras
por la tercera raíz, el cuadrado y 7 veces la tercera.
7 𝐴 como divisor
1 4 7 0 [𝐵 − (𝑥12 + 7𝑥1 )] − [(2𝑥1 )𝑥2 + 𝑥22 + 7𝑥2 ]
Extracción de ∙ Cantidad de raíces por extraer
2(𝑥1 + 𝑥2 ) 4 8
2(𝑥1 + 𝑥2 ) + 7 4 8 7 Suma de los divisores
2(𝑥1 + 𝑥2 )𝑥3 1 4 4
𝑥32 9
7𝑥3 2 1
1 4 7 0 2(𝑥1 + 𝑥2 )𝑥3 + 𝑥32 + 7𝑥3
El proceso continúa hasta que se ha alcanzado el valor del número que se aproxima de
manera consecutiva. De manera simbólica, el proceso realizado para la ecuación 𝒙𝟐 +
𝟕𝒙 = 𝟔𝟎, 𝟕𝟓𝟎 ha sido:
87 | P á g i n a
[[𝑩 − (𝒙𝟐𝟏 + 𝟕𝒙𝟏 )] − [(𝟐𝒙𝟏 )𝒙𝟐 + 𝒙𝟐𝟐 + 𝟕𝒙𝟐 ]] − [𝟐(𝒙𝟏 + 𝒙𝟐 )𝒙𝟑 + 𝒙𝟐𝟑 + 𝟕𝒙𝟑 ] = 𝟎
particularmente en el caso de las potencias afectadas el uso del parámetro del término
lineal “𝐴” como parte de esos divisores.
Resulta de particular interés, desde una mirada actual, la forma en que las raíces
son consideradas como divisores pues, a partir de los casos mostrados para ecuaciones de
segundo grado se tiene lo siguiente:
88 | P á g i n a
Problema VI. Extraer analíticamente la raíz de una determinada cuarta potencia
numérica afectada por la suma de dos planos, uno derivado de la raíz y un determinado
coeficiente sólido, el otro del cuadrado de la raíz y un determinado coeficiente plano.
Extracción del segundo lado
Sea la ecuación 𝒙𝟒 + 𝟐𝟎𝟎𝒙𝟐 + 𝟏𝟎𝟎𝒙 = 𝟒𝟒𝟗𝟑𝟕𝟔. ¿cuál es el valor de 𝒙?
Interpretación
Como resultado de la extracción de la primera raíz 𝒙𝟏 = 𝟐𝟎 se tiene el número 207376. En
las secciones marcadas por un recuadro, Viète proporciona los divisores que han de
sumarse para aproximar el número dado de donde:
Por lo tanto 𝟐𝟎𝟕𝟑𝟕𝟔 ≈ [𝟐𝟎𝟎(𝟐𝒙𝟏 ) + 𝟐𝟎𝟎 + 𝟏𝟎𝟎 + 𝟒𝒙𝟑𝟏 + 𝟔𝒙𝟐𝟏 + 𝟒𝒙𝟏 ]𝒙𝟐 , reorganizando los
términos de la suma de los divisores, tenemos:
𝑷′′ (𝒙𝟏 ) 𝑷′′′ (𝒙𝟏 )
(𝟒𝒙𝟑𝟏 + 𝟐𝟎𝟎(𝟐𝒙𝟏 ) + 𝟏𝟎𝟎) + (𝟔𝒙𝟐𝟏 + 𝟐𝟎𝟎) + (𝟒𝒙𝟏 ) = 𝑷′ (𝒙𝟏 ) + 𝟐
+ 𝟔
.
89 | P á g i n a
Lo anterior es resultado de interpretar el método de aproximación de Viète,
mediante el Teorema de Taylor, sin embargo, debe considerarse el hecho de que el trabajo
viético fue construido para la resolución de ecuaciones de coeficientes enteros y más aún,
bajo la restricción de la Ley de homogeneidad, es decir, el estado del conocimiento de la
época no involucraba el estudio de cantidades de variación continua, si no más bien, la
construcción de un nuevo método que permitiera resolver ecuaciones mediante el estudio
de relaciones, como hemos visto en los ejemplos previos. No obstante, el ejemplo anterior
proporciona elementos que contribuyen a la pregunta que hemos planteado en esta
investigación.
90 | P á g i n a
Descartes y la regla de los signos: raíces, coeficientes y comportamientos
Con el fin de ilustrar el uso del método, Descartes publica al final del Discours de la
Méthode, tres tratados: La Dioptrique, Les Meteores y La Géométrie, particularmente en
esta investigación nos interesamos por el tercero, cuyo contenido alude a la unificación del
estudio de las curvas mediante la geometría y el álgebra vistas como una sola. En ese
sentido Struik (1980) menciona que, el trabajo de Descartes contiene dos grandes méritos
dentro del desarrollo de la matemática: el primero consiste en la aplicación del álgebra del
siglo XVI al análisis geométrico que habían desarrollado los griegos y que preponderaba el
trabajo geométrico de la época (basado en Euclides, Apolonio, entre otros), y el segundo
mérito, consiste en la superación del obstáculo que subyace a la homogeneidad como
principio de comparación de magnitudes17.
en (Arboleda, 2013).
91 | P á g i n a
junto a los recursos algebraicos, de los lugares geométricos, aún si éstos no poseen la idea
de las coordenadas en el espacio (Ríbnikov, 1987).
Libro III
1. Sobre las curvas que pueden ser usadas en la construcción de cualquier
problema
2. Ejemplo relativo a encontrar diversas medias proporcionales
3. Sobre la naturaleza de las ecuaciones
4. Cuántas raíces puede tener cada ecuación
5. Qué son las raíces falsas
6. Cómo disminuir el grado de una ecuación cuando una de sus raíces se conoce
7. Cómo determinar si una cantidad dada es raíz
8. Cuantas raíces verdades se pueden tener en una ecuación
9. Cómo las raíces falsas se vuelven verdades y las verdaderas se vuelven falsas
10. Cómo incrementar o disminuir las raíces de una ecuación
Al principio del tercer libro, Descartes explica “de qué líneas curvas se puede servir
en la construcción de cada problema”, si bien todas ellas deben ser resultado de un
movimiento regular —el autor propone que todas las curvas que son construidas de esta
manera, deberán ser admitidas dentro de la Geometría— éstas deben ser particularmente
las más simples, es decir, las de género más simple que puedan servir para determinar la
magnitud buscada.
92 | P á g i n a
construcción. Para ello, Descartes hace uso de un mesolabio modificado —este instrumento
era trabajado por Eratóstenes para encontrar el valor de medias proporcionales— cuya
principal innovación fue precisamente la construcción de curvas a partir de introducir en él
el movimiento.
YZ es una regla fija que sirve de base. YX es móvil, pudiendo rotar alrededor del
pivote Y. Perpendicular a YX, se tiene una regla fija BC, y reglas deslizantes DE y FG.
Perpendicularmente a YZ hay reglas deslizantes CD, EF y GH. Si se hace coincidir YX
con YZ, y se empieza a rotar YX en dirección contraria a las manecillas del reloj, la
regla fija BC empuja a la regla deslizante CD que a su vez empuja a las demás reglas
deslizantes. Los puntos móviles B D, F y H, describirán entonces curvas geométricas
(Quintero, 1996).
Para este ejemplo Descartes (1637) afirma que, “no considera que haya un método
más fácil para encontrar tantas medias proporcionales como se quiera, ni donde la
demostración sea más evidente, que empleando las líneas curvas que se trazan por el
instrumento XYZ”.
93 | P á g i n a
LIBRO III. DE LA CONSTRUCCIÓN DE PROBLEMAS QUE SON SÓLIDOS O MÁS QUE SÓLIDOS
P.2 Ejemplo relativo a la determinación de varias medias proporcionales.
Compás mesolábico
Queriendo encontrar medias proporcionales entre YA e YE, no hay más trazar un círculo,
cuyo diámetro sea YE: y como este círculo corta la curva AD en el punto D, YD es una de
las medias proporcionales buscadas. Y la demostración es evidente por la sola aplicación
de este instrumento sobre la línea YD; pues como YA, o YB que le es igual, es a YC; así YC
es a YD, e YD a YE.
Lo mismo para encontrar cuatro medias proporcionales entre YA e TG, o para encontrar
seis entre YA e YN, no hay más que trazar el círculo YFG, que cortando AF en el punto F
determina la línea recta YF, que es una de estas cuatro proporcionales: o el YHN, que
cortando AH en el punto H, determina YH, una de las seis: y así para otras.
Interpretación
La descripción de Descartes se basa en el supuesto de que se requieren dos medias
proporcionales entre A y E, por lo cual se hace coincidir la curva AD con la primera regla
perpendicular a YZ (CD), sin embargo, el mecanismo permite calcular tantas parejas de
medias proporcionales como se quiera, esto dependerá de la curva con la cual se
intercepte el círculo de diámetro YE:
94 | P á g i n a
Así, el rastro que deja el movimiento de cada una de las curvas producidas por el
mesolabio, da cuenta de una infinita cantidad de medias continuamente proporcionales
entre sí. Lo anterior se justifica con base en el Teorema de Euclides: en todo triángulo
rectángulo, la altura (que se traza desde el ángulo recto), es media proporcional
geométrica (es decir, la altura al cuadrado), entre los segmentos que determina sobre la
hipotenusa. Esto es, con base en el esquema cartesiano, el segmento 𝒀𝑩 = 𝒀𝑨 es a 𝒀𝑪,
como 𝒀𝑪 es a 𝒀𝑫, del mismo modo, 𝒀𝑪 es a 𝒀𝑫 como 𝒀𝑫 es a 𝒀𝑬:
𝒀𝑨 𝒀𝑪 𝒀𝑫
= =
𝒀𝑪 𝒀𝑫 𝒀𝑬
𝑚: ℎ ∷ ℎ: 𝑛
De donde,
𝑚 ℎ
=
ℎ 𝑛
95 | P á g i n a
podríamos decir que la noción de comparación se ve modificada por el movimiento, por
lo cual los.
Por otra parte, Descartes menciona respecto a las naturalezas de las ecuaciones,
que éstas se conciben como:
LIBRO III. DE LA CONSTRUCCIÓN DE PROBLEMAS QUE SON SÓLIDOS O MÁS QUE SÓLIDOS
P.4 Cuántas raíces puede haber en cada ecuación.
Ejemplo
Interpretación
Recordemos que el método de Descartes es, suponer que el problema ya está resuelto,
por lo tanto, si 𝒙 = 𝟐 y de igual forma 𝒙 = 𝟑, o bien 𝒙 − 𝟐 = 𝟎 y simultáneamente 𝒙 − 𝟑 = 𝟎,
y al multiplicarse estas dos ecuaciones una por la otra se tiene:
𝒙𝒙 − 𝟓𝒙 + 𝟔 = 𝟎 o bien, 𝒙𝒙 = 𝟓𝒙 − 𝟔,
en donde la cantidad 𝒙 vale 2 y al mismo tiempo vale 3. Si luego se hace le producto
por 𝒙 − 𝟒 = 𝟎, entonces se tiene:
𝒙𝟑 − 𝟗𝒙𝒙 + 𝟐𝟔𝒙 − 𝟐𝟒 = 𝟎
Que es otra ecuación, en la cual 𝒙, teniendo tres dimensiones, tendrá tres valores, que
son 𝟐, 𝟑 y 𝟒.
96 | P á g i n a
En el caso anterior, se asume que todas las raíces son verdaderas (o positivas), para
Descartes, las raíces o valores de 𝑥 que designan el defecto de una cantidad, por ejemplo
𝑥 + 5 = 0, se denominan raíces falsas, así la ecuación sería 𝑥 4 − 4𝑥 3 − 19𝑥𝑥 + 106𝑥 − 120 = 0.
Por otro lado, respecto a la disminución del número de dimensiones de una ecuación
cuando se conoce alguna de sus raíces, Descartes hace la siguiente afirmación:
…la suma de una ecuación que contiene varias raíces puede siempre ser dividida
por un binomio compuesto de la cantidad desconocida, menos el valor de una de
las raíces verdaderas, cualquiera que sea, o más el valor de una de las falsas; por
medio de lo cual se disminuyen sus dimensiones (Descartes, 1637)
Posterior a esto, una de las generalizaciones más reconocidas por Descartes refiere
al conocimiento de la cantidad de raíces falsas o verdaderas, a partir de los coeficientes
de la ecuación:
Por otro lado, de acuerdo con Cantoral y Ferrari (2004; 2009) esta regla ha llegado
a muchos de los textos escolares contemporáneos y aunque, como hemos visto, su génesis
se encuentra bajo la racionalidad de la construcción de los métodos geométricos y
algebraicas, los argumentos por medio de los cuales es tratada escolarmente pueden
clasificarse en dos grandes vertientes: la algebraica y la analítica. La algebraica se basa en
la composición de las ecuaciones polinómicas por medio de sus raíces, considerando si
éstas son positivas o negativas, y el efecto que estas producen al multiplicarse, sin embargo,
97 | P á g i n a
la analítica tiene que ver con el uso de argumentos del cálculo como el Teorema del valor
medio y las reglas para la obtención de máximos y mínimos.
Si no todos los coeficientes son positivos, entonces tendrán uno o más cambios de
signo. Sea −𝑁𝑥 𝑛 el primer término negativo, +𝑃𝑥 𝑝 el primer término positivo, luego −𝑄𝑥 𝑞 los
siguientes términos negativos. Por lo tanto 𝑚, 𝑛, 𝑝, 𝑞 son números enteros decrecientes; 𝑁, 𝑃, 𝑄
positivos y 𝑋 es como se muestra en la figura anterior (𝑋 = 𝑥 𝑚 + ⋯ − 𝑁𝑥 𝑛 − ⋯ + 𝑃𝑥 𝑝 + ⋯ −
𝑄𝑥 𝑞 − ⋯ ± 𝑉). Luego, al realizar el producto por 𝑥 − 𝛼, con 𝛼 > 0, será de la siguiente forma:
98 | P á g i n a
y negativo. El siguiente diagrama muestra el comportamiento de los signos con base en el
análisis realizado por Cantoral y Ferrari (2009):
De este modo podemos estudiar las combinaciones de signos y analizar las posibles
gráficas que aproximan la función polinomial 𝑓:
𝑦 = 𝑓(0),
𝑦 = 𝑓(0) + 𝑓 ′ (0)𝑥,
𝑓 ′′(0)
𝑦 = 𝑓(0) + 𝑓 ′ (0)𝑥 + 𝑥 2,
2!
…,
𝑓 ′ (0) 𝑓 ′′(0) 𝑓 (𝑛) (0)
𝑓(𝑥) = 𝑓(0) + 𝑥+ 𝑥2 + ⋯ + 𝑥𝑛
1! 2! 𝑛!
99 | P á g i n a
Así, el número de cambios de signo en las derivadas coincide con la tesis que postula
la regla de los siglos de Descartes, por ejemplo, la sucesión de signos (+ + +) no presenta
cambios de signo, lo cual implica que la gráfica de 𝑓 es creciente a la derecha de 𝑎0 como
se muestra en la figura anterior y por lo tanto todas sus raíces son negativas, de modo que
la regla puede explicarse mediante las ondulaciones de la gráfica de la función original, es
decir, sus derivadas.
Como hemos visto, la regla de los signos es un resultado cuyo significado va más allá
de la sola generalización algebraica, lo cual no es de extrañarse si consideramos que en
general el trabajo de Descartes no sólo unificó la geometría y el álgebra, sino que con ello
planteó ideas que posteriormente serían clave para el desarrollo del análisis matemático
(Boyer, 1949).
100 | P á g i n a
Gauss y la primera demostración formal del Teorema Fundamental del Álgebra: los
argumentos y la racionalidad de la matemática moderna
Struik (1986) menciona que, si bien, antes de la tesis de Gauss, otros matemáticos
como D’Alambert (1746), Euler (1749), De Foncenet (1759) y Lagrange (1772) habían
intentado probar este resultado, ninguna de ellas había sido considerada como
satisfactoria sino hasta la disertación doctoral de Gauss, en la cual, el mismo autor realiza
una crítica a las demostraciones previas. La prueba realizada por (Gauss, 1799), consta de
24 artículos cortos:
101 | P á g i n a
los autores de dichas pruebas: D’Alambert (1746)19, Euler (1749)20, Foncenex (1759) y
LaGrange (1772)21.
Finalmente, para demostrar este resultado Gauss hace uso de dos lemas, los cuales
forman parte de los artículos 13 y 14 y que explicamos a continuación:
UNA NUEVA PRUEBA DE QUE TODA FUNCIÓN ALGEBRAICA RACIONAL ENTERA DE UNA VARIABLE
PUEDE SER DESCOMPUESTA EN FACTORES REALES DE PRIMERO O SEGUNDO GRADO
Art. 13 Primer lema
Si m es cualquier número entero positivo, entonces la función:
𝒙𝒎 𝒔𝒆𝒏𝝋 − 𝒓𝒎−𝟏 𝒙𝒔𝒆𝒏𝒎𝝋 + 𝒓𝒎 𝒔𝒆𝒏(𝒎 − 𝟏)𝝋
Es divisible por 𝒙 − 𝟐𝒓𝒙𝒄𝒐𝒔𝝋 + 𝒓𝟐
𝟐
Demostración
Para 𝒎 = 𝟐:
Se tiene que (𝒙𝟐 𝒔𝒆𝒏𝝋 − 𝒓𝒙𝒔𝒆𝒏𝟐𝝋 + 𝒓𝟐 𝒔𝒆𝒏𝝋)/(𝒙𝟐 − 𝟐𝒓𝒙𝒄𝒐𝒔𝝋 + 𝒓𝟐 ) = 𝒔𝒆𝒏𝝋, esto por la
identidad 𝒔𝒆𝒏𝟐𝝋 = 𝟐𝒔𝒆𝒏𝝋𝒄𝒐𝒔𝝋
Para 𝒎 ≥ 𝟑:
𝒙𝒎 𝒔𝒆𝒏𝝋−𝒓𝒎−𝟏 𝒙𝒔𝒆𝒏𝒎𝝋+𝒓𝒎 𝒔𝒆𝒏(𝒎−𝟏)𝝋
Se tiene que = 𝒙𝒎−𝟐 𝒔𝒆𝒏𝝋 + 𝒓𝒙𝒎−𝟑 𝒔𝒆𝒏𝟐𝝋 + 𝒓𝟐 𝒙𝒎−𝟒 𝒔𝒆𝒏𝟑𝝋 + ⋯ +
𝒙𝟐 −𝟐𝒓𝒙𝒄𝒐𝒔𝝋+𝒓𝟐
𝒓𝒎−𝟐 𝒔𝒆𝒏(𝒎 − 𝟏)𝝋 (esto último se puede ver realizando la operación inversa, realizando el
producto por la raíz)
19 Recherches sur le calcul integral, Histoire de Acad. De Berlin, Année 1746, p. 182 sqq.
20 Recherches sur les racines imaginaires des èquations, Hist. de l’Acad. De Berlin A. 1749, p. 223 sqq.
21 Sur la forme des racines imaginaires des èquations, Nouv. Mem. De l’Acad. de Berlin 1772, p. 222 sqq.
102 | P á g i n a
UNA NUEVA PRUEBA DE QUE TODA FUNCIÓN ALGEBRAICA RACIONAL ENTERA DE UNA VARIABLE
PUEDE SER DESCOMPUESTA EN FACTORES REALES DE PRIMERO O SEGUNDO GRADO
Art. 14 Segundo lema
Si la cantidad 𝒓 y el ángulo 𝝋 están determinados de tal forma que:
[1] 𝒓𝒎 𝒄𝒐𝒔𝒎𝝋 + 𝑨𝒓𝒎−𝟏 𝐜𝐨𝐬(𝒎 − 𝟏) 𝝋 + 𝑩𝒓𝒎−𝟐 𝐜𝐨𝐬(𝒎 − 𝟐) 𝝋 + ⋯ + 𝑲𝒓𝟐 𝒄𝒐𝒔𝟐𝝋 + 𝑳𝒓𝒄𝒐𝒔𝝋 + 𝑴 = 𝟎
Y [2] 𝒓𝒎 𝒔𝒆𝒏𝒎𝝋 + 𝑨𝒓𝒎−𝟏 𝐬𝐞𝐧(𝒎 − 𝟏) 𝝋 + 𝑩𝒓𝒎−𝟐 𝐬𝐞𝐧(𝒎 − 𝟐) 𝝋 + ⋯ + 𝑲𝒓𝟐 𝒔𝒆𝒏𝟐𝝋 + 𝑳𝒓𝒔𝒆𝒏𝝋 = 𝟎
entonces la función 𝒙𝒎 + 𝑨𝒙𝒎−𝟏 + 𝑩𝒙𝒎−𝟐 + ⋯ + 𝑲𝒙𝟐 + 𝑳𝒙 + 𝑴 = 𝑿 será divisible por el factor
de segundo grado 𝒙𝟐 − 𝟐𝒓𝒙𝒄𝒐𝒔𝝋 + 𝒓𝟐 solamente si 𝒓𝒔𝒆𝒏𝝋 no es igual a 0, pero si lo es,
entonces la función 𝑿 será divisible por el factor simple 𝒙 − 𝒓𝒄𝒐𝒔𝝋.
Nota: Las ecuaciones 1 y 2 provienen de considerar a 𝒙 = 𝒓(𝒄𝒐𝒔𝝋 ± 𝒊𝒔𝒆𝒏𝝋), aunque el
símbolo 𝒊 aún no se usaba para los números imaginarios, sino √−𝟏.
Demostración
El Lema 1 afirma que 𝒙𝒎 𝒔𝒆𝒏𝝋 − 𝒓𝒎−𝟏 𝒙𝒔𝒆𝒏𝒎𝝋 + 𝒓𝒎 𝒔𝒆𝒏(𝒎 − 𝟏)𝝋 es divisible por 𝒙𝟐 −
𝟐𝒓𝒙𝒄𝒐𝒔𝝋 + 𝒓𝟐 para cualquier 𝒎 entero.
Por el Lema 1, se tiene que al multiplicar por 𝑨𝟎 𝒓 la cantidad 𝑨𝟎 𝒓𝒙𝒎 𝒔𝒆𝒏𝝋 − 𝑨𝟎 𝒓𝒎 𝒙𝒔𝒆𝒏𝒎𝝋 +
𝑨𝟎 𝒓𝒎+𝟏 𝒔𝒆𝒏(𝒎 − 𝟏)𝝋 también es divisible por 𝒙𝟐 − 𝟐𝒓𝒙𝒄𝒐𝒔𝝋 + 𝒓𝟐 , por lo tanto todas las
siguientes cantidades son divisibles por 𝒙𝟐 − 𝟐𝒓𝒙𝒄𝒐𝒔𝝋 + 𝒓𝟐 :
y por lo tanto, la suma de todas ellas también es divisible por el factor de segundo grado,
siempre que 𝒓𝒔𝒆𝒏𝝋 ≠ 𝟎.
Por otro lado, si 𝒓𝒔𝒆𝒏𝝋 = 𝟎, entonces [2] = 0, pues todos los términos se anulan, y por lo
tanto 𝒓𝒄𝒐𝒔𝝋 es raíz doble.
103 | P á g i n a
Finalmente, después de considerar estos dos lemas, Gauss menciona un argumento
general acerca de la demostración del teorema:
104 | P á g i n a
Regresando a la demostración del teorema en el trabajo de Gauss, el autor en los
artículos 16 al 24, expone una narrativa de razonamientos geométricos que permitan dar
cuenta del significado del teorema. Estos razonamientos, son desarrollados e ilustrados en
investigaciones recientes (Camacho, 2009; Lucero, 2017; Salazar, 2009), y a continuación
retomaremos un ejemplo con la finalidad de brindar al lector la visualización de este
resultado dentro de la variable compleja.
Así, la curva descrita por 𝑇 se mueve libremente por el espacio y cuando cruza el
plano 𝑇 = 0, lo mismo sucede en el caso de 𝑈, solo que, ha de considerarse que los puntos
donde ambos se crucen en el plano, son precisamente las raíces.
105 | P á g i n a
𝑇 = 𝑟 4 𝑠𝑒𝑛4𝜑 − 3𝑟 2 𝑠𝑒𝑛2𝜑 + 6𝑟𝑠𝑒𝑛𝜑, y 𝑈 = 𝑟 4 𝑐𝑜𝑠4𝜑 − 3𝑟 2 𝑐𝑜𝑠2𝜑 + 6𝑟𝑐𝑜𝑠𝜑 − 2
106 | P á g i n a
De la factorización mediante raíces, a la generalización y la
aproximación
Al inicio de esta sección, se han abordado mediante un análisis libre una amplia
variedad de ejemplos sobre la construcción, la resolución, las propiedades de las
ecuaciones y con ello, elementos de la génesis del Teorema Fundamental del Álgebra y de
su demostración como objeto matemático.
En este apartado, dada la amplitud de las nociones y conceptos que involucra este
teorema, retomamos cinco ejemplos que para esta investigación consideramos
fundamentales:
Con base en estos ejemplos, buscaremos caracterizar las prácticas, los significados
y los procedimientos que se encuentran en su génesis y que, de acuerdo con esta
investigación involucran la construcción de las ecuaciones, su método de resolución y las
relaciones y generalizaciones que surgen a partir de ellas.
107 | P á g i n a
Dada la suma 𝑆 y el producto 𝑃 de dos Cada una de las relaciones, la suma y el
raíces 𝑥 y 𝑦, tenemos lo siguiente: producto provienen de una comparación.
𝑥𝑦 = 𝑃; En 𝑥 + 𝑦 = 𝑆, trabajar con 𝑦 = 𝑆 − 𝑥,
𝑥+𝑦=𝑆 devienen de otra comparación, eligiendo
entonces 𝑥(𝑆 − 𝑥) = 𝑃 una de las variables.
luego 𝑥 2 + (−𝑆)𝑥 + 𝑃 = 0. Al sustituir 𝑦 = 𝑆 − 𝑥 en 𝑥𝑦 = 𝑃, las relaciones
se agrupan, y lo que hace posible dicha
Si comparásemos esta ecuación con la agrupación es lo que Viète llama “Ley de
forma general de la ecuación cuadrática los términos homogéneos”, términos
en la simbología moderna 𝑎𝑥 2 + 𝑏𝑥 + 𝑐, homogéneos se comparan con términos
𝑏 𝑐
tendríamos que − = 𝑆 y = 𝑃, donde 𝑃 y 𝑆 homogéneos.
𝑎 𝑎
son el producto y la suma de las raíces Finalmente, al encontrar 𝑥 2 + (−𝑆)𝑥 + 𝑃 = 0,
respectivamente. se tiene una relación común a las dos
relaciones iniciales, es decir, una
equivalencia.
108 | P á g i n a
El ejemplo siguiente, ilustra el método utilizado por Viète para la extracción de
potencias, en las páginas 80 a 87 se puede encontrar una variedad más amplia de casos),
el cual se encuentra normado por lo que Viète llama “teoremas sintéticos” y que como se
describió anteriormente, corresponden a lo que hoy conocemos como “Binomio de
Newton”
109 | P á g i n a
euclídeo para la descomposición en números primos. Además, este ejemplo ilustra con
cierta claridad, la forma en que las prácticas se ejercen de manera anidada e iterada
dentro de un procedimiento, en este caso, la extracción de lados de un número para la
medir la cantidad desconocida, es decir, la solución de la ecuación.
Así, con base en los indicadores elegidos, se pueden reconocer los siguientes
aspectos del método de resolución numérica de potencias mediante la exegética de
Viète:
110 | P á g i n a
Sin embargo, un estudio realizado por Paz (2019) muestra que la importancia de este
instrumento en el trabajo de Descartes, no radica en sí en sus propiedades estáticas (caso
de la construcción de una cantidad finita de medias proporcionales) sino en aquellas que
se derivan de su movimiento y dinámica, las cuales emergen a través de prácticas como
la comparación, la seriación, la predicción y la estimación.
111 | P á g i n a
Finalmente, se predice el comportamiento
de cualesquiera potencias de 𝑥.
Significados Magnitud Curva como cantidad variable
Unidad de referencia Unidad
Unidad de medida Media proporcional en movimiento
Sentidos de la magnitud La curva como resultado de movimientos
regulares
Procedimientos Mecanismos que regulan Comparación sucesiva de medias
iteradamente el ejercicio proporcionales
de las prácticas
Dentro del libro III de la Geometría de Descartes, el autor realiza una serie de
generalizaciones sobre la relación entre el grado o dimensión de las curvas y la cantidad
de raíces que poseen, así como entre el signo de los coeficientes ordenados gradualmente
y las raíces positivas o negativas existentes, “regla de los signos de Descartes”. Debido a la
similitud de los argumentos utilizados para garantizar estas relaciones (los cuales han sido
explicados con mayor detalle en las páginas 95 a 98), en este punto retomaremos el primer
caso.
112 | P á g i n a
el caso de la relación entre los signos de los coeficientes y la cantidad de raíces positivas y
negativas. Con base en las categorías de análisis, reconocemos lo siguiente:
V. Una nueva prueba de que toda función algebraica racional entera de una
variable puede ser descompuesta en factores reales de primero o segundo grado
Como parte del estudio de la génesis del Teorema Fundamental del Álgebra, nos
interesan aquellos argumentos emergentes de su formalización en tanto objeto
matemático y es por ello que, desde el inicio de este apartado se consideró la
demostración propuesta por Gauss, siendo ésta la primera en ser aceptada por la
comunidad matemática.
113 | P á g i n a
• La descomposición en factores simples o de segundo grado para toda la
función.
Lema 1
El Lema se demuestra por inducción sobre 𝑚,
así: Se compara el factor (𝑥 − 𝑧)(𝑥 − 𝑧̅) con la
Para 𝑚 = 1: ecuación para 𝑚 = 1. Como el primer
Se tiene que (𝑥𝑠𝑒𝑛𝜑 − 𝑥𝑠𝑒𝑛𝜑 + 𝑟𝑠𝑒𝑛(0)𝜑)/ término se anula, entonces (𝑥 − 𝑧)(𝑥 − 𝑧̅) lo
(𝑥 2 − 2𝑟𝑥𝑐𝑜𝑠𝜑 + 𝑟 2 ) = 0 divide.
Lema 2.
Por el Lema 1, se tiene que al multiplicar por Como se ha demostrado que el factor
𝐴0 𝑟, la cantidad 𝐴0 𝑟𝑥 𝑚 𝑠𝑒𝑛𝜑 − 𝐴0 𝑟 𝑚 𝑥𝑠𝑒𝑛𝑚𝜑 + (𝑥 − 𝑧)(𝑥 − 𝑧̅) divide a la ecuación
𝐴0 𝑟 𝑚+1 𝑠𝑒𝑛(𝑚 − 1)𝜑 también es divisible por general, entonces dividirá a la ecuación
𝑥 2 − 2𝑟𝑥𝑐𝑜𝑠𝜑 + 𝑟 2 , por lo tanto todas las multiplicada por un factor constante 𝐴0 𝑟.
siguientes cantidades son divisibles por 𝑥 2 −
2𝑟𝑥𝑐𝑜𝑠𝜑 + 𝑟 2 :
114 | P á g i n a
Nota: Las ecuaciones 1 y 2 provienen de
considerar a 𝑥 = 𝑟(𝑐𝑜𝑠𝜑 ± 𝑖𝑠𝑒𝑛𝜑), aunque el
símbolo 𝑖 aún no se usaba para los números
imaginarios, sino √−1.
115 | P á g i n a
Sentidos de la magnitud Función polinómica como organización de
una cantidad variable y susceptible de ser
medida (descompuesta).
Procedimientos Mecanismos que regulan Extracción sucesiva de raíces mediante
iteradamente el ejercicio factores irreducibles simples o de segundo
de las prácticas grado.
En el siguiente cuadro, hemos abstraído con base en las categorías de análisis los
elementos sustanciales de los cinco ejemplos estudiados.
116 | P á g i n a
Tránsito epistemológico Teorema Fundamental del Álgebra
Regularidades
Indicadores Resolución y relaciones
Demostración
Construcción de ecuaciones numérica de entre
formal
ecuaciones coeficientes y
raíces
Viéte Descartes Viète Descartes Gauss
Compara Comparar reglas Compara Compara Compara el
¿Qué hace? cantidades fijas mediante valores de la factor con la
conocidas y Seriar una variable función
¿Cómo lo desconocida comparaciones diferencia Agrupa las polinómica
hace? s de segmentos Agrupa comparacione Agrupa los
Agrupa mediante múltiplos s mediante el factores
Prácticas
117 | P á g i n a
4.3 Teorema Fundamental del Cálculo
Todo parece indicar que desde el año 1665, Isaac Newton reflexionó sobre la
velocidad del cambio o fluxión de magnitudes que fluyen continuamente, o
fluentes, como él las llamó. Entre tales magnitudes se tienen a longitudes, áreas,
volúmenes, temperaturas, velocidad y fuerzas, entre otras. Desde entonces él
denominó “mi método” a la asociación del manejo de las series infinitas con el
estudio de las velocidades de cambio, de las que, a su vez, se servía para determinar
la fuente, construyendo así lo que a la postre se llamaría Teorema Fundamental del
Cálculo.
118 | P á g i n a
de la Royal Society durante su disputa con Leibniz por el reconocimiento de la autoría del
cálculo infinitesimal.
Por otro lado, como se mencionó al inicio de esta investigación, nos interesan no
sólo los conceptos y procedimientos que emergen a partir del Teorema Fundamental del
Cálculo en el sentido escolar, sino los significados asociados a él y que se encuentran en su
génesis y posterior desarrollo, por lo cual nos interesan también los argumentos de carácter
predictivo que se construyen desde y para su significación en un sentido funcional.
119 | P á g i n a
Newton y el Teorema del Binomio. De la extracción de raíces a la aproximación de
una cantidad variable.
El Teorema del Binomio, explicado por Newton en una carta al secretario de la Royal
Society22, Henry Oldenburg, destaca por ser una de las más importantes contribuciones de
Newton al campo del álgebra. Éste consiste en la generalización de la fórmula de la
potencia del binomio para el caso de exponentes racionales fraccionarios, el
procedimiento de resolución numérica de las ecuaciones, conocido bajo el nombre de
paralelogramo de Newton, es decir, el desarrollo de 𝑦 en serie de potencias fraccionarias
de 𝑥, dada la ecuación 𝑃𝑛 (𝑥, 𝑦) = 0, donde 𝑃𝑛 es un polinomio (Ríbnikov, 1987).
Las cartas que veremos a continuación, han sido extraídas de (Struik, 1986):
Though the modesty of Mr. Leibniz, in the extracts from his letter which you have
lately sent me, pays great tribute to our countrymen for a certain theory of infinite series,
about which there now begins to be some talk, yet I have no doubt that he has discovered
not only a method for reducing any quantities whatever to such series, as he asserts, but
also various shortened forms, perhaps like our own, if not even better. Since, however, he
very much wants to know what has been discovered in this subject by the English, and
since I myself fell upon this theory some years ago, I have sent you some of those things
which occurred to me in order to satisfy his wishes, at any rate in part.
𝒎 𝒎 𝒎 𝒎−𝒏 𝒎 − 𝟐𝒏 𝒎 − 𝟑𝒏
(𝑷 + 𝑷𝑸) 𝒏 = 𝑷 𝒏 + 𝑨𝑸 + 𝑩𝑸 + 𝑪𝑸 + 𝑫𝑸 + 𝒆𝒕𝒄.,
𝒏 𝟐𝒏 𝟑𝒏 𝟒𝒏
where 𝑷 + 𝑷𝑸 signifies the quantity whose root or even any power, or the root of a
power, is to be found; 𝑷 signifies the first term of that quantity, 𝑸 the remaining terms
divided by the first, and 𝒎/𝒏 the numerical index of the power of 𝑷 + 𝑷𝑸, whether that
power is integral or (so to speak) fractional, whether positive or negative. For as analysts,
instead of 𝒂𝒂, 𝒂𝒂𝒂, etc., are accustomed to write 𝒂𝟐 , 𝒂𝟑 , 𝒆𝒕𝒄., so instead of
𝟏 𝟑 𝟓
𝟏 𝟏 𝟏
√𝒂, √𝒂𝟑 , √𝒄: 𝒂𝟓 𝒆𝒕𝒄. I write 𝒂𝟐 , 𝒂𝟐 , 𝒂𝟑 , and instead of 𝒂 , 𝒂𝒂 , 𝒂𝟑, I write 𝒂−𝟏 , 𝒂−𝟐 , 𝒂 −𝟑 .1 And so for
22Sociedad científica fundada en Reino Unido en 1662 y cuyo objetivo era potenciar
el desarrollo científico de la época, este organismo fue pionero en el ámbito de la
publicación académica Philophical Transactions (actualmente conocida como revista
Nature) en donde los matemáticos de la época publicaban sus resultados más
sobresalientes.
120 | P á g i n a
𝒂𝒂
√𝒄: (𝒂𝟑 + 𝒃𝒃𝒙)
𝟏
−
I write 𝒂𝒂(𝒂𝟑 + 𝒃𝒃𝒙) , and for
𝟑
𝒂𝒂𝒃
√𝒄: {(𝒂𝟑 + 𝒃𝒃𝒙)(𝒂𝟑 + 𝒃𝒃𝒙)}
𝟐 𝟐
I write 𝒂𝒂𝒃(𝒂𝟑 + 𝒃𝒃𝒙)−𝟑 : in which last case, if (𝒂𝟑 + 𝒃𝒃𝒙)−𝟑 is supposed to be
𝒎
(𝑷 + 𝑷𝑸) in the Rule, then 𝑷 will be equal to 𝒂𝟑 , 𝑸 to 𝒃𝒃𝒙/𝒂𝟑 , 𝒎 to −𝟐, and 𝒏 to 𝟑.
𝒏
Finally, for the terms found in the quotient in the course of the working I employ
𝒎
𝑨, 𝑩, 𝑪, 𝑫, 𝒆𝒕𝒄., namely, 𝑨 for the first term, 𝑷 𝒏 ; 𝑩 for the second term, (𝒎/𝒏)𝑨𝑸; and so on.
For the rest, the use of the rule will appear from the examples.
Example 1
𝟏 𝒙𝟐 𝒙𝟒 𝒙𝟔 𝟓𝒙𝟖 𝟕𝒙𝟏𝟎
√(𝒄𝟐 + 𝒙𝟐 ) or (𝒄𝟐 + 𝒙𝟐 )𝟐 = 𝒄 + 𝟐𝒄 − 𝟖𝒄𝟑 + 𝟏𝟔𝒄𝟓 − 𝟏𝟐𝟖𝒄𝟕 + 𝟐𝟓𝟔𝒄𝟗 + 𝒆𝒕𝒄.
𝒎 𝟏
𝒙𝟐 𝒎
For in this case, 𝑷 = 𝒄𝟐 , 𝑸 = , 𝒎 = 𝟏, 𝒏 = 𝟐, 𝑨 (= 𝑷 𝒏 = (𝒄𝒄)𝟐 ) = 𝒄, 𝑩(= ( ) 𝑨𝑸 =
𝒄𝟐 𝒏
𝒙𝟐 𝒎−𝒏 𝒙𝟒
,𝑪( 𝑩𝑸) = − ; and so on.
𝟐𝒄 𝟐𝒏 𝟖𝒄𝟑
Interpretación
Se asumen dos ideas elementales: las fracciones se reducen a series infinitas por medio
de la división y, las cantidades radicales por extracción de las raíces.
Por otro lado, al considerar 𝑷 como el primer término de esa cantidad y Q los términos
(∑ 𝑹)
restantes divididos por el primero, eso hace que la aproximación de 𝑷 + 𝑷𝑸 = 𝑷 + 𝑷 ( )
𝑷
donde ∑ 𝑹 es la suma de los términos restantes, considere también a 𝑷 como un divisor
de la cantidad estimada.
En esta carta, Newton no sólo presenta la notación para el binomio, y las cantidades
radicales en su forma racional, sino que enuncia las ideas elementales bajo las cuales
concibe el desarrollo del binomio: la primera de ellas tiene que ver con los estudios recientes
(para la época) respecto a los números decimales realizados por matemáticos como
Stevin, la segunda guarda una estrecha relación con el trabajo de Viète y su método
exegético para la extracción de raíces, cuyo argumento se estudió como parte de la
epistemología del Teorema Fundamental del Álgebra. Así, Newton unifica la concepción
infinitesimalista del número con el método de aproximación algebraico desarrollado hasta
su época.
121 | P á g i n a
CARTA 2. ISAAC NEWTON A HENRY OLDENBURG, 1676
Cambridge October 24, 1676
I can hardly tell with what pleasure I have read the letters of those very distinguished men
Leibniz and Tschirnhaus. Leibniz's method for obtaining convergent series is certainly very
elegant, and it would have sufficiently revealed the genius of its author, even if he had
written nothing else. But what he has scattered elsewhere throughout his letter is most
worthy of his reputation —it leads us also to hope for very great things from him. The variety
of ways by which the same goal is approached has given me the greater pleasure,
because three methods of arriving at series of that kind had already become known to
me, so that I could scarcely expect a new one to be communicated to us. One of mine I
have described before; I now add another, namely, that by which I first chanced on these
series— for I chanced on them before I knew the divisions and extractions of roots which I
now use. And an explanation of this will serve to lay bare, what Leibniz desires from me,
the basis of the theorem set forth near the beginning of the former letter.
At the beginning of my mathematical studies, when I had met with the works of our
celebrated Wallis, on considering the series by the intercalation of which he himself
exhibits the area of the circle and the hyperbola, the fact that, in the series of curves
whose common base or axis is 𝒙 and the ordinates,
𝟎 𝟏 𝟐 𝟑 𝟒 𝟓
(𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , 𝒆𝒕𝒄.,
𝟏 𝟐 𝟏 𝟑 𝟑 𝟏
𝒙, 𝒙 − 𝒙𝟑 , 𝒙 − 𝒙𝟑 + 𝒙𝟓 , 𝒙 − 𝒙𝟑 + 𝒙𝟓 − 𝒙𝟕 , 𝒆𝒕𝒄.,
𝟑 𝟑 𝟓 𝟑 𝟓 𝟕
could be interpolated, we should have the areas of the intermediate ones, of which the
𝟏
first (𝟏 − 𝒙𝟐 )𝟐 is the circle: in order to interpolate these series I noted that in all of them the
𝟎 𝟏 𝟐 𝟑
first term was 𝒙 and that the second terms 𝒙𝟑 , 𝒙𝟑 , 𝒙𝟑 , 𝒙𝟑 , 𝒆𝒕𝒄., were in arithmetical
𝟑 𝟑 𝟑 𝟑
progression, and hence that the first two terms of the series to be intercalated ought to be
𝟏 𝟏 𝟏 𝟑 𝟏 𝟓
𝒙 − ( 𝒙𝟑 ) , 𝒙 − ( 𝒙𝟑 ) , 𝒙 − ( 𝒙𝟑 ) , 𝒆𝒕𝒄.
𝟑 𝟐 𝟑 𝟐 𝟑 𝟐
To intercalate the rest I began to reflect that the denominators 𝟏, 𝟑, 𝟓, 𝟕, 𝒆𝒕𝒄., were in
arithmetical progression, so that the numerical coefficients of the numerators only were
still in need of investigation. But in the alternately given areas these were the figures of
powers of the number 𝟏𝟏, namely of these, 𝟏𝟏𝟎 , 𝟏𝟏𝟏 , 𝟏𝟏𝟐 , 𝟏𝟏𝟑 , 𝟏𝟏𝟒 , that is, first 𝟏; then 𝟏, 𝟏;
thirdly, 𝟏, 𝟐, 𝟏; fourthly 𝟏, 𝟑, 𝟑, 𝟏;| fifthly 𝟏, 𝟒, 𝟔, 𝟒, 𝟏, etc. And so I began to inquire how the
remaining figures in these series could be derived from the first two given figures, and I
found that on putting 𝒎 for the second figure, the rest would be produced by continual
multiplication of the terms of this series,
122 | P á g i n a
𝟏 𝟏
For example, let 𝒎 = 𝟒, and 𝟒 × (𝒎 − 𝟏), that is 𝟔 will be the third term, and 𝟔 × (𝒎 −
𝟐 𝟑
𝟏 𝟏
𝟐), that is 𝟒 the fourth, and 𝟒 × (𝒎 − 𝟑), that is 𝟏 the fifth, and 𝟏 × (𝒎 − 𝟒), that is 𝟎 the
𝟒 𝟓
sixth, at which term in this case the series stops. Accordingly, I applied this rule for
𝟏 𝟏
interposing series among series, and since, for the circle, the second term was ( 𝒙𝟑 ), I put
𝟑 𝟐
𝟏
𝒎 = , and the terms arising were
𝟐
𝟏 𝟏 𝟏
𝟏 −𝟏 𝟏 𝟏 −𝟐 𝟏 𝟏 −𝟑 𝟓
×𝟐 or − , − × 𝟐 or + , ×𝟐 or − ,
𝟐 𝟐 𝟖 𝟖 𝟑 𝟏𝟔 𝟏𝟔 𝟒 𝟏𝟐𝟖
and so to infinity. Whence I came to understand that the area of the circular segment
which I wanted was
𝟏 𝟑 𝟏 𝟓 𝟏 𝟕 𝟏 𝟗
𝒙 𝒙 𝒙 𝒙
𝒙− 𝟐 − 𝟖 − 𝟏𝟔 − 𝟏𝟐𝟖 𝒆𝒕𝒄
𝟑 𝟓 𝟕 𝟗
And by the same reasoning the areas of the remaining curves, which were to be inserted,
were likewise obtained: as also the area of the hyperbola and of the other alternate
𝟎 𝟏 𝟐
curves in this series (𝟏 + 𝒙𝟐 )𝟐 , (𝟏 + 𝒙𝟐 )𝟐 , (𝟏 + 𝒙𝟐 )𝟐 , 𝒆𝒕𝒄. And the same theory serves to
intercalate other series, and that through intervals of two or more terms when they are
absent at the same time. This was my first entry upon these studies, and it had certainly
escaped my memory, had I not a few weeks ago cast my eye back on some notes.
But when I had learnt this, I immediately began to consider that the terms
𝟎 𝟐 𝟒 𝟔
(𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , 𝒆𝒕𝒄.,
That is to say,
𝟏, 𝟏 − 𝒙𝟐 , 𝟏 − 𝟐𝒙𝟐 + 𝒙𝟒 , 𝟏 − 𝟑𝒙𝟐 + 𝟑𝒙𝟒 − 𝒙𝟔 , 𝒆𝒕𝒄.
could be interpolated in the same way as the areas generated by them: and that nothing
else was required for this purpose but to omit the denominators 𝟏, 𝟑, 𝟓, 𝟕, 𝒆𝒕𝒄., which are in
the terms expressing the areas; this means that the coefficients of the terms of the quantity
𝟏 𝟑
to be intercalated (𝟏 − 𝒙𝟐 )𝟐 , or (𝟏 − 𝒙𝟐 )𝟐 , or in general (𝟏 − 𝒙𝟐 )𝒎 arise by the continued
multiplication of the terms of this series
𝟑 𝟑 𝟑 𝟏
(𝟏 − 𝒙𝟐 )𝟐 of 𝟏 − 𝒙𝟐 + 𝒙𝟒 + 𝒙𝟔 , 𝒆𝒕𝒄.,
𝟐 𝟖 𝟏𝟔
And
𝟏
𝟏 𝟏 𝟓
(𝟏 − 𝒙𝟐 )𝟑 of 𝟏 − 𝒙𝟐 − 𝒙𝟒 − 𝒙𝟔 , 𝒆𝒕𝒄.
𝟑 𝟗 𝟖𝟏
So then the general reduction of radicals into infinite series by that rule, which I laid down
at the beginning of my earlier letter, became known to me, and that before I was
acquainted with the extraction of roots. But once this was known, that other could not
long remain hidden from me. For in order to test these processes, I multiplied
123 | P á g i n a
𝟏 𝟏 𝟏 𝟔
𝟏 − 𝒙𝟐 − 𝒙𝟒 − 𝒙 , 𝒆𝒕𝒄.,
𝟐 𝟖 𝟏𝟔
into itself, and it became 𝟏 − 𝒙 , the remaining terms vanishing by the continuation of the
𝟐
𝟏 𝟏 𝟓
series to infinity. And even so 𝟏 − 𝒙𝟐 − 𝒙𝟒 − 𝒙𝟔 , 𝒆𝒕𝒄. multiplied twice into itself also
𝟑 𝟗 𝟖𝟏
produced 𝟏 − 𝒙𝟐 . And as this was not only sure proof of these conclusions so too it guided
me to try whether, conversely, these series, which it thus affirmed to be roots of the quantity
𝟏 − 𝒙𝟐 , might not be extracted out of it in an arithmetical manner. And the matter turned
out well.
This was the form of the working in square roots.
𝟏 𝟏
𝟏 − 𝒙𝟐 (𝟏 − 𝒙𝟐 − 𝒙𝟒
𝟐 𝟖
𝟏 𝟔
− 𝒙 , 𝒆𝒕𝒄. , )
𝟏𝟔
1
0 − 𝑥2
1
−𝑥 2 + 𝑥 4
4
1 4
− 𝑥
4
1 1 1
− 𝑥4 + 𝑥6 + 𝑥8
4 8 64
1 1
0 − 𝑥6 − 𝑥8
8 64
Interpretación
Newton basa su explicación del binomio, a partir del reconocimiento de patrones en los
desarrollos binomiales y en el trabajo de Wallis acerca de la serie que describe el área de
determinadas curvas como el círculo y la hipérbola, es decir, la relación entre la curva y
su área.
De manera general, considera las siguientes regularidades:
𝒎
1. El primer término de la serie, es el primer término de la curva (𝑷 𝒏 )
2. Los segundos términos se encuentran en progresión aritmética y en concordancia con
𝒎
el radical ( )
𝒏
3. Los numeradores de los coeficientes coinciden con las potencias del número 11 —el
cual se relaciona con el triángulo de Pascal— de donde construye una serie de productos
infinitos:
𝒎 𝒎 − 𝒏 𝒎 − 𝟐𝒏 𝒎 − 𝟑𝒏
𝟏× × × × ×…
𝒏 𝟐𝒏 𝟑𝒏 𝟒𝒏
124 | P á g i n a
Teorema de Taylor, una significación del Teorema Fundamental del Cálculo, desde
la noción de lo analítico
Como hemos visto, el Teorema del Binomio fue para Newton un recurso de
simplificación para el tratamiento de las magnitudes que fluyen continuamente, llevando a
este escenario instrumentos conceptuales del álgebra comúnmente usados para la
extracción de raíces. A partir de esto, las series infinitas no serían ya consideradas como
meros recursos de aproximación, sino como expresiones alternativas para las variables que
representaban (Cantoral, 1995).
De acuerdo con la historia, aunque para 1712 Taylor ya había dado a conocer su
teorema por medio de una carta, fue hasta 1715 que lo publicó oficialmente en “Methodus
incrementorum directa et inversa”, específicamente en la proposición VII, Teorema III:
125 | P á g i n a
Valores successive ipsius 𝒙 per additionem continuam collecti sunt 𝒙, 𝒙 + ∆𝒙, 𝒙 + 𝟐∆𝒙 +
∆𝟐 𝒙, 𝒙 + 𝟑∆𝒙 + 𝟑∆𝟐 𝒙 + ∆𝟑 𝒙, &𝒄. ut patet per operationem in tabula anexa expresiam. Sed in
his valoribus 𝒙 coefficientes numerales terminorum 𝒙, ∆𝒙, ∆𝟐 𝒙, &𝒄. Eodem modo formantur,
ac coefficientes terminorum correspondentium in dignitae binomii. Et (per Theorema
𝒏 𝒏 𝒏−𝟏 𝒏 𝒏−𝟏 𝒏−𝟐
Newtonianum) si dignitatis index sit n, coeficientes erunt 𝟏, , × , × × , &𝒄. Ergò
𝟏 𝟏 𝟏 𝟏 𝟐 𝟑
quo tempore 𝒛 crescendo sit 𝒛 + 𝒏∆𝒛, hoc est 𝒛 + 𝒗, siet 𝒙 aequalis seriei
Con base en los argumentos usados por Taylor, y las bases que propone Cantoral,
(2001) respecto al modelo analítico para el Cálculo, tenemos una interpretación que
usamos para mostrar cómo a partir del uso de la Serie de Taylor (en un sentido funcional
que no utilitario), resulta como consecuencia, el Teorema Fundamental del Cálculo:
ℎ2 ℎ3
𝑓(𝑥 + ℎ) = 𝑓(𝑥) + 𝑓 ′ (𝑥)ℎ + 𝑓 ′′ (𝑥) + 𝑓 ′′′ (𝑥) + ⋯
2! 3!
𝑑𝑥 2 𝑑𝑥 3
𝑓(𝑥 + 𝑑𝑥) = 𝑓(𝑥) + 𝑓 ′ (𝑥)𝑑𝑥 + 𝑓 ′′ (𝑥) + 𝑓 ′′′ (𝑥) +⋯
2! 3!
1 2 1
= 𝑓(𝑥) + 𝑑𝑓(𝑥) + 𝑑 𝑓(𝑥) + 𝑑 3 𝑓(𝑥) + ⋯
2! 3!
𝑓(𝑥 + 𝑑𝑥) − 𝑓(𝑥) = 𝑑𝑓(𝑥) + 𝑑𝑓(𝑥 + 𝑑𝑥) + 𝑑𝑓(𝑥 + 2𝑑𝑥) + 𝑑𝑓(𝑥 + 3𝑑𝑥) + ⋯
126 | P á g i n a
𝑥+𝑑𝑥
Y de manera general
𝑎+ℎ
127 | P á g i n a
De la relación derivada-integral definida, a la organización
de derivadas sucesivas
Junio 13
Se asumen dos ideas elementales: las Se consideran dos resultados importantes,
cantidades pueden ser reducidas a series uno que corresponde al aritmética: la
infinitas por medio de la división y, las cantidades pueden ser reducidas a series
cantidades radicales por extracción de las infinitas el cual se extrapola al álgebra: las
raíces. cantidades radicales se reducen mediante
La extracción de raíces se acorta por la extracción de raíces.
medio de este teorema: De ahí que se propone el teorema para
extraer raíces:
𝒎 𝒎 𝒎 𝒎−𝒏 𝒎 − 𝟐𝒏 𝒎 − 𝟑𝒏
(𝑷 + 𝑷𝑸) 𝒏 = 𝑷 𝒏 + 𝑨𝑸 + 𝑩𝑸 + 𝑪𝑸 + 𝑫𝑸 + 𝒆𝒕𝒄., 𝒎 𝒎 𝒎 𝒎−𝒏 𝒎 − 𝟐𝒏 𝒎 − 𝟑𝒏
𝒏 𝟐𝒏 𝟑𝒏 𝟒𝒏 (𝑷 + 𝑷𝑸) 𝒏 = 𝑷 𝒏 + 𝑨𝑸 + 𝑩𝑸 + 𝑪𝑸 + 𝑫𝑸 + 𝒆𝒕𝒄.,
𝒏 𝟐𝒏 𝟑𝒏 𝟒𝒏
128 | P á g i n a
Octubre 24
Newton basa su explicación del binomio, a Dadas las expresiones matemáticas de las
partir del reconocimiento de patrones en curvas y el área contenida por ellas:
los desarrollos binomiales y en el trabajo de
Wallis acerca de la serie que describe el Se comparan los términos de las curvas y sus
área de determinadas curvas como el áreas a pares
círculo y la hipérbola, es decir, la relación
entre la curva y su área. Se encuentra una regularidad, todas
Para las curvas: comienzan con el término 𝑥
𝟎 𝟏 𝟐 𝟑
(𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , (𝟏 − 𝒙𝟐 )𝟐 , 𝒆𝒕𝒄.,
Si el área de cada una de ellas esta dada Se comparan los segundos términos de las
por: curvas
𝟏 𝟐 𝟏 𝟑 𝟑 𝟏
𝒙, 𝒙 − 𝒙𝟑 , 𝒙 − 𝒙𝟑 + 𝒙𝟓 , 𝒙 − 𝒙𝟑 + 𝒙𝟓 − 𝒙𝟕 , 𝒆𝒕𝒄.,
𝟑 𝟑 𝟓 𝟑 𝟓 𝟕
1. Cada una de las áreas comienzan con el Se agrupan y se establece una regularidad,
término 𝑥 están en progresión aritmética
2. Los segundos términos se encuentran en
𝟎 𝟏 𝟐 𝟑 Se comparan los denominadores y se
progresión aritmética 𝒙𝟑 , 𝒙𝟑 , 𝒙𝟑 , 𝒙𝟑 , 𝒆𝒕𝒄.,
𝟑 𝟑 𝟑 𝟑 establece una regularidad
3. Los denominadores 𝟏, 𝟑, 𝟓, 𝟕, 𝒆𝒕𝒄 se
encuentran en progresión aritmética. Se agrupan los denominadores y se
4. Los coeficientes de las áreas figuran comparan con las potencias de 11
potencias de 11, 𝟏𝟏𝟎 , 𝟏𝟏𝟏 , 𝟏𝟏𝟐 , 𝟏𝟏𝟑 , 𝟏𝟏𝟒 , tales
que el primero 1; luego 1,1; tercero 1,2,1; Se construye un patrón para los
cuarto 1,3,3,1; quinto 1,4,6,4,1; etc. coeficientes, con base en las potencias de
5. La regularidad de los coeficientes lleva a: 11
𝑚−0 𝑚−1 𝑚−2 𝑚−3 𝑚−4
× × × × , 𝑒𝑡𝑐. Se predice el comportamiento de los
1 2 3 4 5 coeficientes, para cualesquiera curvas
Del mismo modo que en el caso del Teorema Fundamental del Álgebra
identificamos ejemplos que forman parte de un tránsito epistemológico, en el caso del
Teorema Fundamental del Cálculo, dado el enfoque que hemos elegido para abordarlo el
Teorema del binomio forma parte de lo que concebimos como un tránsito epistemológico
entre lo algebraico del TFAl y lo analítico del TFC-T. Los argumentos utilizados por Newton
sustentan esta hipótesis, ya que al extrapolar razonamientos de la aritmética al álgebra —
la reducción de cantidades a series infinitas a la extracción de raíces— construye una
herramienta de naturaleza predictiva que posteriormente sería retomada por Taylor para
describir el comportamiento de una cantidad de variación continua, las funciones
analíticas.
Así, si bien reconocemos que ante la construcción del binomio emergen una gran
cantidad de prácticas, consideramos principalmente aquellas que dan cuenta de la
naturaleza predictiva de este resultado.
129 | P á g i n a
Categoría de Indicadores Descripción
análisis
Prácticas ¿Qué hace? Comparar términos de la expresión de las
¿Cómo lo hace? áreas de las curvas
¿Para qué lo hace? Seriar progresiones aritméticas23
Comparar coeficientes
Seriar potencias de 11
Predecir, se asume que el teorema es útil
para interpolar todas las curvas y sus áreas
Significados Magnitud Curva como cantidad variable
Unidad de referencia
Unidad de medida No corresponde
II. Teorema Fundamental del Cálculo, deducción mediante un enfoque por Taylor
Teorema de Taylor
encontrados en los coeficientes y las potencias de los términos de las expresiones de las
curvas y sus respectivas áreas.
130 | P á g i n a
Los valores sucesivos de 𝑥 se añaden
continuamente 𝑥, 𝑥 + ∆𝑥, 𝑥 + 2∆𝑥 + ∆2 𝑥, 𝑥 + Se compara la regularidad en los
3∆𝑥 + 3∆2 𝑥 + ∆3 𝑥, &𝑐 de acuerdo a la tabla coeficientes con la regularidad binomial
anterior. Así, los coeficientes de los valores del Teorema de Newton.
de 𝑥 son los términos 𝑥, ∆𝑥, ∆2 𝑥, &𝑐. Del mismo
modo se forman los coeficientes del binomio Se comparan los incrementos de las
y por el Teorema de Newton si el índice es 𝑛, variables de manera sucesiva,
𝑛 𝑛
los coeficientes están dados por 1, , × reconociendo la regularidad binomial y
1 1
𝑛−1 𝑛 𝑛−1 𝑛−2 usando ese resultado para organizar los
, × × , &𝑐. De ahí que 𝑧 incrementa
1 1 2 3 incrementos de la variable.
a 𝑧 + 𝑛∆𝑧, es decir, 𝑧 + 𝑣 y 𝑥 es igual a la serie Se establece un modelo predictivo para
𝑣 𝑣𝑣̇ 𝑣𝑣̇ 𝑣𝑣̇ 𝑣̈
𝑥 + ∆𝑥 + ∆2 𝑥 + ∆3 𝑥 + ∆3 𝑥 + &𝑐
1∙∆𝑧 1∙2∆𝑧 2 1∙2(∆𝑧 2 ) 1∙2∙3(∆𝑧 3 ) reconstruir el comportamiento de la
Cuanto más cerca esté 𝑧 de 𝑧 + 𝑣, al mismo variable desde una aproximación local.
tiempo 𝑥 se incrementa.
Deducción del TFC
Si 𝑓 es analítica:
ℎ2 ℎ3 Se reescribe la función en términos de sus
𝑓(𝑥 + ℎ) = 𝑓(𝑥) + 𝑓 ′ (𝑥)ℎ + 𝑓 ′′ (𝑥) + 𝑓 ′′′ (𝑥) + ⋯
2! 3! incrementos.
131 | P á g i n a
Predecir los estados futuros mediante el
estudio de las variaciones.
Comparar estados cercanos para predecir
el comportamiento de sus variaciones
Significados Magnitud Función
Unidad de referencia Variación
Unidad de medida Derivada
Sentidos de la magnitud Función como cantidad de variación
continua
Procedimientos Mecanismos que regulan Extracción sucesiva de variaciones
iteradamente el ejercicio mediante ∆𝑥/∆𝑧
de las prácticas Binomio como organizador de variaciones
sucesivas de la función
132 | P á g i n a
133 | P á g i n a
5. Conclusiones: hacia una reconstrucción racional
de “lo transversal”
En este capítulo retomaremos los aspectos obtenidos a través de la
problematización del saber relativo a los Teoremas Fundamentales del Aritmética, el
Álgebra y el Cálculo (este último desde el enfoque por Taylor) con la finalidad de hacer
una reconstrucción racional del saber transversal mediante las prácticas, los significados y
los procedimientos involucrados en su constitución; dichas categorías, dan cuenta de los
distintos momentos de la construcción de estos objetos; sus tránsitos, sus rupturas y su
desarrollo.
Si bien Euclides (1325 – 1265 a. n. e.) no fue el único en escribir Elementos, su obra
fue una de las más influyentes en la enseñanza de las matemáticas en Alejandría en los
años 300 a. n. e.; esta región se caracterizaba por ser un importante centro comercial y de
134 | P á g i n a
perfeccionamiento técnico, y precisamente ante esto, surgió la necesidad de construir un
centro científico-docente, el Museo, donde se coleccionaban los manuscritos de los
científicos de la época, entre ellos Euclides, Arquímedes, Apolonio, Eratóstenes, entre otros
(Boyer, 1991; Ríbnikov, 1987). Así, los Elementos de Euclides son escritos con la finalidad de
ser instrumentos de difusión del conocimiento científico, su carácter axiomático y
deductivo, fue la pauta para el posterior desarrollo de la matemática en un sentido formal.
Por otra parte, Viète (1540-1603), autor de Introducción al arte analítico (1591) fue
un abogado francés que dedicó un gran periodo de su vida a la enseñanza entre las
familias cercanas al clero; siendo cercano al rey Enrique III y Enrique IV de Francia, realizó
por mucho tiempo actividades criptográficas, descifrando mensajes de la corona
española. Sin embargo, su trabajo algebraico no sólo se vio influenciado por la criptografía;
años atrás (1560) como abogado, se dedicó a la liquidación de tierras al servicio de la reina
de escocia; en 1584 fue destituido de todo cargo político, siendo éste el período donde
dedicó gran parte de su trabajo al estudio de la astronomía, la aritmética y la trigonometría;
algunos de sus principales referentes fueron Diofanto y Apolonio (Boyer, 1991; Ríbnikov, 1987;
Struik, 1980, 1986). Así, podríamos decir que el álgebra de Viète está impregnada de una
amplia diversidad de racionalidades: la astronomía, la criptografía, la trigonometría, el
derecho, entre otras.
135 | P á g i n a
como abstracción de las diferentes formas del movimiento mecánico continuo, en ella
Newton explica los métodos utilizados para la deducción del teorema binomial, conforme
su concepción de las curvas y su comportamiento.
3
𝜕𝑦 2 2
[1 + ( ) ]
𝜕𝑡
𝜌=
𝜕2𝑦
𝜕2𝑡
Finalmente, en el caso de Gauss (1777-1855) a finales del siglo XVIII y principios del
siglo XIX, se sabe que su trabajo se desarrolló el seno de la matemática en sí, por un lado en
1798 finalizó sus estudios universitarios en la Universidad de Gotinga, fecha en la que escribía
las Disquisiciones Aritméticas con el objetivo de conjuntar todo lo que se sabía hasta esa
época respecto a la teoría de números, sin embargo, postuló su disertación doctoral (Una
nueva prueba de que toda función algebraica racional entera de una variable puede ser
descompuesta en factores reales de primero o segundo grado) un año después en
Helmstadt, donde finalmente obtuvo el grado de doctor; posteriormente en 1801 fueron
publicadas sus Disquisiciones Aritméticas (Boyer, 1991; Ríbnikov, 1987; Struik, 1986).
136 | P á g i n a
el método de Gauss se sigue utilizando para la trayectoria de satélites— y dentro de la
matemática, fue una piedra angular para el desarrollo del álgebra moderna, la geometría
diferencial,
Con base en lo anterior se puede reconocer que las obras analizadas en esta
investigación (ver ilustración 17) se encuentran impregnadas de las circunstancias sociales
y culturales de la época que les dio cabida, y más aún, la fenomenología de los episodios
que componen la génesis histórica forma parte de la epistemología de los conceptos que
fueron analizados; nuestras aportaciones respecto a esto serán detalladas en la categoría
de significados.
137 | P á g i n a
En cambio, uno de los mayores aportes de Descartes fue la construcción de curvas
mediante instrumentos mecánicos, esto es, hubo que romper con la idea de que las curvas
se construían mediante cortes de secciones cónicas y con la cualidad dimensional de las
ecuaciones pues, bajo esta nueva concepción, la expresión 𝑥 2 dejaría de ser un cuadrado,
para convertirse en un punto; además se asume que las curvas que pueden ser usadas
para resolver problemas matemáticos provienen de esta construcción, son resultado de
movimientos regulares; este hallazgo apunta hacia un tránsito entre la noción de incógnita
hacia la noción de variable.
Por lo tanto, vemos que la Ley de la homogeneidad, fue necesaria para el desarrollo
simbólico del Álgebra, pero se convirtió en un obstáculo para el estudio analítico de las
curvas, concepción que sería retomada por los científicos posteriores como Newton y
Leibniz, y que a la postre sería fundamental en la construcción de las herramientas del
Cálculo. Es así como postulamos a este principio de homogeneidad como parte
fundamental de los constructos característicos de la reconstrucción de los Teoremas
Fundamentales del Aritmética, el Álgebra y el Cálculo.
138 | P á g i n a
En el siguiente cuadro hemos aglutinados los elementos encontrados para cada una
de las categorías de análisis involucrando tanto los teoremas como los tránsitos
epistemológicos encontrados entre ellos:
139 | P á g i n a
140 | P á g i n a
Prácticas
Debido a que hemos asumido a las prácticas como recursos (normados y normativos
en el sentido de la Teoría Socioepistemológica de la Matemática Educativa) que fomentan
y transforman el pensamiento matemático, a partir de las preguntas ¿qué hace?, ¿cómo
lo hace? y ¿para qué lo hace?, se encontraron las siguientes prácticas:
Formas de la comparación
Como diferencia Como razón
𝑎 Te1(resolución numérica de
Comparación del tipo 1 𝑎−𝑏 ecuaciones)
𝑏
TFAl (demostración formal)
TFAr (existencia) TFAr (unicidad)
𝑎 𝑐
𝑎−𝑏 =𝑐−𝑑 =
Comparación del tipo 2 𝑏 𝑑 Te2 (extracción de raíces)
Te1(construcción de ecuaciones)
Como cociente de diferencias
Comparación del tipo 3 𝑎−𝑏 TFC-T
𝑐−𝑑
Tabla 11. Tipos de comparación
La comparación del tipo 1, deviene en dos formas, cada una de las cuales se
corresponde con argumentos distintos del TFAr, la existencia y la unicidad respectivamente:
141 | P á g i n a
• como razón: al operar con los factores como divisores del número para
demostrar su unicidad (ver página 62)
Por otro lado, conviene destacar el papel de algunas prácticas específicas que, a
la luz de esta reconstrucción proporcionan elementos de naturaleza transversal:
142 | P á g i n a
problematización de concepto relativos al cálculo y a la geometría (Paz,
2019), sin embargo, nuestros hallazgos sugieren que se encuentra en el
tránsito epistemológico entre el TFAr y el TFAl en tanto al enfoque de
Descartes sobre la construcción de ecuaciones.
4) Argumentar: dado el contexto de la obra en la que emerge, podríamos
inferir que esta práctica forma parte del quehacer riguroso en las
demostraciones matemáticas.
5) Equivaler: surge en la construcción de ecuaciones en el trabajo de Viète, así
construir una ecuación implica construir una relación de equivalencia entre
las cantidades conocidas y desconocidas.
6) Predecir: al igual que la práctica de medir, emerge en diferentes formas en
los tres momentos en que aparece; predecir (1) tiene un sentido de
generalización, en tanto que aparece como extensión del método de
construcción de curvas de Descartes para cualquier potencia de 𝑥 (Paz,
2019), y en el método de Newton, donde extrapola razonamientos del
aritmética al álgebra; predecir (2) refiere a estados futuros mediante el
estudio de las variaciones; predecir (3) refiere al comportamiento de las
variaciones.
7) Generalizar: es una práctica que emerge como resultado de encontrar
regularidades y relaciones, logrando que se constituya como una propiedad
del objeto en cuestión, en este caso las ecuaciones. Un estudio detallado de
la generalización de patrones y su relación con el PyLV puede encontrarse
en (López-Acosta, 2016).
Para ilustrar esta afirmación, retomaremos uno de los ejemplos de Viète (páginas 108
a 110) en donde las prácticas identificadas fueron comparar, agrupar y medir:
143 | P á g i n a
Ilustración 20. Anidación de prácticas en la resolución numérica de ecuaciones
144 | P á g i n a
Significados
En el capítulo tres, caracterizamos a los significados a partir del ejercicio
intencionado de prácticas, en el siguiente cuadro extrajimos únicamente los significados,
aunque cabe mencionar que la lectura e interpretación que haremos de ellos se
fundamenta en el análisis de las prácticas encontradas (ver tabla 12):
145 | P á g i n a
e indivisibilidad, las cuales son fundamentales en la conceptualización de la
descomposición en primos (López & Cañadas, 2013; Zazkis & Campbell, 1996a, 1996b).
146 | P á g i n a
ecuaciones para resolver problemas introduciendo el uso de instrumentos mecánicos para
la construcción de las curvas y utilizando criterios de proporción para describir la trayectoria
de las curvas; en otras palabras, se hace uso de la proporción y el movimiento para
establecer relaciones y construir curvas con base en ellas.
Este significado, de cierta forma se relaciona con lo que la literatura reporta sobre
el Early Algebra y el Functional Thinking (Cai & Knuth, 2011; Carraher et al., 2000; Slavit, 1999)
como elementos cognitivos en la transición del aritmética al álgebra, ya que hacen
referencia al uso de relaciones entre cantidades para la generalización de patrones. Si bien,
el enfoque cartesiano va más allá de la mera generalización, sí involucra la construcción
de relaciones entre cantidades, usando las cualidades geométricas de éstas para
caracterizar el comportamiento de la variable.
147 | P á g i n a
construidos con base en sus raíces y una propiedad fundamental, las raíces son soluciones
de la ecuación. Para Gauss, demostrar el teorema involucra verificar criterios de divisibilidad
entre los factores irreducibles y la función polinómica, el resto se deduce aplicando
iteradamente un procedimiento de extracción sucesiva.
148 | P á g i n a
significado encontrado en el trabajo de Taylor aporta elementos para este enfoque; más
aún, aporta elementos hacia el Pensamiento y Lenguaje Variacional, principalmente al
articular esta significación con las formas de comparación encontradas en la categoría de
prácticas.
149 | P á g i n a
Procedimientos
Dentro de esta categoría hemos asumido a los procedimientos como mecanismos
producto del ejercicio iterado e intencional de las prácticas para resolver un problema
específico, de acuerdo con esto hemos reconocido principalmente tres procedimientos
cuyo valor epistémico es de gran importancia en la constitución de los Teoremas y sus
conceptos asociados.
Extracción sucesiva
de los casos el uso del procedimiento mantiene una estrecha relación con el significado de
las magnitudes que se ponen en uso. En el primer caso, para extraer los submúltiplos de la
cantidad que se busca medir, se asume al número como cantidad fija susceptible de ser
medida; en el segundo caso para extraer los lados de la cantidad desconocida se debe
asumir que ésta proviene de su relación con las cantidades conocidas; en el tercero para
extraer los factores irreducibles simples o de segundo grado, se considera a la función
polinómica como cantidad variable susceptible de ser medida mediante las raíces a través
de los factores irreducibles; el cuatro caso, para realizar la extracción de variaciones se
asume que se opera con magnitudes de variación continua.
Este teorema, emerge con la intención de organizar las magnitudes con un fin
predictivo, en un caso (T1, resolución numérica de ecuaciones) la extracción sucesiva de
lados de la cantidad desconocida y en otro (TFC-T) las variaciones sucesivas de la cantidad
de variación continua. Dadas estas características, consideramos que el Teorema del
Binomio tiene un papel normativo en estos procesos de aproximación, lo cual resulta
interesante en tanto que reconocemos su amplio valor epistémico en las formas de
pensamiento relativas al estudio del cambio, lo cual ha sido reportado por una amplia
150 | P á g i n a
diversidad de investigaciones dentro de la línea de Pensamiento y Lenguaje Variacional
para nociones relativas al cálculo. Sin embargo, al encontrar indicios de esta normatividad
en un escenario de la génesis de un objeto del álgebra (TFAl), consideramos que su
funcionalidad se amplía hacia la “dinámica” de magnitudes.
Comparación sucesiva
Por lo tanto, podemos decir que para fines didácticos, si bien los procedimientos son
necesarios para resolver una tarea específica, su sola aplicación no es suficiente, es
necesario tener conciencia de la naturaleza de los objetos operados para que su uso sea
funcional.
151 | P á g i n a
Transversalidad y Socioepistemología
En esta investigación hemos realizado un análisis del saber transversal a los Teoremas
Fundamentales del Aritmética, el Álgebra y el Cálculo, haciendo un recorrido por su génesis
histórica, rescatando las prácticas, los significados y los procedimientos que les constituyen
y para ello tomamos en cuenta diversas características sociales y culturales de los periodos
históricos en los que cada una de las obras fue desarrollada, se les sitúa.
Prácticas Significados
Teorema Comparar Número como cantidad constante susceptible de
Fundamental Agrupar ser medida mediante números primos
del Aritmética Medir UR: la unidad
UM: el número primo
Teorema Comparar Función polinómica como cantidad variable y
Fundamental Agrupar susceptible de ser medida mediante factores
del Álgebra Medir irreducibles
UR: la raíz
UM: el factor irreducible
Teorema Comparar Función como cantidad de variación continua
Fundamental Seriar organizada por medio de sus derivadas sucesivas
del Cálculo - Predecir UR: la variación
Taylor UM: derivada
Notemos que, en los primeros dos casos, la anidación de prácticas coincide, aún si
se trata de magnitudes de distinta naturaleza: el número, el polinomio y la función. Por otro
152 | P á g i n a
lado, en los tres casos los significados refieren a la magnitud en términos de sus unidades de
medida: el número primo, el factor irreducible y la derivada. Tomando esto en cuenta, es
posible plantear un modelo estructural que vincule los tres teoremas, por medio de la noción
de anillos e ideales, la cual se encuentra al seno del Álgebra Moderna.
De acuerdo con Patterson & Burton (1972), los anillos e ideales se definen de la
siguiente manera:
1) 𝑎, 𝑏 ∈ 𝐼 entonces 𝑎 − 𝑏 ∈ 𝐼, y
2) 𝑟 ∈ 𝑅 y 𝑎 ∈ 𝐼 entonces ambos productos 𝑟𝑎, 𝑎𝑟 ∈ 𝐼
153 | P á g i n a
El esquema siguiente, ilustra cómo percibimos esta relación:
Ilustración 22. Conjetura de los tres teoremas con base en la teoría de anillos e ideales
Este último hallazgo, nos permite ilustrar cómo a la luz de las prácticas el análisis del
saber transversal nos permite reconocer la construcción de nuevos objetos, particularmente
el caso de la teoría de anillos e ideales fue creada por Richard Dedekind (1882)
estableciendo una relación entre la teoría de las funciones algebraicas y la teoría de los
números algebraicos en un cierto dominio de racionalidad (Struik, 1980).
Esto quiere decir que el análisis socioepistemológico del saber transversal, puede
proporcionarnos elementos no sólo para la significación de los conceptos escolares que
actualmente forman parte del currículo, sino también para la construcción de nuevos
objetos dentro de la matemática en sí, lo cual amplia el alcance de los estudios de esta
naturaleza, en otras palabras, ampliamos la idea de inclusión hacia nuevos horizontes.
Así pues, como resultado de esta investigación identificamos que los elementos
esenciales del significado —construido mediante el ejercicio de las prácticas normadas—
de cada uno de los teoremas problematizados; Teorema Fundamental del Aritmética, del
Álgebra y del Cálculo desde un enfoque por Taylor, constituyen lo que hemos postulado
como una conjetura en un sentido estructural, siendo ésta un ejemplo de cómo las
154 | P á g i n a
prácticas anteceden y acompañan a los objetos y de cómo mediante ellas, sus significados
se articulan.
155 | P á g i n a
Referencias
Aargün, A. G., & Özkan, E. M. (2001). A historical survey of the Fundamental Theorem of
Arithmetic. Historia Mathematica, 28(3), 207–214. DOI:
https://doi.org/10.1006/hmat.2001.2318
Andreoni, R., Bracone, J., Coronel, M. T., Formento, R., & Lestón, P. (2014). Álgebra : entre el
hacer matemático y el pensar matemática. Revista Premisa, 16(60), 31–42.
Bednarz, N., Kieran, C., & Lee, L. (1996). Approaches to Algebra. Perspectives for Research
and Teaching. London: Kluwer Academic Publishers.
Blanton, M. L., & Kaput, J. J. (2004). Elementary Grades Students’ Capacity for Functional
Thinking. Proceedings of the 28th Conference of the International Group for the
Pyschology of Mathematics Education, 2, 135–142.
Blanton, M., Stephens, A., Knuth, E., Gardiner, A. M., Isler, I., & Kim, J. S. (2015). The
development of children’s algebrai thinking: The impact of a comprehensive early
algebra intervention in third grade. Journal for Research in Mathematics Education,
46(1), 39–87.
Boyer, C. (1949). The History of the Calculus and its conceptual development (1st ed.). New
York: Dover Publications, Inc.
Boyer, C. (1991). A History of Mathematics (2nd ed.). New York: John Wiley & Sons, Inc.
Bressoud, D., Ghedamsi, I., Martinez-Luaces, V., & Törner, G. (2016). Teaching and Learning
156 | P á g i n a
of Calculus. En ICME-13 Topical Surveys, pp. 1-37. Springer: Cham DOI:
https://doi.org/10.1007/978-3-319-32975-8_1
Byerley, C., Hatfield, N., & Thompson, P. W. (2012). Calculus students’ understandings of
division and rate. In S. Brown, S. Larsen, K. Marrongelle, & M. Oehrtman (Eds.),
Proceedings of the 15th Annual Conference on Research in Undergraduate
Mathematics Education (pp. 358–363). Portland, OR: SIGMAA/RUME.
Cai, J., & Knuth, E. (2011). Early Algebraization. ZDM—International Reviews on Mathematical
Education, 40(1), 187–214. DOI: https://doi.org/10.1007/978-3-642-17735-4
Cantoral, R. (2019). Caminos del saber. Pensamiento y lenguale variacional (1a ed.).
157 | P á g i n a
Barcelona, España: Gedisa.
Cantoral, R., & Ferrari, M. (2004). Uno studio socioepistemologico sulla predizione. La
Matematica e La Sua Didattica, (2), 33–70.
Cantoral, R., & Ferrari, M. (2009). La predicción y la regla de los signos de Descartes
(Cantoral, R. y Ferrari, M. Trad.), 2, 3–20.
Cantoral, R., Montiel, G., y Reyes-Gasperini, D. (2015). Análisis del discurso Matemático
Escolar en los libros de texto, una mirada desde la Teoría Socioepistemológica.
Avances de Investigación En Educación Matemática, (8), 9–28.
Carlson, M., Jacobs, S., Coe, E., Larsen, S., & Hsu, E. (2002). Applying covariational reasoning
while modeling dynamic events: A framework and a study. Journal for Research in
Mathematics Education, 33(5), 352–378. DOI: https://doi.org/10.2307/4149958
Carlson, M. P., Persson, J., & Smith, N. (2003). Developing and connecting students’ notions
of rate-of-change and accumulation: The Fundamental Theorem of Calculus.
Proceeding of the International Group for the Psychology of Mathematics Education
Conference Held Jointly with the 25th PME-NA Conference, 165–172.
Carraher, D., Schliemann, A., & Brizuela, B. M. (2000). Early algebra, early arithmetic: Treating
operations as functions. PME-NA, XXII, 1–26. Tucson, USA.
Carrera, P. (1992). The Fundamental Theorem of Algebra before Carl Friedrich Gauss.
Publicacions Mathemàtiques, 36(2B), 879–911. DOI:
https://doi.org/10.1142/9789814689939_0026
158 | P á g i n a
de Cali, Colombia.
Courant, R. (1936). Differential & Integral Calculus. Vol. II. Great Britain, Reino Unido: Blackie's
list.
Espinoza, L., Vergara, A., & Valenzuela, D. (2018). Geometría en la práctica cotidiana: La
medición de distancias inaccesibles en una obra del siglo XVI. RELIME. Revista
Latinoamericana de Investigación En Matemática Educativa, 21(3), 247–274. DOI:
https://doi.org/10.12802/relime.18.2131
Filloy, E., & Rojano, T. (1983). La Aparición del Lenguaje Aritmético-Algebraico. México D.F.:
CINVESTAV-IPN.
Filloy, E., & Rojano, T. (1989). Solving Equations: The Transition from Arithmetic to Algebra.
Source. For the Learning of Mathematics, 9, 19-25. .
159 | P á g i n a
school students in performing Calculus tasks. International Journal of Mathematical
Education in Science and Technology, 49(2), 227–252. DOI:
https://doi.org/10.1080/0020739X.2017.1355994
Gauss, C. F. (1828). Beweis eines algebraischen Lehrsatzes. Journal Für Die Reine Und
Angewandte Mathematick, (3), 1–4. DOI: https://doi.org/doi:10.1515/crll.1828.3.1
Goel, S. K., & Reid, D. T. (2001). A Graphical Approach to Understanding the Fundamental
Theorem of Algebra. Mathematics Teacher, 94(9), 749–759.
Herrera, H., Cuesta, A., & Escalante, J. (2016). El concepto de variable: un análisis con
estudiantes de bachillerato. Educación Matemática, 28(3), 217–240.
Herscovics, N., & Linchevski, L. (1994). A cognitive gap between arithmetic and algebra.
Educational Studies in Mathematics, 27, 59–78.
160 | P á g i n a
Johnson, H. (2010). Investigating the fundamental theorem of calculus. Mathematics
Teacher, 103(6), 430–435.
Kalantari, B., & Torrence, B. (2013). Theorem of Algebra for Artists. Math Horizons, 20(4), 26–
29.
Kieran, C., & Filloy, E. (1989). El aprendizaje del álgebra escolar desde una perspectiva
psicológica. Enseñanza de Las Ciencias, 7(3), 229–240.
Kieran, C., Pang, J., Schifter, D., & Fong, S. (2016). Early Algebra: Research into its Nature, its
Learning, its Teaching. ICME 13 Topical Surveys. Hamburg: Springer Open. DOI:
https://doi.org/10.1007/978-3-319-32258-2
Klein, J. (1968). Greek mathematical thought and the origin of algebra. New York, USA: Dover
Publications, Inc.
Klisinska, A. (2009). The Fundamental Theorem of Calculus. A case study into the didactic
transposition of proof. A Course in Analysis (Tesis Doctoral no publicada). Luleå University
of Technology, Luleå, Suecia. DOI: https://doi.org/10.1142/9789814689939_0026
Kouropatov, A., & Dreyfus, T. (2013). Constructing the Fundamental Theorem of Calculus.
Proceedings of the 37th Conference of the International Group for the Psychology of
Mathematics Education Methodology and Methods in Mathematics Education, 3, 201–
208. Recuperado de http://lettredelapreuve.org/pdf/PME37/Kouropatov.pdf
Linchevski, L., & Livneh, D. (1999). Structure sense: The relationship between algebraic and
numerical contexts. Educational Studies in Mathematics, 40, 173–196. DOI:
https://doi.org/10.1023/A:1003606308064
161 | P á g i n a
López, Á., & Cañadas, M. (2013). Utilización del Teorema Fundamental de la Aritmética por
maestros en formación en tareas de divisibilidad. En L. Rico, M. C. Cañadas, J. Gutiérrez,
M. Molina e I. Segovia (Eds.), Investigación en Didáctica de la Matemática: Homenaje
a Encarnación Castro (pp. 59-66). Granada, España: Comares.
Mora, W. (2010). Introducción a La Teoría de Números. Ejemplos y Algoritmos (1a ed.). Costa
Rica: Instituto Tecnológico de Costa Rica. DOI: https://doi.org/10.1157/13068212
Nauenberg, M. (2011). Barrow and Leibniz on the Fundamental Theorem of the Calculus.
Recuperado de https://arxiv.org/abs/1111.6145
Nunes, T., Dorneles, B. V., Lin, P. J., & Rathgeb-Schnierer, E. (2016). Teaching and Learning
About Whole Numbers in Primary School. ICME-13 Topical Surveys. Springer, Cham. DOI:
https://doi.org/10.1007/978-3-319-45113-8_1
Oehrtman, M., & Thompson, P. W. (2008). Foundational reasoning abilities that promote
coherence in students’ function understanding. Making the Connection: Research and
Teaching in Undergraduate Mathematics Education, 27–42. DOI:
https://doi.org/10.5948/UPO9780883859759.004
Patterson, E. M., & Burton, D. M. (1972). A First Course in Rings and Ideals. The Mathematical
Gazette, 56(396), 170. DOI: https://doi.org/10.2307/3615330
Peñaloza, W., Suárez, S., & Roa, S. (2013). El Teorema Fundamental del Cálculo: Escenarios
162 | P á g i n a
para su comprensión. Revista Científica, Núm Esp., 660–664.
Pickering, A. (1995). The mangle of practice: time, agency and science. Chicago and
London: The University of Chicago Press.
Ponce, J. (2013b). Isaac Barrow y su versión geométrica del Teorema Fundamental del
Cálculo. Números, (83), 123–130.
Puig, L., & Rojano, T. (2006). The History of Algebra in Mathematics Education. En The Future
of the Teaching and Learning of Algebra The 12th ICMI Study (pp. 187–223). DOI:
https://doi.org/10.1007/1-4020-8131-6_8
Rico, L., Cañadas, M., Gutiérrez, J., Molina, M., & Segovia, I. (Eds.)(2013). Investigación en
Didáctica de la Matemática: Homenaje a Encarnación Castro. Granada, España:
Editorial Comares.
Rojano, T., & Sutherland, R. (1991). La Sintaxis Algebraica en el Proyecto Viético. In T. Rojano
& L. Puig (Eds.), Historia de las ideas algebraicas (pp. 117–129). México, D.F.: CINVESTAV-
IPN.
163 | P á g i n a
Salazar, L. (2009). Teorema Fundamental del Álgebra y sus diferentes demostraciones.
Pontificia Universidad Javeriana (Tesis de Licenciatura no publicada). Pontificia
Universidad Javeriana, Bogotá, Colombia.
SEP. (2017a). Aprendizajes Clave Para la Educación Integral. Ciudad de México, México:
Secretaría de Educación Pública.
SEP. (2017b). Educación Media Superior (Primera ed). Ciudad de México, Mexico: Secretaría
de Educación Pública.
Slavit, D. (1999). The role of operation sense in transitions from arithmetic to algebraic
thought. Educational Studies in Mathematics, 37, 251–274. DOI:
https://doi.org/10.1023/A:1003602322232
Soto, D., & Cantoral, R. (2014). Discurso Matemático Escolar y Exclusión. Una Visión
Socioepistemológica. Bolema, 28(50), 1525–1544. DOI: https://doi.org/10.1590/1980-
4415v28n50a25
Struik, D. J. (1980). Historia Concisa de las Matemáticas (3aed Trad.). Distrito Federal, México:
Secretaría de Educación Pública.
Struik, D. J. (1986). A Source Book in Mathematics 1200-1800. New Jersey: Princeton University
Press.
164 | P á g i n a
Educational Studies in Mathematics, 25(3), 165–208.
Thompson, P. W., & Silverman, J. (2008a). The concept of Accumulation in Calculus. Making
the Connection: Research and Teaching in Undergraduate Mathematics Education,
43–52. DOI: https://doi.org/10.5948/UPO9780883859759.005
Ursini, S. (1994). Los Niños y las Variables. Educación Matemática, 6(3), 90–108.
Ursini, S. (2011). Il Modello 3UV: uno strumento teorico a disposizione degli insegnanti di
matematica. QuaderniCIRD, 2, 59–70.
Verzosa, D. (2015). Reading the World with Calculus. Primus, 25(4), 349–368. DOI:
https://doi.org/10.1080/10511970.2014.978983
Verzosa, D., Guzon, A. F., & De las peñas, M. L. A. N. (2014). Using dynamic tools to develop
an understanding of the fundamental ideas of calculus. International Journal of
Mathematical Education in Science and Technology, 45(2), 190–199. DOI:
https://doi.org/10.1080/0020739X.2013.790513
Vieira, F. (2013). Viewing the Roots of Polynomial Functions in Complex Variable: The Use of
Geogebra and the CAS Maple. Acta Didactica Napocensia, 6(4), 45–58.
Viète, F. (1646). Opera Mathematica. (Trans Francisci a Schooten., Ed.). Leyden, Países
Bajos: Universidad de Leiden.
Zazkis, R., & Campbell, S. (1996a). Divisibility and Multiplicative Structure of Natural Numbers:
Preservice Teachers’ Understanding. Journal for Research in Mathematics Education,
27(5), 540–563. DOI: https://doi.org/10.2307/749847
Zazkis, R., & Campbell, S. (1996b). Prime decomposition: Understanding uniqueness. Journal
165 | P á g i n a
of Mathematical Behavior, 15(2), 207–218. DOI: https://doi.org/10.1016/S0732-
3123(96)90017-6
Zazkis, R., & Liljedahl, P. (2002). Arithmetic sequence as a bridge between conceptual fields.
Canadian Journal of Science, Mathematics and Technology Education, 2(1), 91–118.
DOI: https://doi.org/10.1080/14926150209556501
Zobitz, J. (2013). Forest carbon uptake and the Fundamental Theorem of Calculus. College
Mathematics Journal, 44(5), 421–424. DOI:
https://doi.org/10.4169/college.math.j.44.5.421
166 | P á g i n a