Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [1/14]

UNA DEMOSTRACIN SIMPLE E INTUITIVA DEL

LTIMO TEOREMA DE FERMAT
Miguel ngel Rodrguez-Rosell(*)
Resumen
En este artculo se demuestra el denominado ltimo Teorema de
Fermat mediante la aplicacin de tres principios generales: el
teorema de Pitgoras inverso, el Anlisis Dimensional y la
correspondencia nmeros-segmentos. Estos tres simples conceptos
estaban al alcance de Fermat, por lo que los podra haber utilizado en
la demostracin maravillosa que afirmaba tener.
El ltimo Teorema de Fermat
El denominado ltimo Teorema de Fermat (UTF) afirma que no existe ninguna terna de
nmeros enteros positivos a, b, c tal que an+bn = cn para todo entero n>2. Se trata de una
ecuacin diofntica llamada as por Diofanto de Alejandra, un matemtico del siglo III de
grado n, es decir, solo se consideran soluciones de nmeros enteros. Es una generalizacin del
teorema de Pitgoras cuando n>2. Cuando n=2 hay infinitas soluciones: las denominadas
ternas pitagricas, como (3, 4, 5), (5, 12, 13), (13, 84, 85), etc. El calificativo de
ltimo al teorema no es debido a que fuera el ltimo trabajo de Fermat en sentido cronolgico,
sino porque ha permanecido durante ms de 350 aos sin resolver.
Pierre de Fermat abogado de profesin y matemtico de vocacin escribi en 1637 una nota
en latn en el margen de un ejemplar de la edicin de 1621 de la Aritmtica de Diofanto de
Alejandra (traducido del griego al latn por Claude Gaspar Bachet). La nota fue descubierta
pstumamente, pero el original se perdi. Una transcripcin apareci en un libro publicado en
1670 por su hijo Clement-Samuel. La nota de Fermat deca as:
Cubum autem in duos cubos, aut
quadratoquadratum
in
duos
quadratoquadratos, et generaliter nullam
in infinitum ultra quadratum potestatem in
duos eiusdem nominis fas est dividere
cuius rei demonstrationem mirabilem
sane detexi. Hanc marginis exiguitas non
caperet.

Es imposible descomponer un cubo en

dos cubos, un bicuadrado en dos
bicuadrados, y en general, una potencia
cualquiera, aparte del cuadrado, en dos
potencias del mismo exponente. He
encontrado
una
demostracin
maravillosa, pero no me cabe en un
margen tan estrecho.

Desde que se enunci el teorema, ha desconcertado a los matemticos durante ms de 350 aos,
convirtindose en uno de los ms famosos problemas matemticos no resueltos. Muchos han
sido los intentos para demostrarlo por parte de matemticos profesionales y aficionados de todo
(*) Doctor en Informtica, Licenciado en Fsica, Master en Ingeniera del Conocimiento.
Email: marosello@telefonica.net

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [2/14]

el mundo. Se considera el mayor problema matemtico del mundo, y tiene el dudoso honor de
ser el teorema con el mayor nmero de demostraciones errneas publicadas. Realmente no era
un teorema, sino una conjetura, es decir, es algo que se cree que es verdadero pero que todava
no se ha demostrado.
Finalmente, el teorema fue demostrado en 1995 por el ingls Andrew Wiles [1995], 358 aos
despus de que lo enunciara Fermat. La demostracin que ocupa 109 pginas es compleja,
nada intuitiva, difcil de entender incluso para los matemticos profesionales, porque se basa
en una matemtica avanzada y sofisticada e indirecta (el UTF es un corolario de un teorema
general). Es por ello que se ha planteado la posibilidad de demostrar el teorema de manera
simple y utilizando matemtica elemental, al alcance de cualquier persona con conocimientos
matemticos bsicos. Si se lograra, se dara la razn a Fermat, de que efectivamente haba
descubierto un mtodo de demostracin sencillo y directo.
Segn Hilbert, Una teora matemtica no puede ser considerada como completa hasta que se
ha clarificado al punto que podemos explicarla a la primera persona que encontremos en la
calle y Una demostracin tiene que ser alcanzada, no por clculos, sino ms bien por ideas
puras donde sea posible. Segn Minkowski, Los grandes problemas deben solucionarse con
un mnimo de clculos ciegos y con un mximo de pensamiento planteado de antemano. Es
famosa tambin la frase de Einstein: No entiendes realmente algo a menos que seas capaz de
explicrselo a tu abuela.
Por lo tanto, la estrategia para intentar simplificar la demostracin y hacerla ms intuitiva es
utilizar conceptos o principios generales. Desde esa perspectiva superior todo se hace ms fcil.
Los principios generales que vamos a utilizar en la demostracin del UTF son: el teorema de
Pitgoras inverso, el Anlisis Dimensional y la conexin lgebra-geometra.
El Teorema de Pitgoras Inverso
El teorema de Pitgoras establece una propiedad geomtrica
que cumplen todos los tringulos rectngulos: la suma de los
cuadrados de los catetos es igual al cuadrado de la
hipotenusa. Algebraicamente, esto se expresa mediante la
expresin x2+y2 = z2, en donde x, y son los catetos y z
la hipotenusa.

