No tengo recomendaciones bibliográficas, pero daré una impresión de mis ideas personales. Nota: Soy un estudiante, no un profesor, así que esto será una mezcla de mis opiniones y mi experiencia de lo que funciona bien con los "profesores del mundo real". ;)
La mayoría de las preguntas en un curso de matemáticas piden una demostración. Si no lo hacen, suelen pedir que se simplifique una determinada expresión para obtener un valor, lo que puede considerarse una pregunta de demostración simplemente dando una prueba de que tu respuesta es correcta. En las preguntas de prueba, creo que los aspectos más importantes de la calidad son claridad y rigor .
Claridad
La claridad consiste en asegurarse de que el lector entiende realmente lo que se está tratando de explicar. Dado que una demostración (en cualquier cosa que no sea lógica formal) no es más que una explicación a un matemático de por qué una afirmación es correcta, es importante que este lector entienda lo que está diciendo. Esto implica definir cualquier notación o variable nueva que introduzcas y enlazar adecuadamente tus ideas en inglés (o en el idioma que utilices).
Recuerda que está bien que tu respuesta sea una mezcla de símbolos y texto normal, y que puedes usar esto a tu favor. Si ves que una determinada igualdad se mantiene para las razones A y B, di algo como "Tenemos la igualdad \ldots = \ldots porque A y B". Si puedes demostrar tu igualdad utilizando unos pocos pasos intermedios ( \ldots = \ldots = \ldots = \ldots ), pero una de las igualdades requiere alguna explicación, haz una pequeña marca sobre el signo de igualdad correspondiente (por ejemplo \stackrel{\star}= ) y después explicar por qué la igualdad en \star se mantiene.
Rigor
El rigor consiste en asegurarse de que cada paso que das es claramente cierto. Si la afirmación que tienes que demostrar fuera obvia, podrías decirlo y listo, pero normalmente (¿siempre? La educación parece funcionar así) no es así, así que tendrás que explicar por qué (O por qué los valores dados son iguales, o por qué tu respuesta es correcta, etc.)
En matemáticas, una prueba es realmente una serie de afirmaciones, cada una de las cuales se desprende claramente de las afirmaciones anteriores, la última de las cuales es la cosa que se requiere demostrar y la primera son las cosas que se permiten asumir. [1] A menudo podrás omitir tus suposiciones en la prueba en un examen, pero para la estructura, para asegurarte de que no estás olvidando ninguna suposición, y para permitir que el profesor compruebe si lees las suposiciones en la pregunta correctamente, podría ser útil escribir tus suposiciones explícitamente antes de empezar con tu prueba.
Entonces, en la prueba, como se ha dicho anteriormente, cada una de las afirmaciones que hagas, cada una de tus afirmaciones, debe seguirse "obviamente" de tus afirmaciones anteriores. Qué pasos son obvios y cuáles no lo son depende completamente de tu experiencia matemática y de tu exposición al tema específico que estás estudiando, pero en general me gusta decir que si sientes que necesitas decir explícitamente que algo es "trivial", aparentemente piensas que es fácil, así que también debería ser fácil escribir una prueba real. :) Si crees que necesitas recurrir a argumentos intuitivos, probablemente merezca la pena intentar dar un argumento formal de todos modos, que no utilice nada más que la lógica y los teoremas que puedes asumir como verdaderos. (Una verdad básica también es un teorema, por supuesto; no necesitarás argumentar por qué 3 + 5 = 8 ya que eso se desprende de la definición de adición que se espera que su lector conozca. En álgebra lineal, tampoco necesitarás argumentar por qué, para una matriz A y un vector v , Av = \vec 0 implica que v \in \mathrm{ker}A ya que la definición del núcleo de una matriz es suficiente para dejarlo claro).
Reunir todo, y más
La claridad y el rigor tienen mucho que ver, por supuesto, y sólo juntos hacen una buena prueba. Descomponer tu argumento en pasos sencillos que sean claramente verdaderos seguramente ayudará a la claridad, ya que esos pasos sencillos no requerirán ninguna explicación complicada. Pero explicar claramente lo que estás haciendo y por qué funciona también debería ayudar al rigor, ya que es mucho más probable que una buena explicación convenza al lector de que lo que crees que es correcto es realmente correcto; y convencer al lector de que tu argumento es correcto es realmente convencerle de que la afirmación que estás demostrando es correcta, que era el objetivo de tu prueba en primer lugar.
Por supuesto, hay otros aspectos a tener en cuenta, como una buena estructura, es decir, un diseño estético y sencillo. Si escribes expresiones matemáticas largas, dales su propio espacio: no las escribas en línea con el texto, ya que eso sólo reduce la claridad visual. Pero si tienes una expresión matemática corta que realmente tiene sentido leer en medio de una frase, escríbela sin problemas en línea; al fin y al cabo, así es como se supone que el lector debe leer tu frase.
También es importante utilizar el vocabulario adecuado: no expliques un concepto en términos generales cuando hay un término bien definido que significa lo que quieres decir. Pero no exageres: si es realmente más claro utilizar un lenguaje menos denso, hazlo. Si el profesor estuviera evaluando tu dominio de la terminología, te lo habría pedido explícitamente, no te habría pedido esta prueba.
A veces, en las pruebas más largas o que utilizan la inducción, primero se hace una afirmación y sólo después se demuestra esa afirmación, tras lo cual se utiliza el hecho de que la afirmación era cierta para trabajar el resto de la prueba. Esto puede parecer que no encaja directamente en el modelo descrito anteriormente de una serie de afirmaciones en las que cada una se sigue de las últimas, pero sí lo hace si ves esta afirmación y su demostración como un teorema separado (que sólo se enuncia y demuestra "por casualidad" en medio de tu prueba), tras lo cual invocas tu afirmación, siendo entonces obvia porque es un teorema ya demostrado. En las pruebas que utilizan la inducción, esto suele ocurrir con las dos subpruebas de la base de la inducción y el paso de la inducción, pero por lo demás esto suele reservarse sólo para pruebas más complicadas que probablemente no escribirás en un examen. Pero conocer la técnica es útil, ya que puede ser útil de vez en cuando.
Practica
Espero que lo anterior te ayude un poco. Si puedes, practica mucho y haz que lean tus pruebas, por ejemplo, estudiantes mayores o profesores, si puedes conseguir que lo hagan (pista: es más probable que lean una prueba corta y clara que una prueba larga y enrevesada, lo que remite exactamente a los puntos que he mencionado antes). En mi experiencia, la redacción de pruebas es sólo experiencia y heurística; normalmente hay innumerables formas de escribir una prueba matemática concreta. Pero, por otro lado, muchos matemáticos tienen (en sus mentes) ideas bastante claras y fuertes sobre qué pruebas son buenas y qué pruebas no lo son, y a medida que madures matemáticamente, aprenderás cómo convencer a otros matemáticos de manera eficiente y qué pruebas usted como para leer. Mezcla ambas cosas y puede que produzcas una buena prueba.
[1]: Consejo: ¡haz un curso de lógica formal! Allí aprenderás a hacer esto realmente formalmente, especificando exactamente qué enunciados anteriores está utilizando, y por qué (es decir, utilizando qué regla de inferencia) el enunciado actual se sigue de los anteriores.
(EDIT: Nota [1] y párrafo sobre las reclamaciones en las pruebas)
0 votos
Una cosa que puedo recomendar es resolver problemas y luego compararlos con las soluciones dadas en el libro o las soluciones dadas por tu profesor. Y practicar la notación cada vez que se escribe es útil
2 votos
El curso más útil que hice en la universidad fue un curso de introducción a la lógica, impartido en el departamento de filosofía. Fue tan útil que 30 años después busqué al profesor, que se había jubilado y ahora enseñaba como voluntario en Guatemala, para darle las gracias. Me di cuenta de que había llegado a tener bastante éxito como miembro de la facultad en una universidad de primera categoría. Así que esto dice algo. La moraleja de la historia: haz un curso de lógica. Luego haz un curso de teoría de números o un curso que enseñe álgebra lineal desde un punto de vista teórico.
7 votos
Esto puede ayudarte: Algunas observaciones sobre la redacción de pruebas matemáticas por John M. Lee
6 votos
¿Has preguntado a tu profesor por qué ¿estás perdiendo puntos?
0 votos
Para ampliar el comentario de @ulaff.net: especialmente si el curso de lógica discute la deducción natural, o si puedes estudiar la deducción natural por tu cuenta, eso podría ayudar definitivamente a entender la estructura general que va en una prueba o argumento matemático. (La deducción natural pretende ser una formalización más o menos directa de los tipos de pruebas en lenguaje natural que los matemáticos presentan a diario en artículos o en conferencias).