User manual

186 Lista alfabética
solve()
Catálogo >
Pode separar as equações com o operador
and ou pode introduzir um
SistemaDeEquações com um modelo do
Catálogo. O número de
argumentosVarOuHipótese tem de
corresponder ao número de equações.
Opcionalmente, pode especificar uma
hipótese inicial para uma variável. Cada
VarOuHipótese tem de ter a forma:
variável
– ou –
variável = número real ou não real
Por exemplo, x é válido e, por isso, é x=3.
Se todas as equações forem polinomiais e
se não especificar qualquer tentativa inicial,
solve() utiliza o método de eliminação
Gröbner/Buchberger para tentar
determinar todas as soluções reais.
Por exemplo, suponha que tem um círculo
de raio r na origem e outro círculo de raio r
centrado onde o primeiro círculo cruza o
eixo x positivo. Utilize solve() para localizar
as intersecções.
Como ilustrado pelo r no exemplo à direita,
as equações polinomiais simultâneas
podem ter variáveis adicionais sem valores,
mas representam valores numéricos dados
que podem ser substituídos
posteriormente.
Pode também (ou em vez de) incluir
variáveis da solução que não aparecem nas
equações. Por exemplo, pode incluir z como
uma variável da solução para expandir o
exemplo anterior para dois cilindros de
intersecção paralelos de raio r.
As soluções dos cilindros ilustram como as
famílias de soluções podem conter
constantes arbitrárias da forma c k, em que
k é um sufixo com valor inteiro de 1 a 255.
Para ver o resultado completo, prima £ e,
de seguida, utilize ¡ e ¢ para mover o
cursor.