z
y

El teorema de Pitgoras inverso afirma que si tenemos la

expresin x+y = z, entonces existe un tringulo rectngulo
de catetos x1/2, y1/2 e hipotenusa z1/2 (ver figura).

z
x
x

Es decir, que en la suma la operacin ms fundamental de

la matemtica est implcito el teorema de Pitgoras. De ah
su enorme importancia como conector universal entre lgebra y geometra:

De la geometra se pasa al lgebra elevando al cuadrado los nmeros que representan

las longitudes de los lados del tringulo rectngulo.

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [3/14]

Del lgebra se pasa a la geometra transformando los nmeros de una suma en races
cuadradas.

El teorema de Pitgoras inverso aqu descrito es diferente del teorema del mismo nombre
incluido en la proposicin I.48 de los Elementos de Euclides la proposicin I.47 es el teorema
de Pitgoras, que afirma: Un tringulo es rectngulo si y solo si el cuadrado construido sobre
su hipotenusa es igual a la suma de los cuadrados construidos sobre los catetos. Este teorema
euclidiano es exclusivamente geomtrico, mientras que el se considera aqu conecta el lgebra
con la geometra.

El Anlisis Dimensional
El Anlisis Dimensional es el estudio de las dimensiones fsicas que intervienen en las
ecuaciones que modelizan un fenmeno fsico. Aunque ciertas ideas del Anlisis Dimensional
estaban presentes de forma implcita en los trabajos de Galileo, Kepler y Newton, se considera
que el Anlisis Dimensional naci formalmente con Fourier en su obra Teora Analtica del
Calor (1822).
Los dos conceptos clave del Anlisis Dimensional son:
1. Magnitud fsica.
En matemtica los nmeros se consideran puros, sin atributos. En fsica, sin embargo,
se consideran magnitudes, que constan de un nmero puro (o cantidad) y una unidad,
que puede ser simple o compuesta. Hay magnitudes primarias (longitud, tiempo y masa)
y secundarias o compuestas (velocidad, fuerza, energa, etc.).
Una magnitud fsica es una expresin de la forma cantidad*unidad, que expresa el
nmero de veces que se repite una unidad. La unidad puede ser simple (para las
magnitudes primarias, p.e. 5*m) o compuesta (para las magnitudes secundarias, p.e.
3*m/seg). Una misma magnitud fsica puede expresarse mediante diferentes unidades
y, por lo tanto, mediante diferentes cantidades, por ejemplo, 5*m 500*cm. Existe
una analoga entre magnitud y vector, en donde la unidad juega el papel de base
vectorial.
Las cantidades y las unidades se manipulan usando las leyes del lgebra. Por ejemplo,
si un objeto recorre 10 metros en 5 segundos, su velocidad es (10*m)/(5*seg)
= (10/5)*m/seg = 2*m/seg.
2. Dimensin fsica.
Cada magnitud fsica primaria tiene asociada una dimensin, que se simboliza por una
letra (L: longitud, T: tiempo, M: masa). Las magnitudes compuestas (o secundarias)
tienen asociada una expresin dimensional, que es un monomio, es decir, un producto
de potencias de las dimensiones primarias. Por ejemplo, utilizando la notacin de
Maxwell [x] para referirse a las dimensiones de una magnitud fsica x:
Velocidad: [v] = LT-1

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [4/14]

Fuerza: [f] = [m][a] = MLT-2
Energa: [e] = L2MT-2
En general, la expresin dimensional de una magnitud fsica es Ln1Tn2Mn3, siendo
n1, n2, n3 nmeros enteros (positivos, cero o negativos).
Las constantes y los ngulos son adimensionales y tienen dimensin 1, as como los
argumentos y los resultados de las funciones trigonomtricas, la funcin logaritmo y la
funcin exponencial.
El Anlisis Dimensional tambin cumple las reglas del lgebra, a excepcin de la suma
y la resta: M+M = M, L+L = L, T+T = T, M-M = M, L-L = L, T-T = T

