Si incluyes la aplicación de axiomas o transformaciones como parte de las derivaciones o pruebas como cálculos, entonces, sí, deberías hacerlos bien. Si uno es pobre en copiar expresiones largas con las sustituciones adecuadas, entonces hay una respuesta moderna. Es usar una aplicación como Mathematica (con la que estoy familiarizado y a la que hago referencia, pero hay otras).
El truco consiste en sustituir una habilidad, la copia sin errores (y nítida) de expresiones largas por la sustitución o la transformación, por otra habilidad, escribiendo reglas y rutinas que especifiquen los axiomas y las transformaciones y aplicándolas. Sostengo que la segunda habilidad puede no ser más rápida de usar, pero es menos propensa a errores y está más concentrada en las matemáticas reales.
Un segundo truco, al usar Mathematica, no es considerarlo como un bloc de notas, o una calculadora súper gráfica, o una hoja de trabajo de programación, o un procesador de palabras matemáticas (aunque en parte es todas estas cosas), sino como una hoja de papel en blanco en la cual usted está desarrollando/aprendiendo y escribiendo sus matemáticas. Podría, debería, en realidad, contener la organización seccional y la descripción textual y la discusión, así como los cálculos. Es una hoja de papel bastante mágica porque tiene memoria, puede hacer cálculos activos, puede acumular conocimientos (en las definiciones, reglas y rutinas que especifique), puede contener hermosos gráficos y presentaciones dinámicas de varios tipos.
El siguiente truco es hacer un intento sincero de calcular todo. No lo rellenes con un procesador de textos. No pretendo, o no estoy seguro, de que esto pueda hacerse siempre, pero una amplia y profunda franja de las matemáticas se puede hacer por cálculo informático. Esto tiene varias ventajas: todo el cálculo, derivación o prueba está en gran medida autodidacta en el sentido de que los cálculos no funcionarán con errores de entrada; el punto de partida (axiomas, teoremas y transformaciones utilizados) debe estar presente, a veces un tema confuso para los estudiantes; la brecha entre el punto de partida y el resultado deseado está más claramente definida para un investigador o un estudiante.
Como cualquier documento de computadora uno puede revisar y editar. Podrías tener el Intento 1, el Intento 2, etc., en secciones separadas y luego tirar los intentos fallidos. No tienes que seguir copiando la expresión inicial a mano. El documento terminado es útil y puede ser consultado en el futuro o añadido. El conocimiento acumulado podría ser pasado a otros cuadernos o hacia arriba a los paquetes utilizados por otros documentos de cuaderno. Hay enormes ventajas en este enfoque.
Las desventajas son que necesitas tener la aplicación de Mathematica y que hay una curva de aprendizaje extendida. Es poco probable que usted pueda comprarlo y luego comenzar a usarlo por sí mismo para cualquier problema matemático significativo.