Mcs - 05/18/2015 - 1:43 - pgina 15 - # 23

1.7 prueba por casos

rompiendo una prueba complicada en los casos y probando cada caso por separado es un lunes com, estrategia til a prueba.

He aqu un ejemplo divertido.

Pongmonos de acuerdo en que, dado que dos personas, ya sea que hayan cumplido o no. Si cada par de personas en un grupo

se ha reunido, llamaremos al grupo una club. Si cada par de personas en un grupo no se ha reunido, lo vamos a llamar a un grupo de extraos.

Teorema. Cada coleccin de 6 personas incluye un club de 3 personas o un grupo de 3 extraos. Prueba. La prueba es por

anlisis de caso 5 . Dejar x denotar una de las seis personas. Hay dos casos:

1. Entre 5 otras personas adems x, al menos 3 se han reunido x.

2. Entre las otras 5 personas, al menos 3 no se han reunido x.

Ahora, tenemos que estar seguros de que al menos uno de estos dos casos hay que mantener, 6 pero eso es fcil: hemos dividido

las 5 personas en dos grupos, los que han dado la mano

x y los que no tienen, por lo que uno de los grupos debe tener al menos la mitad de las personas.

Caso 1: Supongamos que al menos 3 personas cumplan x.

Este caso se divide en dos sub-casos:

5 Al describir su acercamiento al principio ayuda a orientar al lector.

6 Parte de un argumento anlisis de casos est demostrando que usted ha cubierto todos los casos. Esto a menudo es obvia, ya que los dos casos son de la

forma PAG " y no PAG . Sin embargo, la situacin anterior se declar no tan simplemente.
 Mcs - 05/18/2015 - una y cuarenta y tres - pgina 16 - # 24

diecisis Captulo 1 Qu es una prueba?

Caso 1.1: Sin par entre esas personas se reunieron entre s. Entonces, estas personas son un
grupo de al menos 3 extraos. El teorema se cumple en este sub-caso.

Caso 1.2: Algunos par entre las personas se han reunido entre s. Entonces ese par, junto con x, formar
un club de 3 personas. Por lo que el teorema se cumple en este sub-caso.

Esto implica que el teorema se cumple en el caso 1.

Caso 2: Supongamos que al menos 3 personas no cumplan x.

Este caso tambin se divide en dos sub-casos:

Caso 2.1: Cada par entre esas personas se reunieron entre s. Entonces, estas personas son un club de

al menos 3 personas. Por lo que el teorema se cumple en este sub-caso.

Caso 2.2: Algunos par entre aquellas personas que no se han reunido entre s. Entonces ese par, junto

con x, formar un grupo de al menos 3 extraos. Por lo que el teorema se cumple en este sub-caso.

Esto implica que el teorema tambin lleva a cabo en el Caso 2, y por ello mantiene en todos los casos.

1.8 prueba por la contradiccin

En un prueba por la contradiccin, o prueba indirecta, usted demuestra que si una proposicin fuera falsa, entonces algn

hecho falso sera cierto. Desde un hecho falso, por definicin, no puede ser cierto, la proposicin debe ser verdadera.

Prueba por la contradiccin es siempre un enfoque viable. Sin embargo, y como indica el nombre suge-, pruebas indirectas

pueden ser un poco complicado, por lo que las pruebas directas son generalmente preferibles cuando estn disponibles.

Mtodo: Con el fin de demostrar una proposicin PAG por contradiccin:

1. Escribir, Utilizamos prueba por la contradiccin.

2. Escribir, Supongamos PAG Es falso."

3. Deducir algo conocido que es falsa (una contradiccin lgica).

4. Escribir, Esta es una contradiccin. Por lo tanto, PAG debe ser verdad .
 Mcs - 05/18/2015 - una y cuarenta y tres - pgina 17 - # 25

1.9. Buenas pruebas en la prctica 17

Ejemplo

Vamos a demostrar por contradiccin que pag 2 es irracional. Recuerde que un nmero es ra- cional si es igual a una

