Vías para la demostración de un Teorema
Una demostración es un razonamiento o argumento deductivo que se utiliza para afirmar la verdad de una proposición matemática.
El método indirecto
Radica en negar la tesis del teorema, con esta proposición y las reglas de la lógica y en la teoría se tiene que hallar una contradicción en relación a las premi sas, una proposición verdadera o respecto a la suposición. A partir de este punto, no se continúa el procedimiento de trabajo de la demostración, ya que una proposición y su negación no logran ser verdaderas a la misma vez
Demostración por exhaustividad
La conclusión se constituye al fraccionarla en un número finito de casos y experimentar cada uno por individual.
Demostración probabilística
Consiste en mostrar que un ejemplo existe, con certeza, usando métodos probabilisticos.
«Una demostración consiste en una sucesión de fórmulas que, o bien axiomas, o bien teoremas, o se han obtenidos estas mediantes inferencias admisibles»
Demostración regresiva o progresiva
Se combina con otros métodos, se caracteriza por partir de la hipótesis y llegar directamente a la tesis o conclusión, o puede partir de la conclusión y llegar a la hipótesis.
Demostración no constructiva
Es la que determina que un objeto con una propiedad existe sin explicar cómo tal objeto se puede encontrar.
Demostración por combinatoria
La misma establece la igualdad de expresiones desiguales al mostrar que cuentan para el mismo objeto