Si a, b, c son enteros consecutivos, entonces a+b+c es mltiplo de tres.

Demuestre que la suma de un irracional y un racional es un irracional.

Por contradiccin suponemos que la suma de un irracional y un racional es
racional bajo la suposicin de que i es irracional y r es el racional y llegamos a
contradiccin llegando a establecer que cualquiera de los dos no cumple con la
condicin de ser racional o irracional
Sea y un irracional y x un racional entonces suponemos que y + x es un
racional, es decir y + x = s donde s es racional. Si despejamos i nos queda que
i = s r es un RACIONAL lo cual es una contradiccin porque i es un irracional.

x racional , y irracional
x+ y irracional

hipotesis tesis
T =x+ y racional
sea s un racional
y + x=s
y=sx
sx es racional porque ambos son racionales
y=sx contradicin porque y es irracional
Como se llega a contradiccin entonces la tesis es verdadera