Principios del Anlisis Dimensional

El Anlisis Dimensional se basa en los dos principios siguientes:
1. Principio de homogeneidad (o consistencia) dimensional.
En toda ecuacin que relacione variables de magnitudes fsicas, las expresiones
dimensionales a cada lado de la ecuacin deben ser las mismas. Es la llamada ley de
conservacin de las dimensiones. Por ejemplo, la ecuacin s = v0t + at2/2 tiene
homogeneidad dimensional, como puede comprobarse fcilmente, teniendo en cuenta:
[s] = L

[v0] = LT-1

[t] = T

[] = 1

[a] = LT-2

2. Principio de semejanza o de homogeneidad matemtica.

El principio de semejanza afirma que Todas las leyes fsicas son invariantes ante
cambios de las medidas en los diferentes sistemas de unidades.. Este principio es muy
importante cuando se trata de modelar fenmenos fsicos mediante prototipos o
maquetas a escala reducida.

El Anlisis Dimensional y la geometra

Aunque el Anlisis Dimensional naci para modelar los fenmenos fsicos, tambin es aplicable
a la geometra:

Hay una sola magnitud primaria: la longitud, cuya dimensin es L. Las magnitudes
secundarias tienen como expresin dimensional Ln, siendo n un nmero entero
positivo. Por ejemplo:
[Longitud de la circunferencia] = [2radio] = L
[Superficie del crculo] = [radio2] = L2
[Superficie del cuadrado] = [lado2] = L2
[Volumen del cubo] = [lado3] = L3

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [5/14]

Las constantes geomtricas (relacin entre la longitud de la circunferencia y su
dimetro) y (proporcin urea) son adimensionales. Son constantes universales en
el sentido de que son independientes de la escala.
Los ngulos se miden en radianes porque el radin (la relacin entre dos longitudes) es
adimensional y simplifica las frmulas, como por ejemplo el desarrollo en serie de
sen(x), cos(x) y sus derivadas.

Las magnitudes geomtricas tienen la forma cantidadun, siendo u una unidad de

longitud y n la dimensin del objeto geomtrico. Por ejemplo,
Superficie del cuadrado = (ladou)2 = lado2u2
Volumen del cubo = (ladou)3 = lado3u3
Al especificar la unidad se le da un mayor contenido semntico a las expresiones, ms
all del puro formalismo algebraico.

El principio de homogeneidad o consistencia dimensional hace referencia a la propia

estructura de una frmula de un objeto geomtrico. Por ejemplo,
[Superficie del tringulo] = [basealtura/2] = [base][altura][1/2] = LL1 = L2

El principio de semejanza es la verdadera esencia de la geometra. Por ejemplo, es

la razn entre la longitud de la circunferencia y su dimetro, independientemente de su
tamao fsico o escala.

Ventajas del Anlisis Dimensional

El Anlisis Dimensional es una herramienta conceptual simple, potente, genrica y de tipo
cualitativo. Es muy utilizado en ciencia pura y aplicada para:

Ayuda en la modelizacin de forma simple de los fenmenos fsicos. Permite ganar

comprensin expresando las relaciones entre las dimensiones de las magnitudes que
intervienen en dichos fenmenos. El primer paso de la modelizacin es la identificacin
de las variables que intervienen. A partir de consideraciones puramente dimensionales
de las variables, muchas veces puede establecerse directamente la ecuacin que
relaciona las variables.

Chequeo de los modelos fsicos mediante la deteccin de posibles errores en las

ecuaciones para que tengan sentido.

Resolucin de problemas a nivel cualitativo, cuya solucin directa o cuantitativa

conlleva grandes dificultades de tipo matemtico. Una vez obtenida una solucin
cualitativa, es ms fcil lograr una solucin detallada y cuantitativa. A veces, la
solucin cualitativa coincide con la cuantitativa. La estrategia general es avanzar
siempre desde lo cualitativo hacia lo cuantitativo.

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [6/14]

En geometra, el Anlisis Dimensional es especialmente til para:

Obtener frmulas de entidades geomtricas. A veces, la frmula obtenida de forma

cualitativa coincide con la cuantitativa. Otras veces la frmula cualitativa requiere un
ajuste para obtener la formula cuantitativa. Por ejemplo, la longitud de una
circunferencia debe ser proporcional al radio r. Por lo tanto su longitud debe ser kr.
El ajuste consiste en obtener el valor de k (en este caso, 2). Otro ejemplo es la
superficie de un rectngulo de lados a y b. Su superficie S es proporcional a a y
b: S = ab. En este caso, la frmula no requiere ningn ajuste.

