DEFINICIN

Una definicin es una proposicin mediante la cual se trata de exponer de manera unvoca y con
precisin la comprensin de unconcepto o trmino o diccin o si consta de dos o ms palabras
de una expresin o locucin. Se alude a determinar, por escrito u oralmente, de modo claro y
exacto, las cualidades esenciales del tema implicado. Por consiguiente, definicin es una
descripcin de un complejo de estado de cosas u objetos, circunstancias o abstracciones que
permanecen unidas por medio de un establecimiento de la zona de validez.
http://es.wikipedia.org/wiki/Definici%C3%B3n
Conjetura
Por conjetura se entiende el juicio que se forma (moral, tico o matemtico) de las cosas o sucesos por
indicios y observaciones. Enmatemticas, el concepto de conjetura se refiere a una afirmacin que se
supone cierta, pero que no ha sido probada ni refutada hasta la fecha. Una vez se demuestra la
veracidad de una conjetura, esta pasa a ser considerada un teorema de pleno derecho y puede
utilizarse como tal para construir otras demostraciones formales.
http://es.wikipedia.org/wiki/Conjetura
ALGUNAS CONJETURAS MATEMTICAS


Se denomina conjetura matemtica a una afirmacin que se supone cierta, pero que carece de
demostracin hasta la fecha de su formulacin. Exponemos a continuacin una serie de conjeturas
que fueron propuestas hace bastante tiempo, habiendo sido alguna de ellas resuelta
recientemente mientras que otras no lo han sido hasta el momento, a pesar de que todas ellas
tienen un enunciado elemental y muy fcil de comprender,

Empezaremos por el problema de los cuatro colores, que afirma que dado un mapa cualquiera
del plano bastan cuatro colores para colorearlo, de manera que cada pas tenga un solo color y que
pases vecinos lleven colores distintos. Como vemos es un problema de enunciado sencillo y
apariencia inofensiva, pero que esconde numerosas sutilezas. Fue planteado en 1852 por De
Morgan y no fue resuelto hasta 1976 cuando Appel y Haken, con la colaboracin de Koch,
publicaron la demostracin completa del teorema. Esta fue muy complicada, con un gran nmero
de pginas y ms de mil horas de computador. Era el primer ejemplo de un problema largamente
buscado que logr resolverse con el uso de los ordenadores.

En 1998, Hales anunci la demostracin de otro problema clsico, el problema de Kepler (1611)
que consista en saber cul es la manera ms eficiente de apilar esferas en el espacio , o dicho de
otro modo, cmo se debe llenar una caja con esferas idnticas para que la parte de la caja que
quede vaca sea la menor posible. La conjetura afirmaba que la mejor manera de hacerlo es la
que cualquier frutero seguira al apilar naranjas en una caja. Cuando Hilbert incluy esta conjetura
en su famosa lista de problemas, no saba el papel que los empaquetamientos de esferas iban a
desempear en la tecnologa de la informacin. El diseo de buenos empaquetamientos permite
enviar seales por un canal con ruido sin perder calidad. Los cdigos que garantizan la fidelidad del
sonido de un CD utilizan versiones binarias de los empaquetamientos.
Este problema tiene bastantes similitudes con el anterior, en el sentido de que ambos tienen
planteamientos sencillos, ha habido numerosos intentos por resolverlos, han dado lugar a tcnicas
matemticas interesantes, y la demostracin final requiere el uso del ordenador.

Tambin las conjeturas anteriores comparten con el ltimo teorema de Fermat (S. XVII)
varias caractersticas o similitudes. Su enunciado afirma que la ecuacin x
n
+y
n
= z
n
para n>2
no puede tener soluciones enteras distintas de cero.
Esta conjetura preocup a los matemticos durante ms de tres siglos hasta que finalmente
fue resuelta por Andrew Wiles en 1994, utilizando los recursos ms sofisticados de la matemtica
actual. Pese a su simple enunciado la demostracin result muy complicada y slo entendible para
una mnima parte de los matemticos.

Pasamos ahora a dar una serie de conjeturas clsicas de teora de nmeros propuestas
hace tiempo y que no han podido ser resueltas hasta ahora, a pesar se sus enunciados
elementales y fcilmente comprensibles.

Cualquier nmero mayor que cuatro se puede expresar como suma de dos nmeros primos
impares (conjetura de Goldbach, 1742).

