Ecuaciones lineales. Didactica y perspectiva historica |. J. Aparicio Pedreiio Nota histérlea Los problemas relacionados con las ecuaciones lineales se remontan a los orfgenes de las matemdticas. Aunque ya los babilonios utilizaron pro- cedimientos de eliminacién de ine6gnitas, no es hasta el siglo XVII, cuan- do este tratamiento llega a ser un método (Gauss, 1777 - 1855), capaz de hacer posible la discusién y la resolucién en el caso general. Con anterioridad parece ser un hecho undnimemente reconocido por los historiadores, la utilizacion por Leibnitz (1646 - 1716) de los determi- nantes en 1693, (aunque en términos distintos de los actuales), en rela- cin conlos sistemas de ecuaciones ineales. Algo después Cramer (1704 -1752), en su obra «Introduccién al andlisis de las curvas algebraicas» (1750), publica la regla que lleva su nombre, pese a que realmente fue descubierta por Colin Maclaurin (1698 - 1746) alrededor de 1729, mien- tras elaboraba su «Tratado de Algebra». Esta injusticia histérica, como sefiala humorfsticamente C.B. Boyer (Boyer, 1986), se ve compensada Por otra arbitrariedad de la diosa Clio, al atribuir a Mac Laurin la serie que lleva su nombre, y que Stirling habfa sacado a la luz pablica una docena de afios antes que él, en su «Methodus differentialis» Matrices y determinantes son objeto de estudio durante el siglo XIX en relacién con problemas geométricos y algebraicos. Matematicos como ‘Cauchy, Hamilton, Cayley, Kronecker, Smith, Weierstrass, Silvester, etc. contribuyen a su desarrollo. Frobenius (1849 - 1917), perteneciente al circulo de Matematicas de Ber- lin, en el cual se forma, y del que Weierstrass (1815 - 1897) es la figura mas representativa, establece el concepto de rango de una matriz, y el, ‘Teorema de compatibilidad de los sistemas de ecuaciones lineales, ait- bufdo también al matemético franeés Rouché (1832 -1910). Bajo la in- fluencia de L. Kronecker, Frobenius desarrolla la teorfa de los divisores. elementales de una matriz, y con independencia del trabajo de Smith, establece condiciones necesarias y suficientes para la compatibilidad de un sistema de ecuaciones lineales diofénticas. Para entender el sentido de trabajos posteriores, algunos de ellos muy recientes, serd preciso de- tenernos en la formulacién actual de dichas condiciones: ‘elmo 57 fbrere de 2004 piginas 248 3Se considera un sistema (S) de ecuaciones lineales diofénticas (0 con coeficientes en un dominio de ideales principales R), de la forma AX = b, donde Aes una matriz de orden m xn con coeficientes en R, llamada matria de coeficientes del sistema, X=(«,, x... x,)' es la matriz columna de incégnitas,y b= (b, Dy, b,)'¢slamatriz columna formada por os trminos independientes de (8). Benotamos ala matriz ampliada al atiadr aA la columna b, por (Ab). EI siguiente Teorema establece condiciones necesarias y suficierites de compatibilidad: ‘Teorema.- Son equivalent 4) Bl sistema (S) es compatible. ’b) Las sucesiones de factores invariantes de la matriz A y de la matriz, Alb), son iguales salvo asociados. ©) Para cada entero 120, el maximo comin divisor de los menores de orden i de A coincide con el méximo comin divisor de los menores de orden i de (A[b) salvo asociados. A (A) =A , (Alb) para todo i= 0. ©) rg(A)=1g(A[b) = yA A = x (AID) SiMes una matriz con coeficientes en Ry de orden m xn, (M) repre- senta al ideal de R generado por los menores de orden ide M,y se llama i — ésimo ideal determinantal de M. Para i = 0, por convenio se define 4 ,(M) = R, yparai > min{m,n}, A (M)=(0) por ser el ideal generado por el conjunto vacfo igual a (0). Se lama rango de M, se representa por rg(M), al mayor entero, parael ‘que es 4 ,(M) + (0). SiR es un cuerpo, los inicos ideales son (0) y (1), el apartado e) se reduce ala igualdad entre los rangos de las matrices de coeficientes y ampliada, y el eorema anterior generaliza al Teorema de Rouché - Frobenius Por otra parte, como en los apartados a), d) y e) no se hace referencia a la estructura de dominio de ideales principales, podemos preguntarnos sila triple equivalencia a) + d) « e), o alguna de ellas, sigue cumplién- dose para anillos conmutativos en general. Esta busqueda de una mayor generalidad fue abordada ya (Steinitz, 1912), al extender los resultados de Frobenius a los sistemas sobre anillos de enteros algebraicos. 4 eucones ene. Dict y perspec hiérienPara anillos conmutativos anbitrarios no se mantiene la validez de esas ‘equivalencias, como se puede constatar con ejemplos sencillos: EnR = 2/(10), el sistema: 4x =1 dy= es incompatible, a pesar de que cumple la condicién e) del teorema an terior, por ser rg(A) = rg(AIb) = 2,y A (A) = 7,(AID) = (6)- Surge entonces naturalmente la pregunta de saber hasta donde resultan validas las equivalencias anteriores, es decir: cudl es la maxima genera- lidad del Teorema de Rouché - Frobenius? Esta pregunta fue contestada (Camion, Levy, Mann, 1972), al suponer R ‘dominio de integridad. Posteriormente en (Hermida y Sanchez - Giralda, 1984), se caracterizaron siguiendo métodos distntos, aquellos anillos ‘conmutativos en general para los que se cumple a) <= d) Mas recientemente se han caracterizado (Aparicio, 2002), siguiendo esen- w=(2h,-32, 2), yel vector (2,3,1) es un generador de V. 3. Céleulo de polinornios de interpolacién. Ejemplo.- Hallar el polinomio de segundo grado cuya gréfica pasa por los puntos A(2,1), B(3,9), 4,21). Solucion: y = 2x"-2x-8. Es interesante hacer ver que el sistema planteado es siempre de Cramer, por ser un determinante especial el de la matiz de coef 4 zuacones nes. ida y pespecta Neacientes, lamado de Vandermonde. ¥, en consecuencia, siempre existe un tinico Polinomio interpolador de grado menor o igual que n, dados n + 1 puntos, 4- Estudio de algunos aspectos de clertas funciones. E estudio de los sistemas de m ecuaciones lineales con n incdgnitas, es equivalente al estudio de las aplicaciones lineales £:R” —>R®. A pesar de {que este Gltimo quedé fuera del programa de segundo de Bachillerato, (yaantes del programa de COU), podemostratar algunos aspectos, me- diante los correspondientes sistemas, una vez que se ha visto el rata- miento general de éstos. Ejemplo 1. Averiguar sila aplicacion :R' — R’, definida por la igualdad: fosyz2) = G-yaxtya2at2y-2), es una biyeccién. Dado (a,b,c) € R? arbitrario, se trata de ver que el sistema: xty-z m+ Bz es de Cramer. Ejemplo 2.- Hallar los valores de ot para los que la aplicacién f:R? > R°, definida por la igualdad: f(x2) = (ox-ty-+z, x+ ay-tz, x+y a) es una biyeccién. Como en el ejercicio anterior, se trata de ver, dado (a,b,c) € R°cualquie- ra, para qué valores de a, el sistema: oxtyte xtoyt x+y+ az es un sistema de Cramer. 5.- Resolucion de problemas diofanticos elementales. _Ejemplo 1.- Los precios de las entradas de un teatro son: 18 euros las de Patio, 12 euros as de palco y 6 euros las de platea. Gastamos 102 euros ‘en comprar entradas de las tes clases, de modo que hemos comprado tantas butacas de platea como butacas de patio y de paleo, y ademés, la suma de las de palcoy patea equivalealtrple de las de patio. Estudiarla naturaleza del problema. |. Aare 5Solucién: Aunque el sistema es de Cramer, las sluciones son racionales no ente- 1a, dadas las condiciones del enunciado no tienen sentido. Se trata de un pro- blema imposible. Ejemplo 2.- Establece condiciones suficientes para que un sistema de ‘ecuaciones lineales diofanticas admita soluciones enteras. Solucidn: Ademds de la igualdad de los rangos, bataréafadila condicion de que la mate de coeficentes tenga algin menor principal gual a6 a1, dado que, al aplicar las formulas de Cramer, el denominador es el que puede dar lugar a que slo hayan soluciones racionales no enteras. Ejemplo 3.- Una empresa constructora hace viviendas de uno, dos y tres dormitorios. 2C1Na + tH,0 Contando los distintos tomas en los dos miembros de la reaccién ten- dremos: Clox=2 Hox+ Osy=t Nasy=2 sistema cuya solucién es de la forma: x 2. Paral =2: GUH + (HO)Na > CINa + H,0 6 ancons ines. Dicey perspec Wren7. Aplicaci6n al estudio de circuitos eléctricos. Ejemplo.- Utlizar la ley de Ohm y las leyes de Kirchoff para hallar las intensidades de cortiente i, en la linea AB, j, en BC, ¢ |, en BE, en el circuit: 4 8 $ Ohmios 2 Ble 2 7 i Ohmios Ohmios F - a sabiendo que entre A y B hay una resistencia de § 0, entre By E otra resistencia de 2 0, y que entre Cy D hay otra resistencia de 7.0. Y que la fem. proporciona un potencial de 10 V. ‘Solucin: La primera ley de KirchofT en el nudo B del ciculto nos dice: La segunda key de Kirchoff en el circuto ABEF, nos da: 10 = 5, +25, La segunda ley de Kirchoff en el citculto ACDF nos da: 10= Si, + 7h Resolviendo el sistema obtenemos: |, = 90/59 A; |, = 20/59 A; i = 70/59 A; Lt Como comentario final, quisiera afadir que en grupos tan heterogéneos como los de Bachillerato, y mas aiin en los de FSO, en donde es frecuen- te encontrar numerosos alumnos con escasos conocimientos y motiva- ciones para el estudio en general, y en especial para las Matematicas, puede que no sea adecuado proponer algunas de las actividades ante- riores al conjunto de toda una clase. Mas procedente podria ser la utliza- de las clases de recuperacién, o parte de otras clases, para trabajar Jos contenidos minimos con los alunos que presentan deficiencias¥, al mismo tiempo, proponer a los dems alumnos este otto tipo de activida- des que requieren algo mas de atencién y de interés. |: pari Peres vBibliografia Aparicio Pedrefo, J.J. (2002): Eeuactones lineales y anillos Conmutativos”. Extracta Mathematicae. Vol. 7, Nm. 2, 247 - 257. Bourbaki, N. (1972): Elementos de Historia de las Matemdticas. Alianza Universidad. Boyer, C. (1986): Historia de la Matemdtica, Alianza Universidad. Camion, Levy, Mann. (1972): "Linear equations overa commutative ring”. Journal of Algebra. 19, 432-446. Dieudonné, J. (1996): Abregé d “Histoire des Mathématiques. Hermann. Hermida, J.A., Sanchez Giralda, T. (1984): “Linear Equations over Commutative Rings and Deterrinantal Ideals’. Journal of Algebra. 72-79, Hermida, J.A., Sénchez Giralda, 7. (1987): “Sur les anneaux de Prifer’. Travaux en Cours 22. Hermann, 117-123. Steinitz, E. (1912): *"Rechteckige Systeme und Moduln in algebraischen Zabikorpern”. Math. Ann. 71, 328 -354. J.J. Aparicio Pedrefio, Departamento de Matematica Aplicada y Estadistica Universidad Politécnica de Cariagena 8 canciones eas. Dict y perspec histrien