Realizar demostraciones de teoremas geomtricos, pues se simplifican notablemente.

Un ejemplo es el siguiente teorema. Un tringulo de lados an, bn, cn no puede ser
una terna pitagrica con a, b, c, n enteros positivos y n>1. La demostracin
cuantitativa es muy compleja y laboriosa, pero la demostracin cualitativa es inmediata:
por razones puramente dimensionales, n debe ser 1.
La propia demostracin del UTF se simplifica (como veremos), hasta el punto de ser
casi inmediata.
El Principio de Correspondencia Nmeros-Segmentos

Los dos modos de conciencia

Como es sabido, existen dos modos de conciencia:

La conciencia intuitiva, profunda, conceptual, sinttica, creativa, general, global,

imaginativa, cualitativa, paralela, continua, etc. Se suele asociar al hemisferio derecho
del cerebro. La denominaremos, para simplificar, conciencia HD.

La conciencia racional, superficial, formal, analtica, particular, cuantitativa,

secuencial, discreta, etc. Se suele asociar con el hemisferio izquierdo del cerebro. La
denominaremos, para simplificar, conciencia HI.

La conciencia completa surge cuando ambos modos de conciencia estn conectados. Esta
conexin es tal que lo particular es una manifestacin de lo general. En este sentido, la
conciencia HD es superior a la conciencia HI. Lo particular nunca puede estar aislado. Debe
estar siempre ligado a algo general o universal. Esta conexin es precisamente la semntica de
lo particular, lo que le confiere significado.

lgebra vs. Geometra

En matemtica, los dos modos de conciencia se reflejan en la dualidad lgebra-geometra, en
donde el lgebra corresponde a la conciencia HI y la geometra a la conciencia HD. La que
podemos denominar conciencia matemtica surge cuando lgebra y geometra estn

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [7/14]

conectadas.
El teorema de Pitgoras (en sus versiones directa e inversa), desempea un papel fundamental
en la conexin entre lgebra y geometra, es decir, en la unin de los dos modos de conciencia.
El teorema de Pitgoras es el paradigma de la unin entre lgebra y geometra. El teorema de
Pitgoras es un teorema de la conciencia.
Como la conciencia HD es superior a la conciencia HI, y como la geometra es conciencia HD
y el lgebra es conciencia HI, la geometra se sita en un nivel superior al lgebra, por lo que
el lgebra debera ser una particularizacin o manifestacin de la geometra. En este sentido:

Una ecuacin como ax+by+c = 0 es la manifestacin, representacin o

formalizacin de una recta. Y una ecuacin como x2+y2 = z2 es la manifestacin,
representacin o formalizacin de un crculo.

El teorema de Pitgoras se formalizo de manera descendente: de la geometra al

lgebra. El teorema de Pitgoras inverso implica elevar el nivel semntico: desde el
lgebra a la geometra.

El UTF es un teorema algebraico, pero tambin tiene que ser la manifestacin de una
propiedad geomtrica.

Como la geometra es ms general e intuitiva que el lgebra, razonar sobre figuras

geomtricas mejora la comprensin, por lo que facilita las demostraciones y el
descubrimiento de propiedades. El paradigma de este enfoque es precisamente el
teorema de Pitgoras.

Nmeros vs. segmentos

La dualidad lgebra-geometra se refleja en la dualidad nmeros-segmentos. Las variables de
las ecuaciones algebraicas se pueden interpretar como nmeros o como segmentos de recta, en
donde los nmeros corresponden a la conciencia HI y los segmentos a la conciencia HD.
Considerar las variables como segmentos presenta grandes ventajas:

Los segmentos conectan con la geometra, con lo superior, con la conciencia HD. Esto
supone considerar el mayor nivel semntico posible. En cambio, los nmeros son
conciencia HI, la conciencia inferior.

Generalizan las ecuaciones y las hacen independientes de los sistemas de coordenadas

y de unidades.

Es la interpretacin ms natural e intuitiva, que es de tipo descendente: desde la

conciencia HD a la conciencia HI, desde lo general a lo particular, desde lo cualitativo
a lo cuantitativo.
Los antiguos griegos trabajaban con segmentos y reas en vez de con nmeros. El
cuadrado de un nmero no se interpretaba como un nmero multiplicado por s mismo,

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [8/14]

