# Equação linear

Diz-se em matemática que uma equação polinomial a $n$ indeterminadas da forma
    $a_{n}X_{n}+a_{n-1}X_{n-1}+\cdots +a_{1}X_{1}+a_{0}=0_{A},$
em que os coeficientes $a_{0},a_{1},\ldots ,a_{n}$ pertencem a um anel comutativo $A$ e $0_{A}\in A$ é o nulo do anel, é uma equação linear sobre $A$. De outro modo, fixado um polinômio $p\in A[X_{1},\ldots ,X_{n}]$ de grau um,
    $p=0_{A}$
é uma equação linear.
Uma equação linear pode não vir expressa na forma mais simples acima, muito embora seja sempre possível exprimi-la assim. Por exemplo, expressões da forma $p=a$ e $p=q$, em que $p\in A[X_{1},\ldots ,X_{n}]$, $q\in A[X_{1},\ldots ,X_{m}]$ e $a\in A$, são igualmente equações lineares; a primeira uma forma particular da segunda (tome para $q$ o polinômio de grau 0 constante igual a $a$). Como $p-a$ e $p-q$ são polinômios, $p-a=0_{A}$ e $p-q=0_{A}$ são equações lineares reduzidas a forma mais simples.
Nem sempre uma equação linear sobre $A$ possuirá solução sobre $A$, mas sempre possuirá solução em alguma extensão de $A$. Por exemplo, se $A$ é um subanel de $\mathbb {R}$, toda equação linear sobre $A$ possuirá solução em $\mathbb {R}$. Na verdade, para ser mais preciso, se $A$ é um subanel de um subcorpo $\mathbb {K}$ de $\mathbb {R}$, então toda equação linear sobre $A$ possui solução em $\mathbb {K}$.
Equações lineares com coeficientes reais são de grande importância em física, engenharia e matemática aplicada. Muitos problemas modelados por equações não-lineares podem ser aproximados localmente por equações lineares. Realmente, essas áreas valem-se largamente do emprego de variedades, objetos geométricos que podem ser aproximados, localmente, por espaços euclideanos, objetos geométricos descritos corretamente por equações lineares.

## Equação linear homogênea

Se $p\in A[X_{1},\ldots ,X_{n}]$ é um polinômio homogêneo de grau um, diz-se que $p=0_{A}$ é uma equação linear homogênea. Neste caso, como o polinômio $p=a_{n}X_{n}+\cdots +a_{1}X_{1}+a_{0}$ é homogêneo, tem-se
    $a_{n}(tX_{n})+\cdots +a_{1}(tX_{1})+a_{0}=t(a_{n}X_{n}+\cdots +a_{1}X_{1}+a_{0})$
para qualquer $t$ escolhido num subanel ou numa extensão de $A$. Em particular, pode-se escolher $t=0_{A}$. Assim, no caso em que $p$ é homogêneo, obrigatoriamente $a_{0}=0_{A}$.
Sem dificuldade, verifica-se que
    $(X_{1},\ldots ,X_{n})=(0_{A},\ldots ,0_{A})$
é sempre uma solução de uma equação linear homogênea $a_{n}X_{n}+\cdots +a_{1}X_{1}=0_{A}$ qualquer. Por outro lado, se $(X_{1},\ldots ,X_{n})=(0_{A},\ldots ,0_{A})$ é solução da equação linear $a_{n}X_{n}+\cdots +a_{1}X_{1}+a_{0}=0_{A}$, então
    $a_{n}0_{A}+\cdots +a_{1}0_{A}+a_{0}=a_{0}=0_{A},$
ou seja, a equação linear é homogênea. Segue assim a caracterização de equações lineares homogêneas:
    Uma equação linear $a_{n}X_{n}+\cdots +a_{1}X_{1}+a_{0}=0_{A}$ tem o coeficiente $a_{0}=0_{A}$, ou seja, é homogênea, se e somente se $(X_{1},\ldots ,X_{n})=(0_{A},\ldots ,0_{A})$ é uma solução.
