Origem dos sistemas lineares e determinantes

Na matemática ocidental antiga são poucas as aparições de sistemas de equações lineares. No Oriente, contudo, o assunto mereceu atenção bem maior. Com seu gosto especial por diagramas, os chineses representavam os sistemas lineares por meio de seus coeficientes escritos com barras de bambu sobre os quadrados de um tabuleiro. Assim acabaram descobrindo o método de resolução por eliminação — que consiste em anular coeficientes por meio de operações elementares. Exemplos desse procedimento encontram-se nos Nove capítulos sobre a arte da matemática, um texto que data provavelmente do século 111 a.C.

Mas foi só em 1683, num trabalho do japonês Seki Kowa, que a ideia de determinante (como polinômio que se associa a um quadrado de números) veio à luz. Kowa, considerado o maior matemático japonês do século XVII, chegou a essa noção através do estudo de sistemas lineares, sistematizando o velho procedimento chinês (para o caso de duas equações apenas).

O uso de determinantes no Ocidente começou dez anos depois num trabalho de Leibniz, ligado também a sistemas lineares. Em resumo, Leibniz estabeleceu a condição de compatibilidade de um sistema de três equações a duas incógnitas em termos do determinante de ordem 3 formado pelos coeficientes e pelos termos independentes (este determinante deve ser nulo). Para tanto criou até uma notação com índices para os coeficientes: o que hoje, por exemplo, escreveríamos como a₁₂, Leibniz indicava por 1₂.

A conhecida regra de Cramer para resolver sistemas de n equações a n incógnitas, por meio de determinantes, é na verdade uma descoberta do escocês Colin Maclaurin (1698-1746), datando provavelmente de 1729, embora só publicada postumamente em 1748 no seu Treatise of algebra. Mas o nome do suíço Gabriel Cramer (1704-1752) não aparece nesse episódio de maneira totalmente gratuita. Cramer também chegou à regra (independentemente), mas depois, na sua Introdução à análise das curvas planas (1750), em conexão com o problema de determinar os coeficientes da cônica geral A + By + Cx + Dy² + Exy + x² = 0.

O francês Étienne Bézout (1730-1783), autor de textos matemáticos de sucesso em seu tempo, sistematizou em 1764 o processo de estabelecimento dos sinais dos termos de um determinante. E coube a outro francês, Alexandre Vandermonde (1735-1796), em 1771, empreender a primeira abordagem da teoria dos determinantes independente do estudo dos sistemas lineares — embora também os usasse na resolução destes sistemas. O importante teorema de Laplace, que permite a expansão de um determinante através dos menores de r filas escolhidas e seus respectivos complementos algébricos, foi demonstrado no ano seguinte pelo próprio Laplace num artigo que, a julgar pelo título, nada tinha a ver com o assunto: "Pesquisas sobre o cálculo integral e o sistema do mundo".

O termo determinante, com o sentido atual, surgiu em 1812 num trabalho de Cauchy sobre o assunto. Neste artigo, apresentado à Academia de Ciências, Cauchy sumariou e simplificou o que era conhecido até então sobre determinantes, melhorou a notação (mas a atual com duas barras verticais ladeando o quadrado de números só surgiria em 1841 com Arthur Cayley) e deu uma demonstração do teorema da multiplicação de determinantes — meses antes J. F. M. Binet (1786-1856) dera a primeira demonstração deste teorema, mas a de Cauchy era superior.

Além de Cauehy, quem mais contribuiu para consolidar a teoria dos determinantes foi o alemão Carl G. J. Jacobi (1804-1851), cognominado às vezes "o grande algorista". Deve-se a ele a forma simples como essa teoria se apresenta hoje elementarmente. Como algorista, Jacobi era um entusiasta da notação de determinante, com suas potencialidades. Assim, o importante conceito de jacobiano de uma função, salientando um dos pontos mais característicos de sua obra, é uma homenagem das mais justas. 
 
HYGINO H. DOMINGUES
* Enviado pelo usuário Jaime Batista