EL TEOREMA DE FERMAT

CARLOS CHUEZ

EL TEOREMA DE FERMAT
EL TEOREMA DE FERMAT

AUTOR: CARLOS CHUEZ

PRIMERA EDICIN: CENTRO DE ESTUDIOS LATINOAMERICANOS (CELA)

JUSTO AROSEMENA. PANAM SEPTIEMBRE 1992.

SEGUNDA EDICIN.
PANAM
JUNIO DE 2008

NUEVA REVISIN
PANAM ABRIL 2011

DISEO DE PORTADA Y PROGRAMACIN:

EDESIGN <web & multimedia solution>

http//www.edesign.com.pa

ISBN 84-8385-016-8
 AGRADECIMIENTO

Con todo el respeto y aprecio al Doctor Csar Garrido, profesor de fsica, por la revisin y
presentacin del Libro EL TEOREMA DE FERMAT en Saln de Profesores de la
FACULTAD DE HUMANIDADES en diciembre de 1992.

DEDICATORIA

Con mucha gratitud y estimacin dedico este libro titulado EL TEOREMA DE FERMAT y
otros ensayos al distinguido y respetado Doctor Edberto Agard, Profesor Titular del
Departamento de Matematicas de la Facultad de Ciencias Exactas, Naturales y
Tecnologa de la Universidad de Panam. Con las excelentes y atinadas enseanzas
dictadas en el Primer Semestre acadmico de 1963 por el profesor Agard, logr el
aprendizaje y entendimiento de los fundamentos y elementos esenciales del Calculo
Infinitesimal. Sin esa poderosa herramienta matematica del saber cientfico, no hubiera
elaborado mis ensayos de Matemticas, Fsica, Epistemoga y Filosofa de las Ciencias
Naturales.
 NDICE
R PRLOGO
PRIMERA PARTE
SOBRE LA SOLUCIN DE bn+cn=an CUANDO n ES 2=============.13
DEMOSTRACIN PARCIAL DEL TEOREMA DE FERMAT===========.14
DEMOSTRACIN DE LA FRMULA ba+ca=aa=================16
DEMOSTRACIN DE LA FRMULA bc+cc=ac=================17
EL BINOMIO DE NEWTON=========================.18
TRANSFORMACIN DEL PRODUCTO DEL BINOMIO DE NEWTON======..19
DEMOSTRACIN PARCIAL DEL TEOREMA POR EL PROCEDIMIENTO DE===24
EQUIVALENCIA

SEGUNDA PARTE
DEMOSTRACIN DE bn+cn=an CUANDO n ES UN NMERO IMPAR======..28
DEMOSTRACIN DE bn+cn=an CUANDO n ES UN NMERO PRIMO MAYOR QUE 3==.46
DEMOSTRACIN DE bn+cn=an CUANDO n ES UN NMERO PAR=======...51
DEMOSTRACIN DE bn+cn=an CUANDO n ES UN NMERO PAR CONTINUO==55
SOBRE LOS COEFICIENTES DEL BINOMIO DE NEWTON==========...59
DEMOSTRACIN DE bn+cn=an PARA TODO VALOR DE n===========.67

CONCLUSIN
EXPLICACIN AL LECTOR:

Cuando un autor propone ante la opinin pblica y, en particular a especialistas y eruditos,

un proyecto de solucin de un problema sumamente difcil y complejo, debe explicar
previamente de un modo sencillo y evidente la metodologa y los procedimientos utilizados
para resolverlo. Con esas indicaciones previas, el lector podr orientarse debidamente en la
lectura o investigacin que conciernen a todos los pasos y trayectorias que se exponen en esa
propuesta de solucin, evitando las suposiciones y especulaciones.
En la Primera Edicin del libro, El Teorema de Fermat, publicada en septiembre de
1992, comet la grave falta de no explicarle al lector qu fue lo que hice en esa
propuesta de solucin del Teorema. El motivo se concret en que no tuve conciencia de la
importancia que tiene publicar un libro de tal valor y magnitud en el mundo de las
matemticas. Adems, lamento que la obra se editara con algunos errores, tal vez por algn
descuido de la empresa editora. Para resolver esa situacin en vez de hacer unas cuantas
impresiones del texto original lo que hice fue una Fe de Erratas, que en realidad no remedi el
problema. Esa falta la comet porque en ese tiempo mi mente estuvo dominada por ciertas
ideas para explicar y resolver otros problemas matemticos.
Por motivos de honestidad y sinceridad confieso que no tengo estudios de licenciatura y
postgrado en matemticas, pero siempre, desde nio, he tenido una aficin intelectual por esa
ciencia. Slo curs un primer semestre (1963) de Clculo Infinitesimal y de Fsica en la
Universidad de Panam.
Desde septiembre de 1969, motivado por la lectura del Discurso de Mtodo de Descartes
me propuse recordar como un reto a mi capacidad intelectual, los conocimientos matemticos
que me haban enseado los profesores en el colegio de enseanza secundaria y en la
Universidad sin consultar libros de esa asignatura. Comenc con la multiplicacin y divisin
algebraicas. Sin embargo, muchos conceptos y operaciones matemticas se me haban
olvidado, por lo que tuve que resolverlos, por ejemplo, el Teorema de Pitgoras y las
ecuaciones cbicas y de cuarto grado. Adems, tuve la osada de tratar de encontrar un
procedimieto de cmo calcular los dgitos de , y despus de mucho tiempo conceb uno
de los procedimientos para calcular dichos dgitos (en 1980). Tambin trat de calcular los
dgitos de las funciones trigonomtricas y de los logaritmos obteniendo importantes
logros. E intent buscar una solucin a la ecuacin de quinto grado, y despus de dos
aos me inform que no tiene solucin (demostrada por Niels Abel).
A inicios de 1982 comenc a reflexionar sobre lo que saba de la Teora Especial de la
Relatividad. Entonces un tiempo lo dedicaba a las Matemticas y otro a la Fsica, sin dejar de
prepararme y estudiar de modo acadmico la filosofa. Adems, comenc a estudiar y meditar
sobre la Teora del Big Bang (George Gamow) y la del Estado Estacionario (Fred Hoyle).
Tuve especial inters sobre la segunda, pero posteriormente acept la primera Teora porque
advert que se sustenta en los avances cientficos que se han logrado por los nuevos
descubrimientos de la Fsica y Astronoma.
En los aos de 1986 y 1987 me dediqu a demostrar los teoremas del Clculo Infinitesimal,
y en los intentos de solucin de stos, haba realizado notables avances. Pero, cuando mis
pensamientos estaban inmersos en esos problemas, un recin graduado en Licenciatura y
docencia en Matemticas me dijo de modo convincente que por qu perda mi tiempo
tratando problemas que ya se haban resuelto, y por qu no trataba aqullos que
todava no se haban solucionado, por ejemplo, el Teorema de Fermat. Despus que el
recin graduado me brind ese prudente consejo, comenc a averiguar sobre el tema. Me
plante y reflexion sobre ese problema matemtico. Como desconoca los importantes e
imprescindibles avances que se haban logrado al respecto (y en Panam no hay libros que
traten sobre esos temas), pensaba que por la va de la geometra era imposible resolver el
Teorema porque, segn mi punto de vista, implica infinitas dimensiones. Pero ignoraba que la
solucin radica en las elpticas, y ahora lo concibo de un modo evidente. Sin embargo, hasta
la fecha no conozco el texto de la solucin de Andrew Wiles.
Desde enero de 1974 soy profesor de filosofa en la Universidad de Panam.
Posteriormente tuve la fortuna de que esta Institucin de Estudios Superiores me brindara, al
igual que a otros profesores, horas de investigacin. Como tena tiempo completo y el mnimo
de labor docente semanal es de doce (12) horas, completaba el horario con horas de
investigacin filosfica. Ese horario me permiti estudiar una (1) hora diaria en esa labor.
Como viva cerca de la Universidad, dispuse del tiempo requerido para dedicarle por lo menos
diez (10) horas diarias, sin excepcin, y durante casi cinco (5) aos al estudio, investigacin,
anlisis y reflexin al intento de resolver el Teorema de Fermat.
Cmo es el proyecto que concret para tratar de lograr una solucin a ese difcil
Teorema? La estratega terica la implement, en primer trmino, que es lo usual, estudiando
y analizando la frmula a2=b2+c2. De este modo encontr el procedimiento por medio del cual
se calcula cuando los valores de a, b y c son nmeros enteros positivos. Ese procedimiento
es muy conocido en la Historia de las Matemticas. En segundo trmino, investigo y
expongo las demostraciones parciales del Teorema. En tercer trmino, estudio y analizo la
forma y estructura del Binomio de Newton y trato de establecer un vnculo conceptual
(matemtico) con el Teorema. En cuarto trmino, trato de demostrar el Teorema en tanto el
valor del exponente de n sea impar y tambin si es un nmero primo mayor que tres (3). Para
esa solucin utilic el procedimiento (o teora) de grupo finito (cuyos elementos son posibles).
En quinto trmino, intento demostrar el Teorema cuando el valor del exponente de n es par, y
slo si est constituido por factores pares e impares. Por ejemplo, n=6, 10, 12, 14, 18, 20, 22,
24, 26, 28, 30,=, 130,=, pero debe resolverse por el factor impar. En sexto trmino, procuro
demostrar el Teorema, cuando el valor del exponente de n es constantemente par, por
ejemplo, n=4, 8, 16, 32, 64, 128, 256, 512, 1024,=Y con el conjunto de estas tres
soluciones procuro hacer una demostracin general del Teorema de Fermat.
Finalmente le informo al lector que en la primera revisin que hice de este proyecto de
solucin de ese problema matemtico encontr un error insignificante. Pero ste se corrige en
la secuencia de los argumentos presentados en el texto. Posteriormente he realizado ms de
treinta revisiones y no he encontrado errores.
Como corolario de estos estudios, anlisis y reflexiones, conceb una generalizacin
del Teorema que expreso en la siguiente conjetura: Si en la frmula
bn+cn+dn+en+fn+A+tn=an, el valor del exponente de la n es mayor que el nmero de
las potencias que forman los trminos del primer miembro de la ecuacin, el valor de la
suma no puede ser una potencia cuya base sea un nmero entero positivo o ningunas
de las bases de las potencias pueden ser simultneamente nmeros enteros positivos.
3 3 3 3
En el caso contrario en que b +c +d =a , si asignamos a a, b, y c los respectivos valores 3,
3 3 3 3
4 y 5, la ecuacin tiene solucin: 3 +4 +5 =6 . Pero si el valor del exponente n es mayor
n n n n
que el nmero de los trminos que forman la frmula b +c +d =a no existe solucin. Por
 4 4 4 4 5 5 5 5 6 6 6 6
ejemplo: b +c +d =a ; b +c +d =a ; b +c +d =a , y as sucesivamente. Y
generalizando, para las frmulas b5+c5+d5+e5=a5; b6+c6+d6+e6+f6=a6;
b7+c7+d7+e7+f7+g7=a7, etc., no tienen soluciones.
Con cierto optimismo, pienso que esa conjetura pudiera resolverse con mi propuesta de
solucin que implement en el Teorema de Fermat. Y tambin, con mayor razn debe
resolverse con el modelo matemtico de Andrew Wiles.
Deseo aadir que cuando termin mis ensayos matemticos, continu la investigacin y
estudios sobre las teoras Especial de la Relatividad, la Cuntica y del Big Bang y sus
vnculos tericos. Actualmente estoy dedicado al estudio, investigaciones y reflexiones
filosficas.
Panam, abril de 2011.
Prlogo

Los problemas de frontera de la Ciencia no son los nicos que se presentan en el

conocimiento cientfico. Una vez que los grandes programas de investigacin, para usar la
terminologa de Lacatos, alcanzan su nivel pleno de desarrollo quedan innumerables
problemas, algunos de gran inters, por solucionar. Es as como recientemente en Panam
han aparecido algunos trabajos que, desde las trincheras de la filosofa, han abordado
problemas de lgica, fsica o matemticas con vigencia como temtica de estudio. As
tenemos la Fsica y Metafsica de Ivn Colorado, el Aleph-Cero de Jos J. Martnez y dos
monografas del autor de esta obra que versan sobre la Teora de la relatividad especial de
Einstein.

Carlos Chuez es, sin duda un filsofo de inquietudes intelectuales muy proclive a la
epistemologa, importante en estos tiempos de la revolucin del conocimiento. As, como el
panameo Jos J. Martnez va tras el Dios y el transinfinito de Georg Cantor, Chuez se
sumerge en esta obra en el intrincado mundo de los nmeros enteros del alejandrino
Diofanto. El enfoque de la obra no parte de la moderna teora de los nmeros sino como l
mismo afirma, de un concepto que denomina grupos simtricos expresados en series
infinitas. Un mtodo basado en la teora de la divisibilidad de los nmeros, como diran los
matemticos.

Esta obra, es un ensayo de demostracin del denominado Gran Teorema de Fermat. La

existencia de soluciones en nmeros enteros para las ecuaciones algebraicas de grado
superior al segundo, o sea n>3, con tres incgnitas, fue objeto de inters por el francs Pierre
de Fermat (1601-1665), quien formul un problema matemtico conocido como el ltimo
Gran Teorema de Fermat. Este teorema, jug un papel importante en el desarrollo de las
matemticas por la gran cantidad de ensayos que se hicieron para demostrarlo. La historia del
problema registra la organizacin en Alemania en 1909 de un gran concurso pblico que
premiaba al que demostrara dicho teorema y que llev a la publicacin de una gran cantidad
de aportes que enriquecieron la teora analtica de los nmeros. En intentos posteriores en la
solucin de este teorema se introdujeron conceptos numricos ms complejos que los
nmeros enteros ordinarios, como los anillos de nmeros algebraicos, que llev a la creacin
de la denominada teora de los ideales.

Es interesante sealar que los problemas de la teora de los nmeros fueron abordados ya
desde la antigedad por Pitgoras y Diofanto de Alejandra, y ms tarde por relevantes
matemticos del siglo XVIII, como Leonard Euler y Joseph Louis Lagrange. Euler lleg a
llamar anlisis de Ecuaciones Diofnticas a las ecuaciones o sistemas de ecuaciones con
coeficientes enteros con soluciones en nmeros enteros, naturales o racionales. El Gran
Teorema no ha sido demostrado para cualquier valor de n que sea mayor que tres y esta obra
es un intento de anlisis y explicacin del mismo. Hay que aadir que es tambin difcil
determinar mediante el anlisis diofntico, la existencia de un nmero finito o infinito de
soluciones.
 Observamos que los elementos bsicos usados con un enfoque diofntico, en este
ensayo del profesor Chuez son: la divisibilidad de los nmeros, el uso de una combinatoria
recurrente en el binomio de Newton, el empleo de la induccin en la comparacin de
combinaciones numricas exponenciales.

Este trabajo, constituye un estmulo para el lector interesado en el anlisis de los nmeros.
Su lectura slo exige conocimientos muy generales de lgebra que se estudia en cualquier
colegio, y un poco de acuciosidad. Tambin, es un argumento analtico interesante para el
lector -usuario de computadoras personales- quien podr elaborar programas para ir
determinando valores de n que sean mayores que dos para los cuales es vlido el Gran
Teorema de Fermat, con la finalidad de confirmar o rebatir los resultados obtenidos por el
autor de este libro.

Doctor Csar Garrido.

INTRODUCCIN

Este ensayo es una propuesta de solucin del Teorema de Fermat, cuyo enunciado es el
siguiente: Si la suma de dos potencias se expresa como una potencia y sus exponentes, iguales
entre s, son nmeros enteros positivos mayores que dos, los tres valores de las bases de
dichas potencias no pueden ser simultneamente nmeros enteros positivos.
Matemticamente el teorema se expone as: bn+cn=an. Si el exponente de la n es un nmero
entero positivo mayor que 2 y el valor de dos de las bases de las potencias son nmeros
enteros positivos, el tercero no puede serlo.

En este ensayo, sometemos a un minucioso anlisis las pruebas que formulamos para
resolver las dificultades inherentes al teorema. La deduccin que es el enlace lgico de los
conceptos, la realizamos por una construccin de implicaciones de hiptesis que
constituye una estructura compleja en una demostracin sistemtica y rigurosa. No se
trata de concretar el proceso demostrativo en la construccin de un solo argumento sino en un
sistema estructurado de argumentos unidos por inferencias matemticas.

Si la crtica matemtica juzgara que no hay tal demostracin en nuestra propuesta por lo
menos aspiramos lograr un aporte en la descripcin, explicacin y anlisis matemtico del
teorema expresado en una estructura lgica coherente y sistemtica.

Esta propuesta de demostracin del Teorema de Fermat, se basa en la descripcin y

anlisis de la estructura del binomio de Newton. Este studio, nos ha permitido expresar dicha
estructura en grupos simtricos. Y en la sntesis de los elementos simtricos, tratamos de
resolver el teorema. La objecin fundamental que se puede hacer a este procedimiento radica
en su validez matemtica. Y esperamos que los especialistas en las matemticas juzguen
este intento de solucin, e indiquen los defectos y errores que inconscientemente podramos
haber incurrido, y, adems, sealen los posibles logros matemticos en cuanto a
procedimientos estructurales y sistemticos.

Igualmente, que las ideas y experiencias contenidas en esta propuesta terica en que
tratamos de resolver el Teorema de Fermat, proporcionen algn valor y utilidad a la
investigacin matemtica.

Esta obra se divide en tres partes. La primera trata sobre las demostraciones parciales del
Teorema de Fermat. La segunda, se refiere a una serie resultante del binomio de Newton,
y su conversin en otras serie equivalentes. Los coeficientes de los trminos de esa serie, los
expresamos en una frmula factorial. La tercera parte trata sobre cinco demostraciones
n n n
especficas del Teorema de Fermat b +c =a . La primera demostracin, se refiere al
teorema cuando el exponente n es impar y mayor que tres. En la segunda demostracin,
tratamos de resolver el teorema cuando el exponente n es un nmero primo mayor que tres.
En la tercera demostracin descomponemos el valor de n cuando es par pero constituido
por un nmero impar, y resolvindolo a travs de ste. En la cuarta demostracin,
intentamos demostrar el teorema para valores en que n es constantemente par. Y, como
resultado de las cuatro demostraciones especficas construimos una quinta demostracin
general del teorema.
 En esta propuesta de solucin del Teorema de Fermat elaboramos las
demostraciones cuando el exponente n es mayor que 3 y no que sea mayor que 2.
Porque la direccin y procedimientos del planteamiento y de la estructura matemtica
general de las demostraciones, implican que el teorema debe resolverse cuando el
exponente n es mayor que 3. Por lo tanto la demostracin de la frmula b3+c3=a3 la
hacemos independientemente del contexto de las demostraciones especificas.

Las demostraciones las desarrollamos por medio de hiptesis, que resolvemos por
medio de pruebas basadas en las evidencias y el anlisis matemtico. Adems, procuramos,
en lo posible no contravenir los criterios matemticos actuales.

Estos criterios comenzaron a formarse, a finales del Renacimiento y comienzos de la

Modernidad. En esos perodos histricos se inici un nuevo y revolucionario pensamiento
matemtico que permiti la solucin de las ecuaciones cbicas y de cuarto grado, la
teora de los logaritmos, la geometra analtica, el clculo infinitesimal, nuevos
desarrollos en el lgebra, la geometra y, posteriormente, las geometras no-euclidianas y
el anlisis matemtico.

En qu consiste el fundamento epistemolgico de las matemticas? Uno de los

grandes tericos de las matemticas, Descartes (1596-1650), afirma que la evidencia y el
anlisis combinado en una unidad sistemtica, constituye el mtodo matemtico. Se puede
decir que Descartes fue el primero que intent demostrar el modo de proceder del
pensamiento matemtico. Para este filsofo y matemtico la evidencia es una intuicin de
los elementos y estructuras del objeto matemtico. El anlisis es el procesamiento de
esas estructuras y elementos basados en la evidencia, y que finaliza en un
reconocimiento y reordenamiento lgico de las partes.

Por qu no se ha podido resolver el Teorema de Fermat, a pesar de los grandes avances

de las matemticas en los tres ltimos siglos? La razn de ello se debe a las evidencias y
estructuras dominantes en el saber matemtico actual. Se necesitaran otras evidencias y
estructuras que permitan la solucin del Teorema de Fermat, y de otros problemas
matemticos. Las evidencias y estructuras anliticas forman los contenidos de los criterios
matemticos. Sin embargo, nuestra propuesta no puede seducir el juicio matemtico actual.
Porque no es posible poner en duda el criterio matemtico ya que ste se fundamenta en
evidencias, estructuras de conceptos implicantes y en el anlisis.

Y es probable que Pierre de Fermat, al enunciar su teorema tuviera la solucin. Algunos

afirman que haba resuelto el teorema y otros expresan lo contrario. Si Fermat realmente
demostr el teorema algn da debe resolverse. Pero para lograrlo, deben establecerse
enlaces lgicos e implicaciones matemticas en estructuras coherentes y sistemticas, que
permitan unir en un ordenamiento deductivo de las hiptesis, proposiciones y pruebas.

Panam, Septiembre de 1992.

PRIMERA PARTE

SOBRE LA SOLUCIN DE bn+cn=an CUANDO n ES 2

n n n
Pierre de Fermat, matemtico francs, enunci su teorema as: En la frmula b +c =a , si
el exponente n es mayor que dos, los valores de a, b y c no pueden ser
simultneamente nmeros enteros positivos.

Segn este enunciado en la frmula b2+c2=a2 (1a), los valores de a, b y c si pueden ser
simultneamente nmeros enteros positivos. A continuacin procedemos a demostrarlo. Pero
antes advertimos al lector que estos procedimientos de solucin de la frmula de Fermat,
cuando el valor de n es igual a dos, han sido demostrados, y estn expuestos en la Historia
de las Matemticas.
2 2 2 2
Despejando el valor de la b en (1a), tenemos que b =a - c (2a). Designando que a=c+r, y
2 2 2 2 2
sustituyendo, resulta: b =(c + r) - c (3a); b =2cr+r (4a). Despejando el valor de la c,
2 2
tenemos que c=(b -r )/2r (5a). Esta frmula es una ecuacin de primer grado, en que se
puede considerar a la c como funcin de b y r como constante, o se puede considerar a la c
como funcin de b y r.

En consecuencia, segn la frmula (5a), cualquier valor que se le asigne a b y r determina

que la c sea un nmero entero positivo o racional. Y, aunque el valor de la c resulte ser una
fraccin o cociente, efectuando el procedimiento requerido, se elimina su carcter fraccionario.
Por ejemplo, sea r=1 y b=20, sustituyendo en (5a), c=399/2. Expresndolo en la frmula (1a),
2 2 2
tenemos que 20 +(399/2) =(399/2+1) . Eliminando el denominador de las fracciones, resulta
2 2 2
que 40 +399 =401 .

Si los valores de b y r son fracciones racionales, sean b=d/e y r=f/g. Sustituyendo en (5a),
obtenemos el siguiente resultado: c=(d2g2-e2f2)/2e2fg. El mismo procedimiento se aplica al
valor de la a, por lo que a=(d2g2+e2f2)/2e2fg. Si los valores de a y c se substituyen en la
ecuacin (1a) el lector puede verificar la validez de los mismos.

En el argumento matemtico anterior se demuestra que los valores de a, b y c pueden ser

nmeros enteros positivos y tambin fracciones racionales.

