Anuncio

Colapsar
No hay ningún anuncio todavía.

¿Esta demostración es formal?

Colapsar
X
 
  • Filtro
  • Hora
  • Mostrar
Borrar todo
nuevos mensajes

  • 1r ciclo ¿Esta demostración es formal?

    Hola,

    Me gustaría que me diesen vuestra opinión sobre esta demostración que he hecho para ver si tengo que ser más riguroso en alguna parte:

    Si tenemos con números reales ambos no nulos ¿Puede suceder que ?

    Demostración:
    Supongamos que es cierto el enunciado, entonces existirá un tal que
    Desarrollamos y queda
    Entonces,

    Sin embargo,
    Por tanto,
    ¿En qué puedo mejorar?
    Última edición por Malevolex; 27/09/2017, 00:00:30.

  • #2
    Re: ¿Esta demostración es formal?

    La demostración es formal, yo solo cambiaría la redacción del final. En una reducción al absurdo suele ser interesante llegar al absurdo al final de todo y para que sea más elegante no se suele explicitar de nuevo que no se verifica lo que queríamos probar como haces con el .
    Una propuesta, no necesariamente la mejor, de cómo yo lo haría:
    Empezaría poniendo: "Vamos a probar que no es cierto" (para que el lector ya sepa a priori que se enfrenta a una reducción al absurdo). Después pondría el desarrollo que has usado hasta que llegas a que . Tras eso, simplemente dices:
    "Esto implica que o , lo cual contradice el enunciado. Q.E.D".

    Saludos,
    Última edición por angel relativamente; 27/09/2017, 05:49:56.
    [TEX=null]k_BN_A \cdot \dst \sum_{k=0}^{\infty} \dfrac{1}{k!} \cdot 50 \cdot 10_{\text{hex}} \cdot \dfrac{2\pi}{\omega} \cdot \sqrt{-1} \cdot \dfrac{\dd x} {\dd t } \cdot \boxed{^{16}_8\text{X}}[/TEX]

    Comentario

    Contenido relacionado

    Colapsar

    Trabajando...
    X