sino como un cuadrado geomtrico. El teorema de Pitgoras lo expresaban verbalmente
haciendo referencia solo a la geometra, como igualdad de reas. No lo expresaron
como una ecuacin en el sentido simblico moderno. Eso se hizo posteriormente, con
el desarrollo del lgebra.

Evitan tratar con nmeros irracionales, que son nmeros inexpresables. Por ejemplo,
2 es inexpresable numricamente. En cambio, como la diagonal de un cuadrado de
lado unitario se capta y se describe sin dificultad.

Los segmentos son magnitudes (cantidad*unidad) y su dimensin es L. En cambio,

los nmeros no tienen dimensin (su dimensin es 1).

Al estar en un nivel superior, los segmentos se pueden manifestar de infinitas maneras,

dependiendo de la unidad utilizada. Un nmero es la manifestacin de un segmento de
recta de acuerdo con una cierta unidad. Cuando se cambia la unidad, su manifestacin
es diferente. Es decir, un segmento tiene infinitas manifestaciones (numricas)
posibles. Los nmeros son fijos. Las longitudes de los segmentos son variables,
dependiendo de la unidad utilizada.

Pitgoras vs. Platn

Pitgoras y su escuela (los pitagricos) daban ms importancia a la aritmtica que a la
geometra. Pusieron nfasis en los nmeros, a los que consideraban la esencia de todas las cosas
y el fundamento de nuestra comprensin del mundo. Los nmeros gobiernan el mundo. Los
pitagricos crean que todos los problemas matemticos se podan resolver mediante nmeros
enteros y sus fracciones. Por eso supuso un trauma el descubrir que la diagonal de un cuadrado
es inconmensurable respecto a su lado, una consecuencia del propio teorema de Pitgoras.
Platn consideraba que la geometra perteneca al reino de la Ideas o de las Formas, la perfecta,
verdadera, inmutable y eterna realidad. Y que estas Ideas se manifiestaban (a nivel superficial)
en mltiples formas concretas y singulares de naturaleza imperfecta.
Platn consideraba que la geometra era una disciplina superior a la aritmtica. En el
frontispicio del prtico de su Academia haba una leyenda que deca Que no entre nadie que
no sepa geometra. En el Timeo afirma que La geometra es la llave para desentraar los
misterios del universo. Y tambin sostena que la geometra enlazaba con lo divino. Se atribuye
a Platn la frase Dios utiliza siempre procedimientos geomtricos. Para Platn los nmeros
no gobiernan el mundo, sino la geometra. Platn resalto el carcter catastrfico de los
irracionales.

La geometra analtica
Descartes y Fermat (contemporneos entre s) fueron los creadores de la unin del lgebra y
geometra mediante la denominada geometra analtica, nombre muy adecuado que expresa
ese proceso descendente desde lo genrico (geometra) a lo especfico (lgebra). Lo que hoy
denominamos sistema cartesiano es un plano con dos ejes perpendiculares que permiten

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [9/14]

representar puntos (mediante pares ordenados de nmeros reales) y lugares geomtricos de
puntos (mediante ecuaciones).

Descartes describi la geometra analtica en un apndice del Discurso del Mtodo,

publicado en 1637 (el mismo ao que la famosa nota de Fermat). Descartes estaba
interesado en la formalizacin algebraica de las figuras geomtricas (como las cnicas),
en un proceso descendente: de la geometra al lgebra.
Para Descartes, la geometra analtica era un paso hacia la ciencia universal, hacia las
verdades fundamentales que conectan todas las ciencias. Descartes quera aplicar el
mtodo matemtico (basado en la razn) a la filosofa.

Fermat describi la geometra analtica en un manuscrito titulado Introduccin a los

Lugares Planos y Slidos en donde los lugares (locis) se traduce como lugar
geomtrico, elaborado en 1636 (un ao antes que Descartes). Fermat lo difundi
entre su red de contactos epistolares, por lo que se cree que Descartes tuvo acceso al
manuscrito de Fermat y que le sirvi de inspiracin. Finalmente el manuscrito fue
publicado pstumamente en 1679. Por eso hoy hablamos de la geometra cartesiana,
en lugar de geometra fermatiana. Fermat al contrario que Descartes estaba
interesado en las propiedades geomtricas de las ecuaciones algebraicas (como las
ecuaciones diofnticas), en un proceso ascendente: del lgebra a la geometra.