La frmula (3a) se puede generalizar en esta ecuacin, b2=[c+(m+p)r]2-(c+mr)2 (6a). De all

que c=[b2-(2m+p)pr2]/2pr (7a), los valores de m, p y r se pueden designar como constantes,
y la b puede variar segn el uso que se le asigne a la frmula. Por lo que el valor de la c es
funcin de b.

Las frmulas (5a) y (7a) forman valores racionales necesarios y no probables de la c es

decir, los valores de la c son exactos. Tambin nos permiten establecer relaciones entre c y a.

Si en la frmula (1a) designamos que c=b+r, resulta b2+(b+r)2=a2 (8a). Despejando a la b,

tenemos que b=[-r (2a2 - r2)1/2]/2 (9a).
 Por medio de la frmula (5a) podemos obtener valores consecutivos de c y a como
2 2 2
139999 +9799860000 =9799860001 . Con la frmula (9a) podemos calcular valores
consecutivos de b y c, aplicando un procedimiento aritmtico de carcter tcnico. Y, de este
modo, calculamos la siguiente suma racional de dos potencias con exponente 2,
2 2 2
5406093003 +5406093004 =7645370045 .

DEMOSTRACIN PARCIAL DEL TEOREMA DE FERMAT

n n n
Si en la frmula b + c =a , el valor de la a es un mltiplo de b o c, los valores de a, b y c no
pueden ser simultneamente nmeros enteros positivos si el valor del exponente n es igual o
mayor que 2.

Designemos que hn-1=S, S=he, he =An y que los valores de h y n sean nmeros enteros
positivos. De all que el valor de la S sea, tambin un nmero entero positivo. Como la S es
menor que hn, entonces el valor de la e es menor que el de n en la igualdad he=An. Y en tanto
n sea mayor que la e, luego la h es mayor que A. Por lo tanto, es imposible que el valor de la
A sea igual o mayor que la h, segn las definiciones anteriores. Dado que hn es mayor en una
unidad que An, entonces es posible que el valor de la A sea un nmero entero positivo? A
continuacin demostremos si esta hiptesis es cierta.
n n n n n n n
En la serie N=h , h - 1, h - 2, h - 3,O, h - t; el trmino ms prximo a h es h -1. Como el
valor de la h es un nmero entero positivo cada trmino es menor en una unidad que el
anterior.

Ahora formemos la siguiente serie: M=hn, (h-1)n, (h-2)n,O, (h-t)n. En la serie M, el trmino
ms prximo a hn es (h-1)n si el valor de la h es un nmero entero positivo y mayor que 1. Lo
que indica que en las series N y M los trminos ms prximos a hn son hn-1 y (h-1)n.

Y si el valor de la A es un nmero entero positivo, podramos suponer como verdadera la

n n n n n n
igualdad: A =(h-1) . Como hemos supuesto que A =h -1, entonces h -1=(h-1) .

Es vlido establecer que h=h-1+1. Sustituyendo, tenemos que [(h-1)+1]n-1=(h-1)n.

Desarrollando el primer miembro de esta ecuacin resulta que

[(h-1)+1]n-1=(h-1)n+n(h-1)n-1+[n(n-1)/2](h-1)n-2+...+[n(n-1)/2](h-1)2+n(h-1)+1-1=(h-1)n.

Y efectuando las debidas operaciones, resulta que

n(h-1)n-1+[n(n-1)/2](h-1)n-2+...+[n(n-1)/2](h-1)2+n(h-1)=0.

Si el valor de la h es igual a 1, es evidente que la suma del primer miembro es igual a cero.
Pero si el valor de la h es mayor que 1, es evidente que el resultado del primer miembro de la
ecuacin resulta ser un nmero entero positivo, mayor que el otro, segn la ley del binomio
de Newton.
 Como el segundo miembro de la ecuacin es cero, entonces resultan falsas las
suposiciones de las igualdades hn-1=(h-1)n y An=(h-1)n. Dado que hn-1 es menor que hn,
luego el valor de hn-1 es mayor que (h-1)n. Por lo tanto, el valor de An est entre hn y (h-1)n.

Es posible que el valor de A sea un cociente racional? Imposible, porque hn-1 es un

nmero entero positivo si el valor de la h lo es. En consecuencia, si el valor de la A no es un
cociente racional, entonces el valor de A es irracional. Luego, en la igualdad An=hn-1;
A=(hn-1)1/n, el valor de la A es irracional si su exponente es n.
n
Ahora bien, sea la igualdad An=hn-1. Multipliquemos ambos miembros de la igualdad por c ,
de lo que resulta, Ancn=cn(hn-1); Ancn=h ncn-cn .
n n n n n n n n n n n n
Designemos que h c =a y A c =b . Sustituyendo, resulta b =a -c ; b +c =a . Si los
valores de a y c son nmeros enteros positivos, entonces es imposible que el valor de la b
sea un nmero entero positivo, si el valor de la h es un nmero entero positivo igual o mayor
que 2.
n n n
En consecuencia, si a es h veces mayor que c , en tanto los valores de a, c y h sean
nmeros enteros positivos, entonces el valor de la b es irracional, aunque el valor de n sea
igual o mayor que 2. Esta demostracin, tambin es vlida si el valor de la c es un cociente
n n n n n n
racional. Adems, si tenemos que h c =a y A c =b , entonces a=hc y b=Ac. De all que la a
es h veces mayor que la c de acuerdo al argumento anterior.
n n n
Si en la frmula b +c =a , el valor de la b es mltiplo de c, los valores de a, b y c no
pueden ser simultneamente nmeros enteros positivos si el valor de n es igual o mayor que
2.

De acuerdo al enunciado del Teorema de Fermat, designemos que b=hc y que el valor de
n n n
la h sea un nmero entero positivo. Sustituyendo, tenemos que (hc) +c =a . Y efectuando las
operaciones correspondientes, tenemos que
n n n n n n n n 1/n
h c +c =a ; c (h +1)=a ; c(h +1) =a.
n 1/n
Examinemos si el valor del factor (h +1) sea un nmero entero positivo. Designemos que
n e n n
h +1=h ; h +1=A y que los valores de h y n sean nmeros enteros positivos.
e n e n n
De lo anterior tenemos que h =A . Como h >h , entonces e>n. De all que A>h. Y como A
n
es mayor en una unidad que h formemos las siguientes series:
n n n n n n n n
N=h , h +1, h +2,..., h +t ; y M=h , (h+1) , (h+2) ,O,(h+t) .

En la serie N, el trmino ms prximo a hn es hn+1. Y en la serie M, el trmino ms prximo

a hn es (h+1)n. Si el valor de la h es un nmero entero positivo, para que el valor de la A sea
un nmero entero positivo, debemos suponer que An=(h+1)n. Como An=hn+1, entonces
hn+1=(h+1)n.
 Hemos designado el valor de la h es un nmero entero positivo para que el valor de la A lo
n n
sea tambin. De all que el valor de la A no puede ser una fraccin, porque si A =h +1 y el
n
valor de la h es un nmero entero positivo, entonces la suma h +1 es un nmero entero
positivo. Por lo tanto el valor de la A no puede ser una fraccin.
n n
Supongamos que h +1=(h+1) . Desarrollando el segundo miembro de la igualdad, tenemos
n n n-1 n-2 2
que h +1=h +nh +n(n-1)h /2+O+n(n-1)h /2+nh+1. Por lo que
n-1 n-2 2
nh +n(n-1)h /2+O+n(n-1)h /2+nh=0. Como el valor de la h es un nmero entero positivo la
igualdad anterior es falsa. Por consiguiente, se demuestra la falsedad de la suposicin de las
n n n n
igualdades h +1=(h+1) y A =(h+1) .
n
Como el valor de la h es un nmero entero positivo es imposible que el valor de A sea un
n 1/n
cociente. Por lo tanto, el valor de (h +1) es irracional porque se demuestra que es imposible
ubicarlo como un nmero entero positivo.
n 1/n
Dado que a=c(h +1) , si los valores de c y h son nmeros enteros positivos, el valor de la
a es irracional, por lo que se demuestra el teorema.
a a a
DEMOSTRACIN DE LA FRMULA b +c =a

Si en la frmula bn + cn= an el valor del exponente n es igual o mayor que el valor de la a,

los valores de a, b y c no pueden ser nmeros enteros positivos si el valor del exponente es
igual o mayor que 2.
n n n a a a a a a
En la frmula b + c =a , designemos que n=a y a=c+r, por lo que b + c =a , b =a - c ; y
a a a
b =(c+r) -c . Efectuando en esta diferencia de potencias, el procedimiento requerido en el
segundo miembro de la ecuacin, resulta que:
a a-1 a-2 2 a-3 3 3 a-3 2 a-2 a-1 a
b =ac r+a(a-1)c r /2!+a(a-1)(a-2)c r /3!+O+a(a-1)(a-2)c r /3!+a(a-1)c r /2!+acr +r (10a).

Designemos que r=1 y que los valores de la c sean nmeros enteros positivos de all que
a=c+1; c=a-1. Entonces la frmula (10a) adopta siguiente forma:
a a a-1 a-2 a-3 3 2
b =c +c +a(a-1)c /2!+a(a-1)(a-2)c /3!+O+a(a-1)(a-2)c /3!+a(a-1)c /2!+ac+1.

Por lo tanto el valor de la a es un nmero entero positivo. Como c=a-1, es evidente, segn
a a
la frmula anterior, que el valor de ba es mayor que c . Luego, el valor de b est entre los
a a a
valores de la a y (a-1) , es decir, que stos son sus lmites, y segn la frmula (10a), b no es
cociente. Por consiguiente, si la b est entre a y a-1, su valor es irracional porque es imposible
ubicarlo como nmero entero positivo o cociente racional.

Supongamos que en la frmula (10a) el valor de la r aumente como nmero entero positivo,
a a
entonces el valor de b debe aproximarse ms al valor de a . Por lo que el valor de la r
aumenta con respecto al valor la de c, y el valor de la c disminuye con respecto a los valores
de a o r.
a a a
Designemos que en la frmula b =a - c , c=1. Como a=c+r, luego a=1+r. Sustituyendo,
a a a a
tenemos que b =a -1. Y si c=1 el valor de b tiene la mxima aproximacin hacia a . Por lo
a
que es evidente que el lmite mayor de b resulta cuando c=1, y el lmite menor cuando r=1.
a a a
Pero en ambos lmites el valor de b est entre los valores de aa y (a-1) . Como el valor de b
no es un cociente, entonces el valor de la b es irracional.

En consecuencia, para cualesquier valores de c y r, el valor de ba est entre an y (a-1)n, por

lo que el valor de la b es irracional. Por consiguiente, se demuestra que en la frmula
ba+ca=aa, los valores de a, b y c no pueden ser simultneamente nmeros enteros positivos,
si n=a y el valor de la a es igual o mayor que 2.

Y si el valor de n es mayor que el de la a y el valor de la a es mayor en una unidad que el

de la c, de acuerdo con la demostracin anterior, entonces el valor de la b est entre a y c.
n
Como c=a-1 y b no es un cociente, por lo tanto el valor de la b es irracional.

Segn el argumento matemtico anterior, si el valor de la r aumenta con respecto a 1, el

valor de la b se aproxima al valor de la a, por lo que el valor de la b es irracional.

En consecuencia si el exponente n es igual o mayor que el valor de la a, los valores de a, b

y c no pueden ser simultneamente nmeros enteros positivos.
c c c
DEMOSTRACIN DE LA FRMULA b + c =a
n n n
Si en la frmula b + c =a el valor del exponente n es igual o mayor que el valor de la c, los
valores de a, b y c no pueden ser simultneamente nmeros enteros positivos si el valor de n
es igual o mayor que dos.
n n n
En la frmula b + c =a , designemos que n=c, y a=c+r; y que los valores de a y c sean
c c c c c c
nmeros enteros positivos. Tenemos que b =a - c ; b =(c+r) - c . Efectuando las requeridas
operaciones en el segundo miembro de la ecuacin, tenemos que
c c c-2 2 c-3 2 3 c-3 2 c-2
b =c r+c(c-1)c r /2!+c(c-1)(c-2)c r /3!+O+c(c-1)(c-2)c r /3!+O+c(c-1)c r /2!+
c-1 c
+cr +r .
c
Cuando la r es igual o mayor que 1, es evidente que el valor de bc es mayor que c .
c c c c
Si designamos que r=1, entonces c=a-1; c =(a-1) , y el valor de b es mayor que (a-1) y
c c
menor que a . Como b no es un cociente racional, luego el valor de la b es irracional.

Designemos que en la igualdad a=c+r, el valor de la r aumenta como nmero entero

c c
positivo, entonces el valor de b debe aproximarse al valor de a . Por lo que el valor de la a
aumenta con respecto al de la c, o el valor de la c disminuye con respecto al valor de la a y al
de la r.
c c c
Designemos que en la frmula b =a - c ; c=1. Como a=c+r, luego a=1+r. Sustituyendo
c c c c
tenemos que b =a -1. Cuando c=1 el valor de b tiene la mxima aproximacin al valor de a .
c
Es evidente que el lmite mayor de b resulta cuando c=1 y el lmite menor cuando r=1. Es
c c
decir, que b tiene la mxima aproximacin al valor de (a-1) .

Por consiguiente, cualesquier que sean los valores de c y r, como nmeros enteros
positivos, en la frmula bc=ac cc, el valor de bc est entre los valores de ac y (a-1)c. Y, como
el valor de bc no es un cociente racional, entonces el valor de la b es irracional, porque no
existe una potencia perfecta bc, que est entre los valores de ac y cc.
n n n
Por lo tanto, se demuestra que si n c, en la frmula b +c =a , los valores de a, b y c no
pueden ser simultneamente nmeros enteros positivos si n es igual o mayor que 2. Adems,
si el valor de n es mayor que la c y el valor de la a es mayor en una unidad con respecto a la
c, de acuerdo a la demostracin anterior, el valor de la b est entre a y c. Como c=a-1 y el
n
valor de b no es un cociente, entonces el valor de la b es irracional.

Segn el argumento matemtico anterior, si el valor de la r aumenta con respecto a 1, el

valor de la b se aproxima al valor de la a. Por lo tanto, el valor de la b es irracional. Y por
consiguiente, cuando el exponente n es igual o mayor que la c, los valores de a, b y c no
pueden ser simultneamente nmeros enteros positivos, si el valor de la c es igual o mayor
que 2.

EL BINOMIO DE NEWTON

Cualquier coeficiente del binomio de Newton se puede calcular por esta tabla de valores:

[n(n-1)(n-2)(n-3)(n-4)(n-5)(O)x5x4x3x2x1]/[(O)x1x2x3x4x5(O)(n-5)(n-3)(n-3)(n-2)(n-1)n].
n
Si en el binomio (c+r) , el valor del exponente n es par, el coeficiente mximo se obtiene
2 2
por esta frmula: n!/[(n/2)!] . Por ejemplo: si n=36, entonces 36!/(18!) =9075135300.

Y cuando el exponente n es impar, hay dos coeficientes iguales de mximo valor, y se

obtienen as: n!/[(n+1)/2)!][(n-1)/2)!]. Por ejemplo, cuando el valor del exponente n es 35,
tenemos que Cm=35!/(18!)(17!)=4537567650. En que Cm es el coeficiente de mximo valor
del producto del binomio de Newton.

De acuerdo al orden del producto del binomio de Newton, cada trmino est determinado
exactamente. Por lo que podemos designar un nmero determinado para cada trmino, desde
el primero hasta el final, as: t=1, 2, 3,O,tf, en que cada trmino tiene su valor exacto. De este
modo, se puede calcular el coeficiente de cada trmino del producto del binomio de Newton
para todo valor de n, sea par o impar, con esta frmula: Ct=n!/{[n-(t-1)]!}[(t-1)!];
Ct=n!/[(n-t+1)!x(t-1)!]. En que Ct es el coeficiente del trmino segn el orden del producto, t
es el nmero del trmino en el orden del producto, y n es el exponente del binomio de
Newton.

Cuando el exponente del binomio de Newton es par, el producto lo expresamos as:

n n n-1 n-2 2 n-3 3
(c+r) =c +{n!/[(n-1)!(1!)]}c r+{n!/[(n-2)!](2!)}c r +{n!/[(n-3)!](3!)}c r +
n-4 4 2 n/2 n/2 2 n-2
+{n!/[(n-4)!](4!)}c r +O+{n!/[(n/2)!] }c r +O+{n!/[(n-2)!](2!)}c r +
n
+[n!/(n-1)!]cr n-1+r .

Si el exponente del binomio de Newton es impar, entonces el producto es:

n n n-1 (n+1)/2 (n-1)/2
(c+r) =c +[n!/(n-1)!]c r+...+{n!/[(n+1)/2]![(n-1)/2]!}c r +
(n-1)/2 (n+1)/2 n-1 n
+{n!/[(n+1)/2]![(n-1)/2]!}c r +O+[n!/(n-1)!]cr +r .
36
C13=35!/(23!)(12!)=834451800. El coeficiente del trmino 15 del producto del binomio (c+r)
es: C15=36!/(22!)(14!)=3796297200. Y el coeficiente del trmino 29, es:
C29=36!/(8!x28!)=30260340. La suma de los nmeros factoriales del denominador del
cociente debe ser igual a n.

Ahora podemos formar una expresin exacta de la serie del producto del binomio de
n
Newton. Si en el binomio (c+r) , el valor de n es un nmero par, entonces
n n n-2 2 n/2 2 n-2
(c+r) =c +(n/1!)cn-1r+[n(n-1)/2!]c r +O+[n!/((n/2)!)2]cr +O+[n(n-1)/2!]c r +
n-1 n
+(n/1!)cr +r .

Y si el valor del exponente n es impar, entonces tenemos que,

n n n-2 2 (n+1)/2 (n-1)/2
(c+r) =c +(n/1!)cn-1r+[n(n-1)/2!]c r +O+[n!/((n+1)/2)!((n-1)/2)!]c r +
(n-1)/2 (n+1)/2 2 n-2 n-1 n
+...+[n!/((n-1)/2)!((n+1)/2)!]c r +O+[n(n-1)/2!]c r +(n/1!)cr +r . (11a)

TRANSFORMACIN DEL PRODUCTO DEL BINOMIO DE NEWTON

Segn la ley del binomio de Newton, cada trmino del producto del binomio tiene una
frmula que calcula su coeficiente. Expresamos la frmula del primer trmino hasta el quinto
con el fin de describirla. Con el smbolo tm indicamos el nmero del trmino segn el orden del
producto, en que m=1, 2, 3, 4,O As tenemos

t0=n0/0!; t1=n/1!; t2=n(n-1)/2!; t3=n(n-1)(n-2)/3!; t4=n(n-1)(n-2)(n-3)/4!;

t5=n(n-1)(n-2)(n-3)(n-4)/5!;... (12a)

El numerador del cociente tiene tantos factores en que interviene n como indica el nmero
factorial del denominador. Cada factor comprende una diferencia del valor del exponente
menos un nmero que comienza con cero (0). Los factores se definen de un modo sucesivo:
(n-0)(n-1)(n-2)(n-3)(O)(n-(n-1)). Para cada trmino, el nmero factorial del denominador
aumenta en una unidad con respecto al anterior.
 n n
Como a=c+r, entonces a =(c+r) (13a). De la frmula (13a) se forma el siguiente conjunto
de series segn la ley del binomio de Newton:
2 2 2 3 3 2 2 3
a=c+r; a =c +2cr+r ; a =c +3c r+3cr +r ;
...........................................................................;
16 16 15 14 2 13 3 12 4 5 6 9 8 8
a =c +16c r+120c r +560c r +1820c r +4368c11r +8008c10r +114c r7+12870c r +
7 9 6 10 5 11 4 12 3 13 2 14 15 16
+11440c r +8008c r +4368c r +1820c r +560c r +120c r +16cr +r ;
17 15 2 14 3 13 4 12 5 11 6 7 9 8
a =136c r +680c r +2380c r +6188c r +12376c r +19448c10r +24310c r +
17 16 8 9 7 10 6 11 5 12 4 13 3 14
c +17c r++24310c r +19448c r +12376c r +6188c r +2380c r + 680c r +
2 15 16 17
+136c r +17cr +r . (14a)

Si c+r=a, entonces se puede transformar la serie (14a) en las siguientes expresiones:

2 2 2 3 3 3 4 4 4 2 2
c +r =a -2cr; c +r =a -3acr; c +r =a -4a2cr+2c r ;
...................................................................,
16 16 16 12 2 2 10 3 3 8 4 4 6 5 5 4 6 6 2 7 7 8
c +r =a -16a14cr+104a c r -352a c r +660a c r -672a c r +336a c r -64a c r +2c r8;
17 15 13 2 2 11 3 3 9 4 4 7 5 5 5 6 6 3 7 7
c17+r17=a -17a cr+119a c r -442a c r +935a c r -1122a c r +714a c r -204a c r +
8 8
+17ac r . (15a)

En la serie (15a), una frmula par depende de las pares anteriores. Y del mismo modo una
frmula impar depende de las impares precedentes. Por ejemplo en la frmula (14a),
16 17
transformemos las frmulas a y a . Si factorizamos los trminos equidistantes de la frmula
16
por el trmino a , tenemos que
16 16 14 14 2 12 12 3 3 10 4 4 8 8 5 5 6 6
a =c +16cr(c +r )+120c2r (c +r )+560c r (c10+r )+1820c r (c +r )+ 4368c r (c +r )+
6 6 4 7 7 2 2 8 8 16
+8008c r (c4+r )+11440c r (c +r )+12870c r +r .
17
Aplicando el mismo procedimiento con a , resulta que
17 17 15 15 2 2 13 13 3 3 11 11 4 4 9 9 5 5 7 7
a =c +17cr(c +r )+136c r (c +r )+680c r (c +r )+2380c r (c +r )+ 6128c r (c +r )+
6 6 5 5 7 7 3 3 8 8 17
+12376c r (c +r )+19448c r (c +r )+24310c r (c+r)+r .
16
Es evidente, que para transformar el producto de a tendramos que sustituir las sumas de
17
las potencias correspondientes en la serie (15a). Lo mismo sucede para a , porque este es
un procedimiento muy complicado y tedioso.

Ahora bien, efectuando las correspondientes sustituciones, la serie (14a), la transformamos

en sta:
2 2 2 3 3 3
a=c+r; a =c +2cr+r ; a =c +3acr+r ;
 16 16 12 2 2 10 3 3 8 4 4 6 5 4 6 6 2 7 7
a =c +16a14cr-104a c r +352a c r -660a c r +672a c r5-336a c r +64a c r +
8 8 16
+(-2)c r +r ;
17 17 15 13 2 2 3 3 9 4 4 7 5 5 5 6 6 7 7
a =c +17a cr-119a c r +442a11c r -935a c r +1122a c r -714a c r +204a3c r +
8 8 17
+(-17)ac r +r (16a).

En la serie (15a) los trminos, segn sea su orden, se calculan con estas frmulas:
n n-2 n-4 2 2 n-6 3 3
t1=a ; t2=na cr; t3=(n(n-3)/2!)a c r ; t4=(n(n-4)(n-5)/3!)a c r ;
n-8 4 4
t5=(n(n-5)(n-6)(n-7)/4!)a c r ,...

Si los trminos fueran 17, 65 y 269, tenemos que

n-32 16 16
t17=(n(n-17)(n-18)(O)(n-30)(n-31)/16!)a c r ,

n-128 64 64
t65=(n(n-65)(n-66)(O)(n-126)(n-127)/64!)a c r ,