relacin de nmeros enteros, por ejemplo, 3: 5 re 7 = 2 y 0: 1111 re

1 = 9 son nmeros racionales.

Teorema 1.8.1. pag 2 es irracional. Prueba. Utilizamos prueba por la contradiccin. Supongamos que el reclamo es falso, y pag 2 es

racio- nal. Entonces podemos escribir pag 2 como una fraccin n = d en los trminos ms bajos.

Elevando al cuadrado ambos lados da 2 re norte 2 = re 2 y entonces 2d 2 re norte 2. Esto implica que norte es un mltiplo de 2 ( consulte

Problemas 1.10 y 1.11). Por lo tanto norte 2 debe ser un mltiplo de 4. Sin embargo, desde 2d 2 re norte 2, sabemos 2d 2 es un mltiplo

de 4 y por lo re 2 es un mltiplo de 2. Esto implica que re es un mltiplo de 2.

Por lo tanto, el numerador y denominador tienen pag 2 como un factor comn, lo cual contradice el hecho de que n = d es

en su mnima expresin. As, 2 debe ser irracional.

1.9 Bueno Las pruebas en la prctica

Uno de los propsitos de una prueba es establecer la verdad de una afirmacin con absoluta certeza y pruebas
verificables mecnica de gran longitud o complejidad puede lograr esto. Pero humanamente pruebas inteligibles
son los nicos que ayudan a algu- uno entiende el tema. Los matemticos suelen coincidir en que importantes
resultados matical mathe- no pueden comprenderse por completo hasta que sus pruebas se entienden. Es por ello
que las pruebas son una parte importante del plan de estudios.

Para ser comprensible y til, se requiere ms de una prueba que slo correccin lgica: una buena prueba tambin

debe quedar claro. Correccin y claridad por lo general van de la mano; una prueba bien escrito es ms probable que sea

una prueba correcta, puesto que los errores son ms difciles de ocultar.

En la prctica, la nocin de prueba es un objetivo en movimiento. Las pruebas en una revista de investigacin profesional en

general son ininteligibles para todos sino algunos expertos que conocen toda la terminologa y los resultados anteriores

utilizados en la prueba. Por el contrario, las pruebas en las primeras semanas de un curso de iniciacin al igual que 6.042 seran

consideradas como tediosamente largo aliento por un matemtico profesional. De hecho, lo que aceptamos como una buena

prueba ms adelante en el plazo ser diferente de lo que consideramos buenas pruebas en el primer par de semanas de 6.042.

Pero an as, podemos ofrecer algunos consejos generales sobre cmo escribir buenas pruebas:

Estado de su plan de juego. Una buena prueba comienza explicando la lnea general de rea-
soning, por ejemplo, Utilizamos anlisis de casos o Argumentamos por contradiccin.
 Mcs - 05/18/2015 - una y cuarenta y tres - pgina 18 - # 26

18 Captulo 1 Qu es una prueba?

Mantenga una de flujo lineal. A veces las pruebas se escriben como mosaicos matemticos, con

jugosos chismes de razonamiento independiente esparcidas por. Esto no est bien. Los pasos
de un argumento deben sucederse en un orden inteligible.

Una prueba es un ensayo, no un clculo. Muchos estudiantes inicialmente escriben pruebas el camino

se calculan las integrales. El resultado es una larga secuencia de expresiones sin explicacin alguna, lo
que es muy difcil de seguir. Esto es malo. Una buena prueba general se parece a un ensayo con
algunas ecuaciones tirado. Oraciones completas.

Evitar el exceso de simbolismo. Su lector es probablemente bueno para entender palabras,

pero mucho menos hbil en la lectura de smbolos matemticos arcanos. Utilice las palabras en la que

razonablemente pueda.

Revisar y simplificar. Sus lectores estarn agradecidos.

Introducir la notacin cuidadosamente. A veces, un argumento puede ser en gran medida simplifica

fi ed mediante la introduccin de una variable, la elaboracin de una notacin especial, o de fi nir un nuevo plazo.