Para Descartes y Fermat, las variables de una ecuacin representaban segmentos lineales, ms
que nmeros.
El teorema de Pitgoras fue fundamental para la invencin de la geometra analtica. Est
presente en dos temas fundamentales. Uno es la ecuacin de la circunferencia x2+y2 = r2. El
otro es el clculo de la distancia entre dos puntos, dadas sus coordenadas. A su vez, la geometra
analtica fue una herramienta fundamental para el desarrollo del clculo por parte de Newton y
Leibniz.

lgebra vectorial y multivectorial

Son lgebras que operan con vectores y multivectores, respectivamente.
Un vector es la generalizacin de un segmento. Es un segmento de recta que tiene longitud (su
mdulo) y una orientacin que consta de una direccin en el espacio y un sentido. Los vectores
se utilizan para representar magnitudes fsicas (vectoriales) como velocidad, fuerza, campo
elctrico, etc., que dependen del sistema de coordenadas utilizado. Las otras magnitudes fsicas
son las escalares, como temperatura, masa, densidad, etc., que son independientes del sistema
de coordenadas. Las magnitudes escalares se representan mediante un nmero (con su
correspondiente unidad). Los vectores en general se pueden representar mediante n nmeros,
que son las proyecciones sobre los ejes ortogonales de un espacio de n dimensiones. Los
vectores se pueden considerar nmeros multidimensionales.
Un multivector (o n-vector), a su vez, generaliza el concepto de vector. Es la generalizacin del
concepto de segmento en un espacio de n dimensiones, es decir, un segmento

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [10/14]

multidimensional orientado. Un 0-vector es un escalar, un 1-vector es un vector tradicional, un
2-vector (o bivector) es un segmento de plano orientado, un 3-vector (o trivector) es un
segmento de volumen orientado, etc.

lgebra geomtrica
Hoy da, el lgebra geomtrica (o lgebra de Clifford) se considera la culminacin de la sntesis
entre lgebra y geometra, hasta tal punto que algunos autores la consideran como la
matemtica de la conciencia. Aunque es un lgebra, sus grandes principios inspiradores son
de tipo geomtrico.
El lgebra geomtrica contempla multivectores (n-vectores) y estn definidas las operaciones
de suma y producto de n-vectores. El producto se denomina producto geomtrico. Todo nvector tiene su opuesto y su inverso.
El lgebra geomtrica no cumple el principio de homogeneidad dimensional porque (entre otras
cosas) permite la suma de vectores y escalares. Esto se considera no ms inusual que los
nmeros complejos, que son la suma de un componente real y otro imaginario.
Debido a su carcter genrico, el lgebra geomtrica tiene aplicacin en un gran nmero de
campos: teora de nmeros, topologa, geometra diferencial, fsica terica (clsica y moderna),
informtica grfica, robtica, etc. Es una herramienta que permite resolver muchos problemas
matemticos de una manera ms simple y directa. Adems generaliza los nmeros (reales,
complejos, cuaterniones, hipercomplejos, etc.).
Segn David Hestenes uno de los grandes impulsores del lgebra geomtrica el lgebra
geomtrica es un lenguaje unificado para la matemtica y la fsica.

Conclusiones

lgebra y geometra son manifestaciones (a nivel matemtico) de los dos modos de

conciencia. La geometra es superior al lgebra. Y los segmentos estn en un nivel superior
al de los nmeros.

lgebra y geometra se necesitan mutuamente para lograr la conciencia matematica. El

lgebra necesita de la geometra para interpretarse, para que los smbolos adquieran
semntica. Y la geometra necesita del lgebra para expresarse. La geometra sin lgebra
es muda. El lgebra sin geometra es ciega (David Hestenes).

Las variables de una expresin algebraica deben interpretarse en primer lugar como
segmentos y en segundo lugar como nmeros.

La geometra es el gran principio inspirador de la matemtica. Los conceptos geomtricos

generalizan, unifican y simplifican la matemtica. Los problemas algebraicos se simplifican
cuando se abordan desde el punto de vista geomtrico.

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [11/14]

La geometra es el fundamento de la fsica moderna. Muchas ecuaciones de la fsica tienen

una sencilla interpretacin geomtrica, aportando modelos conceptuales ms claros y
comprensibles. Desde las ideas de Platn hasta la fsica moderna (cuntica y relativista), la
geometra describe la realidad ltima del universo.
Demostracin del Teorema