n-536 268 268

t269=(n(n-269)(n-270)(O)(n-534)(n-535)/268!)a c r ;... (17a).

El clculo del coeficiente de los trminos a partir de t17, es complicado. Obviamos esta
n-2(p-1) p-1 p-1
dificultad con la frmula: Ct=[n/(p-1)!]{[(n-p)!]/[n-2(p-1)]!}a c r (18a). Simplificando
n-2(p-1) p-1 p-1
los parntesis, resulta Ct=[n/(p-1)!][(n-p)!/(n-2p+2)!]a c r .

En esta frmula, Ct es el trmino, p es el nmero del trmino en la serie y n es el exponente

de la suma de las dos potencias. As tenemos que:
n n
C1=(n/((1-1)!)((n-1)!/(n-2(1-1))!))a ; C1=(n/0!)((n-1)!/n!)an, t1=a .

n-2 n-2 n-2

C2=(n/(2-1)!((n-2)!/(n-2(2-1))!)a cr; C2=(n/1!)((n-2)!/(n-2)!)a cr ; t2=na cr ;

n-4 2 2 n-6 3 3
C3=(n/2!)((n-3)!/(n-4)!)a cr; C4=(n/3!)((n-4)!/(n-6)!)a cr.

Si los trminos fueran 17, 65 y 269, tenemos lo siguiente:

n-32 16 16 n-128 64 64
C17=(n/16!)[(n-17)!/(n-32)!]a c r ; C65=(n/64!)[(n-65)!/(n-128)!]a c r ;

n-536 268 268

C269=(n/268!)[(n-269)!/(n-536)!]a c r . (19a)

La frmula (18a) nos permite calcular cualquier trmino de la serie (15a) y simplificar en su
mnima expresin los trminos de la serie (17a). Por ejemplo los trminos t17, t65 y t269 tienen
16, 64 y 268 factores respectivamente.
 Si en el binomio de Newton el valor de n es impar, se pueden calcular los trminos de
derecha a izquierda de los productos transformados de la serie (15a). As tenemos que
(n-1)/2 (n-1)/2 2 3 (n-3)/2 (n-3)/2
t1=na c r ; t2=(n(n -1)/22x3!)a c r

t =(n(n2-1)(n2-32)/24x5!)a5c(n-5)/2r (n-5)/2 ;
3

2 2 2 2 2 6 7 (n-7)/2 (n-7)/2
t4=(n(n -1)(n -3 )(n -5 )/2 x7!)a c r .

Designando que los trminos sean, 17, 65 y 269, tenemos que

2 2 2 2 2 2 2 32 33 (n-33)/2 (n-33)/2
t17=(n(n -1)(n -3 )(O)(n -29 )(n -31 )/2 x33!)a c r ;

2 2 2 2 2 2 2 128 129 (n-129)/2 (n-129)/2

t65=(n(n -1)(n -3 )(O)(n -125 )(n -127 )/2 x129!)a c r ;
2 2 2 2 2 2 2
t269=(n(n -1)(n -3 )(O)(n -533 )(n -535 )/2536x537!)a537c(n-537)/2r (n-537)/2. (20a)

Si en el binomio de Newton el valor de n es par, se pueden calcular los trminos de

derecha a izquierda de los productos transformados en la serie (15a). As tenemos que
n/2 2 2 (n-2)/2 (n-2)/2 2 2 2 4 (n-4)/2 (n-4)/2
t1=2cn/2r ;t2=(n /2x2!)a c r ; t3=(n (n -2 )/23x4!)a c r ;

2 2 2 2 2 5 6 (n-6)/2 (n-6)/2
t4=(n (n -2 )(n -4 )/2 x6!)a c r .

Asignando que los trminos sean, 17, 65 y 269, tenemos que

2 2 2 2 2 2 2 2 2 31 32 (n-32)/2 (n-32)/2
T17=(n (n -2 )(n -4 )(O)(n -28 )(n -30 )/2 x32!)a c r ;

2 2 2 2 2 2 2 2 2 127 128 (n-128)/2 (n-128)/2

T65=(n (n -2 )(n -4 )(O)(n -124 )(n -126 )/2 x128!)a c r ;

2 2 2 2 2 2 2 2 2 535 536 (n-536)/2 (n-536)/2

T269=(n (n -2 )(n -4 )(O)(n -532 )(n -534 )/2 x536!)a c r (21a).

Cuando el valor de n es impar, las frmulas de los trminos de la serie (20a) podemos
expresarlas as:
2 2 2 2 2 2 2m-2 2m-1 (n-(2m-1))/2 (n-(2m-1))/2
tm=(n(n -1)(n -3 )(n -5 )(O)(n -(2m-3)2/2 (2m-1)!)a c r . (22a)

El nmero de trminos de la serie (15a), cuando el valor de n es impar, se calcula por esta
frmula (n-1)/2+1, y el de los factores de los numeradores por las frmulas de la serie (20a).

Si el valor de n es par, las frmulas de los trminos de la serie (21a) las expresamos as:
2 2 2 2 2 2 2 2 2 2m-3 2(m-1) (n-2(m-1))/2 (n-2(m-1))/2
tm=(n (n -2 )(n -4 )(n -6 )(O)(n -(2(m-2)) )/2 (2(m-1))!)a c r (23a).
 El nmero de trminos de la serie (15a), cuando n es par, es n/2+1 y el nmero de factores
de los numeradores de las frmulas de la serie (21a) es m-1. Por ejemplo en el primer
2m-3
trmino el nmero de factores es cero. El nmero factorial es 0!, y la potencia 2 es 2-1 en
el denominador. Por lo que el coeficiente del trmino es 2. De acuerdo a las frmulas (11a),
n
cuando el exponente n en el binomio (c+r) es impar establecemos esta relacin:
n n n n-2 n-2 2 2 n-4 n-4 3 3 n-6
(c+r) =c +r +ncr(c +r )+[n(n-1)/2!]c r (c +r )+[n(n-1)(n-2)/3!]c r (c +rn-6)+O+
(n-1)/2 (n-1)/2
+n!/{[(n-1)/2]![(n+1)/2]!}c r (c+r) . (24a)

Y cuando el valor de n es par:

n n n n-2 n-2 2 2 n-4 n-4 3 3 n-6 n-6
(c+r) =c +r +ncr(c +r )+[n(n-1)/2!]c r (n +r )+[n(n-1)(n-2)/3!]c r (c +r )+
2 n/2 n/2
+O+n!/[(n/2)! ]c r . (25a)

A continuacin explicaremos lo que significa la conversin de los trminos del producto del
binomio de Newton en la serie que hemos definido. Hemos designado que a=c+r, por lo
n n
tanto, a =(c+r) . En las frmulas (11a) determinamos los trminos del producto del binomio
de Newton considerando los valores de c y r. Pero las frmulas (15a), (24a) y (25a) indican
que pueden relacionarse los valores de a, c y r. Si se logran esas relaciones, entonces
transformamos el producto del binomio de Newton. Las frmulas (17a) expresan los
trminos de la transformacin general del producto del binomio de Newton. Como
n n
a =(c+r) , entonces construimos la frmula segn esa igualdad:
n n n-2 n-4 2 2 n-6 3 3 n-8 4 4
a =c +na cr+(n(n-3)/2!)a c r +(n(n-4)(n-5)/3!)a c r -(n(n-5)(n-6)(n-7)/4!)a cr +
n
+O+r (26a).
n
De acuerdo a ley del binomio de Newton, cuando el exponente n es par en (c+r) , slo se
determina un trmino central porque los exponentes de c y r se igualan. Y cuando el valor de
n es impar la ley determina dos trminos centrales de igual coeficiente y en que los
exponentes de c y r son menores en una unidad en ambos trminos.

En consecuencia, segn la direccin del procedimiento que hemos aplicado, no

podemos resolver el Teorema de Fermat con una sola demostracin. De all que se
requieran varias demostraciones que implique y dependa una demostracin general
como mostraremos ms adelante.

De acuerdo con la ley del binomio de Newton, en la frmula (11a) cuando el valor de n es
un nmero primo, n es mltiplo de todos los coeficientes, comenzando desde el segundo
p
hasta el penltimo. Si n=m en que m es un nmero primo, dichos coeficientes son divisibles
exactamente por m. Pero, cuando el valor de n est formado por factores diferentes que sean
nmeros enteros positivos, dichos coeficientes no son divisibles exactamente por n ni por
ninguno de los factores que componen a n. Algunos coeficientes son divisibles por n, y otros
por algunos de los factores de n. Entonces, slo los coeficientes iguales y mayores que n son
divisibles por n cuando ste es primo o sus factores primos son iguales. Esta ley tambin se
aplica a las formulas, (17a), (20a) y (21a).
 A continuacin, expresamos los trminos del producto transformado del binomio de
n n
Newton cuando el valor de n es impar. Si (c+r) =a , tenemos que
n n n-2 n-4 2 2 n-6 3 3 4 4
a =c +na cr-[n(n-3)/2!]a c r +[n(n-4)(n-5)/3!]a c r -[n(n-5)(n-6)(n-7)/4!]an-8c r +
3 (n-3)/2 (n-3)/2 n
+O+[n(n2-1)/22x3!]a c r +r (27a).

Puede ser que la configuracin de los signos de los ltimos trminos de la frmula (27a) se
mantenga o cambie, segn sea el valor de n, porque el nmero de los trminos del producto
del binomio de Newton cambian. Si para un valor n el nmero de dichos trminos es par,
para el siguiente valor de n consecutivo en dos unidades es impar. Esta propiedad est
demostra en la serie (15a). En la frmula (27a) el nmero de trminos es par por lo que el
signo del penltimo trmino es negativo. Si el nmero de trminos fuera impar entonces dicho
trmino sera positivo.
n
Cuando el valor de n es par en el binomio (c+r) , los trminos del producto transformado
del binomio de Newton lo expresamos as:
n n n-2 n-4 2 2 n-6 3 3 4 4
a =c +a cr-[n(n-3)/2!]a c r +[n(n-4)(n-5)/3!]a c r -[n(n-5)(n-6)(n-7)/4!]an-8c r +
2 2 2 4 (n-4)/2 (n-4)/2 2 2 (n-2)/2 n/2 n/2 n
+O+[n (n -2 )/23x4!]a c r - (n /2x2!)a c(n-2)/2r +2c r +r . (28a)

En la frmula (28a) si el valor de n es par y est formado por factores diferentes, todos los
p
trminos no son exactamente divisibles por 2. Para ello el exponente debe ser n=2 para que
todos los trminos sean divisibles por dos.

DEMOSTRACIN PARCIAL DEL TEOREMA DE FERMAT POR EL PROCEDIMIENTO DE

EQUIVALENCIA

Dos frmulas son equivalentes si tienen la misma simetra y estructura. Si dos frmulas son
n n n n n n
equivalentes entre s tienen las mismas propiedades. Las frmulas b +c =a y d +r =b son
equivalentes entre s porque tienen la misma simetra o estructura, por lo tanto tienen las
mismas propiedades. Antes de demostrar el Teorema de Fermat, resolveremos la frmula
3 3 3
b +c =a .

Si b3+c3=a3, entonces b3=a3-c3. Y si los valores de a, c y la potencia b3 son nmeros

enteros positivos, entonces a >c, a >b, a-c=r y a=c+r. Es evidente, que el valor de r es un
nmero entero positivo. Sustituyendo y desarrollando, tenemos que b3=3cr(c+r)+r3. Como
3 3
c+r=a, entonces b =3acr+r . Estableciendo la diferencia de cubos, tenemos que b3-r3=3acr, y
designando que 3acr=d3, entonces b3-r3=d3 d3=b3-r3.

En esta ltima frmula los valores de b y r pueden adoptar cualesquier nmeros enteros
positivos. De all enunciamos la siguiente proposicin: Si el valor de la d es un nmero
3 3 3
entero positivo en la frmula d =b -r en que los valores de b y r sean nmeros enteros
3 3 3
positivos, entonces en la frmula b =a -c es posible que el valor de la b sea un nmero
entero positivo si los valores de a y c lo son. Si el valor de la d no puede ser un nmero entero
positivo del mismo modo el valor de la b no puede serlo, si los valores de a y c son nmeros
enteros positivos. Cuando el valor de la a es funcin de los valores de c y r no se les pueden
asignar valores arbitrarios a la a, si se le asignan valores determinados a c y r.
3
Dado que d =3acr, para que el valor de la d sea un nmero entero positivo o racional
2 2 2 3 3 3 3
designemos que a=3 c r k . Esta suposicin es correcta segn la frmula b -r =d .
3 3 2 2 2 3 3 3 3 3 3
Sustituyendo en d =3acr, tenemos que d =(3cr)(3 c r k ); d =3 c r k ; d=3crk.
2 2 2 3
Es el valor de la k un nmero entero positivo o un cociente? Como a=3 c r k ,
3 3 3 2 2 2 3 3 3 3 6 6 6 9 3 3 3 6 3 6 9
sustituyendo en b =a -c3, entonces b =(3 c r k ) -c , b =3 c r k -c , b =c (3 c r k -1).
3 6 3 6 9 2 2 3 3 3 3 3 1/3
Designemos que h =3 c r k , luego h=3 cr k , b =c (h -1) y b=c(h -1) .

Hemos demostrado que si el valor de la h es un nmero entero positivo la expresin

3 1/3
(h -1) es un nmero irracional. Por consiguiente, para que el valor de la b sea un nmero
entero positivo el valor de la k debe ser una fraccin racional. Pero veamos si ese valor de la
k es posible.
2 2 2 3 2 2 2 3 3 2 2 2
Tenemos que a=3 c r k . Como a=c+r, de all que c+r=3 c r k ; k =(c+r)/3 c r . Slo el
2 2 2
valor de la k es una fraccin, si la desigualdad 3 c r >c+r es vlida. Demostremos si esta
desigualdad es cierta.
2
Dividamos los miembros de la desigualdad por cr entonces tenemos que 3 cr> >1//r+1/c|. Es
evidente que si los valores de r y c son iguales o mayores que 1 la desigualdad es cierta. Por
3
consiguiente, si los valores de c y r son nmeros enteros positivos el valor de k es una
fraccin.

Es el valor de la k un cociente racional, o irracional? En la frmula k3=a/32c2r2 designemos

que a=a3, c=c3 y r=r3, por lo que k3=a3/32c6r6; k=a/(32)1/3c2r2. Es evidente que el valor de
la k es irracional, si los valores de a, c y r son nmeros enteros positivos.

Si en la frmula a3=c3+r3 los valores de c y r son nmeros enteros positivos y el valor de

la a es irracional, es posible que el valor de la k sea una fraccin racional. Pero, el valor de a
no puede ser cualquier nmero irracional. Para que el valor de la k sea un cociente racional
en esa igualdad, designemos que a=32a3. Como a=c+r, c=c3 y r=r3, entonces 32a3=c3+r3.
De all que a3=(c3+r3)/32. Para que el valor de a sea un nmero entero positivo la suma
a3+r3 debe factorizarse por 32. Es decir que c3=32c3 y r3=32r3. Por lo que c=(32)1/3c y
r=(32)1/3r. Cuando el valor de a es un nmero entero positivo entonces los valores de c y r
no pueden ser simultneamente nmeros enteros positivos.

Si los valores a, c y r son nmeros enteros positivos, el valor de la k no podra ser un

cociente racional. Y cuando los valores de a, c y r no son simultneamente nmeros
enteros positivos el valor de la k tampoco podra ser un cociente racional. Demostremoslo si
es as. Tenemos a=c+r; 32a3=c3+r3; a3=(c3+r3)/32 y k3=a/32c2r2;
k3=32a3/32(c3)2(r 3)2; k=a/c2r2.
 Si los valores de a, c y r son nmeros enteros positivos el valor de la k es un cociente
racional. Pero en la frmula a3=(c3+r3)/32, los valores c3 y r3 deben contener el nmero 32.
Y cuando los valores c3 y r3 no contienen el nmero 32 el valor de a es irracional. Como
c3=32c3 y r3=32r3, sustituyendo en a=c+r, tenemos que

32a3=32c3+32r3, a3=c3+r3. Y en la k tenemos que k3=a3/38c6r6; k=a/(38)1/3c2r2.

Cuando los valores de a, c y r son nmeros enteros positivos el valor de la k es

irracional. Y si cualesquier de esos valores fuera irracional, en la forma en que se han
especificado el valor de la k tambin sera irracional.

Por lo tanto para que el valor de a sea un nmero entero positivo, los valores de c y r no
podran ser simultneamente nmeros enteros positivos si los valores de c y r son nmeros
enteros positivos.

Luego, si los valores de a, c, r, a, c y r no pueden ser simultneamente nmeros

enteros positivos entonces el valor de la k es irracional. Por lo tanto el valor de la d es
irracional.

Si designamos que a-c=r, en que la diferencia a-c es funcin de r, entonces al valor de la r

3 3 3
se le puede asignar valores independientes en la frmula d =b - r , y lo mismo a los valores
3 3 3
de la b. De acuerdo a esta demostracin, la frmula d =b - r tiene la misma simetra o
3 3 3
equivalencia que la frmula b =a - c .

En la primera formula, los valores de b y r son nmeros enteros positivos y el valor de la d

es irracional. Y en la segunda frmula los valores de a y c son nmeros enteros positivos e
independientes del valor de b. Por lo que el valor de la b es irracional, en la segunda frmula.

Para presentarlo de modo evidente, designemos que a=b, c=r y b=d. Tngase entendido
que los valores de las dos frmulas son iguales, y slo que en la primera frmula el valor de la
b es un nmero entero positivo y en la segunda el valor de la b es irracional. Lo significativo
en esta relacin de equivalencia no son los valores, sino las estructuras y simetras de las
ecuaciones.
3 3 3
Por lo que se demuestra que en la frmula b +c =a , los valores de a, b y c no pueden ser
simultneamente nmeros enteros positivos.
2 2 2
Examinemos si el valor de la k en la frmula b +c =a , puede tener un valor racional.
2 2 2 2
Designamos que a=c+r, luego b =2cr+r y c=(b - r )/2r. Es evidente que el valor de la c es un
nmero racional sean cuales fueran los nmeros racionales de los valores de b y r. Como la
c es funcin de b y r entonces los valores de b y r son independientes del valor de la c.
2 2
Ahora bien, tenemos que 2cr=b - r . En la expresin 2cr, slo existen dos variables y no
3 3
tres como en 3acr=b - r .
 2 2 2 2 2 2 2 2 2
Designemos que c=2rk , por lo que 2r(2rk )=b - r ; 2 r k =b - r . Despejando el valor de k,
2 2 1/2 2 2 2 2
tenemos que k=(b - r ) /2r. La diferencia b -r tiene la misma simetra que a -c . De all,
2 2 2
designamos que b=b+r y b - r =d . De este modo la b se convierte en una funcin de b y r lo
que permite obtener valores exactos para la r, utilizando el procedimiento anterior.

Dado que d2=2br+b2, r=(d2- b2)/2b. Sustituyendo en k, tenemos que

k=((b+(d2- b2)/2b)2-((d2- b2)/2b')2)1/2/2((d2- b2)/2b);

k=(b2+d2- b2)1/2/(d2- b2)/b;
k=bd/(d2- b2).
2 2 2 2 2 2 2
Con este argumento demostramos que en las igualdades b =a - c ; d =b - r y d =2cr, los
valores de a, b, c, d y r pueden ser nmeros enteros positivos simultneamente en las dos
frmulas, y el valor de la k puede ser una fraccin racional. Y si el valor de la k es un nmero
entero positivo el valor de la b sera irracional.
2 2 1/2
El valor de la k puede ser irracional si la expresin (b - r ) es irracional, porque los valores
2 2
de b y de r son independientes en c=(b - r )/2r. Pero, este no es el significado de la k en la
demostracin anterior en que d=3crk.
2 2
Como en la frmula c=(b -r )/2r, el valor de la c se expresa en una ecuacin de primer
2 2 2
grado, lo lgico sera haber designado que c=2rk. En tal caso k=(b -r )/4r , y el valor de la k
sera racional. Si el valor de la k fuera una fraccin racional entonces los valores b y r son
nmeros enteros positivos o racionales.
2 2 2 3 3 3
La propiedad del valor de la k en la frmula b +c =a es distinta que en la frmula b +c =a ,
2 2
ya que en la primera c=(b -r )/2r. Y lo conveniente sera designar que c=2rk. Y el valor de la k
se expresara como un trmino de primer grado por lo que la k podra tener cualquier valor
racional. Entonces procedamos analizar la forma general del valor de la k en la frmula
2 2 2
b +c =a .
2 2 2 2 2
En la frmula b -r =2cr el producto 2cr puede ser un cuadrado perfecto. Como b -r =d ,
2 1/2
entonces d =2cr y d=(2cr) . Es evidente que si le asignamos ciertos valores a c y r el valor
de la d puede ser racional o un nmero entero positivo.
3 3 3 2 2 2
Ahora bien, en la frmula b - r =3acr hemos designado que k =a/3 c r , luego en
2 2 2 1/2 2 2 2 2
b -r =2cr; k =1/(2cr). Por lo que k=1/(2cr) . Si designamos que b -r =d , de all que d =2cr.
2
Como el segundo miembro de esta ecuacin es 2cr, entonces 2cr=2crx1. En que 1=2crk . Y
segn los valores que se le asignen a c y r es evidente que el valor de la k puede ser un
cociente racional.

La posibilidad de que el valor de la k sea un cociente racional se debe a que el numerador

del cociente de k es 1 y que los valores de c y r sean potencias de primer grado. Tambin
porque a los valores de c y r se le pueden asignar cualesquier nmeros enteros positivos, de
tal modo que el producto 2cr sea un cuadrado perfecto.
1/2
Por lo tanto, es posible que en el cociente k=(1/2cr) el valor de la k pueda ser un cociente
2 2 2 2
racional. En consecuencia, en la frmula b -r =2cr(2crk ), la expresin 2cr(2crk ) puede ser
2
un cuadrado perfecto. Porque si 2cr es un cuadrado perfecto entonces k es un cuadrado
2
perfecto. Es decir que los valores de 2cr y k son racionales si uno de los dos es racional.

SEGUNDA PARTE

n n n
DEMOSTRACIN DEL TEOREMA DE FERMAT CUANDO EN LA FRMULA b +c =a EL
VALOR DEL EXPONENTE n ES UN NMERO IMPAR

n n n
Enunciado del teorema: Si en la frmula b +c =a , el valor del exponente n es un
nmero impar mayor que 3, los valores de a, b, y c no pueden ser simultneamente
nmeros enteros positivos.

n n n n n n
En la frmula b +c =a (1b), despejando bn, tenemos que b =a -c (2b). Por la frmula (1b)
n n n n
es evidente que a >b y a >c . Por lo que a>b y a>c. Designemos que los valores de a y c
sean nmeros enteros positivos de all que en la diferencia a-c=r el valor de la r es un nmero
n n n
entero positivo. Entonces a=c+r (3b). Sustituyendo (3b) en (2b), tenemos que b =(c+r) - c
(4b). De acuerdo a las frmulas (17a) y (19a), se puede establecer la siguiente relacin:
n n n-3 n-5 n-7 2 2 n-9 3 3
b -r =acr[na -(n(n-3)/2!)a cr+(n(n-4)(n-5)/3!)a c r -(n(n-5)(n-6)(n-7)/4!)a c r +
2 2 2 2 2 6 (n-9)/2 (n-9)/2 2 2 2 4 4 (n-7)/2 (n-7)/2
+O+(n(n -1)(n -3 )(n -5 )/26x7!)a c r -(n(n -1)(n -3 )]/2 x5!)a c r +
2 2 2 (n-5)/2 (n-5)/2 (n-3)/2 (n-3)/2
+(n(n -1)/2 x3!)a c r -nc r ]. (5b)
n-3 n-5 2 2 2 (n-5)/2 (n-5)/2 (n-3)/2
Designemos Q=na -(n(n-3)/2!)a cr+O+(n(n -1)/2 x3!)a c r -nc(n-3)/2r (6b), y
n n n n
b - r =d (7b). Luego, d =acrQ (8b).

Examinemos si el valor de la d, puede ser un nmero entero positivo. Designemos que el

n-1 n-1 n-1 n n n n n n n n
valor de la Q sea: Q=a c r k (9b). De all que b - r =acrQ (10b). Por lo que d =a c r k
(11b) y d=acrk (12b).

Hiptesis 1: El valor de la k es una fraccin.

Demostracin:

Como los valores de c y r son nmeros enteros positivos, a > b, a > c y de acuerdo a la
n n n n n n n n n n n
frmula (11b), tenemos que b =a c r k +r (13b); b =r (a c k +1) (14b).
n n n n n
Por la frmula (13b) es evidente que b >a c r k (15b). Si el valor de la k es un nmero
igual o mayor que 1 entonces no es posible que a>b. Pero la desigualdad a>b es
consecuencia de las definiciones establecidas. Por lo tanto para que la desigualdad (15b) sea
vlida, el valor de la k debe ser un nmero menor que 1. Por lo que el valor de la k es una
fraccin (cociente), y la hiptesis 1 queda demostrada.

Hiptesis 2: El valor de la k es una fraccin irracional.

Demostracin:

Hemos designado que los valores de a, c y r, sean nmeros enteros positivos en las
n
frmulas (3b) y (5b). Por lo que el valor de k es un cociente racional (suposicin) en la
frmula kn=Q/an-1cn-1rn-1 (16b).

Supongamos que entre los posibles valores de a, c y r, el valor de la Q sea una (n-1)
n-1
potencia cuya base sea un nmero entero positivo que designamos Q=q . Luego
n n-1 n-1 n-1 n-1 n 1/(n-1)
k =q /a c r y (k ) =q/acr. De all designamos que kn=kn-1. Por lo que, segn la
n n n n n-1
suposicin, k'=q/acr y k es una fraccin racional. Por lo tanto, q =a c r k y q=acr(kn-1)1/n.
1/n
Sin embargo es evidente que el valor de (kn-1) es irracional. Y como k=(kn-1)1/n, el valor
de la k es irracional porque el cociente (n-1)/n no puede ser un nmero entero, dado que es
imposible que n sea un mltiplo exacto de n-1.

Supongamos que el valor de la Q sea una n potencia cuya base es un nmero entero
,n n n n-1 n-1 n-1 n-1 n-1 n-1 1/n
positivo y que designamos as: Q=q . Entonces, k =q /a c r y k=q/(a c r ) . Es
evidente que el denominador del cociente k es irracional. Entonces el valor de la k es un
nmero irracional.

Para que el valor de la k sea racional, se debe suponer que el valor de la Q contiene los
n-1 n- 1 n-1
factores a , c y r simultneamente.
n-1 n-1 n-1
Para que esta suposicin sea vlida, designemos que k=1. Luego Q=a c r ;
n n n n n n n n n
d =a c r y d=acr. Como b -r =d ; b >d ; b>d y a>b; por lo que a>d. Por lo tanto, acr>d,
n n n n n n n n-1 n-1 n-1
a c r >d ; a c r >acrQ y a c rn-1>Q. Y si r=1 y c=1, de todos modos a >Q, porque a>d
n n
y a >d .

Por consiguiente se demuestra que el valor de la Q no puede contener simultneamente los

n-1 n-1 n-1
factores a , c y r . De este modo se prueba la hiptesis 2.

Explicacin de la Hiptesis 2.

Hemos supuesto que segn sean los valores de a y c es posible que el valor de la Q sea
n-1
una (n-1) potencia perfecta en que Q=q .
 n n 1/n n/(n-1)
Por las frmulas (10b) y (16b), tenemos que ac=(b -r )/Qr y ac=Q /rk . Combinando
n n/(n-1) 1/(n-1)
las ecuaciones, resulta que d =(Q/k) . Si se radicaliza por n, tenemos que d=(Q/k) , de
1/(n-1)
all que d=q/k .
n-1 1/n n-1 (n-1)/n
Como k=(Q/(acr) ) y Q=q , tenemos que k=(q/acr) . Sustituyendo y efectuando las
(n-1)/n 1/n n-1 1/n
operaciones requeridas, resulta que d=q (acr) ; d=(q acr) . En el cociente
k=(q/acr)(n-1)/ n, si los valores de a, c, r y q son nmeros enteros positivos, entonces el valor
de la k es irracional.
n n/(n-1) 1/(n-1) n n n-1 (n-1)/n
Designemos que Q=q , por lo que d=q k . Como k =q /(acr) y k=q /(acr) , el
valor de la k es irracional si los valores de a, c y r son nmeros enteros positivos.
Supongamos que los valores de a, c, r y Q, sean potencias perfectas con exponentes n. Pero,
como demostraremos ms adelante, esa suposicin conducira al absurdo.
n
Hiptesis 3: En la igualdad d =acrQ no es posible un producto de los factores a, c, r y Q
n
que origine una potencia d y en que d sea un nmero entero positivo.

Demostracin:
p p p
Para que ese valor sea posible designemos c=c , r=r y supongamos que a=a ,
q q q
Q=a c r , p+q=n; y que los valores a, c, r, p y q sean nmeros enteros positivos.

Efectuando las requeridas sustituciones, tenemos este resultado: dn=(apcprp)(aqcqrq),

n n
d =ap+qcp+qrp+q; d =ancnrn y d=acr.

Cmo saber si los valores de a, c, r y d, sean nmeros enteros positivos o algunos de

ellos nmeros irracionales?
n n n n n n
Tenemos que d =a c r k y d =ancnrn. Dado que estas frmulas son iguales, entonces
n n n n n n n n
a c r k =ancnrn, y k =ancnrn/a c r . Radicalizando por n resulta que k=acr/acr. Como
acr=apcprp, sustituyendo y efectuando las operaciones pertinentes, tenemos que k=1/ap-
1 p-1 p-1
c r .

Hemos designado que los valores de a, c, r, c y r, sean nmeros enteros positivos y que
n-1 n-1 n-1 n
Q=a c r k y demostrado que el valor de la k es irracional. Por lo tanto, la a debe ser
irracional en el nuevo valor de la k si los valores de c y r son nmeros enteros positivos.
n n-1
Es posible que en la frmula d =acrQ el valor de la Q contenga el valor de r . El valor de
la r puede ser igual a 1 si el valor de la a es mayor en una unidad que el de la c. Pero es
n-1 n-1 n-1
imposible que el valor de la Q contenga los valores de a c r segn lo hemos demostrado.
Y si los valores de a, c, y r no son nmeros primos entonces podemos suponer que a=ap,
c=cp y r=rp, siempre y cuando sus valores sean potencias y sus bases nmeros enteros
positivos. Pero si alguno de esos valores es un nmero primo dicho valor no puede ser una
potencia cuya base sea un nmero entero positivo.

Por definicin, sabemos que un nmero primo no puede expresarse como una potencia
cuya base sea un nmero entero positivo. Si los valores de a, c y r son o no nmeros primos,
entonces tenemos que Q=an-1cqrn-1, Q=aq cn-1rn-1, Q=aqcqrn-1, Q=an-1cn-1rq y Q=aqcqrq.
Los cinco valores asignados a la Q son falsos porque no pueden contener simultneamente
los valores de an-1, cn-1 y rn-1 segn se ha demostrado anteriormente. Su expresin debe ser:

Q=an-1cqrn-1kn; Q=aqcn-1rn-1kn; Q=aqcqrn-1kn, Q=an-1cn-1rqkn y Q=aqcqrqkn.

Si el valor de la a es un nmero primo se demuestra que Q=an-1cqrqkn. Y si los valores de

c y r son nmeros primos, entonces Q=aq cn-1rn-1kn.

Hiptesis 4: Si en la frmula Q=aqcn-1rn-1kn, los valores de c y r son nmeros primos el

valor de la k es una fraccin (cociente) irracional.

Demostracin:
n n n n n n n n n n n n n n n n n
Tenemos que b +c =a ; b =a - c ; a=c+r ; b =(c+r) - c ; b - r =a -c - r ; b -r =d ;
n n-1 n-2 2 2 n-2 n-1
d =nc r+(n(n-1)/2)c r +O+(n(n-1)/2)r c +ncr ;
n n-2 n-3 n-3 n-2
d =cr(nc +(n(n-1)/2)c r+O+(n(n-1)/2cr +nr );
n-2 n-3 n-3 n-2 n
Q=nc +(n(n-1)/2)c r+O+(n(n-1)/2)cr +nr ; d =crQ y n> 2.
n n n
Efectuando las debidas operaciones, resulta que Q=(a - c - r )/cr. Como los valores de c y r
n-1 n-1 n n n n n n n n n n n n n
son nmeros primos, entonces Q=c r k , luego k =(a - c - r )/c r ; k c r =a - c - r y
n n n n n n
a - c - r =k c r .
n n n n n n n n n n n n n n n n
Supongamos que k =1, luego a -c -r =c r ; a =c r +c +r ; a =c (r +1+r /c ).
n n n
Radicalizando por n, tenemos que a=c(r +1+r /c )1/n. Como a=c+r, resulta que
n n n 1/n n n n 1/n n n n 1/n
c+r=c(r +1+r /c ) ; c=c(r +1+r /c ) -r y 1=(r +1+r /c ) -r/c.
n n n 1/n
Designemos que (r +1+r /c ) =r+i, en que el valor de i sea un nmero decimal. De all que
1=r+i-r/c. Si r>1, c>1, c=r, c>r y r>c, es evidente que esta igualdad es falsa y que |r+i-r/c|>1.
n n n n n n n n-1 n-1
Por lo tanto c r >|a - c - r |; c r >crQ y c r >Q, si r >1.
n n n n n
Tambin demostramos la desigualdad c r >|a -c -r |, si r>1. Supongamos que
n n n n n n n
c r =a - c - r . Si c>1 y r>1, dividamos la igualdad por c r , por lo que
n n n n
1=a /cnr -1/r -1/c .
n n n
Para que esta igualdad sea vlida, debemos suponer que a >c r , entonces a>cr.
Dividamos la desigualdad por cr, por lo que (a/cr)>1. Como a=c+r, tenemos que [(c+r)/cr]>1;
|1/r+1/c|>1. Si r >1 y c >2 es evidente que la desigualdad es falsa y que 1>|1/r+1/c|, adems
 n n n
hemos demostrado que el valor de la c debe ser mayor que n. Luego cr>|c+r|, cr>a y c r >a ,
cuando r>1.
n n n n n n
Esta desigualdad es mucho mayor si c r >|a -c -r |. Dividamos esta desigualdad por cnr
n n n n n n n n
por lo que 1>|a /c r - 1/r - 1/c |. Si c=2 y r=2 la desigualdad es cierta, porque a /c r =1. Por
lo que tendramos que 1>|1-1/r-1/c|. Si cr a; r>1 y c>2; entonces 1>|an/cnrn-1/rn-1/cn|. Por lo
n n n n n n n
tanto, c r >|a -c -r |; c r >crQ y cn-1rn-1>Q. Antes hemos demostrado que si una de la base
de las potencias, como nmero entero positivo, es igual o menor que el exponente n, el valor
de la a no podra ser un nmero entero positivo o racional.
q n-1 n-1
Si los valores de c y r son nmeros primos, designamos que a c r >Q. Por lo que la
q n-1 n-1 n n
igualdad Q=a c r k es vlida si el valor de k es una fraccin (cociente). Por consiguiente
q n-1 n-1
la desigualdad a c r >Q es mucho mayor que la anterior si a>1.

Dado que los valores de c y r son nmeros primos stos no pueden reducirse a potencias
cuyas bases sean nmeros enteros positivos.
q n-1 n-1 n n q n-1 n-1 q n-1 n-1 1/n
Como Q=a c r k , tenemos k =Q/a c r y k=(Q/a c r ) . Dado que
q n-1 n-1 q n-1 n-1
a c r >Q, el valor de la Q no puede contener el producto a c r . Y aunque el valor de la
Q sea una n potencia cuya base sea un nmero entero positivo, entonces es evidente que el
denominador del cociente es irracional. Por lo que el valor de la k, es irracional.

Si el valor de la c es igual a 2 el valor de la b sera irracional. Porque si nc el valor de la b

es irracional segn se ha demostrado anteriormente. De este modo, se demuestra la
hiptesis 4.

Hiptesis 5: Cuando en la frmula Q=an-1cqrqkn el valor de n es un nmero impar y el

valor de la a es un nmero primo, el valor de la k es una fraccin irracional.
Demostracin:

De acuerdo a las frmulas (1b), (2b), (3b), (4b), (5b), (6b), (7b) y (8b), designamos que
Q=an-1cqrqkn si el valor de la a es un nmero primo y los valores de c y r son potencias cuyas
bases sean nmeros enteros positivos.
n n n n n
Supongamos que kn=1, luego Q=an-1cqr,q. Como d =a c r k , entonces dn=anc,nr,n. Es
n n n n n n
evidente que a>b, a>c, b>d, a>d, a >d y a c r >d . La ltima desigualdad es mucho mayor
n n n n p p n-1 q q
que las otras. Como d =acrQ, luego a c r >acrQ. Dado que c=c , r=r , Q=a c r y
n-1 q q
p+q=n, entonces a c r >Q. De este modo, se demuestra que el valor de la Q no puede
n-1 q q
contener el producto a c r , porque su valor es muy menor que ste.
n-1 q q n n
Para que la igualdad Q=a c r k , sea vlida, el valor de k debe ser un cociente menor
que 1. Lo que es evidente.
 Como kn=Q/an-1cqrn, designemos que Q=qn. De all que k=q/(an-1cqrq)1/n. Es evidente que
q q 1/n
el denominador (an-1c r ) es irracional. Por lo tanto el valor de la k es irracional. Por lo
tanto el valor de la k es una fraccin irracional. Y de este modo la hiptesis 5 queda
demostrada.
n n n n n p
Hiptesis 6: Si en las frmulas d =acrQ, d =a c r , p+q=n y designamos que a=a ,
p p
c=c , r=r , Q=aqcqrq; y que los valores de a, c, r, c', r ', n, p y q son nmeros enteros
positivos, el valor de a es irracional.

Demostracin:
n n n
En la frmula b =a - c podemos asignarle a los valores de a y c potencias de igual
exponent, y cuyas bases sean nmeros enteros positivos. Pero, como a=c+r, no podemos
hacer lo mismo con la r si el exponente es mayor que dos. En la expresin acr designamos
p p
que c=c y r=r en que los valores de c y r sean nmeros enteros positivos. Adems,
p
suponemos que a=a , si el valor la p es mayor que dos. Y, que acr=dp y Q=dq, tal como se
p+q n p q
ha designado de modo hipottico. Por lo que d =acrQ y d =acrQ. De all que d =acr, d = Q
n p q
y d =d d .

Lo extrao de esta suposicin es que si conoce dp, tambin se conoce dq y, por lo tanto,
debe existir un valor en que Q=dq.

Adems, en los valores supuestos para la Q se presenta la frmula de Fermat. Si en la

n
potencia d el valor de la d es un nmero entero positivo tambin debe cumplirse para el valor
de la Q. Y si q>p, podemos designar que q=p+m, en que el valor de la m sea un nmero
entero positivo, segn las designaciones anteriores. Demostremoslo.

Sea Q=dq y dq=aqcqrq, luego dp+m=ap+mcp+mrp+m, y dpdm=ap cp rp amcmrm. Entonces

ap=cp+rp, tal como se ha supuesto, porque a=c+r, a=ap, c=cp y r=rp.

Cuando el valor de la r es igual a 1.

Si dp=acr el valor de dp es independiente de dq en la frmula dp=apcprp. Designemos que

r=1, entonces dp=apcp. Como a=c+r, luego a=c+1. De all que dp=(cp+1)cp. Radicalizando
por p, d=c(cp+1)1/p.

Hemos demostrado que el valor de la expresin (cp+1)1/p es irracional si el valor de c es un

nmero entero positivo. Por lo que se demuestra que el valor de la d es irracional si r=1. En
este caso, el valor de a es irracional si el valor de c es un nmero entero positivo y r=1.
Vemoslo:
p p p p p p
Como a=c+r, c=c , r=r y a=a , tenemos que a =c + r . Si r=1, porlo que a=(cp+1)1/p.
De este modo demostramos que el valor de a es irracional si r=1.
Cuando el valor de la r es mayor que 1.

Ahora bien, designemos que r>1 y que el valor de la r es un nmero entero positivo. Hemos
supuesto que dq=dpdm y que dq=apcprpamcmrm. De all que dq=acramcmrm. Como no
existe la posibilidad de que el valor de la Q se pueda factorizar por acr y que dm sea un
nmero entero positivo, si la Q se factoriza por acr. Luego, el valor de dm debe ser un
cociente, lo que es evidente por la frmula (6b). Por lo que es falsa la suposicin de que
Q=dpdm, si los valores de d y m son nmeros enteros positivos.

Hemos designado que Q=dq, q>p, q=p+m y dq=aqcqrq. Como el valor de la Q no se

puede factorizar en la forma establecida, entonces en la potencia dq, si el valor de la d es un
nmero entero positivo, el valor de la q debe ser un cociente en la expresin dq=Q. Y es
evidente que el valor de la Q se determina como un nmero entero positivo, si los valores de a
y c se designan como nmeros enteros positivos. Dado que Q=dq y d=Q1/q, como el valor de
la q es un cociente, entonces el valor de la d es irracional. Tambin el valor de la dn se puede
resolver por dp si n es impar.
p p p p p p
Como dp=acr y a=c+r designemos que c=c y r=r . Supongamos que a=a , a =c +r y
que es posible que el valor de a sea un nmero entero positivo si los valores de c y r lo son.
n n n
En la frmula a =b + c sea el valor de la n un nmero impar, entonces a>c y los valores
de a y c, nmeros enteros positivos. Como a=c+r y r=a-c, es evidente que el valor de la r es
un nmero entero positivo.

Como las frmulas an=cn+bn y a=c+r se redujeron a la frmula dn=acrQ, en que acr=dp y
Q=dq, se design que c=cp y r=rp y se supuso que a=ap, si el exponente es p>2.

El valor de la d slo puede ser un nmero entero positive, si a lo es. De all que se retorna
p p p
a la frmula de Fermat si el valor de la p es impar en la frmula a =c +r .

Si en la frmula an=cn+bn, se design que los valores de a y c, son nmeros enteros

positivos, en la frmula ap=cp +rp se supone que el valor de a es un nmero entero positivo
y se designa que los valores de c y r son nmeros enteros positivos.

Para resolver la frmula ap=cp+rp nos atenemos a esas condiciones. Como a>c,
designemos que a - c=r2, entonces a=c + r2 y dp2=acr2Q. De acuerdo al argumento
anterior designemos que c=cp2, r2=rp3, a=ap2 y Q=aq2 cq2 rq3. Por lo tanto, dp2=ap2 c p2
rp3 y d2 = a2 c2 r3.

Para que el valor de d2 sea un nmero entero positivo el valor de a2 debe ser un nmero
entero positivo. De all que slo el valor de d2 es un nmero entero positivo si el valor de a2 es
un nmero entero positivo.

Por lo que debemos demostrar que el valor de a2 sea un nmero antero positivo. Y para
probarlo, apliquemos el mismo procedimiento matemtico.
 Tenemos: a2=c2+r3; a2=ap3; c2=cp3, r3=rp4; Q2=aq3 cq3 rq4; dp3=a2c2r3Q2 y
a 3=cp3+rp4. Y, slo el valor de d3 es un nmero entero positivo si el valor de a3 es un
p

nmero entero positivo.

n n n
El lector puede reconocer que en la frmula a =c + b , en sus constantes reducciones, los
valores de a y c se convierten en potencias continuas. Y si extendemos este procedimiento de
un modo sucesivo segn sea la serie establecida, tenemos que a y c se definen como
potencias ilimitadas, cuyas bases son nmeros enteros positivos. Los valores de a y c los
i
expresamos as: c lm y a
lm; a=i
lm Ai y c=i
lm C , en que A y C son nmeros
n n n
enteros positivos. Luego la frmula a =c +b la expresamos del siguiente modo:
i n i n n
lm
(i A ) =(ilmC ) +b .

De acuerdo a la frmula bn + cn = an y su reduccin en bn - rn = an - cn - rn; dn = bn - rn,

d =acrQ, expresamos la hiptesis de que si acr = apcprp y Q =aqcqrq, sta conduce a la
n

reduccin continua de los valores de a y c en potencias cuyas bases sean nmeros enteros
positivos y sus exponentes infinitos. Por lo que esta hiptesis conduce al absurdo.

Siendo a=Ai y c=Ci, este absurdo prueba que si el valor de i tiende al infinito, por
reducciones continuas, no es vlido suponer que dn=(apcprp)(aqcqrq), en que acr=apcprp
y Q=aq cq rq.

Supongamos que en la frmula dn=dpdq el valor de la p es 2. De todos modos, el valor de la

d es irracional, aunque esta suposicin sea falsa.

Aqu se presenta el absurdo de la hiptesis de que dn=dpdq. Si el valor de la p es 2 en la

frmula dp=apcprp, como a=c+r, los valores de a, c, y r pueden ser simultneamente
nmeros enteros positivos y, por consiguiente, el valor de la d.

Pero en la frmula Q=aqcqrq como el valor de la q es un cociente y d=Q1/n el valor de la d

es irracional. Entonces la hiptesis dn=dpdq conduce a dos valores contradictorios, uno
racional y otro irracional, por lo tanto, la hiptesis es absurda.

Hiptesis 7: Si en la frmula dn=acrQ, designamos que acr=apcirf, Q=aqcerg, a=ap,

c=ci, r=rf , p+q=n, i+e=n y f+g=n, el valor de la d es irracional.

Primera demostracin:

Como a=c+r, entonces ap=ci+rf. Supongamos que Q>acr, ap>aq y que el valor de la Q
contenga tantos valores de c y r y que los valores de p, e, i, f, g y q sean nmeros enteros
positivos.

Si Q >acr y ap>aq el valor de la Q no contiene de modo simultneo los valores del

producto acr. Esto es evidente, por la composicin y simetra de los trminos de la serie Q.
 p q
Dado que a >a , para que sea cierta la desigualdad Q>acr, entonces debemos designar
e g i f e g i f
que c r >c r . Y si el valor de n se incrementa, es evidente que c r >>c r . Si estas
desigualdades son ciertas entonces e>i y e>>i, g>f y g>>f.

Como se ha supuesto de que los valores de e, i, g y f son nmeros enteros positivos,

designamos que e =i +i y g=f + f. Por lo tanto i y f son nmeros enteros positivos. Por
consiguiente ce= cici y rg=rfrf .

Como designamos que a=c+r, si r=1, el valor de la c tiene su mxima aproximacin al

valor de la a, dado que c=a-1, Y si c=1, entonces r=a-1, por lo tanto, este es el mximo lmite
de aproximacin de la r con relacin al valor de la a.
i f
Y si los valores de c y r son mayores que 1, podemos designar que c =s y r =t. Por lo
tanto los valores de s y t son nmeros enteros positivos mayores que 1. Tenemos que a=c+r,
bn+cn=an, bn=an-cn, bn=(c+r)n-cn, bn-rn=(c+r)n-cn-rn. Desarrollando en la ltima igualdad el
n
trmino (c+r) , segn la ley del binomio de Newton y efectuando las requeridas
operaciones, resulta que
n n n-2 n-3 n-3 n-2
b - r = cr(nc +(n(n-1)/2!)c r+O+(n(n-1)/2!)cr +nr ).
n n
Designemos que el valor de Q es el factor que contiene la serie. De all que b -r =crQ.
Entonces puede el valor de Q contener de modo simultneo los valores c y r? S podra
pero ello depende de la suma de los trminos de la serie Q y no de la composicin y de la
simetra de los trminos de la serie.

Para que esa condicin se cumpla, en primer lugar, los valores de c y r deben ser pares,
porque la suma de la serie Q siempre es par. En segundo lugar, el nmero de trminos de Q
h h
debe ser igual c r , aunque h=1 y r=1.

Analicemos el argument de esa condicin. El nmero de trminos de la serie del binomio de

Newton, es n+1. Si el exponente del binomio n es par el nmero de trminos es impar. Y si n
es impar el nmero de trminos es par.

Como en la diferencia bn-rn se pierden dos trminos entonces el nmero de trminos de la

serie Q es n-1. Por consiguiente el valor de cr es cr=n-1 y chrh =(n-1)h. Y si r=1, luego c=n-1
y ch=(n-1)h.

Hemos demostrado que si el valor de la c es igual o menor que n, los valores de a, b y c en

n n n
la frmula b +c =a no pueden ser simultneamente nmeros enteros positivos. Por lo que se
demuestra que cuando la suma de los trminos de la serie Q' es cr, los valores de a, b y c en
n n n
la frmula b =a -c no pueden ser simultneamente nmeros enteros positivos.

Se puede advertir que por la composicin y simetra de los trminos de Q, sta no puede
q e g
contener el producto cr. Por lo tanto, el valor de la Q no puede contener el producto a c r ,
ni que los valores de a, c, r, e, g y q sean simultneamente nmeros enteros positivos.
Segunda demostracin.
p f q e g
Segn la hiptesis 7, designemos que acr>Q. Por lo que a cir >a c r ;
n n p+q e+i f+g n n n n q e g
b -r =a c r ; d =a c r y d=acr. Aunque sea posible la expresin a c r , los
valores de a, c, r, e, g y q no pueden ser simultneamente nmeros enteros positivos segn
se ha demostrado anteriormente. Por lo tanto el valor de la d es irracional.

Por consiguiente, en las igualdades p+q=n, i+e=n y f+g=n uno de los valores de n es un
cociente. Lo que es contradictorio, ya que los valores de n deben ser nmeros enteros
positivos.
n p+q i+e f+g p i f
En consecuencia la hiptesis que designamos como d =a c r , acr=a c r y
q e g
Q=a c r conduce al absurdo, si se designa que los valores de a, c, d, r, p, q, i, e, f y g
son nmeros enteros positivos simultneamente.

Por lo tanto, se demuestra la hiptesis 7. Lo importante de esta hiptesis es que implica

todas las combinaciones posibles que se puedan hacer de acr y Q.
n p p p
Hiptesis 8: Si en la frmula acrQ=d , el valor de n es impar en acr=a c r y
q q q
Q=a c r , y el valor de la p debe ser impar; y el de la q, par.

Demostracin:
n
Como en la frmula acrQ=d el valor del exponente n es impar, y la suma de los
p p p
exponentes de los factores acr es impar, entonces en la frmula acr=a c r la suma de los
tres exponentes p debe ser impar. Por lo tanto el valor de la p es impar. Porque si el
exponente p es par entonces la suma de los exponentes de a, c y r sera par. Lo que es
contradictorio.
q n p q n p
Dado que Q=d , Q=d /d , d =d /d y q=n-p, entonces es evidente que el valor de la q es
par. Porque en la diferencia o suma de dos nmeros impares, siempre resulta un nmero par.
Luego el valor de la q, es un nmero par, por lo tanto se demuestra la hiptesis 8.
n q n-1 q n
Hiptesis 9: Si en la frmula acrQ=d y Q=a c r k el valor de la r es igual a 1 y el
valor de la c es un nmero primo mayor que 3, el valor de la k es una fraccin irracional.
Demostracin:
p n
Como r =1, a=a , p+q = n y a = c+r, entonces a =c+1 y c = a-1. De all que d =acQ,
q n-1 n p q n-1 n n n n n
Q=a c k ; dn=(a c)(a c k ), d =a c k y d=ack.
n n n
Dado que en la frmula b +c =a , a>b y a>c, luego b>d y a>d. Si el valor de la k no fuera
n n n
un cociente entonces tendramos que k=1. Por lo que d =a c . Demostremos si esta
suposicin es correcta.
 Tenemos que a>d y a=c+1. En tal caso a>a'c, luego |c+1|>ac y |1+1/c|>a. Como el valor
de la a es un nmero entero mayor que 1 es evidente que la desigualdad es falsa, y que
n n n
a >|1+1/c|. Por lo que ac>|c+1|, ac>a. Por lo tanto, ac>d y a c >d . Para que la igualdad
d=ack sea vlida, el valor de la k debe ser una fraccin. Como dn=acQ, ancn>dn, an=ap+q,
entonces aqcn-1>Q. Por lo que se demuestra que el valor de la Q no puede contener al
producto aqcn-1.

Es el valor de la k, una fraccin (cociente) racional o irracional? Demostremoslo. Dado que

q n-1 n n n q n-1 q n-1 1/n
a c k =Q, despejando k , tenemos que k =Q/a c y k=(Q/a c ) . Por la demostracin
anterior, es evidente que el valor de la k es irracional.
n n-1 q q n
Hiptesis 10: Si en las frmulas d =acrQ y Q=a c r k el valor de la a est formado por
factores que son nmeros primos, el valor de la k es una fraccin irracional.

Demostracin:

Si a=abc(O)t y los valores de a, b, c, (O) y t son nmeros primos, el valor de la a no

se puede reducir a una potencia cuya base sea un nmero entero positivo. Por lo tanto esta
hiptesis se demuestra por la hiptesis 5.
n q n-1 n-1 n
Hiptesis 11: Si en las frmulas d =acrQ y Q=a c r k los valores de c y r estn
formados por factores que sean nmeros primos, el valor de la k es una fraccin
irracional.

Demostracin:

Como c=cde(O), r=r f g(O)t y dichos factores son nmeros primos, los valores de c y r
no se pueden reducir a potencias cuyas bases sean nmeros enteros positivos. Por lo tanto
esta hiptesis se demuestra por la hiptesis 4.
n q n-1 q n
Hiptesis 12: Si las frmulas d =acrQ, Q=a c r k y r=1, el valor de la c est formado
por factores que son nmeros primos, el valor de la k es irracional.

Demostracin:

Dado que c=cde(O)t y dichos factores son nmeros primos, el valor de la c no se puede
reducir a una potencia cuya base sea un nmero entero positivo. En consecuencia, esta
hiptesis se demuestra por la hiptesis 9.

Hiptesis 13: El valor de la Q no contiene en su denominador los factores a, c y r.

Demostracin:

Si el valor de la Q es una serie formada por nmeros enteros, entonces su valor es un

nmero entero. Por lo tanto su denominador es 1 y el valor de la Q no contiene en su
denominador a los factores a, c y r. De este modo se demuestra la hiptesis.
 n n n n n n
Hiptesis 14: Si en la frmula b -r =a c r k se designa que los valores de b y r son
nmeros enteros positivos, los valores de a y c son irracionales.

Demostracin:
n n n n n n
Tenemos que a c r k =b -r , eliminando rnkn del primer miembro de la ecuacin, resulta
n n n n n n n 1/n
que a c =(b /r -1)/k y ac=(b /r -1) /k. Como el valor de la k es irracional, el producto ac es
irracional.
n n 1/n
Designemos que (b /r -1) /k=R. En esta designacin el valor de la R es irracional porque
2 1/2
el valor de la k es irracional. Como a=c+r, entonces (c+r)c=R y c=(- r+(r +4R) )/2.

Si el valor de la R es irracional el valor de la c es irracional. Dado que a=c+r es evidente

que el valor de la a es irracional. En la hiptesis 22 aclararemos algunos cuestionamientos
que pudieran hacerse sobre este argumento.
n n n
Hiptesis 15: En la frmula d =b - r el valor de la d es funcin de b y r.

Demostracin:
n n n
Dada la frmula d =b - r , como al segundo miembro se le pueden asignar cualesquier
valores a b y r, el valor de la d es funcin de los valores de b y r.
n n n n n n
Hiptesis 16: Las frmulas b +c =a y d +r =b son simtricas o equivalentes entre s.

Demostracin:
n n n n n n
La frmula b +c =a la podemos transformar en sta, b =a - c . Si se le asignan
cualesquier valores a a y c, el valor de la b es funcin de los valores de a y c.

Ahora bien, transformemos la frmula dn+rn=bn en dn=bn- rn. Si se le asignan cualesquier

valores a b y r la d es funcin de los valores de b y r.

Como las frmulas bn+cn=an y dn+rn=bn poseen una estructura exacta, entonces al tener
las mismas propiedades, son simtricas o equivalentes entre s.

Hiptesis 17: En la frmula a=c+r se puede considerar a los valores de a y c como

variables y a la r como una constante.
Demostracin:

Si en la funcin a=c+r designamos a la r como una constante el valor de la a vara en

funcin del valor de la c.

Hiptesis 18: En la frmula a-c=r, se puede considerar a la diferencia a-c como funcin
de la r.
Demostracin:

La diferencia a-c es directamente proporcional a la r. Y la constante de proporcionalidad de

la r es 1. Para los valores de la r no se necesitan conocer los valores de la a ni de c sino la
diferencia. Por consiguiente en esta funcin el valor de la r es independiente de los valores de
a y c. Por lo tanto, la hiptesis queda demostrada.

En cuanto a las propiedades de los valores de a, c y r stos dependen de la definicin de

las funciones y de sus valores.

Una vez demostrada la frmula an-cn-rn=dn, aunque los valores de a, c y r sean nmeros
enteros positivos el valor de la d es irracional. Y adems se demuestra que en la frmula
dn=bn-rn el valor de la d es irracional, para cualesquier valores enteros positivos de b y r, si el
valor de n es un nmero impar mayor que 1. De este modo, se demuestra el teorema
bn+cn=an, si el valor de n es un nmero impar mayor 3.

Hiptesis 19: Si en la frmula bn=acrQ+rn designamos que a=an, c=cn, r=1, Q=qn y los
valores de a, c y q son nmeros enteros positivos, el valor de la b es irracional.
Demostracin:

Por la hiptesis, tenemos que bn=ancnqn+1, radicalizando la expresin por n, resulta que
b=(ancnqn+1)1/n. Designemos que acq=q. Por lo que b=(qn+1)1/n. Como el valor de la q es
un nmero entero positivo, el radical (qn+1)1/n es irracional. Por lo tanto, el valor de la b es
irracional. De este modo, se demuestra la hiptesis.

Hiptesis 20: Si en la frmula dn=acrQ se designa que a=an, c=an, r=rn, Q=aq, p+g+q=n
y los valores de a, r, p, g y q son nmeros enteros positivos, el valor de la b es
irracional en la frmula bn=an-cn si a=c+r.
Demostracin:
n n p g
Tenemos que a >c y a >c, si a=a y c=a , entonces p>g. Como los valores de p y g son
nmeros enteros positivos, en la ecuacin p=g+g, el valor de la g es un nmero entero
n p n g n n g g gn n g gn n gn gn
positivo. Luego, resulta que b =(a ) -(a ) , b =(a + )n-a , b =agn a -a , b =a (a -1),
g gn 1/n gn 1/n
b=a (a -1) . Hemos demostrado que la expresin (a -1) es irracional, por lo tanto, el
valor de la b es irracional.

Si bn=acrQ+rn, acrQ=dn, r=1 y el valor de la d es un nmero entero positivo, entonces el

1/n
valor de la b en la frmula b=(dn-1) es irracional.

En la suposicin de que el valor de la b sea un nmero entero positivo, designamos que

e i g h e g h i
r>1, Q>acr, acr=a c , Q=a c , a >a , c >c , e+g=n, h+i=n y que los valores de a, c, r, Q,
a, c, e, i, g y h son nmeros enteros positivos.
e i g h n e+g i+h n n n e g h i
De all que acrQ=a c a c , d =a c , d =a c y d=ac. Si a >a , entonces c >c ,
e>g y h>i. Segn estas desigualdades designemos que e=g+g y h=i+i, en que los valores de
 e g g h
i y g son nmeros enteros positivos. Sustituyendo, tenemos que a =a a ; c =cici,
e g+g h i+i n n n
a =a y c =c . La suma de los exponentes es 2g+g=n y 2i+i=n; siempre que d =a c .

Para que el valor de la b sea un nmero entero positivo debemos suponer que en las
frmulas bn=an-cn; a=c+r; bn-rn =acrQ y dn=bn-rn, los valores de a, c y r no deben ser
nmeros primos, ni impares y tampoco algunos de ellos debe ser impares. Los valores de a, c
y r deben ser pares, pero sus componentes no pueden ser totalmente pares.

Si en la frmula bn=an-cn los componentes de los valores de a, c y r fueran totalmente

pares, el valor de la a sera un mltiplo del valor de la c y el valor de la c sera un mltiplo de
la r, y el valor de la b sera irracional.

Para que el valor de la b sea un nmero entero positivo suponemos que los valores de a, c
y r son pares. Y que el valor de la a y uno de los otros dos, contenga un nmero impar. La
composicin de los valores pares e impares debe ser tal, que las siguientes igualdades la
designamos a=apai, c=cpci y r=rp, cp>ap ci>ai, rp>cp y rp>ap y que los valores de ap, cp y rp
son pares y los valores de la ai y ci son impares. De no ser as el valor de la a sera un
mltiplo de c y el valor de la c un mltiplo de r, por lo que el valor de la b sera irracional.

En la igualdad dn=ancn, uno de los valores de a y c debe ser par o impar; pero no
totalmente pares o impares. Con estas suposiciones no se puede demostrar que el valor
de la d sea un nmero entero positivo o racional. Sin embargo, hemos demostrado que el
valor de la k es irracional en la igualdad d=acrk, por lo que el valor de la d es irracional.

De acuerdo a las designaciones anteriores, tenemos que d=ac. Sustituyendo, resulta que
acrk=ac. Si los valores de a, c y r fueran nmeros enteros positivos y el valor de la k
irracional entonces el producto ac sera irracional. El valor de la d no podra tener dos
valores contradictorios uno irracional y el otro racional.

Hemos visto que el valor de la k no puede ser un cociente racional sino que debe ser
irracional. Por lo tanto, no es posible que los valores de a y c sean simultneamente
nmeros enteros positivos.

Sean las frmulas bn=an-cn, a=c+r, bn- rn=acrQ, dn=bn-rn, Q=(acr)n-1kn, k=Q1/n/(acr)(n-1)/n;
dn=(acr)nkn y d=acrk.

En este argumento surge la objecin siguiente: Si designamos que r=1 y los valores de a y
c son nmeros enteros positivos no se podra demostrar que el valor de la b es irracional en la
frmula bn=dn+rn.

Esto slo es posible si se considera que el valor de la d es un nmero entero positivo. En

n n n
esta hiptesis lo que interesa es que en las frmulas d =b -r y r=1, el valor de la d debe
tener un valor irracional. Y si r>1 y sus valores son nmeros enteros positivos el valor de la d
es irracional.
 n n n n n n n n
Hemos demostrado que en las frmulas b -r =a c r k y d =(acrk) , si los valores de a y de
c son nmeros enteros positivos, el valor de la k es irracional.

Y si los valores de b y r son nmeros enteros positivos el valor de la k es irracional y lo

mismo los valores de a y c?
n n n n n n n n
En las frmulas b =a -c , a=c+r y b -r =a -c -r , si n es mayor que dos y los valores de a y
c son nmeros enteros positivos, el valor de la b debe ser irracional en la primera frmula. Y si
n es mayor que 2, y los valores de b y r son nmeros enteros positivos, entonces los valores
de a y c deben ser irracionales.
n n n n n n n n
Sea b =a -c , a=c+r y b -r =a -c -r . Hemos demostrado que en la frmula
n n n n
(acrk) =a -c -r , si los valores de a, c y r son nmeros enteros positivos, el valor de la k es
n n n n n n n
irracional. Y si el valor de la k no es irracional entonces en las frmulas d +r =a -c , b =a -c
n n n
y d =b -r , el valor de la b es un nmero entero positivo.
n n n
Tenemos que d =b -r y a=c+r. Si el valor de la c es irracional, tambin lo es a si el valor de
la r es un nmero entero positivo o irracional.

Si el valor de b y r fuera un nmero entero positivo el valor de la d es irracional? Lo es

segn las condiciones, definiciones y designaciones que hemos establecido. Si el valor de la d
n n n
no es irracional, entonces en la frmula d =b - r los valores de b, d y r son nmeros enteros
positivos simultneamente, si n es mayor que 2. Y esto es contrario al enunciado del
Teorema de Fermat.

En la frmula acrk=d, si los valores de a y c son irracionales, el producto ac es irracional.

Como a=c+r el valor de la r puede ser un nmero entero positivo. Y si el valor de la c es
irracional y el valor de la r es un nmero entero positivo el valor de la a es irracional. Por
consiguiente el valor de c, d y a son irracionales si los valores de b y r son nmeros enteros
positivos.
n n n n n n n n n n n n n
En las frmulas b =a -c , a=c+r, (acrk) =b -r , d =(acrk) y d =b -r , las potencias a , b ,
n n n n n
c y r son nmeros enteros positivos. Porque si en la frmula b =a -c , los valores de a y c
n
son nmeros enteros positivos, el valor de la potencia b es un nmero entero positivo. Y del
mismo modo, si los valores de a y c son irracionales segn el radical 1/n, el valor de las
n n
potencias a y c son nmeros enteros positivos. Pero si los valores de a y c son irracionales,
n-1
entonces los valores de las potencias an-1 y c son irracionales. Por lo tanto en la expresin
1/n (n-1)/n n
k=Q (acr) , el valor de la k y de la potencia k son irracionales.
n n n n-1 n n n n n n n
En las frmulas b =a -c , a=c+r, Q=(acr) k , (acrk) =b -r y d =b -c , no podemos
determinar de qu modo, si dos de los valores de a, b y c son nmeros enteros positivos, el
otro es irracional.
 n n n
Como d =b - r , designemos que b=r+p. Efectuando las operaciones que hicimos con la
n n n n n-1 n n n n n n
anterior, tenemos que d =brpQ+p , brpQ=d -p ; Q=(brp ) k ; d =( brpk) , d =d -p .
Por lo que d=brpk. Como d=acrk, combinando ambas ecuaciones, resulta que
d/d=acrk/brpk, d/d=ack/bpk, dk/dk=ac/bp.

Hemos visto que el valor de la r puede ser un nmero entero positivo, aunque los valores de
a y c sean irracionales. Esta propiedad tambin la tiene el valor de la p por equivalencia. El
valor de la k en la forma definida, es irracional. Y, tambin lo es el valor de k por
equivalencia, entonces el cociente dk/dk es irracional.

Si a es un mltiplo de c el valor de b es irracional. Si b es un mltiplo de r el valor de la d es

irracional. Y si d es un mltiplo de p el valor de d es irracional. Para obviar esto designemos
que todos los valores de a, b, c, d, p y r son diferentes entre s, por lo tanto, k k.

En la frmula dk/dk=ac/bp, el valor de la p puede ser un nmero entero positivo o

irracional. Y designemos que sea un nmero entero positivo. Segn los valores de a, b, c, p y
r, el cociente dk/dk=ac/bp es irracional, porque dichos valores no pueden ser
simultneamente nmeros enteros positivos. Por consiguiente los cocientes k'/k y ac/bp son
irracionales.

Entonces, si a y c son nmeros enteros positivos el valor de la b es irracional. Y si a=c+r el

valor de la r es un nmero entero positivo. Por lo tanto el valor de la b es irracional. En la
igualdad b=r+p si el valor de la r es un nmero entero positivo, b y p son irracionales. Y si b y
r son nmeros enteros positivos los valores de a y c son irracionales.
n n n
Por consiguiente, si en la frmula (acrk) =b -r , los valores de b y r son nmeros enteros
positivos, los valores de a y c son irracionales. Por ende, en la frmula, segn las
designaciones y definiciones anteriores si los valores de b y r son nmeros enteros positivos,
el valor de la d es irracional.
n n n
En las frmulas b =a -c y a=c+r, el valor de a y c es irracional, si el valor de b y r es un
nmero entero positivo, como se ha demostrado anteriormente.

Segn las implicaciones matemticas de las definiciones y designaciones que hemos

n n n n n n n n
establecido en las frmulas b =a -c , a=c+r, (acrk) =b -r y d =(acrk) , si los valores de b y
r son nmeros enteros positivos, el valor de la d es irracional, si n es mayor que 3.
n n n
Entonces en la frmula d =b -r si n >3 y b y r son nmeros enteros positivos, el valor de d
es irracional.
n
Si a y c son irracionales los valores de Q y k los son tambin. Y para conocer la magnitud
de la c si se conocen los valores de b y r, habra que despejar a la c.
 n n
Cuando en la frmula acrQ=b -r los valores de b y r son nmeros enteros positivos, el
n
producto ac(a-c)Q no podra formar una potencia perfecta que se exprese como d . En la
diferencia a-c=r, si la r es nmeros enteros positivos, los valores de a y c pueden ser
nmeros enteros positivos o irracionales. Adems, si los valores de a, c y Q son irracionales el
n
valor del cociente k es irracional. Los detalles de este argumento lo explicamos en la parte
final de este ensayo.
n
Hiptesis 21: En la frmula d =acrQ el valor de la Q es diferente del valor de a, c y r.

Demostracin:
n n n
En la frmula b =a -c el valor de la b depende de los valores de a y c. Pero no depende
slo del valor de a c, ya que tambin depende del valor de la serie que expresa Q. Por lo
tanto, el valor de la b es diferente al valor de a y c.
n n n n n n
Como a=c+r, restando r a la ecuacin, tenemos que b - r = a -c -r . De este modo en la
n n
funcin r=a-c, el valor la de r depende de los valores de a y c. Luego, la diferencia b - r es
funcin de los valores de a y c.
n n n n n n n
Designemos que b - r =d , de all que d =a -c - r . El valor de la d es funcin de a y c y no
n n n n
de un solo valor. Dado que d =acrQ, entonces acrQ=a -c -r . Despejando Q tenemos que
n n n
Q=(a -c -r )/acr. Es evidente que el valor de la Q depende de los valores de a y c y no de un
solo valor.
n-3 n-5 2 (n-5)/2 (n-5)/2 (n-3)/2 (n-3)/2
Sea Q=na -(n(n-3)/2!)a cr+O+(n(n+1)(n-1/2x3!)a c r -nc r , entonces Q
es funcin de los valores de a y c.

Por lo anterior, si los valores de b y d son funciones de a y c, del mismo modo el valor de la
Q es funcin de a y c. Por lo tanto, el valor de la Q es diferente de los valores de a, c y r. De
este modo se demuestra la hiptesis.

Hemos supuesto que los valores de c y r, son nmeros enteros positivos y, por ende los de
a. Pero, si el valor de la c es irracional, con mayor razn el valor de la k es irracional. Sin
embargo desde el momento en que se trate de despejar a la c, cambia su valor. Ya no se
podra afirmar y designar que el valor de la c sea un nmero entero positivo. Porque al tratar
de despejar a la c, lo que se determina es la magnitud de su valor y no si ste es un nmero
entero positivo o irracional. Y es imposible determinar el valor de la magnitud de la c. De todos
es conocido el teorema de Niels Abel de que es imposible resolver la ecuacin de quinta
potencia, y esta imposibilidad se extiende a todas las ecuaciones de potencias primas a partir
de la quinta potencia.

Entonces queda claro que al despejar a la c, lo que se intenta determinar es la magnitud de

su valor. El objetivo de las operaciones que hemos efectuado es la demostracin de que el
valor de la c es irracional. En este caso la suposicin de que el valor de la c sea un nmero
entero positivo mantiene su significado en tal hiptesis, porque su valor es funcin de b y r.

Adems, tratar de despejar el valor de la c en funcin de su magnitud no es la finalidad del

enunciado del Teorema de Fermat. ste expresa que si en la frmula bn+cn=an, dos de las
bases de las potencias son nmeros enteros positivos, la tercera no lo es cuando n es mayor
que 2.
n n n n n n n n n n n
Designemos que a c k =e entonces e =b /r -1. Y si r> >1 es evidente que e <d y e d .
Como la k es irracional tambin lo es el valor de la e.
n n n n n
Si a, c y ac son irracionales en la frmula a c k =b /r -1 es evidente que cualesquier
valores que se le asignen a b y r, stos son independientes del valor de la e en la frmula
n n n
e =b /r -1. Entonces el valor de la e es funcin de b y r. Por consiguiente, se demuestra que
cualesquier valores que se le asignen a b y r, el valor de la e es irracional.
n n n n n n n
En la frmula bn=a -c , dividiendo por c , obtenemos que b /c =a /c -1. Designemos que
n n n n n n n n n n n
b /c =f , por lo que f =a /c -1. Es evidente que las frmulas e =b /r -1 y fn=a /c -1 tienen una
forma simtrica exacta y una estructura exactamente igual, aunque los valores sean diferentes
en cada frmula.

Y si el valor de la e es irracional el valor de la f tambin lo es. En consecuencia, las

frmulas dn =bn-rn y bn =an- cn son iguales porque tienen una estructura exactamente igual. Y,
si el valor de la d es irracional, tambin lo es el de la b.
n n n
Por consiguiente, queda demostrado que si en la frmula d +r = el valor de n es un
nmero impar mayor que tres, los valores de b, d y r no pueden ser simultneamente
n n n
nmeros enteros positivos. Por lo tanto, en la frmula b +c =a , los valores de a, b y c no
pueden ser simultneamente nmeros enteros positivos.
n n n
Y si en la frmula b +c =a el valor de a c es un nmero primo, o a y c son
n n
simultneamente nmeros primos, el valor de la Q en la frmula b - r =acrQ no puede
contener los valores de c n-1, r n-1 y a n-1 simultneamente.
n n n
Hiptesis 22: Si en la frmula b +c =a n es un nmero impar igual o mayor que tres y
los valores de b y c son nmeros enteros positivos, el valor de la a es irracional.

Demostracin:
n n n
Supongamos que en la frmula b +c =a los valores de a, b y c son nmeros enteros
n n n n n n
positivos. De all que, por inferencia de la suposicin, en las frmulas b =a -c y c =a -b , los
valores de a, b y c deben ser nmeros enteros positivos en ambas frmulas.
 n n n
Se ha demostrado que en la frmula b =a - c , si los valores de a y c son nmeros enteros
positivos y n es mayor que 2, el valor de la b es irracional.
n n n
Y de igual modo en la frmula c =a -b , si los valores de a y b son nmeros enteros
positivos, el valor de la c es irracional. Por lo que en ninguna de las frmulas los valores de a,
b y c pueden ser nmeros enteros positivos simultneamente, entonces, la suposicin es
falsa. Por consiguiente, si los valores de b y c son nmeros enteros positivos, el valor de la a
es irracional.
n n n
Hemos visto que la frmula b =a -c , si los valores de a y c son nmeros enteros positivos
y n es mayor que 2, el valor de la b es irracional.

Supongamos, que el valor de la c sea un nmero entero positivo. Para que el valor de la b
sea un nmero entero positivo, el valor de an debe ser un nmero entero positivo, de tal modo
que en la diferencia an-cn, el valor de la b sea un nmero entero positivo. Y si an es ese
nmero el valor de la a debe ser irracional. De este modo, se demuestra la hiptesis.

DEMOSTRACIN DEL TEOREMA DE FERMAT CUANDO EN LA FRMULA bn+cn=an EL

VALOR DE LA n ES UN NMERO PRIMO MAYOR QUE 3
n n n
Hiptesis 23: Si en la frmula b +c =a , el valor del exponente de la n es un nmero
primo mayor que 3, los valores de a, b y c no pueden ser simultneamente nmeros
enteros positivos.

Demostracin:
n n n
En la frmula b +c =a , si los valores de an, bn y cn son nmeros enteros positivos,
n n n n
entonces a >b y a >c ; por lo que a>b y a>c.

Designemos que en dicha frmula a y c, sean nmeros enteros positivos. Como a>c,
entonces designamos que a=c+r. Por lo tanto, el valor de la r es un nmero entero positivo,
n n n n n n
de all que a-c=r. Y como a=c+r, en la frmula b =a -c , tenemos que b =(c+r) - c , por lo
n n n n n n n n n
que designamos que b -r =a -c -r y b -r =(c+r)n-c -r .

Sea n un nmero primo mayor que 3. Por la serie (27a) tenemos la relacin:
n n n-3 n-5 n-7 2 2 n-9 3 3
b -r =nacr{a - [(n-3)/2!]a cr+[(n-4)(n-5)/3!]a c r - [(n-5)(n-6)(n-7)/4!]a c r +
6 (n-9)/2 (n-9)/2
+O+[(n+1)(n+3)(n+5)(n-1)(n-3)(n-5)/26x7!]a c r +
4 (n-7)/2 (n-7)/2 2 2 (n-5)/2 (n-5)/2
4
+[-((n+1)(n+3)(n-1)(n-3)]/2 x5!)a c r +[(n+1)(n-1)/2 x3!]a c r +
(n-3)/2 (n-3)/2
+(-c r )} . (17b)

De acuerdo a la serie (27a) si n es un nmero primo, todos los coeficientes iguales o

mayores que n son exactamente divisibles por n. Designemos que
 n-3 n-5 2 2 (n-5)/2 (n-5)/2 (n-3)/2 (n-3)/2 n n n
Q=a - [(n-3)/2!]a cr+O+[(n+1)(n-1)/2 x3!]a c r - c r (18b) y que b -r =d ,
n
entonces d =nacrQ.

Supongamos que el valor de la d sea un nmero entero positivo y designemos que

n-1 n-1 n-1 n-1 n n n n-1 n-1 n-1 n-1 n n n n n n n n
Q=n a c r k . Por lo que b -r =nacr(n a c r k ); b -r =n a c r k y d=nacrk.

En la demostracin de este teorema, se siguen los mismos argumentos que la

demostracin anterior del teorema cuando el valor de n es impar y mayor que 3, pero slo
expondremos los argumentos matemticos ms importantes.

Es el valor de la k es un nmero entero positivo o una fraccin? Supongamos que los

valores de la a y c sean nmeros enteros positivos. Como a=c+r, el valor de la r tambin lo
n n n n n n n
es. Por lo tanto, a>c y a>b. Por las frmulas anteriores, tenemos que b =n a c r k +r y
n n n n n n
b =r (n a c k +1). Como a>b entonces es imposible que c1 si k1. Por consiguiente, el
valor de la k es una fraccin.

Es el valor de la k, una fraccin racional o irracional? Hemos visto que si los valores de c y
a son nmeros enteros positivos, tambin lo es el de la r, porque a=c+r.
n-1 n-1 n-1 n-1
Tenemos que k n=Q/n a c r . Supongamos que entre los posibles valores de la c y r,
n 1/(n-1)
el valor de la Q sea una (n-1) potencia perfecta. Entonces (k ) es una (n-1) potencia
n n n n n n n 1/(1-n) n n n n n 1/(1-n)
perfecta. Pero d =n a c r k , luego, (d ) =(n a c r )(k ) . Por consiguiente, el valor de
n 1/(1-n)
(k ) es irracional.

Supongamos que el valor de la Q sea una n potencia perfecta, que designamos como
n n-1 n-1 n-1 n-1 1/n
Q=q . De all que kn=qn/(n n-1a n-1c n-1r n-1) y k=q/(n a c r ) . Es evidente que el
denominador del cociente es irracional. En consecuencia, cualesquier valores que se les
asignen a la Q el valor de la k es irracional.
n-1 n-1 n-1 n-1
Contiene el valor de la Q el producto n a c r ? Supongamos que
n-1 n-1 n-1 n-1 n
Q=n a c r R , y en que el valor de la R sea un nmero entero positivo. Pero
n-1 n-1 n-1 n-1 n n n
Q=n a c n k . Por lo que R =k y R=k. Como el valor de la k es una fraccin irracional,
entonces el valor de la R lo es tambin.

Podra el valor de la Q, contener como denominador al producto nacr? Imposible ya que el

valor de la Q no es un cociente. Por ende, el valor de la Q no contiene el producto
n-1 n-1 n-1 n-1
n a c r si el valor de la k es una fraccin irracional. Ni contiene al producto nacr en el
denominador de tal modo que dicho producto pueda eliminarse del valor de la d, porque el
denominador de Q es 1.

Como la k es irracional y d=nacrk, entonces el valor de la d es irracional. Tambin se

n n n-1 n-1 n-1 n-1 n n n n n n n n
demostrara as: Tenemos que b -r =nacrQ, Q=n a c r k y b -r =n a c r k . Si k=1 y
 n n n n n n n n n n n n n n n n n
a >b , entonces n a c r k >|b -r |. Por lo tanto en la igualdad b -r =n a c r k el valor de k
debe ser una fraccin.
n-1 n-1 n-1 n-1
El valor de la Q contiene los factores, n , a , c y r simultneamente? Para que la Q
n n-
contenga dichos factores de modo simultneo designemos que k =1. Luego, Q=n
1 n-1 n-1 n-1 n n n-1 n-1 n-1 n-1 n n n n n n
a c r , b -r =nacr(n a c r ) y b -r =n a c r .
n n n n n n n n n n n n n n
Como a >b , entonces n a c r >|b -r |. Por consiguiente, las igualdades b -r =n a c r y
n-1 n-1 n-1 n-1 n-1 n-1 n-1 n-1
Q=n a c r son falsas. Por ende, n a c r >Q. En consecuencia el valor de la Q no
n-1 n-1 n-1 n-1
puede contener simultneamente los factores n , a , c y r .
n n n n n
Se puede objetar que la frmula b -r =a -c -r no sigue los lineamientos del Teorema de
n n n n n n n n n n n
Fermat. Pero veamos lo siguiente: Tenemos que b +c =a , b =a - c y b - r =a -c - r .
n n n n n
Hemos designado que a=c+r y a -c -r =d . Esta ltima frmula la expresamos as: d =nacrQ.
n n n
Lo revelante de esta demostracin, es que en la frmula d =b -r el valor de la d es
irracional, independientemente de cualesquier valores que se le asignen a b y r como
nmeros enteros positivos. Esta demostracin es vlida para todo valor de n en tanto que su
valor sea un nmero primo mayor que 3.
n n n n n n n
No se trata de demostrar que a -c -r =d , sino que d =b -r . Y una vez que se resuelve el
valor irracional de la d se demuestra el Teorema de Fermat cuando n>3.
n n n n n n n n
Tenemos que b -r =n a c r k . Factorizando r en el primer miembro de la ecuacin
n n n n n n n n n n n n n n n
tenemos que r (b /r -1)=n a c r k . Eliminando r , tenemos que b /r -1=n a c k . En la
estructura de la frmula anterior la k es irracional porque por definicin n>3.
n n 1/n
Despejando el producto ac de la frmula anterior, tenemos que ac=(b /r -1) /nk. En esta
frmula los valores de b y r son funciones del producto de ac. Y si le asignamos nmeros
enteros positivos a los valores de b y r, el valor del producto ac es irracional porque k es
irracional.
n n 1/n
Como a=c+r y ac=c(c+r), sustituyendo, tenemos que c(c+r)=(b /r -1) /nk. Si designamos
n n 1/n 2
que (b /r -1) /nk=R, entonces c +cr=R. Despejando c, tenemos que c=(-r (r2+4R)1/2)/2r.
Como el valor de R es irracional entonces la c es irracional y, por lo tanto, la a tambin lo es si
los valores de b y r son nmeros enteros positivos.

De este modo, se demuestra que los valores de a y c son irracionales, si los valores de b y r
son nmeros enteros positivos. Y el valor de la k es irracional, si n>3.

n n n n n n n n n n n n
Si designemos que n a c k =e , entonces e =b /r -1, e <d y e d . Y como el valor de la
k es irracional tambin lo es el valor de la e.
 n n n n n n
Los valores de a, c y ac son irracionales en n a c k =b /r -1, si b y r son nmeros enteros
positivos. Entonces es evidente que cualesquier valores que se les asignen a b y r los valores
de a y c son irracionales. De este modo demostramos que los valores de b y r son
n n n
independientes de la e en la frmula e =b /r -1, y que su valor es funcin de b y r. Por
consiguiente, se demuestra que el valor de la e es irracional si se le asignan cualesquier
nmeros enteros positivos a b y r.
n n n n n n n n
Ahora bien, si en la frmula b =a -c factorizamos por c , resulta que b /c =a /c -1.
n n n n n n n n n
Designemos que b /c =f . Luego, f =a /c -1. Es evidente que las frmulas e =b /r -1 y
n n n
f =a /c -1 tienen una forma simtrica y una estructura exactamente igual, aunque los valores
sean diferentes en cada frmula.

Por lo tanto, si a b y r se le asignaran los mismos valores que a a y c, la e tendra el mismo

n n n n n n
valor que f. En consecuencia, las frmulas d =b -r y b =a -c tienen una estructura
exactamente igual. Y si en iguales condiciones el valor de la d es irracional tambin lo es el de
la b.
n n n
En la frmula d + r =b , los valores de b, d y r no pueden ser simultneamente nmeros
n n n
enteros positivos cuando n>3. Por lo tanto, en la frmula b +c =a , los valores de a, b y c no
pueden ser simultneamente nmeros enteros positivos, cuando n >3.
n n n n n n
Hiptesis 24: Si en las frmulas b -r =nacrQ, b - r =d , d =nacrQ, y designamos que
a=an, c=cn, r=rn, Q=qn, que los valores de a, c, r , q son nmeros enteros positivos y
n es un nmero primo mayor que 3, el valor de la d es irracional.

Demostracin:
n
Por la hiptesis tenemos que d =ancnrnqnn. Radicalizando por n, resulta que d
1/n 1/n
=acrqn . Como n es un nmero primo el valor de n es un nmero irracional, por lo que
la d es irracional. De este modo, se demuestra la hiptesis.

Hemos supuesto falsamente que r=rn y que el valor de r es irracional, si a y c son

nmeros enteros positivos. Pero, an as el valor de la d resulta irracional.
n
Esta demostracin de la frmula d =nacrQ, se completa por las pruebas que hemos
n
presentado de las proposiciones anteriores, en que d =acrQ.
n n n n n n-1 n-1 n-1 n
Si en las frmulas b =a -c , a=c+r, b - r =acrQ y Q=a c r k , los valores de a, b y c
son nmeros enteros positivos. Y si r=1, el valor de k es irracional. Combinando las
n n n-1 n-1 n-1 n n n n n n n n n n n
ecuaciones tenemos b -r =acr(a c r k ), b -r =a c r k . Si r=1, entonces a c k =b -1,
n 1/n n 1/n
ack=(b -1) , k=(b -1) /ac.
 n 1/n
Como el valor de (b -1) es irracional el valor de k es irracional. Si a y c son nmeros
enteros positivos para que el valor de la k sea racional, b debe ser irracional. Cuando r>1 slo
el valor de la b es un nmero entero positivo si la k es irracional. Y, si el valor de la k es
irracional y, a y c son nmeros enteros positivos, el valor de la b es irracional.

DEMOSTRACIN DEL TEOREMA DE FERMAT CUANDO EN LA FRMULA bn+cn=an EL

VALOR DE LA n ES UN NMERO PAR

Un nmero par puede estar formado por uno o ms factores pares y uno o ms factores
impares. Cuando un nmero est formado slo por factores pares tiene como base el nmero
2. Los nmeros impares pueden estar formados por uno, o ms factores primos o impares.

Si el exponente n es un nmero par que no tiene como base el nmero 2 lo expresamos

as: n=pi, en que p es uno o ms factores pares e i es uno o ms factores impares. Por
254 254 254
ejemplo, en el binomio b +c =a , el exponente n se descompone en 2 y 127, en que 2 es
par y 127 es impar o primo.

De acuerdo a la demostracin de la frmula bn+cn=an en que el exponente n es un nmero

impar, se deduce que si en la frmula (bp)i=(ap)i-(cp)i, el valor del exponente i es un nmero
impar igual o mayor que tres, y los valores de a y c son nmeros enteros positivos, el valor de
1/i
bp es irracional. Por lo tanto, el valor de la b en la expresin (bp) , es irracional. De este
modo, queda demostrado el Teorema de Fermat en la forma definida para el exponente par.

Tambin podemos demostrar la siguiente proposicin de acuerdo a la anterior, si n es par y

mayor que 2, pero no es constantemente par. Entonces, el valor de n se puede expresar
como un nmero primo igual o mayor que 3.
q
2 , en que el
Si el valor de n es un nmero par pero no es constantemente par, entonces n
valor de q sea un nmero entero positivo igual o mayor que 2. Luego, por definicin
designamos que n=ip, en que el valor de i es un nmero que contiene todos los factores
impares y p es un nmero que contiene todos los factores pares.

Ahora bien, si el nmero impar i es un producto, y los factores que lo forman son nmeros
primos diferentes o nmeros primos iguales, entonces podemos expresar el valor de i como
q
i=ii(O) o i=i , en que los valores de i, i y el smbolo (O) expresan otros nmeros primos.

De all que n=p ii(O) o n=piq. Por lo tanto, cualesquier de los factores primos de n es un
nmero primo mayor que 3. Entonces podemos designar n=im, en que el valor de i es un
nmero primo y m es un nmero par.
n n n
De acuerdo a los argumentos anteriores, expresamos la frmula b +c =a como
m i m i m i n n n
(b ) +(c ) =(a ) . En consecuencia, si en la frmula b +c =a , el valor del exponente n es un
nmero par mayor que 2 y no es constantemente par, en dicha frmula el Teorema de
Fermat se puede demostrar como si fuera un nmero impar o primo mayor que tres.
 m i m i m i
Como ya se ha demostrado la frmula (b ) =(a ) -(c ) en que el valor del exponente i es
m
un nmero primo igual o mayor que tres, entonces el valor de b es irracional, si los valores
de a y c son nmeros enteros positivos.

DEMOSTRACIN DEL TEOREMA DE FERMAT CUANDO EN LA FRMULA bn+cn=an EL

VALOR DE LA n ES UN NMERO PAR CONTINUO
n n n
Si en la frmula b +c =a , el valor del exponente n es un nmero par continuo los valores
de a, b y c no pueden ser simultneamente nmeros enteros positivos.
p
Por la definicin de n designemos que n=2 , en que p es un nmero entero positivo. Como
p n n n p p p
n=2 , expresamos la frmula b +c =a as: b2 +c2 =a2 . (19b) Considerando la designacin
a=c+r y la frmula (28a), establecemos la siguiente relacin:
n n n-2 n-4 2 2 2 4 (n-6)/2 (n-6)/2 2 2 (n-4)/2 (n-4)/2
b - r =2cr[na /2-n(n-3)a cr/4+O+n (n -2 )a c r /384-n a c r /8+
(n-2)/2 (n-2)/2
+c r ]. (20b).

Los factores que contiene la serie (20b) muestran que el ltimo trmino no es divisible por
a. Ms adelante demostraremos por qu el factor que expresa la serie, es un nmero entero
positivo. Designemos que
n
nan-2/2-n(n-3)an-4cr/4+...+n2a2c(n-4)/2r(n-4)/2+c(n-2)/2r(n-2)/2=Q (21b) y bn-rn=dn. Luego d =2crQ
(22b). En la demostracin de este teorema, se siguen los mismos argumentos de la
demostracin del teorema cuando n es impar. En esta demostracin solo expondremos los
argumentos ms importantes.

Para que el valor de la d sea supuestamente un nmero entero positivo designemos que
n-1 n-1 n-1 n n n n-1 n-1 n-1 n n n n n n n n n n n n
Q=2 c r k (23b). De all que b - r =2cr(2 c r k ), b - r =2 c r k (24b), d =2 c r k
y d=2crk (25b).

Supongamos que el valor de la k sea un nmero entero positivo. Segn las frmulas (19b)
n n n n n n n n n n n n n n 1/ n
y (24b), tenemos que b =2 c r k +r , por lo que b =r (2 c k +1); b=r(2 c k +1) .
n 1/n
Hemos demostrado que el valor de (h +1) es irracional, cuando h es un nmero entero
positivo. Si se considera que c y k son nmeros enteros positivos, el valor de (2
n n n 1/ n
c k +1) es irracional. En esta suposicin, el valor de la b es irracional.

Es el valor de la k un cociente racional, cuando r=1? Supongamos que el valor de k sea

un cociente racional. Y, para que esta suposicin sea cierta designemos que k=f /g y r=1.
n n n
Tenemos que d=2ck y d =a -c -1. Si los valores de a y c son nmeros enteros positivos el
n
valor de d tambin lo es. Y si el valor de la d es un nmero entero positivo siendo el valor de
la c un nmero entero positivo, el valor de la c debe ser un mltiplo del valor de la g.
 n n n n n n n n n n 1/n
Designemos que c=cg. Luego b =2 cng f /g +1, b =2 c nf +1, b=(2 c nf +1) . Si el
valor de la k es un cociente racional, entonces el valor de f es un nmero entero positivo.
Cuando r=1, el valor de la b es irracional. Y si el valor de la k es un cociente racional y r=1, el
valor de la b es irracional.
n n n n n n n n n n n n n n n n
Por lo que b =2 cng r (f /g )+r ; b =2 cnr f +r ; b =r (2 cnf +1) y
n n n 1/ n
b=r(2 c f +1) . Y como c, f y r son nmeros enteros positivos el valor de la b es irracional.

Sea c un nmero primo y r un mltiplo de g. Si designamos que r=rg, entonces

n n n n n n n n n n n n n n n n n n n n n n
b =2 c rng (f /g ) + rng ; b =2 c rnf + r ng ; b =rn(2 c f +g ); b /rn =2 c f +g .

Como los valores de c, f y g son nmeros enteros positivos el valor de la b es un mltiplo

n n n n n
de r. Por lo que b=br. Entonces b =2 c f +g . Si se supone que el valor de la r sea un
mltiplo de la g, no se puede demostrar que el valor de la k sea un cociente irracional.

Supongamos que los valores de c y r contengan en combinacin el valor de la g. En tal

caso, designemos que cr=crg. De all que d=2crg(f/g); d=2crf. Como
n n n n n n n n n n n n
b =2 c r k +r ; b =2 c r f +r . En esta ltima suposicin, no se puede demostrar que el
valor de la k sea un cociente irracional.

Es el valor de k un cociente mayor que 1? Supongamos, que ello sea as. Como
n n n n n n n n n n n n n n n n
a =2 c r k +c +r , luego a /2 c r =k +1/2 r +1/2 c . Si k 1, se puede suponer que
n n n n
a >2 c r , por lo que a>2cr. Dado que a=c + r, sustituyendo, tenemos que |c+r|>2cr. Y Si
dividimos la desigualdad por cr, resulta que |1/r+1/c|>2.
n n n 1/n
Esta desigualdad es cierta slo si r=1 y c=1. En este caso b =2 -1, b=(2 -1) . Por lo que el
valor de la b es irracional.

1, la desigualdad |1/r+1/c|>2 es falsa, por lo tanto, 2>|1/r+1/c|, 2cr>|c+r|, 2cr>a.

Y si c>r, r
n n n n n n n n n n n n n n n n
Como |2 c r k +c +r |>2c r k , entonces, para que la igualdad a =2 c r k +c +r sea cierta,
el valor de la k debe ser menor que 1. De este modo, se demuestra que el valor de la k es una
fraccin.

Es el valor de la k, una fraccin racional o irracional? Supongamos, que los valores de c y

n n-1 n-1 n-1
r sean nmeros enteros positivos. Tenemos que k =Q/(2 c r ) (23b). Supongamos, que
entre los posibles valores de c y r el valor de la Q sea una (n-1) potencia perfecta. Entonces,
n 1/(n-1)
el valor (k ) es una (n-1) potencia perfecta.
n-1
Y si el valor de la Q es una (n-1) potencia perfecta designemos que Q=q en que el valor
de la q sea un nmero entero positivo.
n n-1 n-1 n-1 n-1 n 1/(n-1)
Por lo que k =q /(2 c r ) y (k ) =q/(2cr). Designemos que k=q/(2cr). Luego
n 1/(n-1) n-1 n-1 n-1 n-1 n-1
(k ) =k y k =q /2 c r . Y si q es un nmero entero positivo, k es un cociente
 n n n n n n 1/n n n n 1/n n 1/n n n-1
racional. Pero d = c r k . Luego (d ) =(2 c r ) (k ) . Como k =k , entonces
n 1/n n-1 1/n
(k ) =(k ) .

Como n es un nmero entero positivo es evidente que los valores de n-1 y n son nmeros
consecutivos en una unidad. Por lo tanto la fraccin (n-1)/n es un cociente. Siempre que el
valor de n sea un nmero finito el cociente (n-1)/n no puede ser un nmero entero. Por
1/n n-1 1/n
consiguiente, el valor de la k en la expresin (k n) =(k ) es irracional.
n
Supongamos que el valor de la Q sea una n potencia perfecta que designamos como Q=q .
n n n-1 n-1 n-1 n-1 n-1 n-1 1/n (n-1)/n
De all que k =q /2 c r , k=q/(2 c r ) y k=q/(2cr) . Si los valores de q, c y r son
nmeros enteros positivos, es evidente que el valor de la k es irracional.
m
Sea Q =q y en que el valor de m sea un mltiplo de n. En tal caso designemos que m=tn.
n t n n-1 n-1 n-1 t (n-1)/n
Entonces tenemos que k =q /(2 c r ), k=q /(2cr) . Por lo que es evidente que el
valor de la k es irracional si los valores de c, r, q, m, n, y t son nmeros enteros positivos.
En consecuencia, cualquier valor que se le asigne a la Q, el valor de la k es irracional.
n n-1 n-1 n-1
Contiene q , los factores 2 c r simultneamente? Supongamos que
n n-1 n-1 n-1 n n n-1 n-1 n-1 n
q =2 c r R , en que la R sea un nmero entero positivo. Pero q =2 c r k . Por lo
n n n
tanto, R =k y R=k. Por consiguiente, el valor de R es una fraccin y R es una fraccin
n n-1 n-1 n-1
irracional. Por consiguiente la potencia q no contiene los factores 2 , c y r
simultneamente.
n
Podra la potencia q contener los factores 2, c y r simultneamente como denominador?
n
Imposible ya que el valor de q es un nmero entero y no es un cociente.
n n-1 n-1 n-1
Por ende, la q no contiene simultneamente a los factores 2 c r si el valor de la k es
un cociente racional. Ni tampoco contiene a los factores 2, c y r como denominador de tal
modo que dichos factores puedan eliminarse de la Q.

Como el valor de la k es irracional y d=2crk, entonces el valor de la d es irracional.

n n n n n n
Tenemos que b -r =2 c r k , si factorizamos rn en el primer miembro de la ecuacin, resulta
n n n n n n n n n n n n n
que r (b /r -1)=2 c r k . Eliminando r ; tenemos que b /r -1=2 c k . Despejando la c resulta
n n 1/n
que c=(b /r -1) /2k.

En esta frmula, si a los valores de b y r se les asignaran nmeros enteros positivos, siendo
el valor de la k irracional, el valor de la c es irracional. En consecuencia dicha frmula se torna
independiente de la original.

Segn la estructura de la frmula anterior es evidente que el valor de la c es irracional en

tanto se determine como una funcin de los valores de b y r.
 n n n n
Designemos que 2 c k =e . Luego e=2ck. Como el valor de la k es irracional, entonces el
valor de la e es irracional.
n n n n n
Y si el valor de la c es irracional en la frmula 2 c k =b /r -1, es evidente que cualesquier
valores que se les asignen a b y r, sus valores son independientes del valor de la e en la
n n n
frmula e =b /r -1. Por lo que el valor de la e es funcin de los valores de b y r. Por
consiguiente, se demuestra que cualesquier nmeros enteros positivos, que se les asignen a
b y r, el valor de la e es irracional.
n n n n n n n n
Ahora bien, en la frmula b =a -c , factoricemos c , entonces tenemos que b /c =a /c -1.
n n n n n n
Designemos que b/c=f, luego b /c =f y f =a /c -1.
n
Es evidente que las frmulas en = bn/r n-1 y f =an/cn-1 tienen una forma simtrica y
estructura iguales, aunque los valores sean diferentes en cada frmula. Por lo tanto, si el valor
de la e es irracional el valor de la f tambin lo es. En consecuencia, como las frmulas
n n n n n n
d =b -r y b =a - c son iguales si el valor de la d es irracional en la primera frmula, el valor
de la b tambin lo es en la segunda frmula.
n n n
Por consiguiente, queda demostrado que si en las frmulas d + r =b , el valor de n es un
nmero constantemente par mayor que dos, los valores de b, d y r no pueden ser
n n n
simultneamente nmeros enteros positivos. De all que en la frmula b +c =a , los valores
de a, b y c no pueden ser simultneamente nmeros enteros positivos si el valor del
exponente de la n es un nmero constantemente par y mayor que 2.
n n n p
Si en la frmula b +c =a , n=2 y el valor de c es un nmero primo, el valor de c no puede
p
descomponerse en la potencia c en que el valor de c sea un nmero entero positivo, ni el
valor de la Q puede contener el valor de c. Por lo que los valores de k y d son irracionales. Y
n n n
cuando el valor de n es un nmero constantemente par la frmula b +c =a se puede resolver
de acuerdo al argumento anterior.

Designemos que a=c+r. Efectuando las operaciones apropiadas, tenemos que

n n n-2 n-3 n-4 2 2 n-4
b - r =2cr[nc /2+n(n-1)c r/2x2!+n(n-1)(n-2)c r /2x3!+O+n(n-1)(n-2)c r /2x3!+
n-3 n-2
+n(n-1)cr /2x2!+nr /2].

Es indudable que la frmula anterior se puede demostrar con el argumento matemtico

n n n
aplicado en la solucin del Teorema de Fermat b +c =a cuando el valor de n es
n n n
constantemente par. Tambin puede resolverse la ecuacin b +c =a cuando el valor de n es
un nmero primo.

Y en la serie
n n n-2 n-3 n-4 2 2 n-4 n-3 n-2
b - r =ncr(c +(n-1c r/2+(n-1)(n-2)c r /3!+O+(n-1)(n-2)c r /3!+(n-1)cr /2+r ),
es evidente que esta frmula se puede resolver aplicando la forma general de los argumentos
matemticos anteriores.

Las estructuras de estas dos frmulas son iguales a la estructura de la serie del binomio de
Newton comenzando con el segundo trmino hasta el penltimo.

SOBRE LOS COEFICIENTES DEL BINOMIO DE NEWTON

En el argumento matemtico que hemos expuesto para resolver el Teorema de Fermat,

cuando el valor de n es un nmero constantemente par no demostramos que todos los
coeficientes desde el segundo trmino hasta el penltimo del producto del binomio de
Newton son pares.
p
Si n=2 entonces n se descompone siempre en nmeros pares de acuerdo al desarrollo de
la ley de los coeficientes del binomio de Newton.

El nmero de trminos de la serie del producto del binomio de Newton es n+1 en que n es
el exponente del binomio. El coeficiente mayor, corresponde al trmino central de la serie.
Dicho trmino lo expresamos as: tc=n/2+1, en que tc es el trmino central y n es el exponente
p p
del binomio. El trmino anterior al trmino central es n/2 y como n=2 , entonces n/2=2 /2;
p p-1
2 /2=2 .

Segn la ley del binomio de Newton, los coeficientes son cocientes en que los
numeradores estn formados por factores de los exponentes que decrecen constantemente
en una unidad comenzando con n. Y los denominadores estn formados por factores que
expresan el nmero del trmino que aumenta constantemente en una unidad comenzando
p n/2
con 1. Cuando n=2 los factores pares que gana el numerador va de 2plm2 . Los factores
n/2-1
lm 2
pares que gana el denominador va hacia 2 .

Para nuestro punto de vista, la demostracin de que todos los coeficientes, desde el
segundo trmino hasta el penltimo de la serie del producto del binomio de Newton, son
p
nmeros pares y se debe demostrar por induccin matemtica, si n=2 .Por lo que
2 2 2 2 4 3 2 2 3 4
(c+r)(c+r)=c2+2cr+r ; (c +2cr+r ) =c +4c r+6c r +4cr +r ;
4 3 2 2 3 4 2 8 7 6 2 5 3 4 4 3 5 2 2 7 8
(c +4c r+6c r +4cr +r ) =c +8c r+28c r +56c r +70c r +56c r +28c r +8cr +r ,
y as sucesivamente. Como las operaciones son simtricas y los coeficientes desde el
segundo hasta el penltimo son pares; entonces todos los coeficientes, desde el segundo
trmino hasta el penltimo de la serie definida, deben ser pares.

Si este argumento no es suficiente porque aparenta alguna limitacin entonces para la

n n n
demostracin de la frmula b +c =a , si el valor de n es un nmero constantemente par, se
4 4 4
debe reducir al argumento matemtico en la demostracin de la frmula b +c =a . Vemoslo,
a continuacin en el siguiente anlisis..
 n n n p 2+m
Sea b +c =a , en que n=2 . Si n es mayor que 4, luego p=2+m, por lo tanto, n = 2 , en
2 m
que m=1, 2, 3, 4, 5,O,q lm. Por lo tanto, n=2 2 , n=4(2m). Sustituyendo en la frmula
n n n m 4 m 4 m 4
b +c =a , tenemos que (b2 ) +(c2 ) =(a2 ) .
4 4 4
Y como la frmula b +c =a est resuelta, entonces queda demostrado que si en la frmula
n n n
b +c =a el valor de n es un nmero constantemente par y mayor que 4, los valores de a, b y
c no pueden ser nmeros enteros positivos.
n
En la serie del producto del binomio de Newton (c+r) , si el valor del exponente n es un
nmero primo, los coeficientes desde el segundo trmino hasta el penltimo contienen como
nmero entero al nmero primo n. Esta proposicin se prueba por la ley de los coeficientes
del producto del binomio de Newton.

Dada la serie del producto del binomio de Newton en que el valor de n sea un nmero
primo:
n n n-1 n-2 2 (n-1)/2 (n-1)/2
(c+r) =c +nc r+n(n-1)/2!c r +n!/((n+1)/2)!((n-1)/2)!c r +...+
(n1)/2 (n1)/2 2 n-2 n-1 n
+n!/((n1)/2!((n+1)/2)!c r +...+(n-1)/2!c r +ncr +r .

La ley que determina los valores de los coeficientes de los trminos del producto del
binomio de Newton establece, en un orden sucesivo, que los coeficientes de los trminos se
forman multiplicando el coeficiente por el exponente de la potencia del trmino anterior y
dividiendo este resultado por el nmero de dicho trmino en el orden de la serie del producto.

Tenemos que en la potencia del binomio de Newton

n
(c+r) =(c+r)(c+r)(O)(c+r)(c+r). Es evidente, que c se multiplica por s mismo n veces. De all
n
que el primer trmino de la serie, es c . A partir de este primer trmino, se forman todos los
dems.

Hemos indicado anteriormente, que el nmero de trminos de la serie del producto del
binomio de Newton es n+1. Por lo tanto el nmero del penltimo trmino es n.

Ahora bien, como el coeficiente del segundo trmino de la serie del producto se forma por la
operacin 1xn/1=n, los trminos desde el segundo hasta el penltimo contienen el valor de n,
ya que n no se elimina en el proceso determinado de esa serie por ser un nmero primo cuyo
valor es mayor que cualquier nmero del trmino del producto anterior al antepenltimo
trmino. Y el valor de n se elimina en el ltimo trmino cuyo coeficiente resulta al dividir el
cociente del penltimo trmino por el nmero del penltimo trmino multiplicado por 1 que es
el valor del exponente. Como todos los coeficientes de los trminos son nmeros enteros por
la ley del binomio de Newton, entonces los trminos sealados conservan el nmero primo,
por lo tanto, se demuestra la hiptesis.
 n m m
Sea el binomio de Newton (c+r) y que n=p . Luego (c+r)p . El valor de p es un nmero
primo y m=1, 2, 3, 4,O,qlm. Si el valor de p es un nmero primo, todos los coeficientes
mayores que 1 del producto del binomio de Newton son divisibles por p, es decir, desde el
segundo trmino hasta el penltimo de la serie.
n
Hemos demostrado que si en la serie del producto del binomio de Newton (c+r) , el valor de
n es un nmero primo, todos los coeficientes de los trminos desde el segundo hasta el
penltimo son divisibles por n.

Y en la designacin n=pm, es evidente que el valor de n es una potencia que tiene como
2 p p
base un nmero primo. Designemos que m=2,3,4,O, entonces tenemos que (c+r)p =((c+r) ) ,
3 p p p
(c+r)p =(((c+r) ) ) , ...

Si todos los coeficientes de los trminos, desde el segundo hasta el penltimo, son
divisibles por p, entonces todos los coeficientes de los trminos en ese orden de los productos
2 3 4 5
de los binomios (c+r)p , (c+r)p ,(c+r)p y (c+r)p son divisibles por p ya que los productos de
las multiplicaciones de cada uno de estos binomios son simtricos porque se multiplican p
veces.
2 p p p
En el binomio (c+r)p =((c+r) ) , el binomio (c+r) expresa su producto, ya que sera tedioso
y muy complicado expresar el producto de cada binomio cuando m=2,3,4,5O,100... Para
2
mayor claridad pongamos este ejemplo: (c+r)5 , en que p=5 y m=2. Por lo que
2 5 5
5
(c+r) =((c+r) ) . Luego
5 5 5 4 3 2 2 3 4 5 5
[(c+r) ] =(c +5c r+10c r +10c r +5cr +r ) =
25 24 23 2 2 23 24 25
=c +25c r+300c r +O+300c r +25c r+r .
3 3 3 3 3 2 2 3 3 3 9 8 7 2 2 7 8 9 3
(c+r)3 ={[(c+r) ] } =[(c +3c r+3cr +r ) ] =(c +9c r+36c r +O+36c r +9cr +r ) =
27 26 25 2 14 13 13 14 26 27
=c +27c r+351c r +O+20058300c r +20058300c r +O+27cr +r ,
y as sucesivamente. Cada producto es simtrico con respecto al otro, porque es resultado de
un mismo procedimiento de formacin de los trminos de la serie. ste indica que se
multiplica tantas veces como el nmero primo lo denota de un modo sucesivo, segn sean los
valores de m. La simetra consiste en que conserva en todos los productos el nmero primo p
y en todos los coeficientes de los trminos desde el segundo hasta el penltimo.
m m
Como n=p , en el binomio (c+r)p , si p es un nmero primo mayor que 2 y m es un
nmero entero positivo mayor que 1, todos los coeficientes de los trminos, desde el segundo
hasta el penltimo, son divisibles por p por induccin matemtica.

Esta induccin matemtica se basa en la configuracin simtrica de los coeficientes del

n m
binomio de Newton (c+r) , en que n=p . Si m=2,3,4,O,q lm
, entonces todos los
coeficientes de los trminos desde el segundo hasta el penltimo del producto del binomio son
divisibles por p, si ste valor es un nmero primo. Y no ocurre lo mismo, cuando el valor de n
es un nmero compuesto por varios factores primos diferentes. Por ejemplo n=pqs, en que p,
q y s sean nmeros primos.
 pqs p q s
Si tenemos que n=pqs, luego (c+r) ={[(c+r) ] } . Por lo que
p q s p p-2 2 2 n-2 p-1 p q s
{[(c+r) ] } =[(c +pcp-1r+p(p-1)c r /2+O+p(p-1)c r /2+pcr +r ) ] . Por lo tanto, ese
producto se multiplica q veces por s mismo y cuyo resultado se multiplica s veces por s
mismo. Entonces es evidente que cada producto no tiene la misma simetra.
n
En consecuencia, se demuestra que si en el binomio (c+r) , n=pqs, en que los valores de
p, q y s son nmeros primos diferentes, los coeficientes desde el segundo trmino hasta el
penltimo del producto del binomio de Newton no tienen la misma simetra.
30
Como un ejemplo consideremos el binomio (c+r) . Tenemos que 30=(2)(3)(5), entonces
30 2 3 5
(c+r) =(((c+r) ) ) . Los coeficientes despus del primer trmino de cada producto tienen una
simetra diferente.
m
Y si n=(pqs) , en que m=1,2,3,4,Ot lm , todos los coeficientes de los productos
sucesivos no sern divisible simultneamente por pqs, sino que algunos sern divisible por p,
unos por q y otros por s. Y esa ser la simetra de los productos sucesivos, segn los valores
que se le asignen a m.

Expliquemos ahora la serie de los coeficientes de los trminos del producto del binomio
de Newton transformado.

De acuerdo a la estructura de las series continuas de los productos del binomio de Newton
se pueden establecer relaciones de los trminos equidistantes de cada producto. Por ejemplo
entre el primero y el ltimo, entre el segundo trmino y el penltimo, entre el tercer trmino y
el antepenltimo, y as sucesivamente.

Cuando el exponente del binomio es par el trmino del medio no puede relacionarse con
otro, porque solo es uno. Y cuando el exponente n es impar todos los trminos se pueden
relacionar. Por la estructura de dichos trminos, se pueden factorizar los trminos
equidistantes tal como lo muestran los productos de la serie (14a). Esto se basa en la ley del
n
desarrollo de los trminos del binomio de Newton (c+r) cuando los valores de n son pares e
impares, es decir, que el nmero del trmino del producto es n+1. Si el valor de n es impar, el
nmero de trminos es par, de all que todo trmino tiene su pareja. Y cuando el valor de la n
es par el nmero del producto es impar, por lo que el trmino del centro no tiene pareja.

Al factorizar los trminos equidistantes del producto del binomio de Newton, se establece
la siguiente relacin, si a=c+r y el valor de n es impar.
n n n n n-2 n-2 2 2 n-4 n-4 3 3 n-6 n-6
a =(c+r) =c +r +ncr(c +r )+n(n-1)c r (c +r )/2+n(n-1)(n-2)c r (c +r )/3!+
4 4 n-8 n-8 (n-1)/2
+n(n-1)(n-2)(n-3)c r (c +r )/4+O+n!/(((n+1)/2)!)((n-1)/2!)c(n-1)/2r (c+r). (26b)

Hemos relacionado el primero y ltimo trmino, pero stos no pueden factorizarse porque
no estn formados por los factores c y r. La factorizacin de la serie debe entenderse como
est expresada en el producto (26b).
 Cmo deben formarse los coeficientes de los trminos transformados del producto del
binomio de Newton? Por lo menos elaboramos las tres frmulas para calcular dichos
coeficientes, segn lo explicado anteriormente.
n
Si el binomio de Newton (c+r) , en que c+r=a, el valor del exponente n es un nmero
impar, todos los trminos equidistantes se factorizan entre s, exceptuando el primer y ltimo
trmino. Por lo que proponemos la siguiente proposicin: Si designamos que c+r=a, en el
producto del binomio de Newton transformado, todos los trminos son factorizados por acr,
n n
exceptuando los trminos c + r .

En la serie de productos (15a), considerando los productos cuando n=3,5,7,O,17O; si

19
transformamos el producto del binomio (c+r) , tenemos la siguiente serie:
19 19 19 17 17 2 2 15 15 3 3 13 13 4 4 11 11
(c+r) =c +r +19cr(c +r )+171c r (c +r )+969c r (c +r )+387c r (c +r )+
5 5 9 9 6 6 7 7 7 7 5 5 8 8 3 3
+11628c r (c +r )+27132c r (c +r )+50388c r (c +r )+75582c r (c +r )+
9 9
+92378c r (c+r).
3 3 5 5 5 3 2 2
De acuerdo a las series (15a), c+r=a, c +r =a3-3acr, c +r =a -5a cr+5ac r ;
7 7 7 5 3 2 2 3 3
c +r =a -7a cr+14a c r -7ac r ,O,

Si efectuamos las correspondientes sustituciones es evidente que todos los trminos desde
el segundo en adelante son divisibles por acr. Por lo tanto, en todos los trminos de los
productos transformados del binomio de Newton de modo sucesivo, se factorizan por acr,
por lo que se demuestra la proposicin.

Cuando el valor de n es un nmero primo mayor que 2 es evidente que los coeficientes
n n
resultantes de la transformacin se factorizan por n, exceptuando c y r .

Hemos demostrado anteriormente que en el producto del binomio de Newton si el

exponente n es un nmero primo, todos los coeficientes, desde el segundo trmino hasta el
penltimo, se factorizan por n. Por lo tanto, los resultados de las sumas de los trminos
resultantes se factorizan por el nmero primo n.
n n n
Si en la frmula b +c =a , los valores de b y c son nmeros positivos, entones a es mayor
n n n
que b y a es mayor que c. De lo anterior, tenemos que a -b =c . Como c es un nmero
n n n n 1/n
positivo, entonces a >b , por lo que (a >b ) =|a>b|. Por lo tanto a es mayor que b. Y del
mismo modo se demuestra que a es mayor que c.

DEMOSTRACIN DEL TEOREMA DE FERMAT PARA TODO VALOR DE n EN LA

FRMULA bn+cn=an

Si el valor de n es un nmero entero positivo arbitrario entonces el valor de n puede

ser par e impar. Hemos demostrado que cuando el valor de n es par, para poder
resolver el Teorema de Fermat, hay que reducir los factores de n en sus componentes
pares e impares y resolverlo por medio de un valor impar. Lo que significa que no se
pueden determinar los trminos finales del conjunto de los trminos que se forman
segn sea n par o impar. Para determinar los primeros y ltimos trminos del conjunto,
debemos valernos del binomio de Newton, admitiendo desde el segundo trmino hasta
el penltimo del binomio.

Los conjuntos que hemos formado desde el segundo trmino hasta el penltimo del
binomio de Newton son los conjuntos (17a), (18a) y (19a). El (17a) se refiere a cualquier
valor de n. Los (18a) y (19a) se refieren a los valores de n cuando son pares e impares.

Segn las demostraciones que efectuamos del Teorema de Fermat cuando los valores de
n son primos, impares, pares y constantemente pares o primos se llegan a ciertas
conclusiones que pueden ser vlidas para una demostracin general del teorema, basadas en
argumentos anteriores. Es decir, una demostracin total del teorema de Fermat es imposible
de lograr, si no se fundamenta en las demostraciones antes efectuadas, segn este criterio.
n n
Designando que a=c+r, a =(c+r) , establecemos esta relacin:
n n n-2 n-3 n-3 n-2
b - r =cr(nc +n(n-1)c r/2+O+n(n-1)cr /2+nr ). (27b).
n-2 n-3 n-3 n-2
Q=nc +n(n-1)c r/2+O+n(n-1)cr /2+nr (28b).
n n n-2 n-4 n-6 n-8 3 3
b - r =cr(na -n(n-3)a cr/2!+n(n-4)(n-5)a c2r2/3!-n(n-5)(n-6)(n-7)a c r +O). (29b) y
n-2 n-4 n-6 2 2 n-8 3 3
Q=na -n(n-3)a cr/2!+n(n-4)(n-5)a c r2 /3!-n(n-5)(n-6)(n-7)a c r +O (30b).

Las frmulas (27b) y (29b) son equivalents, y lo mismo las (28b) y (30b).

De acuerdo a las demostraciones especificas y a estos criterios, elaboramos una

n n n
demostracin general a partir de las frmulas (27b) y (29b). Designemos que b -r =d ,
n n-1 n-1 n
d =crQ y Q=c r k . La segunda frmula se establece suponiendo que el valor de la d sea
n
un nmero entero positivo. De acuerdo a las frmulas (27b) y (29b) el valor de k puede ser
un cociente menor o mayor que 1, segn sea el valor de la r. Si esta suposicin es cierta, el
n-1 n-1
valor de la Q podra contener el producto c r .

Hiptesis 25: Si en la frmula dn=crQ, r=1, el valor de la Q podra contener el producto

n-1 n-1
c r .

Demostracin:
n n n n n n n n n n n n n-1 n-1 n
Sean b =a -c , b -r =a -c -r , b -r =d , d =crQ, Q=c r k , a=c+r y n>3. Efectuando las
n n n n n
operaciones apropiadas, tenemos Q=(a -c -r )/cr. Y Si r=1, entonces Q=(a -c -1)/c. Dado que
n-1 n-1 n n n n n n n n
Q=c r k , entonces k =(a -c -1)/c y k =(a/c) -1-1/c .

Como a=c+r y r=1, tenemos que a=c+1 y c=a-1. Es evidente que los valores de a y c son
n
consecutivos en una unidad cuando r=1. Y k puede ser menor o mayor que 1 segn sea la
 n n n
magnitud de los valores de c y n. Lo que es evidente en la frmula k =(a/c) -1-1/c . Si
n n n
(a/c)n<2, entonces k <1. Y si (a/c) >2 luego k >1.
n n n n n n-1 n-1 n n
Por lo tanto, en las frmulas d =c r k , d =crQ y Q=c r k , si r=1 y k >1 el valor de la Q
n-1 n-1 n
contiene el producto c r . El lmite de k lo determinaremos ms adelante.
n n n-1 n-1
Hiptesis 26: Si b =crQ+r , r=1 y la Q contiene el producto c r , el valor de la b es
irracional.

Demostracin:
n n n n-1 n n n n
Tenemos que b =crQ+r , r=1, a>c, a>b, b>d, c=a-1, b =cQ+1, Q=c k , b =c k +1,
n n n n n
d =b -1 y d =c k , d=ck. Si k >1, d >c.

Como d>c, entonces b>c. Dado que a>b y c=a-1, por lo que el valor de b est entre los
n
valores de (a-1) y a. Como b es un nmero entero positivo y no es un cociente racional luego
el valor de la b al no ser un cociente racional, debe ser un nmero irracional.

Si el valor de la k es menor que 1, pero que est prximo a este nmero, entonces la
n
expresin ck est entre c-1 y c. Como b es un nmero entero positivo y no es un cociente
racional, por lo tanto el valor de la b al no ser un cociente racional debe ser un nmero
irracional. Y cuando el valor de la k es menor que 1 de tal modo que el producto ck sea menor
que la c, podemos determinar el valor de la k de un modo indirecto.
n n n n n n 1/n
Tenemos que b -r =d , r=1, entonces d =b -1, d=(b -1) . Si el valor de la b es un nmero
entero positivo, entonces el valor de la d es irracional. Como ck=d, luego el producto ck es
irracional. Y si el valor de b y r es un nmero entero positivo el valor de la c no podra serlo.
Hemos demostrado que el valor de la c es irracional cuando se despeja y se le asignan
cualesquier nmeros enteros positivos a b y r. Pero la demostracin se basa en la
irracionalidad del valor de la k. Entonces en la expresin ck=d, el valor de la k es irracional.
n
Hiptesis 27: Si en la frmula d =crQ y r >1 el valor de la Q no podra contener el
n-1 n-1
producto c r .

Demostracin:
n n n n n n
Veamos, cuando el valor de la r es mayor que 1. En la expresin: k =(a -c -r )/c r , cmo
n
saber si el valor de k es una fraccin o no.
n n n n n n n
Consideremos todos los trminos de k . Supongamos que k =1, entonces a -c -r =c r ,
n n n n n n n n n n n n n n n
a =c r +c +r , a =c (r +1+r /c ). Como a=c+r, entonces tenemos que (c+r) =c (r +1+r /c ),
n n n 1/n n n n 1/n
c+r=c(r +1+r /c ) , c=c(r +1+r /c ) - r,
n n n 1/n n n n 1/n
c =c((r +1+r /c ) - r/c), 1=(r +1+r /c ) - r/c.
 n n n 1 n
Si designamos que (r +1+r /c ) / =r+d, en que la d sea un nmero decimal, entonces
1=r+d-r/c. Si r>1, c>1, c=r y c>r, es evidente que |r+d-r/c|>1. Por lo que la igualdad
n n n n n
1=r+d-r/c es falsa. Por lo tanto, es falsa la igualdad a -c -r =c r . En consecuencia,
n n n n n
c r >|a -c -r | slo si r>1.

Por consiguiente, se demuestra que cuando el valor de la r es mayor que 1, el valor de la Q

n-1 n-1 n
no puede contener los factores c r por lo que k es una fraccin. De acuerdo a este
n n n n n
argumento es posible demostrar el Teorema de Fermat y la desigualdad c r >|a -c -r |,
cuando el valor de la r es mayor que 1.
n n n n n n n
Supongamos que c r =a -c -r , si c>1 y r>1. Dividamos la igualdad por c r , tenemos que
n n n n n n n
1=a /cnr -1/r -1/c . En esta igualdad si a>cr y n es muy grande entonces a >>c r .
n n n
Supongamos, pues, que a =c r , por lo que a=cr. Como a=c+r, sustituyendo, tenemos que
c+r=cr. Dividiendo la igualdad por cr, resulta que 1/r+1/c=1. Es evidente que si r>1 y c>2, la
n n n
igualdad 1/r+1/c=1 es falsa, por lo que 1>|1/r+1/c|. Luego, cr>|c+r|, cr>a y c r >a . Por lo
n n n n n n n n n n n n n n
tanto, la igualdad 1=a /cn-r -1/r -1/c es falsa, entonces 1>|a /c r -1/c -1/r | y c r >|a -c -r |.
n n n n n n n n
Dividamos la ltima desigualdad por a luego c r /a >|1-(c /a +r /a )|. Como a>c y a>r
asignmosle a c y r los valores mnimos. Entonces, c=2 y r=2. Sustituyendo en la desigualdad
n n n n n
tenemos que 1>1-1/2n-1. Por lo tanto la desigualdad c r >|a -c -r | es cierta si c>1 y r>1.

Hemos demostrado que si r>1 se puede demostrar el Teorema de Fermat en la forma

n-1 n-1
general de demostracin. Pero, si r=1, el valor de Q puede contener los valores de c r , por
n n
lo que el valor de k puede ser mayor que 1. Examinemos cules son los lmites de k , para
que el valor de la b sea supuestamente un nmero entero positivo si los valores de a y c son
nmeros enteros positivos y n sea mayor que 3.
n n n
Anteriormente hemos demostrado que en la frmula b =a -c , si el valor de n es igual o
mayor que c, el valor de la b es irracional. Por lo tanto, podemos suponer que slo el valor de
la b puede ser un nmero entero positivo, si el valor de n es menor que el valor de c.
n n n
De este modo, podemos demostrar que en la frmula b =a -c , el valor de kn debe tener
ciertos lmites, si el valor de la c es menor en una unidad que el de a y el valor de n es igual o
menor que c.
n n n c c c c-1 c-1 c
Si en la frmula b +c =a , n=c, a=c+r y r=1. Entonces b =a -c . Como Q=c r k y
c-1 c c c c c c c c c c c c c c
a=c+1, luego Q=c k y b -1=cQ, luego a -c -1=c k ; k =(a -c -1)/c ; k =a /c -1-1/c ;
c c c c c c c c c c
k =(c+1) /c -1-1/c ; k =((c+1)/c) -1-1/c ; k =(1+1/c) -1-1/c .
c
, por lo tanto los lmites de k se establecen cuando c=1 y c
Cuando c=1, 2, 3, 4,O, qlm
c 1
tiende al infinito. Para el primer valor k =(1+1/1) -1-1/1=0. Y para el segundo valor,
 c c
k =clm (1+1/c) -1-1/c. Dado que =c lm (1+1/c)c, sustituyendo, tenemos que
n n n n
k =-1-1/c . En dicho lmite 1/c =0, entonces k =-1.
c
Estos lmites indican que el valor de k es mayor que cero y menor que (-1) cuando el valor
de la c es menor en una unidad que el valor de a, y el valor de la n es menor que c y mayor
que dos. El valor de es la base de los logaritmos naturales.

Hemos demostrado que si el valor de la k es un nmero entero positivo, el valor de la b es

2 2 2 2
irracional para todo valor de n y, tambin, que en las frmulas b +c =a2 y b -r =2cr no existe
2
la necesidad de vincularlas con k , ya que dichas ecuaciones contienen una incgnita que es
c y que a los valores de b y r se le pueden considerar como constantes y que esas frmulas
se expresan en una ecuacin de primer grado, por lo que puede resolvrsele y asignrsele
n
cualesquier nmeros enteros positivos o racionales. El valor de k se justifica cuando n es
mayor que 3.

En consecuencia, la nica dificultad en la demostracin directa del Teorema de Fermat,

n n n
b +c =a , consiste cuando el valor de la c es menor en una unidad que el valor de la a. En tal
caso bn=dn+1, b=(dn+1)1/n. Y el valor de la b es irracional, si el valor de la d es un nmero
n
entero positivo. Y cuando b es un nmero entero positivo entonces el valor de k es un
cociente. Porque si el valor de la k es un nmero entero positivo el valor de la b es irracional.
n n n
Hiptesis 28: Si en la frmula b =a -c el valor del exponente n es mayor que 3 y los
valores de a, b y c no pueden ser simultneamente nmeros enteros positivos, del
n n n
mismo modo que en la frmula a =b +c , si el exponente n es mayor que 3, los valores
de a, b y c no pueden ser simultneamente nmeros enteros positivos.
n n n
Si se demuestra el Teorema de Fermat en la forma b =a -c , significa que para todos los
valores de a y c, como nmeros enteros positivos, el valor de la b es irracional, siempre y
cuando n sea mayor que tres.

En este caso los valores de a y c comprenden todos los nmeros enteros positivos mayores
n n n n n n
que 3. Como b =a -c , entonces b +c =a . Si los valores de a y c son nmeros enteros
positivos, el valor de la b es irracional. Del mismo modo, se demuestra que si los valores de a
y b son nmeros enteros positivos el valor de la c es irracional.
n n n
Ahora bien, supongamos que en la frmula a =b +c el valor del exponente n es mayor que
tres y que los valores de b y c son nmeros enteros positivos y tambin lo es el valor de la a.
Por lo tanto, segn esta suposicin, los valores de a, b y c pueden ser simultneamente
n n n
nmeros enteros positivos en la frmula a =b +c , lo que niega el Teorema de Fermat para
n n n
la frmula b =a -c .
n n n
En consecuencia, si en la frmula b =a -c los valores de a, b y c no pueden ser nmeros
enteros positivos simultneamente si el valor del exponente n>3, entonces esta
 n n n
demostracin es vlida para la frmula a =b +c , ya que esta ltima se deduce de la primera
n
segn el procedimiento para despejar a la potencia a .
n n n
Por consiguiente, si en la frmula a =b +c , n>3 y los valores de la b y la c son nmeros
enteros positivos el valor de la a es irracional.

Hemos demostrado que si n es un nmero impar mayor que 3, el Teorema de Fermat se

demuestra para cualquier valor de n. La dificultad se presenta cuando el valor de n es par y el
valor de la c es menor en una unidad que el valor de la a. Si el valor de la r es mayor que 1, el
teorema se demuestra sin dificultad, aunque el valor de n sea par. Sin embargo, el teorema
definido de esa forma se resuelve por reduccin a la forma impar si el valor de la n est
constituido por un nmero par y un nmero impar. Tambin dicho teorema se puede resolver
cuando el exponente de la n es un nmero constantemente par.
n n n
Ahora bien, en qu consiste estaa dificultad? Si en la frmula b =a - c , el valor de la c es
menor en una unidad que el valor de la a y el valor de n es un nmero par y es menor que el
n-1
valor de la c, para ciertos valores de a, c y n el valor de la Q puede contener el valor c .
n-1 n n
Entonces es vlido suponer que Q=c (m/p) , en que m>p y p=cq. Como d =cQ, entonces,
n n n
d =c (m/cq) , d=c(m/cq), d=m/q. Dado que la d no puede ser una fraccin, designamos que
n
m=gq, por lo que d=gq/q, d=g. Este argumento se puede aplicar cuando k es una fraccin?
Veamos si este argumento es posible.

Hemos demostrado que si los valores de c y r son mayores que 1 el valor de la Q no puede
n-1 n-1 n-1 n-1 n
contener a los factores c r . Hemos designado que Q=c r k en la suposicin de que el
valor de la d sea un nmero entero positivo.

Suponiendo que el valor de la k sea una fraccin racional, designemos que k=m/p, m<p,
n-1 n-1 n n n n n
p=crq y m=gq. Sustituyendo, tenemos que Q=cn-1tn-1(gq/crq)n. Luego, c r g q /c r q =Q;
n
Q=g /cr. Para que el valor de la Q no sea una fraccin, designemos que g=hcr. Luego,
n n n-1 n-1 n n
Q=(hcr) /cr; Q=h c r . Si h es un nmero entero positivo, entonces b =crQ+r ;
n n n n n n n n n n 1/n
b =h c r +r ; b =r (h c +1); b=r(h +1) .
n n 1/n
Hemos demostrado que el valor de (h c +1) es irracional, por lo que el valor de la b es
irracional. De acuerdo a las definiciones establecidas, es falso que el valor de la Q contenga
n-1 n-1
los factores c r . Por lo tanto el valor de la h es un cociente. Y como h=k no se demuestra
que el valor de la k sea un cociente racional. En consecuencia, segn el argumento anterior
no demuestra que el valor de la k sea racional. El carcter irracional del valor de la k se
demuestra por los argumentos que hemos propuesto anteriormente.

De las demostraciones anteriores, son suficientes los argumentos matemticos que

elaboramos cuando el valor de n es impar o constantemente par. Cuando el valor de n es par
compuesto por nmeros pares e impares, entonces la forma par se reduce a la forma impar. Y
de este modo, se resuelve el Teorema. Ahora bien, basndonos en los argumentos bsicos
que expresamos en las demostraciones especficas, elaboramos una demostracin
general del Teorema de Fermat.
n n-1 n-1
Por lo que en la frmula k =Q/c r afirmamos que el valor de k es irracional, porque as
se deduce de las otras demostraciones.
n n n n n-1 n-1 n n n n n n n n
Designemos que b -r =acrQ, b -r =cr(c r kn), b -r =c r k y c r k =d, entonces, d=crk.
Como k es irracional entonces el valor de la d es irracional.
n n n n n n n n n n n n
Ahora bien, tenemos que r (b /r -1)=c r k , luego b /r -1=c k , c=(b /r -1)/k. Como el valor
de la k es irracional, el valor de la c es irracional, aunque los valores de b y r sean nmeros
enteros positivos. Y como a=c+r el valor de la a es irracional.
n n n n n n n n n n
Designemos que e=ck, luego, e =b /r -1. En la frmula b =a -c ; b /c =a /c -1 y
n n n n n n n n n
designemos que b/c=f. Entonces, f =a /c -1. Las frmulas e =b /r -1 y f =a /c -1 son
simtricas o tienen una estructura equivalente. Por lo tanto, si el valor de la e es irracional en
n n n n n n
la frmula e =b /r -1, el valor de la f es irracional en la frmula f =a /c -1.
n n n n n n
Por consiguiente, las frmulas d - b - r y b =a - c tienen una estructura exactamente
igual. Y si el valor de la d es irracional tambin lo es el de la b.
n n n
En consecuencia, queda demostrado que si en la frmula d + r =b , el valor de n es mayor
que 3, los valores de b, d y r no pueden ser simultneamente nmeros enteros positivos. Por
n n n
lo tanto, en la frmula b +c =a , si n es mayor que 3, los valores de a, b y c no pueden ser
simultneamente nmeros enteros positivos.

Explicacin:
n n n n
Como en la frmula b =a -c , la b es funcin de a y c, si los valores de b , a y c son
nmeros enteros positivos, por lo tanto a >c. De acuerdo a esa desigualdad, a-c=r, por lo que
r es la diferencia de a y c.

Si los valores de a y c son nmeros enteros positivos el valor de r tambin lo es, y b es

irracional cuando el exponente n es mayor que dos. Pero si los valores de b y r son nmeros
enteros positivos entonces los valores de c y a son irracionales. Y como a = c+r si el valor de
la c es irracional y el de la r es un nmero entero positivo, entonces el valor de la a es
irracional.
n n
Por esta razn la diferencia b - r se constituye en una frmula que hemos expresado como
n n n n n n
b -r =d . Y sta es independiente de b =a - c , aunque estn relacionadas entre s. De este
modo, se puede resolver el Teorema de Fermat.

Segn la hiptesis 20 el cociente ac/bp debe ser irracional porque el valor del cociente
dk/dk es irracional si los valores de a, c, r, b y p son interdependientes. En esta relacin
estos dos cocientes son irracionales cuando n3.
 En la frmula b3-r3=3acr, es evidente que el valor de la Q es 1. En tal caso, sea Q=1 y
1=(3acr)2k3, entonces tenemos que k=1/(3acr)2/3. Efectuando las sustituciones y las
operaciones correspondientes, resulta que 3acrk3=d3. Sin embargo, el valor de k3 en esta
frmula es igual a 1, porque d3=3acr.
CONCLUSIN

Para resolver el Teorema de Fermat, elaboramos la demostracin por medio de hiptesis.

En esta demostracin no es necesario despejar el valor de c porque esta solucin no consiste
en efectuar ese procedimiento, sino en demostrar que el valor de la c es irracional.
n n n
En la frmula b - r =d , cuando el valor de n es impar y mayor que 3 designamos que
n
d =acrQ y que los valores de a, c, r y Q expresan valores de nmeros diferentes. Lo esencial
en la demostracin del Teorema, es que el valor de la c sea irracional.
n n n
Se puede objetar, que en ciertas frmulas de b =a - c el valor de la c no est determinado
9 9 9
de modo especfico. Por ejemplo, cuando expresamos la frmula b =a -c en la forma cbica
3
(b3)3=(a3)3-(c3)3. En esta frmula despejamos c , y encontramos que su valor es irracional.
Entonces con mayor razn el valor de la c es irracional. Este procedimiento no altera la
demostracin, de que el valor de la c sea irracional si los valores de b y r son nmeros
enteros positivos. Porque si el valor de la c es irracional, tambin lo es el valor de la a.
Entonces, se mantiene el valor de la r como nmero entero positivo.

Las hiptesis plantean otro problema, que consiste en que una demostracin general del
Teorema de Fermat debe basarse en dos demostraciones especiales de dicho teorema. El
problema se debe a la ley que determina la composicin del valor de la n en las frmulas de
exponente impar y constantemente par. Y cuando el valor de n es primo podemos lograr este
n n
resultado: b - r =nacrQ. Porque en la serie del binomio de Newton, en las frmulas que
calculan cada uno de los coeficientes de los trminos todos los coeficientes son nmeros
enteros positivos. Por lo tanto que es evidente que el valor de n como nmero primo est
contenido en los coeficientes de todos los trminos y que se expresa en la frmula
n n
b - r =nacrQ.

Cuando el valor del exponente de la n es un nmero constantemente par, dicho exponente

es una potencia perfecta cuya base es 2. De all que el resultado de dicha diferencia de
potencias as determinadas es 2crQ, calculndose de este modo, lo irracional del valor de la
k.

Cuando el valor de n es un nmero entero positivo compuesto por uno o ms nmeros

impares y con uno o ms nmeros pares, de acuerdo a la ley de los exponentes de nmeros
pares, todos los coeficientes no son exactamente divisibles por n, por un factor par de n ni por
un factor impar de n. La demostracin de dicha frmula la hemos efectuado por el
procedimiento de reduccin. Es decir que el exponente n definido de esa manera, al contener
un factor impar se puede resolver convirtiendo la frmula con exponente par, en una con
exponente impar. Y si esa solucin no llegara a satisfacer las exigencias requeridas, entonces
se resuelve en el esquema general de solucin del Teorema de Fermat o su reduccin en
(n/4)4, si el exponente par es divisible por 4.

Ahora bien, en la frmula (19b), sera imposible despejar el valor de la c. De acuerdo al

teorema de Niels Abel no se puede resolver la ecuacin de quinto grado ni las ecuaciones en
que el exponente n sea un nmero primo mayor que 5, porque en tal caso se utilizara un
esquema de solucin semejante al de Niels Abel. Adems, si en la frmula (29b) se
despejara el valor de la c la igualdad equivalente no demostrara si el valor de la c es racional
o irracional.

El lector no debe sorprenderse de que hemos omitido citas o referencias bibliogrficas de

algn matemtico que haya tratado de demostrar de modo completo, el Teorema de Fermat,
puesto que hasta la fecha (1992) dicho teorema no se ha resuelto. Entonces no tiene
importancia que descartemos las obras que solucionan el teorema de modo parcial, porque
esto ms bien hubiera complicado nuestro objetivo de procurar una solucin completa del
Teorema de Fermat. Adems tendramos que haber ampliado la extensin del texto de esta
demostracin.