demostrando una desigualdad por contrapositiva

Sean a y b números reales arbitrarios. Proporcione una prueba por contrapositiva para la desigualdad dada.

a 2 + b 2 2 a b

¿Cómo se supone que voy a probar esto por contrapositivo? ¿Debo asumir a 2 + b 2 < 2 a b y, a continuación, mostrar al menos uno de a y b ¿no es real?

Con respecto al uso de la prueba por contraposición , tiene la idea correcta.
FYI, usando Approach0 , encontré el hilo AoPS interesante en ineq donde la Solución en el mensaje # 3 indica cómo puede proceder (siendo muy similar a esta respuesta aquí).

Respuestas (2)

Debes probar que la desigualdad a 2 + b 2 < 2 a b conduce a una contradicción si usted está trabajando en R . Eso es así porque

a 2 + b 2 < 2 a b a 2 2 a b + b 2 < 0 ( a b ) 2 < 0
y no hay ningún número real cuyo cuadrado sea menor que 0 .

El enunciado a probar es este:

(1) a , b R a 2 + b 2 2 a b .
Para probar la declaración ( 1 ) por medios contrapositivos para probar esta declaración (equivalente):
(2) a 2 + b 2 < 2 a b a R o b R .
la prueba de ( 2 ) está en la oración final de la respuesta de José.

PD Toda prueba por contraposición (como es el caso aquí) puede reformularse como prueba por contradicción. Sin embargo, no toda prueba por contradicción puede reformularse como prueba por contraposición.