La mayoría de las otras respuestas usan pruebas por contradicción. Aquí hay otro enfoque:
Prueba (por casos) :
Caso 1: [matemáticas] a \ geq 10 [/ matemáticas]
En este caso, la afirmación es trivialmente verdadera, ya que [matemática] a \ geq 10 [/ matemática] implica que [matemática] a [/ matemática] o [matemática] b [/ matemática] son mayores o iguales que [matemática] 10 [/matemáticas].
- ¿Cómo integrará [math] \ displaystyle \ int _ {- \ pi / 2} ^ {\ pi / 2} \ cos ^ {8} x \: \ mathrm {d} x [/ math]?
- Cómo resolver [matemáticas] 25x = 5 ^ {x-1} [/ matemáticas]
- ¿Un altavoz mono de 1/2 vatios (8 ohmios) consume 0.25A máx.
- Programa de escritura en Java para tomar un amt. del usuario y divídalo en denominaciones de 2000,1000,500,100,50,20,10,5,2 y 1 usando solo estructuras condicionales (marque la casilla de comentarios para obtener más instrucciones)
- ¿Cómo resolver para [matemáticas] x [/ matemáticas] en lo siguiente? [matemáticas] 2 \ sen x = \ cos (x-45 ^ \ circ) [/ matemáticas]
Caso 2: [matemáticas] a <10 [/ matemáticas]
[matemática] \ Rightarrow 20 \ leq a + b <10 + b [/ math]
[matemática] \ Rightarrow 10 + b-10> 20-10 [/ matemática]
[matemáticas] \ por lo tanto b> 10 [/ matemáticas]
Y nuevamente, la afirmación es cierta.
Como debe ser cierto que [math] a \ geq 10 [/ math] o [math] a <10 [/ math], hemos demostrado que la afirmación es verdadera en todos los casos. ∎