Uma equação linear homogênea $a_{n}X_{n}+\cdots +a_{1}X_{1}=0_{A}$ tem as duas seguintes propriedades:
* Se $(b_{1},\ldots ,b_{n})$ e $(c_{1},\ldots ,c_{n})$ são soluções da equação, então $(b_{1}+c_{1},\ldots ,b_{n}+c_{n})$ também é uma solução da equação; e
* Se $(b_{1},\ldots ,b_{n})$ é uma solução da equação e $c$ uma constante, então $(cb_{1},\ldots ,cb_{n})$ também é uma solução da equação.
Ademais, dada uma equação linear qualquer $a_{n}X_{n}+\cdots +a_{1}X_{1}+a_{0}=0_{A}$, se $(b_{1},\ldots ,b_{n})$ é uma solução particular da equação, desde que $(c_{1},\ldots ,c_{n})$ seja solução da equação linear homogênea associada $a_{n}X_{n}+\cdots +a_{1}X_{1}=0_{A}$, tem-se que $(b_{1}+c_{1},\ldots ,b_{n}+c_{n})$ é também uma solução da equação.

## Equação linear a uma indeterminada

No caso de uma única indeterminada, uma equação linear assume a seguinte forma
    $aX+b=0_{A},$
com $a,b\in A$ e $a\neq 0_{A}$, sendo também normalmente chamada de equação do primeiro grau.
Adicionando o oposto aditivo de $b$ a ambos os membros da equação, usando que a adição é associativa, que adição de um elemento com o seu oposto aditivo resulta no neutro aditivo e que a adição de um elemento qualquer com o neutro aditivo resulta no próprio elemento, obtém-se
    $aX=-b.$
Se $A$ é um anel com identidade e $a$ um elemento invertível do anel, então multiplicando ambos os membros da equação acima por $a^{-1}$ ganha-se $X=-a^{-1}b$, ou seja, a equação linear possui uma e só uma solução. Assim, nos anéis com divisão as equações lineares com uma única indeterminada possuem sempre uma única solução.
A condição de que o anel tenha unidade e o coeficiente $a$ tenha inverso é suficiente, mas não necessária. Por exemplo, qualquer equação linear sobre o anel dos inteiros pares tem solução (sempre no próprio anel), muito embora o anel não possua elementos invertíveis nem elemento unidade.
Se uma equação $aX+b=0_{A}$ possui solução no anel $A$, desde que $a$ não seja um divisor de $0_{A}$, a solução da equação é única. Realmente, se $a$ não é divisor de zero no anel $A$ e $c_{1}$ e $c_{2}$ são duas soluções da equação $aX+b=0_{A}$, então $(ac_{1}+b)-(ac_{2}+b)=0_{A}-0_{A}$ implica $a(c_{1}-c_{2})=0_{A},$ ou seja, necessariamente $c_{1}-c_{2}=0_{A}$ e, assim, $c_{1}=c_{2}$.
A falta de unicidade de solução no anel $A$ para uma equação $aX+b=0_{A}$, em que $a\neq 0_{A}$ e $a$ é divisor de zero, fica clara quando se escolhe um $q\in A$ tal que $aq=0_{A}$. Assim, se $c$ é solução da equação, tem-se $a(q+c)+b=(aq+ac)+b=0_{A}+(ac+b)=0_{A}$, ou seja, neste caso $q+c$ também é solução da equação.

### Exemplos

* A equação $2X+3=0$ não tem solução no anel dos inteiros, mas tem solução, única, no anel dos racionais ($-{\frac {3}{2}}\in \mathbb {Q}$ é a única solução da equação);
* ${\frac {\sqrt {2}}{3}}\in \mathbb {R}$ é a única solução da equação $3X-{\sqrt {2}}=0$;
* $82\in 2\mathbb {Z}$ é a única solução da equação linear $4X-328=0$. É solução porque $4\times 82-328=328-328=0$ e é única porque o anel $2\mathbb {Z}$ não possui divisores de $0$;
* A equação linear ${\overline {3}}X+{\overline {3}}={\overline {0}}$ em $\mathbb {Z} _{9}$ tem solução, mas não solução única. Por um lado, note que ${\overline {3}}\times {\overline {2}}+{\overline {3}}={\overline {6}}+{\overline {3}}={\overline {9}}={\overline {0}}$, ou seja, ${\overline {2}}$ é solução da equação. Por outro, ${\overline {3}}\times {\overline {3}}={\overline {9}}={\overline {0}}$, isto é, ${\overline {3}}$ é divisor de zero em $\mathbb {Z} _{9}$ e, assim, ${\overline {3}}+{\overline {2}}={\overline {5}}$ também é uma solução da equação.

