Академический Документы
Профессиональный Документы
Культура Документы
, se puede comprobar dando valores que:
12 23 34
n(n 1)
1
1
;
12 2
1
1
2
;
12 23 3
1
1
1
3
;
12 23 34 4
1
1
1
1
4
;
12 23 34 45 5
1
1
1
1
1
5
12 23 34 45 56 6
Sn
S1
S2
S3
S4
S5
de
lo
que
la
vista
de
estos
resultados
afirmamos
que
1
1
1
1
n
Sn
12 23 34
n( n 1) n 1
Ejemplo 4:
Consideremos el trinomio x 2 x 41 estudiado ya por L. Euler. Dando valores a la x
obtenemos para x = 0 el nmero primo 41; para x = 1, el nmero primo 43; para x = 2, el
no
verifica la propiedad.
Ejemplo 6:
n
Consideremos los nmeros del tipo 2 2 1 ,para n= 0, 1, 2 , 3 y 4 los nmeros
2 2 1 3 , 2 2 1 5 ; 2 2 1 17 ; 2 2 1 257 ; 2 2 1 65537 son primos, Pierre de
Fermat, ilustre matemtico francs del siglo XVII aceptaba que todos los nmeros de
este tipo son primos. Sin embargo L. Euler encontr ya en el siglo XVIII, que
2 2 1 4294967297 6416700417 es un nmero compuesto.
Ejemplo 7:
G. W. Leibniz eminente matemtico alemn del siglo XVII demostr que
cualquiera que sea el entero positivo n el nmero n 3 n es divisible por 3, el nmero
n 5 n es divisible por 5 y el nmero n 7 n es divisible por 7. De aqu supuso que para
0
todo k impar y para cualquier n natural el nmero n k n es divisible por k, pero pronto
observ que 2 9 2 510 no es divisible por 9.
Ejemplo 8:
Un error del mismo tipo cometi D. A. Grave, conocido matemtico sovitico, al
suponer que para todo primo p el nmero 2 p 1 1 no es divisible por p 2 . El clculo
directo confirmaba esta hiptesis para todos los nmeros p menores que mil. Sin
embargo pronto se comprob que 210931 1 es divisible por 10932
Ejemplo 9:
En cuntas partes dividen el espacio n planos pasando todos por un mismo
punto sin que pasen nunca tres por una misma recta?
Consideremos algunos casos particulares elementales de este problema. Un plano divide
al espacio en dos partes. Dos planos con un punto comn, dividen al espacio en cuatro
partes. Tres planos que pasan por un mismo punto, pero no tienen recta comn, dividen
al espacio en ocho partes.
A primera vista parece que, al aumentar en uno el nmero de planos, la cantidad
de partes en que queda dividido el espacio se duplica y, por consiguiente, cuatro planos
lo dividen en 16partes, cinco planos en 32 y en general n planos en 2n partes.
Pero la realidad es distinta: cuatro planos dividen al espacio en 14 partes y cinco
planos en 22 partes. Se puede demostrar que n planos dividen al espacio en
n(n 1) 2 partes.
Ejemplo 10:
Veamos otro ejemplo de carcter muy instructivo. Tomando en lugar de n en la
expresin 991n 2 1 sucesivamente los nmeros enteros 1, 2, 3,jams obtendremos el
cuadrado de un nmero por muchos das e incluso aos que dedicsemos a ello. Sin
embargo sera errneo deducir de aqu que ningn nmero de este tipo es un cuadrado.
En efecto, entre los nmeros del tipo 991n 2 1 tambin hay cuadrados; pero es muy
grande el valor mnimo de n par el cual es un cuadrado. He aqu este valor:
n = 12055735790331359447442538767
Los ejemplos considerados permiten hacer una conclusin sencilla y al mismo
tiempo importante:
Una proposicin puede ser vlida en una serie de casos particulares y no serlo en
general.
Ejemplo 12: (Tomado de El hombre que calculaba de Malba Tahan, cap. XXVIII)
Es posible, en Matemtica, deducir una regla falsa de una
propiedad verdadera? Quiero conocer tu respuesta, ilustrada con un
ejemplo simple y perfecto.
Berems medit largo rato y luego, saliendo de su recogimiento,
respondi:
- Admitamos que un algebrista curioso desease determinar la raz
cuadrada de un nmero de cuatro cifras. Sabemos que la raz
cuadrada de un nmero es otro nmero que, multiplicado por s
mismo, da un producto igual, al nmero dado.
Vamos a suponer, sin embargo, que el calculista, al escoger los
nmeros, hiciera recaer su eleccin en los nmeros: 2025, 3025,
9801.
Iniciemos la resolucin del problema por el nmero 2025. Hechos los
clculos para ese nmero, el investigador hallara que la raz
cuadrada es 45. En efecto: 45 veces 45 es igual a 2025. Ahora bien:
12 23 34
n(n 1)
1
1
1
1
2
S1
;
S2
;
Por
la
definicin
obtenemos
12 2
12 23 3
1
1
1
3
1
1
1
1
4
S3
; S4
error del ejemplo 1 afirmando de inmediato que para todo nmero natural n
es
n
Sn
, seamos prudentes y digamos que el anlisis de las sumas S1 , S 2 , S 3 , S 4
n 1
n
sugiere la hiptesis de que S n
para todo nmero natural n. Sabemos que la
n 1
1
, supongamos que la hiptesis se cumple
2
1
1
1
1
k
natural. Demostraremos que, entonces, la hiptesis es vlida para n = k +1, o sea que
S k 1
1
k 1
. En efecto: S k 1 S k
, por consiguiente, segn la hiptesis
(k 1)(k 2)
k2
del teorema
S k 1
k
1
k (k 2) 1
k 2 2k 1
(k 1) 2
k 1
1
2
3
4
; S 2 ; S 3 ; S 4 de
2
3
4
5
donde
hemos
supuesto
que
Sn
n
n 1
Sn
1
1
1
1
12 23 34
n(n 1)
supongamos que
k2
.
3k 4
S k 1 S k
n 1
(1)
3n 1
1
, supongamos que es vlida para n =
2
k 1
y tratemos de demostrarla para n = k + 1, o sea que,
3k 1
Tenemos
que
1
k 1
1
k 3 4 k 2 8k 2
, o sea, un
(k 1)(k 2) 3k 1 ( k 1)(k 2) ( k 1)(k 2)(3k 1)
Pruebe que para todo nmero natural n > 1, el ltimo dgito del nmero 2 2 + 1 es 7.
Demostracin:
Denotando por p(n) la proposicin a demostrar, podemos observar que para
2
n = 2, 2 2 + 1 = 17 y la proposicin es verdadera.
Suponemos que es cierta la proposicin es para n = k, es decir aceptamos que el ltimo
k
k 1
dgito de 2 2 + 1 es 7. Hay que demostrar que el ltimo dgito de 2 2 + 1 es 7.
k 1
k
k
Notando que 2 2 + 1 = ( 2 2 + 1)2 2( 2 2 + 1) + 2 podemos concluir con la ayuda de la
k
k
hiptesis inductiva que el ltimo dgito de ( 2 2 + 1)2 es 9, el ltimo dgito de 2( 2 2 + 1)
es 4 que luego al restarlos y sumarle 2, se demuestra la proposicin
Para llegar a dominar el mtodo como en la mayora de las reas de las
matemticas es preciso considerar un nmero suficiente de ejercicios problemas. Pero
antes de empezar:
Curiosidades
A Euler le pareca que sus smbolos y frmulas se encargaban de pensar por l.
Incluso dijo algo parecido de su lpiz. Y es que en ocasiones parece que los smbolos
nos devuelven ms de lo que pusimos en ellos, como si fueran ms sabios que sus
creadores.
Suma y resta
Estamos en el siglo XV y poco a poco se van imponiendo abreviaturas para
indicar algunas operaciones matemticas. Por ejemplo, los italianos utilizaban una p y
una m para indicar la suma y la resta (plus y minus, en latn). Sin embargo, acab
imponindose la abreviatura alemana + y . Estos signos se utilizaban originariamente
para indicar exceso y defecto en la medida de las mercancas en los almacenes. De
hecho, el texto ms antiguo que se conoce en el que aparecen estos signos con el sentido
de suma y resta es un libro de aritmtica comercial del alemn Johann Widman
publicado en 1489.
Pese a su uso por los alemanes, parece ser que el signo + tiene origen latino por
ser una contraccin medieval de la palabra et (la conjuncin copulativa "y"), mientras
otros derivan el signo menos de una tilde que se superpona a la m de minus.
En cualquier caso, no hay un acuerdo universal: hay quien habla de un origen
egipcio, mientras otros derivan el signo menos de una tilde que se superpona a la m de
minus.
Sumatorio
El uso de la sigma griega mayscula se debe a Euler, que empez a usarla en
1755 con estas palabras "summam indicabimus signo ".
Parece claro que el ser sigma la letra griega equivalente a la 's' de suma est en el
origen de su eleccin.
En general se denota
donde:
S: magnitud resultante de la suma.
t: cantidad de valores a sumar.
k: ndice de la suma, que vara entre h y h + t
h: punto inicial de la sumatoria
h + t: punto final de la sumatoria
esta forma:
i 1 2 3 4 5 15
i 1
Producto
Muchos algoritmos para obtener productos y proporciones hacan uso, en los
viejos tiempos de la aritmtica, de la cruz de San Andrs (el aspa). Quiz por ello
Oughtred, all por 1631, la eligi como smbolo para sus multiplicaciones y pronto
otros autores siguieron su ejemplo.
Pero no todos: Leibniz, en 1698, le escribi a John Bernoulli: "no me gusta x
como smbolo para la multiplicacin, pues se confunde demasiado fcilmente con x; ...
a menudo relaciono dos cantidades con un punto interpuesto, e indico la multiplicacin
mediante ab". Es decir, que Leibniz, para evitar confusiones, sealaba de la misma
manera proporciones y productos, con un sencillo punto.
Me pregunto si habr alguna razn para que nos empeemos en ensear a los
nios a utilizar el aspa y despus, cuando ya estn acostumbrados, les digamos que se
olviden y que utilicen el punto. Quiz es otro caso de recapitulacin embriolgica?
Otra posibilidad para indicar el producto es no poner nada en absoluto entre los
factores, como cuando escribimos xy para indicar 'x por y'. Descartes, cuando en la
pgina 7 de su Geometrie fija la notacin que va a utilizar, dice: "Et ab, pour les
multiplier l'vne par l'autre". Lo que no s es si fue el primero en utilizar esta notacin.
Anlogamente se definira el Productorio o Producto continuo
La letra pi minscula () fue utilizada por Ruffini para indicar factoriales. Con el
tiempo, este uso pas a la pi mayscula ().
As, Gauss escriba (n) para indicar "n factorial". Pero adems, en 1812, inici el uso
de la mayscula para indicar productos continuos, por razones obvias.
n
As
i 1234...n n!
i 1
i
i 1
Ancdota histrica: Corra el ao 1789. Carl Friedrich Gauss, que algn da llegara a
ser un gran matemtico y fsico, tena slo nueve aos. Cierta maana, su profesor, que
quera mantener ocupados a los nios durante un rato, les mand sumar los cien
primeros nmeros. Apenas haba terminado de asignar la tarea cuando Gauss se levant
y entreg su pizarra. Sobre la pizarra haba un nico nmero: 5050. Result que 5050
era precisamente la suma de los nmeros desde uno hasta cien. Cmo haba encontrado
la solucin tan rpido? (Intenta resolverlo antes de continuar).
Gauss se dio cuenta de algo curioso. La suma que haba que hacer era: 1 + 2 + 3 ++
100, que puede llevar bastante tiempo si se hace en ese orden, pero si se suman el
primero y el ltimo nmero, se obtiene 101. Lo mismo ocurre si se suma el segundo con
el penltimo y el tercero con el antepenltimo, y as sucesivamente. Se puede ver que
todas esas sumas tienen el mismo resultado.
1 + 100 = 101, 2 + 99 = 101, 3 + 98 = 101,, 49+52 = 101, 50 +51 = 101. Puesto que
hay evidentemente 50 parejas cuya suma es 101, el resultado de la suma desde uno hasta
cien es 50 101 = 5050. Esta manera de enfrentarse al problema es un excelente
ejemplo de solucin elegante.
Nmeros triangulares
Ejercicio 2:
Calclese
la
suma
de
los
primeros
nmeros
impares:
S n 1 3 5 ... (2n 1) 2n 1
i 1
2
(Sugerencia S1 1 , S 2 2 , S 3 3 , S 4 4 2 ,)
La solucin, debida a Pitgoras, se visualiza fcilmente de la siguiente manera:
Nmeros cudrados
El esquema geomtrico que muestra la figura siguiente manifiesta a relacin entre los
nmeros triangulares y los cuadrados:
TIPO
ORDEN
1
10
15
16
25
12
22
35
15
28
45
TRIANGULARES
CUADRADOS
PENTAGONALES
NMEROS
POLIGONALES
HEXAGONALES
En el principio fue...Pitgoras
Sin duda a Pitgoras le debemos el nacimiento de las Matemticas como ciencia. De
hecho el trmino Matemticas se lo debemos l.
Podemos resumir la deuda de la Humanidad con los pitagricos en estos cuatro puntos:
Proporciona la primera visin cosmolgica del universo fsico
Esta visin geomtrica les permiti obtener los primeros resultados generales
sobre propiedades de los nmeros naturales y poligonales.
Algunos evidentes, al fin y al cabo eso es lo que significa la palabra griega
"teorema", lo que se contempla, lo que se ve; aunque nada simples si los
miramos con ojos exclusivamente aritmticos
1. Los primeros teoremas geomtricos. Conocemos a Hipsicles, Ten de
Esmirna, Nicmaco de Gerasa y Boecio.
El tema se convirti en uno de los tpicos pitagricos ms habituales. Fue
tratado por Pseusipo y Filipo (en la Academia platnica), as como por
Hipsicles quien durante un tiempo fue honrado al ser llamados los nmeros
poligonales como Nmeros de Hipsicles. Ten de Esmirna realiz una
descripcin bastante desarrollada de los nmeros poligonales, que incluye
algunos de los teoremas generales anteriores en su obra Cuestiones tiles en
Matemticas para la lectura de Platn.
Aunque no llegaran a efectuar demostraciones generales de las relaciones entre
los distintos tipos de nmeros poligonales, sembraron la semilla de la curiosidad
en un campo abonado. Un campo que va reclamar la atencin de matemticos de
todas las pocas.
Cunto suman los n primeros cubos? La sorpresa de Nicmaco
Nicmaco de Gerasa (s. I d. de C.) en su Introduccin a la Aritmtica lleg a
descubrir resultados generales de inters como el hecho de que el cubo de todo
nmero entero n, es la suma de n nmeros impares consecutivos:
13 = 1; 23 = 3+5; 33 = 7 + 9 + 11; ... Y por tanto
13 + 23 + 33 +...+ n3 = 1 + 3 + 5 + 7 +...+ n(n + 1) 1 = (1 + 2 + 3 +...+ n)2 = (Tn)2
A pesar de contar con un modelo geomtrico claro, la obtencin de frmulas
algebraicas generales para obtener directamente estos nmeros ya no es tarea tan
simple. La obra de Nicmaco va a suponer un cambio radical en el estudio de
estos nmeros, la simple generalizacin emprica de la verificacin aritmtico
visual es reemplazada por proposiciones rigurosamente demostradas casi al
estilo eucldeo.
Manuscrito
medieval
N
D
Triangulares
10
15
Cuadrados
16
25
Pentagonales
12
22
35
Hexagonales
15
28
45
Heptagonales
18
34
55
Ahora es fcil comprobar que la relacin de los nmeros cuadrados con los
triangulares,
Cn = Tn + Tn-1 , es un caso particular de una ley ms general:
"Todo nmero poligonal es la suma del poligonal del mismo orden y de una dimensin
inferior ms el n triangular de orden inferior". Teorema de Nicmaco
Nd,n = Nd-1,n + Tn-1
1. El Renacimiento. Bachet y su famosa edicin de la Aritmetica de Diofanto
(1621).
G.Bachet de Meziriac public en 1621 la obra de Diofanto con interesantes apostillas
sobre nmeros poligonales, que inspiraron los bellos descubrimientos de Fermat sobre
la materia.
La descomposicin triangular
Nd,n = Tn + (d -3) Tn-1.
De donde es elemental obtener la frmula algebraica general:
1 1 1
1
... S
3 6 10 15
Leibniz, que a pesar de su escasa formacin, era un genio, dio la respuesta de forma
ingeniosa:
Calcul, no la suma, sino su mitad:
1/2 S = 1/2 + 1/6 + 1/12 + 1/20 +... =
= (1 1/2) + (1/2 1/3) + (1/3 1/4) + (1/4 1/5)... =
= 1 1/2 + 1/2 1/3 + 1/3 1/4 + 1/4 1/5... = 1
Luego S = 2
Y los medios cientficos y matemticos parisinos abrieron sus puertas de par en par a
Leibniz y quizs gracias a ello, pudo nacer el clculo diferencial e integral.
El problema de Basilea. Los malditos inversos de los cuadrados...
Si la suma de los inversos de los nmeros triangulares constituyeron un problema fcil
para Leibniz, no ocurri lo mismo con la suma de los inversos de los nmeros
cuadrados.
1+ 1/4 + 1/9 + 1/16+... = ?
En apariencia la solucin debe ser tan simple como la de los triangulares. Y as lo
pensaron los Bernoulli, pero pronto se dieron cuenta que algo iba mal.
La serie lleg a obsesionar a Jakob Bernoulli, que lleg a anunciar pblicamente este
grito de socorro:
"Grande ser nuestra gratitud si alguien encuentra y nos comunica lo que hasta ahora
ha escapado a nuestros esfuerzos"
Quin podra acudir a esta llamada de socorro? Solo una persona: el genial Euler
666 es el 36 nmero triangular, suma de los primeros 36 nmeros naturales. 666
= 1 + 2 + 3 ++ 36. Como 36 es a la vez cuadrado y triangular, 666 es el sexto nmero
de la forma n2(n2 + 1)/2 (cuadrados triangulares) y el octavo nmero de la forma n(n +
1)(n2 + n + 2)/8 (nmeros doblemente triangulares, los cuadrados de sus elementos son
a la vez nmeros triangulares).
Ejercicio 3:
Demostrar que la suma de los n primeros nmeros naturales pares es igual a n(n +1)
Cmo sera la visualizacin geomtrica?
Ejercicio 4:
n
2
3
n 1
n 1
Calcular la suma S n 1 2 2 2 ... 2 2
i 1
2
(Sugerencia S1 2 1 , S 2 2 2 1 , S 3 3 1 , S 4 4 2 1 ,)
Ejercicio 5:
n
es
i 1
n(n 1)(2n 1)
6
Ejercicio 6:
Demostrar que la suma de los cuadrados de los n primeros nmeros naturales impares
n
n(2n 1)(2n 1)
( 2i 1) 2 es igual a
3
i 1
Ejercicio 7:
n
es igual
i 1
Ejercicio 8:
n
2
3
n
n
Demostrar que 1 x x x ... x x
i 0
x n 1 1
x 1
x 1
Ejercicio 9:
Demostrar que para todo nmero natural mayor o igual que 2 (n 2) o bien es primo o
bien puede ser factorizado como producto de primos.
Ejercicio 10:
Demostrar que la suma de los ngulos interiores de un polgono convexo de n lados es
180(n 2)
Ejercicio 11:
Calcular el nmero de intersecciones de n rectas en el plano, tales que dos cualesquiera
de ellas no son paralelas y tres cualesquiera de ellas no tienen un punto en comn.
Ejercicio 12:
n( n 3)
2
Ejercicio 13:
Demostrar mediante el principio de induccin matemtica la validez de la siguiente
n
1
1
1
1
1 1
expresin: (1 )(1 )(1 )...(1 ) (1 ) para n 2
2
3
4
n i 1
i n
Ejercicio 14:
Demostrar mediante el principio de induccin matemtica la validez de la siguiente
n
1
1
1
1
1
...
n para n 2
expresin:
1
2
3
n i 1 i
Ejercicio 15:
Determinar para que valores de n N es verdadera la desigualdad 2n > n2 + 4n + 5.
Ejercicio 16:
Determinar si el producto de 3 nmeros impares consecutivos es divisible por 6.
Ejercicio 17:
Demostrar que para cualquier nmero natural n se cumple que n3 n es divisible por 6.
SOLUCIONES:
Problema 1: Tena 43 en 1849. L@s nacid@s en 1980 puede reclamar la misma
distincin; en 2025 tendrn 45 aos
n( n 1)
Ejercicio 1:
2
2
Ejercicio 2: n
Ejercicio 3: Un rectngulo de lados n y n +1
Ejercicio 4: Sn = 2n 1
Ejercicio 9: La proposicin es verdadera par n = 2, la suponemos cierta para todos los
valores menores o iguales que un cierto valor k (n k) y la vamos a demostrar para n =
k + 1, pues bien si k + 1 es primo ya esta vista la proposicin y si no es primo es
compuesto y se puede poner como producto de dos nmeros ms pequeos y a cada uno
de estos factores se les puede aplicar la hiptesis de induccin.
n( n 1)
Ejercicio 11:
2
Ejercicio 15: A partir de n = 7.
Ejercicio 16: Sea p(n) = (2n 1)(2n + 1)(2n + 3). Queremos determinar si p(n) es
divisible por 6 y si se cumple para todo n N.
Vemos que p(1) : 1 3 5 = 15 que no es divisible por 6. Luego p(1) es falso. Se puede
continuar calculando p(2); p(3); p(4); y vemos que ninguno cumple la condicin de
que sea divisible por 6. Es fcil ver que (2n 1(2n + 1)(2n + 3) = 8n3 + 12n2 2n 3 =
2(4n3 + 6n2 n 1) 1 luego este nmero es de la forma 2j 1 que es un nmero
impar y por lo tanto no es divisible por 6.
Ejercicio 18: La propiedad es cierta para n = 1: 13 1 = 0 que es divisible por 6 y,
suponiendo que la propiedad es cierta para n = k, es decir, que k3 k es divisible por 6:
k3 k = 6p hay que probar que se cumple para n = k + 1. Operando: (k+1)3 (k+1) =
k3 + 3k2 + 3k + 1 k 1 = k3 + 3k2 + 2k = (k3 k) + 3k2 + 3k = 6p + 3k(k+1) y teniendo
en cuenta que el producto de un nmero por su siguiente es mltiplo de 2, ya que alguno
de ellos es par, se cumple que: (k + 1)3 (k + 1) = 6p + 3k(k + 1) = 6p + 32q = 6(p + q)
de donde se concluye que es mltiplo de 6 y la propiedad es cierta para n = k + 1.