Dos nmeros primos que difieren en dos unidades se llaman primos gemelos. Se desconoce
si el nmero de primos gemelos es infinito.

Los primos que son de la forma 2
p
-1, donde p es otro nmero primo, se llaman primos de
Mersenne. No se sabe si hay infinitos de estos nmeros.

Los nmeros naturales que son iguales a la suma de sus divisores, diferentes de s mismos,
se llaman nmeros perfectos. Por ejemplo, los nmeros 6, 28, 496, 8128 son perfectos.
Tampoco se sabe si hay infinitos nmeros perfectos ni si hay algn nmero perfecto impar.

Se sabe que para todo primo p>3 siempre hay un nmero primo comprendido entre p y 2p,
pero se desconoce si existe siempre un nmero primo comprendido entre p
2
y (p+1)
2
.

Finalmente, expondremos un par de curiosidades que presentan conjeturas no resueltas y
que parecen atractivas.

Tomamos un nmero natural cualquiera. Si es impar lo multiplicamos por 3 y le aadimos 1. Si
es par, lo dividimos entre 2. Si repetimos la operacin sucesivamente llegamos siempre al nmero
1. Por ejemplo:

130 65 196 98 49 148 74 37 112 56 28 14 7 22

11 34 17 52 26 13 40 20 10 5 16 8 4 2 1

Esto ha sido comprobado con calculadoras hasta nmeros muy grandes, pero no est
demostrado que sea un hecho general.

Por otra parte, en el evangelio de San Juan aparece el nmero 153 como el nmero de
peces que cogieron los discpulos al echar la red, siguiendo el consejo de Jess y tras una
noche en la que no haban pescado nada. Dicho nmero ha sido considerado como nmero
mgico y tiene algunas propiedades como las siguientes:

Es un nmero triangular, ya que: 1+2+3+ ..... +17 = 153

1! + 2! + 3! + 4! + 5! = 153

1
3
+ 3
3
+ 5
3
= 153

Adems, si partimos de un nmero natural que sea mltiplo de 3 y sumamos los cubos
de sus cifras, y al resultado le aplicamos la misma operacin y as sucesivamente, llegamos
siempre al nmero 153. Por ejemplo:

1374 435 216 225 141 66 432 99 1458 702 351 153

Por eso se dice que el nmero 153 es un agujero negro, respecto de la suma de los cubos
de sus cifras, ya que al llegar a l no se puede salir ya.

www.educarm.es/templates/portal/ficheros/.../124/conje.doc

Un teorema es una frmula bien formada que puede ser demostrada dentro de un sistema formal.
Demostrar teoremas es un asunto central en la lgica y la matemtica.
Un teorema generalmente posee un nmero de premisas que deben ser enumeradas o aclaradas
de antemano. Luego existe una conclusin, una afirmacin lgica o matemtica, la cual es
verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relacin que
existe entre las hiptesis y la tesis o conclusin.
Se llama corolario a una afirmacin lgica que sea consecuencia inmediata de un teorema,
pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.
En matemtica una afirmacin debe ser interesante o importante dentro de la comunidad
matemtica para ser considerada un teorema. Las afirmaciones menos importantes se denominan:
Lema: una afirmacin que forma parte de un teorema ms amplio. El lema de Gauss y el lema
de Zorn, por ejemplo, son considerados demasiado importantes per se para algunos autores,
por lo cual consideran que la denominacin lema no es adecuada.
Corolario: una afirmacin que sigue inmediatamente a un teorema. Una proposicin A es un
corolario de una proposicin o teorema B si A puede ser deducida sencillamente de B.
Proposicin: una afirmacin o resultado no asociado a ningn teorema en particular.
Una afirmacin matemtica que se cree verdadera pero no ha sido demostrada se
denomina conjetura o hiptesis. Por ejemplo: laconjetura de Goldbach o la hiptesis de Riemann.

http://es.wikipedia.org/wiki/Teorema
Corolario
Un corolario (del latn corollarium)
1
es un trmino que se utiliza en matemticas y en lgica para
designar la evidencia de un teoremao de una definicin ya demostrados, sin necesidad de invertir
esfuerzo adicional en su demostracin. En pocas palabras, es una consecuencia tan evidente que no
necesita demostracin.
A menudo se trata de una inferencia, si bien la distincin entre teorema y corolario es tan subjetiva como
entre lema y teorema.
http://es.wikipedia.org/wiki/Corolario