La demostracin del teorema consta de tres pasos, en donde en cada paso se aplica uno de los
principios mencionados.
1. Aplicacin del principio de correspondencia nmeros-segmentos.
Las variables a, b, c de la ecuacin de Fermat se pueden interpretar:
a) Como nmeros.
Si interpretamos a, b, c como nmeros puros, dados a, b, n enteros positivos,
siempre es posible calcular c = (an+bn)1/2. La cuestin es si es posible o no que
c sea entero. Es la interpretacin algebraica pura. Desde este punto de vista es muy
difcil demostrar el teorema.
b) Como segmentos.
En el teorema de Pitgoras, las variables a, b, c de la expresin a2+b2 = c2
deben interpretarse como segmentos en general (los lados del tringulo rectngulo)
y como variables numricas en particular. Y puesto que la ecuacin de Fermat
an+bn = cn es una generalizacin del teorema de Pitgoras, es natural interpretar
tambin las variables a, b, c de la misma forma. Desde este punto de vista, todo
se simplifica.
2. Aplicacin del teorema de Pitgoras inverso.
Segn el teorema de Pitgoras inverso, si se cumple la ecuacin de Fermat an+bn=cn,
entonces A = an/2, B = bn/2 y C = cn/2 son los lados de un tringulo rectngulo T,
donde A y B son los catetos y C es la hipotenusa. Los cuadrados desplegados
correspondientes son A2 = an, B2 = bn y C2 = cn, y donde se cumple la ecuacin
pitagrica A2+B2 = C2. Esto supone elevar el nivel semntico: desde el lgebra a la
geometra.
3. Aplicacin del Anlisis Dimensional.
Una vez instalados en la geometra, interpretamos las variables
longitudes de segmentos lineales:

a, b, c

[a] = [b] = [c] = L

Las expresiones an, bn y cn tienen dimensin Ln:
[an] = [bn] = [bn] = Ln
Los valores A, B, C son longitudes (las de los lados del tringulo rectngulo):

como

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [12/14]

[A] = [B] = [C] = L

Las expresiones A2, B2, C2 son superficies (las de los cuadrados desplegados):
[A2] = [B2] = [C2] = L2
Las expresiones A2=an, B2=bn, C2=cn son relaciones entre magnitudes geomtricas.
Estas expresiones no tienen homogeneidad dimensional. Para que exista consistencia
dimensional debe verificarse que n=2 y, por consiguiente, A=a, B=b y C=c.
Este razonamiento es vlido independientemente de que a, b, c sean enteros o reales.
Pero puesto que a, b, c son enteros, y como se cumple que a2+b2 = c2, entonces
(a, b, c) debe ser una terna pitagrica.
Otra forma de verlo es aplicar el Anlisis Dimensional al rea del tringulo rectngulo
T. Su rea es (ab)n/2/2, que tiene de dimensin Ln y debera ser L2. Por lo tanto,
debe ser n=2.
En definitiva, el UTF puede demostrarse en pocas palabras:
La expresin an+bn = cn no se cumple para a, b, c, n enteros positivos y n>2
porque, segn el teorema de Pitgoras inverso, existe un tringulo rectngulo T de
lados an/2, bn/2, cn/2 que son longitudes (dimensin L), cuyos cuadrados
desplegados correspondientes (an, bn, cn) son superficies (dimensin L2), y cuya
superficie es (ab)n/2/2 (tambin dimensin L2). Para que exista consistencia
dimensional, n debe ser forzosamente 2. Y puesto que a, b, c son enteros
positivos, y como se cumple que a2+b2 = c2, entonces (a, b, c) debe ser una
terna pitagrica.
Reflexiones sobre el UTF
El UTF como problema paradjico
El UTF se puede considerar un problema paradjico pues en l confluyen opuestos
aparentemente contradictorios: la complejidad y la simplicidad. En primer lugar porque el
teorema es muy fcil de enunciar y aparentemente muy difcil de demostrar. En segundo lugar
porque la demostracin de Wiles es enormemente compleja, que requiere unas herramientas
matemticas sofisticadas. Sin embargo, puede demostrarse tambin fcilmente, usando solo
conceptos matemticos elementales.
La paradoja de la simplicidad-complejidad corresponde a dos formas diferentes de ver el mismo
problema. Es lo que Max Tegmark denomina las perspectivas de la rana y del pjaro. Para la
rana, todo es muy difcil y complejo porque se mueve en la superficie, horizontalmente, en lo
particular, en el detalle. Para el pjaro, desde una perspectiva superior, todo es mucho ms fcil
porque ve relaciones y conexiones evidentes, que no es posible percibir desde tierra desde la

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [13/14]

