Diferencia entre revisiones de «Sin pérdida de generalidad»

Contenido eliminado Contenido añadido
Aosbot (discusión · contribs.)
m Mantenimiento de Control de autoridades
 
Línea 7:
:''Hay tres manzanas, cada una de las cuales puede ser verde o roja. Demuéstrese que, al menos, hay dos manzanas del mismo color.''
 
Demostración: supóngase sin pérdida de generalidad que la primera manzana es roja. Si cualquierala desegunda lasmanzana otrastambién dos manzanaslo es roja, hemos terminado; en caso contrario las(la otrasmanzana es verde), la tercera manzana será o roja o verde, con lo que tendremos necesariamente ya sea dos manzanas sonrojas o verdes, y también hemoshabremos terminado.
 
Podemos suponer sin pérdida de generalidad que la primera manzana es roja porque no hay ninguna diferencia entre que sea roja o verde para el objetivo de la demostración. Si fuera verde no habría más que cambiar los nombres de los dos colores en la demostración, y los nombres de los colores no importan ya que la demostración es igualmente correcta si cambiamos "rojo" por "verde" y viceversa.