## Equação linear a duas ou mais indeterminadas

Uma equação linear a duas ou mais indeterminadas, diferentemente de uma equação linear a uma indeterminada, que possui no máximo uma solução, pode ter um número infinito de soluções. Na verdade, sempre que uma equação linear a duas ou mais indeterminadas possuir uma solução sobre um anel infinito, possuirá infinitas soluções nesse anel. Por exemplo, uma equação diofantina linear pode ou não ter solução, mas se tiver, terá infinitas soluções (decorrência de que o anel dos inteiros $\mathbb {Z}$ é infinito).

### Equações sobre corpos

Uma equação linear $a_{n}X_{n}+\cdots +a_{1}X_{1}+a_{0}=0$ sobre um corpo $\mathbb {K}$ sempre tem solução e todas as suas soluções são n-uplas de elementos do corpo.
Por exemplo, o coeficiente $a_{n}\neq 0$ (e todos os outros não-nulos) de $a_{n}X_{n}+\cdots +a_{1}X_{1}+a_{0}=0$ possui inverso em $\mathbb {K}$, de modo que
    $a_{n}X_{n}+\cdots +a_{1}X_{1}+a_{0}=0\Longleftrightarrow X_{n}=-a_{n}^{-1}a_{n-1}X_{n-1}-\cdots -a_{n}^{-1}a_{1}X_{1}-a_{n}^{-1}a_{0}.$
Portanto, $\{(t_{1},\ldots ,t_{n-1},-a_{n}^{-1}a_{n-1}t_{n-1}-\cdots -a_{n}^{-1}a_{1}t_{1}-a_{n}^{-1}a_{0}):t_{1},\ldots ,t_{n-1}\in \mathbb {K} \}\subseteq \mathbb {K} ^{n}$ é o conjunto-solução da equação.
Na descrição do conjunto-solução, escreveu-se a n-ésima indeterminada em função das n-1 primeiras e variou-se estas arbitrariamente para obter todas as soluções da equação. Contudo, poder-se-ia ter escrito qualquer uma das n indeterminadas em função das demais; obteria-se assim o mesmo conjunto-solução.

## Equações lineares reais e espaços euclideanos

Dados vetores $\mathbf {a} =(a_{1},\ldots ,a_{n})$ e $\mathbf {b} =(b_{1},\ldots ,b_{n})$ do espaço vetorial euclideano n-dimensional $\mathbb {R} ^{n}$, tem-se, da definição de produto interno usual,
    $a_{1}b_{1}+\cdots +a_{n}b_{n}-\langle \mathbf {a} ,\mathbf {b} \rangle =0.$
Assim, fixado um real $\alpha$, o conjunto-solução da equação linear sobre $\mathbb {R}$ dada por $a_{1}X_{1}+\cdots +a_{n}X_{n}-\alpha =0$,
    $\{(X_{1},\ldots ,X_{n})\in \mathbb {R} ^{n}:a_{1}X_{1}+\cdots +a_{n}X_{n}-\alpha =0\},$
é o conjunto de todos os vetores $\mathbf {x} =(X_{1},\ldots ,X_{n})\in \mathbb {R} ^{n}$ tais que $\langle \mathbf {a} ,\mathbf {x} \rangle =\alpha$. Em particular, o conjunto-solução da equação linear homogênea $a_{1}X_{1}+\cdots +a_{n}X_{n}=0$,
    $\{(X_{1},\ldots ,X_{n})\in \mathbb {R} ^{n}:a_{1}X_{1}+\cdots +a_{n}X_{n}=0\},$
é o complemento ortogonal do subespaço vetorial gerado por $\mathbf {a} =(a_{1},\ldots ,a_{n})\in \mathbb {R} ^{n}$, comummente denotado por $\mathbf {a} ^{\perp }$.
De forma equivalente, o conjunto-solução da equação $a_{1}X_{1}+\cdots +a_{n}X_{n}-\alpha =0$ é a imagem inversa $f^{-1}(\alpha )$ em que $f:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ é o funcional linear definido por $(X_{1},\ldots ,X_{n})\mapsto a_{1}X_{1}+\cdots +a_{n}X_{n}$ e, em particular, $f^{-1}(0)=\mathbf {a} ^{\perp }$.