perspectiva de la rana. Es el viejo proverbio de que los rboles no dejan ver el bosque.
Realmente, la perspectiva de la rana corresponde al modo de conciencia HI (la va analtica),
y la perspectiva del pjaro corresponde al modo de conciencia HD (la va sinttica).
La estrategia a utilizar debe ser siempre la del pjaro, avanzando (o descendiendo) siempre
desde lo universal o general hacia lo particular, derivando siempre las verdades particulares a
partir de principios generales o universales.
Wiles utiliz la perspectiva de la rana, buscando relaciones horizontales. La demostracin
presentada aqu es la del pjaro, pues se fundamenta en tres principios de tipo general para
luego descender a lo analtico. Por lo tanto, el considerado problema matemtico ms difcil
del mundo (desde la perspectiva de la rana) se convierte en uno de los problemas ms fciles
del mundo (desde el punto de vista del pjaro). El UTF es quizs el ejemplo ms representativo
de estos dos puntos de vista extremos, de la dualidad simplicidad-complejidad.
La posible demostracin maravillosa de Fermat
Existen serias dudas sobre si Fermat realmente tena una demostracin maravillosa, dada la
extensin y complejidad de la demostracin de Wiles, quien utiliz elementos del lgebra
moderna que Fermat no poda conocer. Es por esto que la mayora de los matemticos creen
que Fermat se equivoc, que no poda tener una verdadera y completa demostracin. Solo unos
pocos no estn de acuerdo con esta opinin general y piensan que Fermat tena esa demostracin
de una manera formal o al menos de forma intuitiva.
Pero es perfectamente posible que Fermat tuviera una demostracin simple como la incluida
aqu. Los tres principios generales aplicados son muy simples y estaban al alcance de Fermat.
Esto nos permite inferir que podra haberlos utilizado para su maravillosa demostracin que
afirmaba tener.

El UTF Generalizado
El UTF es un intento de generalizacin vertical del teorema de Pitgoras, es decir, cuando
n>2, pero hay dos ms generalizaciones posibles:
1. La generalizacin horizontal del teorema de Pitgoras es cuando hay m>2 sumandos:
a12 + + am2 = b2. Por ejemplo, para m=3, tenemos muchas cudruplas: (1, 2, 2,
3), (2, 3, 6, 7), (1, 4, 8, 9), (4, 4, 7, 9), (12, 16, 21, 29), etc., una variedad
mucho mayor que la de las ternas pitagricas.
2. La generalizacin horizontal-vertical o completa es cuando hay m>2 sumandos y
n>2: a1n + + amn = bn, que es la expresin de Fermat generalizada.
La cuestin es: Cul es el lmite m mnimo para que se cumpla esta expresin? Segn el UTF,
para n=2, el lmite mnimo es m=2. Para n=3 y m=3, tenemos muchos ejemplos de
expresiones:

Una Demostracin Simple e Intuitiva del ltimo Teorema de Fermat [14/14]

33+43+53 = 63

13+63+83 = 93

73+143+173 = 203

33+363+373 = 463

La primera expresin es una generalizacin de la expresin pitagrica arquetpica 32+42 = 52.

La conjetura sera: se necesitan n sumandos como mnimo para que se cumpla la expresin
de Fermat generalizada. Y el teorema de Fermat generalizado sera: no existe un entero m<n
tal que se cumpla la expresin a1n + + amn = bn.

Agradecimientos
Estoy en deuda con Jos Ignacio Snchez Andrs y Pablo Rubio Prez por su paciencia en la
revisin de los del diferentes borradores de este artculo y por sus valiosos comentarios y
sugerencias.

Bibliografa

Azcel, Amir D. Fermat's Last Theorem: Unlocking the Secret of an Ancient Mathematical
Problem. Basic Books, 2007.

Edwards, Harold M. Fermat's Last Theorem: A Genetic Introduction to Algebraic Number

Theory. Springer, 2000.

Mahoney, Michael Sean. The Mathematical Career of Pierre de Fermat. Princeton

University Press, 1994.

Mozzochi, C.J. The Fermat Proof. Trafford Publishing, 2006.

Palacios, Julio. Anlisis Dimensional. Espasa-Calpe, 1964.

Ribenboim, Paulo. Fermat's Last Theorem for Amateurs. Springer, 1999.

Ribenboim, Paulo. 13 Lectures on Fermats Last Theorem. Springer, 1979.

Savant, Marilyn vos. The World's Most Famous Math Problem: The Proof of Fermat's Last
Theorem and Other Mathematical Mysteries. St. Martins Press, 1993.

Singh, Simon. El enigma de Fermat. Editorial Planeta, 2006.

Wiles, Andrew. Modular eliptic curves and Fermat Last Theorem. Annals of Mathematics,
141(3), 443-551, 1995.