Академический Документы
Профессиональный Документы
Культура Документы
La
demostra,ción
Los matemáticos intentan justificar sus afirmaciones
rnediante demostraciones. La búsqueda de argumentos
racionales irrefutables es la fierzamotriz de las
matemáticas puras. Cadenas de deducciones correctas a
parür de lo q.te se sabe o de lo que se supone c^onducen al
inatemático á una conclusión que luego pasa a formar parte
del depósito de las matemáticas establecidas.
Gnonol
Er¡ Elenentos, Euclides proporcicna Descartes promueve el rigor
75
6xú.=2x (3 + I + J + I r -l + l)
Esto significa que 6 x 6 es un múritiplo de 2 y, como t:'il, es un númertr
ptrr. Pero en este ral()nitr[iento no se Ltsil el 6 por nad¿r en particlllaf, y
po.lríamos haber empezrtdo con n = Z x k ol¡teniendo
nxn= 2x(k+¡1 r-..+k)
y l1eganc1o a la concL,si(rn cle t.ltie n x n es I'rar' I'iLrestr:I clemostracitirt
ya está completa. En e1 pasado, a matemírlicos c01t1o Euclicles les grrs-
taba escnbir *QED, al tinal de una demost.ración p;rra clecir que el
trabajo ya estaba hecl-ro' es una abreviatr-rra del Latín quod erat demons'
ffLwdL.Lm (1o c}re había rlue dem()strar). Hoy en día us¿ln r-rn cuadraclo
rellenc¡ !. A este se le denomina 'síml¡olo cle Halmos", por Paul
Halmos, que to introdujo.
El rnétOdO indireCtO En este mérodo hacemos cuenta de cl-re
la conclusitin es fz-rLsamediante rin razonarnlento lógico demostra-
1,
mos qlle esto contradice la hiptitesis. Dernostrernos el resuLtado ante-
rior mediante este métoc1o.
Nuestra hipótesis es que n es par y haremos cllenta de que n x n es im-
par. Podemos escribir Lllte n x n = n + n + ... + n y que hay n tle estos'
Esto signilica Llue n no pttecle ser par (porque. si lo ftrera, n x n sería
par). Por consiguiente, n es impar, 1o que contradice 1a hipótesis' f
; ,,
:.i' I
I
-:
,_ j nl ,. ."3 i