¿Existe un nombre genérico para "realizar una operación en ambos lados" de una ecuación/desigualdad?
Sí. El nombre es álgebra (quizá "hacer álgebra" sea más apropiado y/o suene mejor).
Aquí hay tres fuentes:
- La palabra "álgebra" procede de un libro escrito en 830 por el astrónomo Mohammed ibn Musa al-Jumarizmi (c. 825), titulado Al-jabr w'al muqâbala . La palabra al-jabr significa "restablecer", en este contexto, restablecer el equilibrio en una ecuación colocando en un lado de una ecuación un término que se ha eliminado del otro; así, si $-7$ se elimina de $x^2 - 7 = 3$ el equilibrio se restablece escribiendo $x^2 = 7 + 3$ . Al' muqâbala significaba "simplificación", como al combinar $3x$ y $4x$ en $7x$ o restando términos iguales de ambos lados de una ecuación. [...] Cuando el libro de al-Khowarizmi se tradujo por primera vez al latín en el siglo XII, el título se tradujo como Ludus algebrae et almucgrabalaeque aunque también se utilizaron otros títulos. El nombre de la asignatura se acortó finalmente a álgebra. ( El libro de Kline )
- Él [al-Jwarizmi] lo hizo en su libro al-jabr w al-muqabalah . "Al-jabr" (de donde procede nuestra palabra "álgebra") denota el desplazamiento de un término negativo de una ecuación al otro lado para hacerlo positivo, y "al-muqabalah" se refiere a la cancelación de términos iguales (positivos) en ambos lados de una ecuación. Se trata, por supuesto, de procedimientos básicos para resolver ecuaciones polinómicas. Al-Khwarizmi (de cuyo nombre deriva el término "algoritmo") los aplicó a la solución de ecuaciones cuadráticas. ( El libro de Kleiner )
- El sentido matemático [de la palabra álgebra] procede del título de un libro árabe del siglo IX ilm al-jabr wa'l-mukabala la ciencia de restablecer lo que falta e igualar lo semejante con lo semejante", escrita por el matemático al-Kwarizmi. ( Diccionarios Oxford )
EDITAR
@BillDubuque señaló que una respuesta correcta a la pregunta debería dar nombre a la siguiente regla: las igualdades se conservan "realizando una operación en ambos lados" (véanse los comentarios de este post).
En la terminología de Patrick Suppes, el nombre de esta regla puede ser Consecuencia de la norma que regula las identidades .
Regla que rige las identidades (RGI): Si $S$ es una fórmula abierta, de $S$ y $t_1=t_2$ o de $S$ y $t_2=t_1$ podemos deducir $T$ siempre que $T$ resultados de $S$ sustituyendo una o más apariciones de $t_1$ en $S$ por $t_2$ . Además, la identidad $t=t$ es derivable del conjunto vacío de premisas. ( Libro Suppes )
Observación 1: Dada una operación $f$ , dejemos que $S$ sea la fórmula $f(z)=f(z)$ . Entonces, por la RGI, $$x=y\quad\Longrightarrow\quad f(x)=f(y).$$ En otras palabras, "las igualdades se preservan realizando una operación en ambos lados".
Observación 2: La RGI también justifica las sustituciones generales en las igualdades. Por ejemplo, $x+y=2$ y $x=y+3$ implica $(y+3)+y=2$ (aquí, $S$ es la fórmula $x+y=2$ ). Para entender la palabra "general", véanse los comentarios en la respuesta de ASKASK.
Observación 3: Otros nombres (probablemente, los habituales) son Sustitución , Propiedad de sustitución y Sustitución por igualdad (ver otras respuestas y comentarios).
0 votos
¿La factorización cuenta como simplificación?
0 votos
@JBKing Sea o no una simplificación, una factorización sería un ejemplo de sustitución.
3 votos
Yo suelo llamarlo "equilibrar la ecuación", ya que estás haciendo la misma operación en ambos lados.
5 votos
@JohnOdom Es un punto de vista interesante, pero una pega podría ser que la ecuación ya estaba equilibrada. ¿Reequilibrado?
0 votos
@ColinK Suena bastante bien. Realmente no conozco los términos técnicos matemáticos, sólo recuerdo el proceso :P.
1 votos
Véase este hilo de sci.math Sustitución por igualdad del 13 de mayo de 2007.
0 votos
Volviendo a nuestros axiomas del anillo, la mayoría de las veces podemos pensar en "realizar una operación en ambos lados" como una simple secuencia de sustituciones. Por ejemplo, si queremos añadir c a ambos lados de la ecuación a=b, podemos hacer a=b->a+0=b+0->a+c-c=b+c-c->a+c=b+c, utilizando la identidad aditiva, los inversos y luego la cancelación.
1 votos
Creo que (2) se formaliza mediante la noción de congruencia : books.google.ie/
0 votos
@ColinK: En alemán el término Äquivalenzumformung describe lo que quiere decir en Q2, si la operación no cambia la solución de la ecuación. La única traducción que encuentro es "transformación equivalente", pero al parecer no es estándar.
0 votos
Nota: para que conste, esta pregunta estaba en la lista caliente de toda la red, por lo que es probable que la votación esté sesgada por el voto "drive-by".
0 votos
Si defines "sustitución" como "cualquier reemplazo en un lado que mantenga la (in)igualdad verdadera" entonces tu punto (1) se reduce a "o modificamos un lado o ambos lados de forma que se mantenga la (in)igualdad", lo que obviamente es cierto.
1 votos
Los asistentes de pruebas suelen utilizar
cong
abreviatura de "congruencia", para demostrar que $x = y \implies f~x = f~y$ .