Pero hacerlo con moderacin, ya que usted est requiriendo al lector a recordar todo lo que cosas nuevas. Y

recuerde realidad definen los significados de nuevas variables, trminos o anotaciones; no acaba de empezar a

usarlos!

Estructurar pruebas largas. programas largos se dividen generalmente en una jerarqua de menor

procedimientos. pruebas largas son prcticamente los mismos. Cuando su prueba necesaria hechos que se

indican con facilidad, pero no result fcil, los que de hecho estn mejor sac como lemas preliminares. Adems,

si usted est repitiendo esencialmente el mismo argumento una y otra vez, tratar de capturar ese argumento en un

lema general, que se puede citar en varias ocasiones en su lugar.

Tenga cuidado con lo obvio. Cuando se necesitan hechos familiares o verdaderamente evidentes en una

prueba, que est bien para etiquetarlos como tales y no probarlas. Pero recuerda que lo que es
obvio para usted puede no ser -y por lo general no es evidente para el lector.

Muy especialmente, no utilice frases como claridad o es evidente en un intento de intimidar al lector a
aceptar algo que usted est teniendo problemas para probar. Tambin, ir en estado de alerta cada vez que
vea una de estas frases en la prueba de otra persona.

Terminar. En algn momento de la prueba, se le han establecido todos los hechos esenciales
necesitas. Resiste la tentacin de dejar de fumar y dejar al lector a sacar la conclusin de
evidente. En su lugar, atar todo junto a ti mismo y explicar por qu la demanda original sigue.
 Mcs - 05/18/2015 - una y cuarenta y tres - pgina 19 - # 27

1.10. referencias 19

Crear una buena prueba de ello es muy parecido a la creacin de una bella obra de arte. De hecho, los
matemticos se refieren a menudo muy buenas pruebas como elegante o bella. Se necesita prctica y experiencia
para escribir pruebas que merecen tales elogios, pero para empezar en la direccin correcta, vamos a proporcionar
plantillas para la la mayora de las tcnicas de prueba tiles.

A lo largo del texto hay tambin ejemplos de pruebas falsas : argumentos que
parecerse a pruebas, pero no lo son. A veces una prueba falsa puede llegar a conclusiones falsas a causa de errores o

suposiciones errneas. pruebas falsas ms sutiles llegan a conclusiones correctas, pero lo hacen de maneras impropias

tales como el razonamiento circular, saltando a injustificado conclusiones fi cados, o diciendo que la parte dura de la

prueba se deja al lector. Aprender a detectar las AWS fl en pruebas inadecuadas se perfeccionar sus habilidades al ver

cmo cada paso de la prueba es consecuencia lgica de pasos previos. Sino que tambin le permitir detectar fl AWS en

sus propias pruebas.

La analoga entre los buenos y los buenos programas de pruebas se extiende ms all de la estructura. El mismo

pensamiento riguroso necesario para las pruebas es esencial en el diseo de sistemas informticos cal criti-. Cuando los

algoritmos y protocolos nica en su mayora trabajan debido a la dependencia de los argumentos de la mano que agita,

los resultados pueden variar desde problemtico catastrfica. Un ejemplo temprano fue la Therac 25 , Una mquina que

proporciona la terapia de radia- cin a las vctimas del cncer, pero de vez en cuando mat themwith sobredosis masivas

debido a una condicin de carrera de software. A (agosto de 2004) muestra ms reciente es el de un solo comando

defectuosa a un sistema informtico utilizado por United y American Airlines que basa toda la flota de ambas empresas-y

todos sus pasajeros!

Es una certeza que todos vamos a ser un da a merced de los sistemas informticos crticos diseados por usted y sus

compaeros de clase. As que realmente esperamos que va a desarrollar la capacidad de formular argumentos lgicos

slidos como una roca que un sistema realmente hace lo que usted cree!
OpenCourseWare del MIT
https://ocw.mit.edu

6.042J / 18.062J Matemticas para la Informtica

primavera 2015

Para obtener informacin acerca citando estos materiales o las condiciones de uso, visite: https://ocw.mit.edu/terms .