Manual PT PDF

MANUAL
WIRIS 2.2
www.wiris.com
©2007 maths for more sl. Todos os direitos
reservados.
Índice
1 minuto ...............................................................................................................................................4
Objectos matemáticos ....................................................................................................................... 7
Números............................................................................................................................................................................................. 7
Variáveis.............................................................................................................................................................................................8
Atribuição e definição de valores a variáveis ................................................................................................................................. 8
Outros objectos.................................................................................................................................................................................9
WIRIS ++ ............................................................................................................................................ 14
Linguagem de programação..........................................................................................................................................................14
Estruturas de dados....................................................................................................................................................................... 15
Aritmética .......................................................................................................................................... 20
Símbolos.......................................................................................................................................................................................... 20
Parêntesis........................................................................................................................................................................................ 21
Divisibilidade................................................................................................................................................................................... 22
Álgebra linear ....................................................................................................................................25
Operações........................................................................................................................................................................................ 25
Funções............................................................................................................................................................................................27
Equações e sistemas .......................................................................................................................30
Resolução de equações e sistemas de equações......................................................................................................................30
Equação .........................................................................................................................................................................................30
Sistema de equações ....................................................................................................................................................................31
Sistemas lineares na forma matricial........................................................................................................................................... 31
Métodos numéricos........................................................................................................................................................................ 32
Uso das soluções........................................................................................................................................................................... 32
Equações diferenciais ordinárias................................................................................................................................................. 33
Resolução de equações e de sistemas de inequações............................................................................................................. 34
Análise ............................................................................................................................................... 35
Derivação......................................................................................................................................................................................... 35
Integração........................................................................................................................................................................................ 36
Cálculo de primitivas ..................................................................................................................................................................... 36
Integração definida ........................................................................................................................................................................ 37
Cálculo de limites........................................................................................................................................................................... 38
Limite ............................................................................................................................................................................................. 38
Limite lateral .................................................................................................................................................................................. 39
Séries de Taylor.............................................................................................................................................................................. 39
Séries................................................................................................................................................................................................40
Equações diferenciais.................................................................................................................................................................... 41
Funções ............................................................................................................................................. 43
Definição de funções......................................................................................................................................................................43
Funções reais.................................................................................................................................................................................. 45
Progressões ...................................................................................................................................... 49
Funções............................................................................................................................................................................................49
Geometria .......................................................................................................................................... 51
Objectos geométricos.................................................................................................................................................................... 51
Funções............................................................................................................................................................................................56
Estudo geométrico .........................................................................................................................................................................56
Transformações ............................................................................................................................................................................. 63
Gráficos 2D ....................................................................................................................................... 66
Comando desenhar.........................................................................................................................................................................66
Desenho de regiões........................................................................................................................................................................71
Comando representar.....................................................................................................................................................................73
Comandos para escrever texto..................................................................................................................................................... 73
Prancheta de desenho................................................................................................................................................................... 75
Geometria interactiva..................................................................................................................................................................... 78
Gráficos 3D ....................................................................................................................................... 79
Comando desenhar.........................................................................................................................................................................79
Comandos para escrever texto..................................................................................................................................................... 85
Prancheta de desenho................................................................................................................................................................... 86
Geometria interactiva..................................................................................................................................................................... 88
Estatística .......................................................................................................................................... 89
Funções............................................................................................................................................................................................90
Funções com duas variáveis........................................................................................................................................................ 92
Cálculo combinatório .......................................................................................................................95
Funções............................................................................................................................................................................................95
Unidades de medida ........................................................................................................................ 99
Notação ........................................................................................................................................................................................100
Aritmética ..................................................................................................................................................................................... 100
Funções ....................................................................................................................................................................................... 100
Tabelas........................................................................................................................................................................................... 101
Unidades básicas do SI .............................................................................................................................................................. 101
Unidades derivadas do SI ...........................................................................................................................................................102
Unidades de outros sistemas de unidades ................................................................................................................................ 103
Prefixos do Sistema Internacional de Unidades .........................................................................................................................103
Menus, ícones... ..............................................................................................................................105
Separadores da barra de ferramentas........................................................................................................................................105
Prancheta de desenho................................................................................................................................................................. 115
Barra de ferramentas .................................................................................................................. 118
Quem pode configurar a barra de ferramentas?...................................................................................................................... 118
Porquê configurar a barra de ferramentas?.............................................................................................................................. 118
Como se pode configurar a barra de ferramentas?................................................................................................................. 118
Exemplo..........................................................................................................................................................................................118
Primária .........................................................................................................................................120
O que é?........................................................................................................................................................................................ 120
Onde está?.....................................................................................................................................................................................120
1 minuto......................................................................................................................................................................................... 120
Desktop........................................................................................................................................................... 123
Interface de utilizador .................................................................................................................... 123
Menus............................................................................................................................................................................................. 123
Janelas do utilizador.................................................................................................................................................................... 123
Apêndice........................................................................................................................................................................... 127
Índice Alfabético.............................................................................................................................................................. 578
wiris, materiais de ajuda
1 minuto
Numa sessão de trabalho com a calculadora WIRIS podem efectuar-se cálculos diversos que são agrupados em blocos.
Os passos do processo de cálculo são:
1. Com recurso ao teclado, ou usando os ícones associados a diferentes comandos, constrói-se a expressão que se
pretende calcular.
2. Em cada bloco é possível introduzir tantas expressões quantas as desejadas. Para acrescentar uma nova expressão
a seguir à expressão em que se encontra o cursor, iremos utilizar a tecla Enter (Enter).
3. Para avaliar a expressão ou bloco de expressões clica-se no ícone ou prime-se a tecla Ctrl + Enter(Ctrl + Enter).
4. Obtém-se o resultado à direita da expressão original e separado pela seta .
Para criar cálculos mais elaborados, é necessário ter em conta os seguintes pontos relativos à estrutura de uma página
do WIRIS:
• É possível acrescentar um bloco à nossa sessão com o ícone do menu Edição.
• De cada vez que se avalia (clique em ou Ctrl + Enter), são calculadas todas as expressões do bloco activo,
são mostrados os resultados, e é criado em seguida um bloco vazio, que passa a ser o bloco activo (isto é, onde
está o cursor).
• As variáveis e cálculos de um bloco são independentes das variáveis e cálculos de todos os outros blocos.
• Para começar uma nova sessão de trabalho, utiliza-se .
• Para guardar a sessão actual, clica-se em e guarda-se a página HTML gerada.
Podemos voltar ao WIRIS para verificar tudo isto ou ver os seguintes exemplos:
powered by WIRIS
-4-
(c) maths for more sl. Todos os direitos reservados. Aviso legal
1 minuto
NOTA 1
As minúsculas e as maiúsculas são letras diferentes. Tan não é equivalente a tan.
powered by WIRIS
-5-
NOTA 2
Os parêntesis só agrupam; (1,2,3) é equivalente a 1,2,3.
powered by WIRIS
-6-
Objectos matemáticos
As expressões matemáticas baseiam-se, principalmente, em números, variáveis, operações aritméticas e funções. Neste
capítulo são explicados os dois primeiros, números e variáveis, para além de alguns outros objectos mais
sofisticados que podem ser criados com o WIRIS, como, por exemplo, polinómios e equações. São explicados alguns
outros objectos matemáticos nos capítulos Geometria e Wiris ++.
>>rápido
Números inteiros racionais irracionais
decimais complexos
Variáveis Atribuição e definição de valores a variáveis
Outros objectos polinómios equações e inequações listas
vectores e matrizes expressões matemáticas
Números
Os tipos de números que podemos construir são:
inteiros: um número inteiro é criado escrevendo os seus algarismos na base 10. Caso se pretenda que seja negativo,
coloca-se o símbolo - à frente. Os números inteiros podem ter tantos algarismos quanto se pretenda. Para ter uma ideia,
64
calcular 2 ou 100!. Mais informações em Inteiro.
racionais: um número racional é criado como uma fracção de dois inteiros, com o ícone ou com o símbolo /. Estão
disponíveis duas funções associadas aos números racionais: numerador e denominador. Se q for um número
racional, então numerador(q) e denominador(q) dão-nos, respectivamente, o numerador e o denominador
da fracção irredutível equivalente a q. Mais informações em Racional.
irracionais: os números irracionais que o WIRIS permite manipular são #, e, , radicais, como por exemplo a raiz quadrada
de 2, e combinações dos mesmos, entendendo-se por combinação as suas somas, subtracções, multiplicações e
divisões. Mais informações em Irracional.
powered by WIRIS
-7-
decimais: um número decimal é criado separando-se, com uma vírgula, a parte inteira da decimal. Mais informações
em Flutuante.
complexos: um número complexo é criado efectuando-se operações aritméticas com o número imaginário i (que se pode
criar com o ícone ou com o identificador i_) e com os números reais. Pode usar-se também a função polar para
os criar. Algumas funções relacionadas com os números complexos são parte_real, parte_imaginária,
argumento, norma ou conjugado. Mais informações em Complexo.
Variáveis
Em matemática, assim como no WIRIS, as variáveis são nomes, com ou sem valor. Um nome é uma cadeia de caracteres
alfanuméricos que começa com uma letra, como por exemplo, x, y, x1, x2, HAL ou alpha. Em contrapartida 2x ou
3ab não o são, porque o seu primeiro carácter é um dígito.
O WIRIS distingue entre letras maiúsculas e minúsculas. Desta forma, x e X são variáveis diferentes, tal como acontece
com f1 e F1.
Atribuição e definição de valores a variáveis
Para atribuir valor a uma variável, usam-se os operadores = e :=.

• Se forem usados = , a variável assume o valor que a expressão tiver à direita do sinal de igual naquele momento.
• Em contrapartida, se usarmos :=, a variável assume a cada momento o valor da expressão à direita do :=. Portanto,
se o valor da direita mudar, mudará também o valor da variável.
Se utilizarmos :=, diremos que definimos o valor da variável e, se utilizarmos =, diremos que lhe atribuímos um valor.
Se tiver sido definido ou atribuído valor a uma variável e pretendermos que volte a ficar livre, devemos aplicar-lhe o comando
limpar.
powered by WIRIS
-8-
Outros objectos
polinómios: um polinómio é criado executando-se determinadas operações aritméticas (soma, subtracção e

multiplicação) entre números e variáveis. Para se avaliar um polinómio num valor usa-se a função avaliar.
Existem mais dois comandos importantes: raízes e factorizar que, como o seu nome indica, permitem encontrar
as raízes de um polinómio e factorizá-lo, respectivamente. Mais informações em Polinómio.
equações e inequações: Os símbolos necessários para definir e trabalhar com equações e inequações são apresentados
na tabela seguinte. O WIRIS dispõe de ícones para os escrever (esta opção é a que proporciona a melhor qualidade
tipográfica), mas também podem ser introduzidos por intermédio do teclado ou com uma combinação de teclas.
tipo Símbolo ícone Teclado

NOTA 1 =
equação
equação == Ctrl +=
desigualdade != Ctrl +!
inequações >
>= Ctrl + Shift + >
<
<= Ctrl +<
Uma equação (ou inequação) é criada separando duas expressões pelo símbolo de igualdade (desigualdade). As
expressões à esquerda e à direita de uma igualdade (desigualdade) designam-se termo esquerdo e termo direito,
respectivamente.
powered by WIRIS
-9-
NOTA 2
Se escrevermos o sinal ? à direita de uma equação ou inequação, o WIRIS indica-nos se a igualdade ou
desigualdade se cumpre ou não.
NOTA 1
Para escrever uma equação, normalmente é suficiente usar o símbolo =. Caso haja confusão com a atribuição,
será utilizado obrigatoriamente o símbolo ==.
NOTA 2
O sinal ? deve ser precedido de um espaço em branco, dado que ? é um carácter válido para construir
identificadores.
listas: Uma lista é uma sequência fechada por chavetas. É possível introduzir as chavetas por intermédio das teclas { e
} ou com o ícone de tal forma que, se forem criadas as chavetas com o ícone, o tamanho destas adaptar-se-á ao
do seu conteúdo. As combinações de teclas Ctrl + { e Ctrl + } também criam chavetas de tamanho variável.
Existem dois comandos que nos ajudam a trabalhar com as listas:
• comprimento, determina o número de elementos de uma lista.

• ordenar, ordena uma lista formada por objectos ordenáveis.
Listas verticais
powered by WIRIS
- 10 -
As listas também podem ser representadas verticalmente; nesse caso, denominam-se listas verticais. Estas listas têm
as mesmas propriedades que as listas horizontais, mas os seus elementos surgem um por baixo do outro e, por isso,
não são necessárias vírgulas para os separar. Utiliza-se o ícone para criar listas verticais e a combinação de teclas
Shift + Enter para criar uma nova linha.
Mais à frente veremos como manipular listas de forma simples e como são utilizadas na resolução de
sistemas. Mais informações em Lista.
vectores e matrizes: um vector é uma sequência fechada por parêntesis rectos, que é possível criar com as teclas [ , ],
com o ícone , separando os seus elementos com uma vírgula, ou então usando o ícone . Se as chavetas forem
criadas usando o ícone, o tamanho destas ajustar-se-á ao do seu conteúdo. Pode ser obtido o mesmo resultado com
as combinações de teclas Ctrl + [ e Ctrl + ]
Uma matriz é um vector formado por vectores do mesmo comprimento; cada um destes vectores corresponde a uma
fila da matriz.
Os ícones e , explicados em detalhe no capítulo Menus, ícones..., permitem a criação de vectores e matrizes
de uma forma fácil.
Para saber como se trabalha com vectores e matrizes, pode consultar o capítulo de Álgebra Linear.
Manipulação de listas, vectores e matrizes
Os subíndices criados com o ícone são a ferramenta principal para manipular listas, vectores e matrizes, em
particular, para extrair e alterar os seus elementos.
Dada uma lista ou um vector v, e um número inteiro i, vi é a i-ésima componente de v, sempre que
1<=i<=comprimento(v).
Sendo toda a matriz um vector de vectores, se chamarmos A a uma matriz, então Ai é a sua fila i-ésima e Ai,j ( ou
Aij ) o j-ésimo elemento da fila i-ésima (supondo-se que existe).
powered by WIRIS
- 11 -
É possível utilizar o ponto como notação equivalente à anterior, de modo que a expressão An é equivalente a A.n, e
Ai,j é equivalente a A.i.j. Do mesmo modo, se v é um vector, v.i é a i-ésima componente de v.
Para alterar o valor de um componente de uma lista, vector ou matriz, pode ser usada a sintaxe explicada na subsecção
anterior e atribuir-lhe um novo valor com o operador = .
expressões matemáticas: os objectos matemáticos que não são de nenhum dos tipos anteriores são considerados
expressões matemáticas do tipo Expressão.
Alguns exemplos deste tipo de objectos são

sen(x), sen(x)2+cos(x)2 ou f(x)
O comando simplificar calcula uma expressão equivalente à dada, mas que seja o mais simples possível.
powered by WIRIS
- 12 -
powered by WIRIS
- 13 -
WIRIS ++
Neste capítulo é tratado um conjunto de recursos que fazem com que as possibilidades do WIRIS aumentem
significativamente. Recomenda-se a grande parte dos utilizadores que os estudem, para poderem, eventualmente, vir a
utilizá-los para a sua iniciação ou para iniciarem os seus alunos no mundo da programação. Este capítulo pressupõe um
conhecimento prévio de programação. Assim, a linguagem aqui utilizada poderá tornar-se um pouco mais técnica do que
a dos capítulos anteriores.
As secções do capítulo são as seguintes:
>>rápido
Linguagem de se... enquanto... para... repetir...
programação
Estruturas de traçados booleanos domínios regras e
dados substituições
divisores relações
Linguagem de programação
A informação sobre booleanos e operadores lógicos entre booleanos, que têm um papel fundamental na
programação, encontra-se mais à frente.
se...: ícone ou , instrução

se B então A fim
se B então A se_não A2 fim
se B então A se_não_se B2 então A2 se_não A3 fim
Executa as instruções de A se se verificar a condição B. Caso não se verifique a condição e se houver uma instrução
se_não, então executa as instruções de A2. Existe também a possibilidade de condicionantes múltiplas e diversos
grupos de instruções com a inserção de condicionais do tipo se_não_se através do menu do separador de
programação.
powered by WIRIS
- 14 -
WIRIS ++
enquanto...: ícone , instrução

enquanto B fazer A fim
Repete as instruções de A enquanto se verificar a condição B.
para...: ícone , instrução

para R fazer A fim
Repete as instruções de A de acordo com o traçado de R.
repetir...: ícone , instrução

repetir A até B
Repete as instruções de A até que se verifique a condição B.
Estruturas de dados
Completamos a descrição de estruturas de dados do capítulo Objectos matemáticos.
traçados: São objectos da forma a..b ou a..b..d em que a, b e d são números reais (a..b equivale a
a..b..1). Se d for diferente de 0, o traçado a..b..d representa a lista formada pelos elementos da progressão
aritmética a, a+d, a+2d, ... enquanto não ultrapassarmos b. Se d for zero, o traçado representa a lista vazia.
powered by WIRIS
- 15 -
Por exemplo, 1..6 representa {1,2,3,4,5,6}, 1..6..2 representa {1,3,5} e 6..1..-3 representa
{6,3}.
A função lista aplicada a um traçado devolve a lista que representa.
booleanos: São as constantes lógicas verdadeiro ou falso que correspondem aos valores verdadeiro e falso,
respectivamente. Podem principalmente ser obtidos aplicando o operador ? a equações e inequações.
Os operadores lógicos, básicos no momento de definir condições nas instruções de controlo, são:
Operador lógico Símbolo
conjunção - e
disjunção - ou
negação - não não
Eis alguns exemplos do seu comportamento:
powered by WIRIS
- 16 -
WIRIS ++
domínios: Os objectos matemáticos do WIRIS podem ser classificados em conjuntos matemáticos. Denominamos esses
conjuntos como domínios. Alguns exemplos de domínios são Inteiro, Racional, Irracional, Real e
Polinómio.
Com o comando é?, podemos saber se um objecto pertence a um domínio.
Para se trabalhar nom domínios no WIRIS estão disponíveis os operadores (equivalentes aos lógicos) & , | , não, que
funcionam como os operadores intersecção, união e complementar com os conjuntos. Dispomos assim da seguinte
relação entre operadores, que nos permite trabalhar de forma similar em diferentes estruturas matemáticas.
Operador lógico Operador de conjuntos Símbolo
conjunção - e: intersecção: &
disjunção - ou: união: |
negação - não complementar não
Finalmente, deve ser referido que a função implicar? permite saber se um domínio está ou não contido noutro, e
que obter_domínio nos indica o domínio ao qual pertence um objecto.
É especialmente interessante utilizar os domínios nas definições de funções. Isto permite tanto definir funções por troços
(de acordo com o domínio) como restringir os valores para os quais uma função está definida.
regras e substituições: Do ponto de vista sintáctico, uma regra é uma lista de objectos do tipo x=>y ou x:=>y.
Chamamos variável ou padrão a x conforme seja ou não uma variável, respectivamente; chamamos imagem a y
powered by WIRIS
- 17 -
e chamamos par a x=>y ou x:=>y. Uma substituição é uma regra definida exclusivamente por variáveis. Se
escolhermos =>, utilizamos o valor de y para definir a regra e, pelo contrário, ao escolher :=>, consideramos y como
variável ao definir a regra.
Os símbolos => e :=> podem ser criados com os ícones e , respectivamente.
Ao aplicar-se uma regra a uma expressão, todas as ocorrências de cada padrão (ou variável) nessa expressão são
substituídas pela imagem do seu padrão (ou variável). Os termos que não estejam de acordo com o padrão (ou variável)
não são alterados.
Mais informações em comando Régua ou Substituir.
divisores: Do ponto de vista sintáctico, um divisor é um vector de objectos do tipo x->y. Dizemos que x é um índice,
y o seu valor associado e x->y um par do divisor. Para recuperar o valor associado a um índice, aplica-se o objecto
ao divisor; se não houver índice associado, o resultado da aplicação é 0.
O símbolo -> pode ser criado com o ícone .
Os divisores são especialmente relevantes em vários contextos. Por exemplo, a estrutura devolvida pela função
factorizar é um Divisor que tem por índices os primeiros divisores do objecto factorizado (como por exemplo
um número inteiro ou um polinómio) e por valores os expoentes dos referidos primeiros divisores.
Outro aspecto importante dos divisores é que se podem somar e que essa soma é definida de maneira a que os valores
de um mesmo índice fiquem somados. Por exemplo, a factorização de um produto é a soma dos divisores dados pela
factorização dos factores.
Mais informações em Divisor.
powered by WIRIS
- 18 -
WIRIS ++
relações: Do ponto de vista sintáctico, a relação é uma lista de objectos do tipo x->y. Dizemos que x é um índice, y o
seu valor associado e x->y um par da relação. O aspecto mais importante das relações é que nos permitem recuperar
o valor (ou sequência de valores) associado a um índice; isto é feito aplicando-se o objecto à relação. Se um objecto
não tem índice associado numa relação, o resultado da sua aplicação à relação é nulo.
O símbolo -> pode criar-se com o ícone .
Mais informações em Relação.
powered by WIRIS
- 19 -
Aritmética
Todas as operações aritméticas se expressam no WIRIS com os símbolos habituais. Estes símbolos podem aplicar-se aos
diversos tipos de objectos matemáticos com os quais o WIRIS pode trabalhar, desde números inteiros até matrizes.
>>rápido
Símbolos soma diminuição produto
fracção potência factorial
Parêntesis
Divisibilidade quociente e resto quociente resto
factorizar máximo divisor comum mínimo múltiplo comum
primo?
Símbolos
As operações aritméticas no WIRIS representam-se mediante um símbolo associado a uma tecla, excepto a divisão inteira,
que pode introduzir-se através de um comando ou com um ícone.
Algumas operações, como, por exemplo, a fracção, podem ser representadas com notação matemática utilizando os ícones
adequados. Assim, por exemplo, o ícone permite elevar a uma potência e representá-la no ecrã como um superíndice.
Finalmente, para agilizar a escrita de fórmulas complexas, alguns ícones têm associada uma combinação de teclas que
permite invocá-los sem necessitar do rato. Seguindo o exemplo anterior, podemos também introduzir um expoente mediante
a combinação de teclas Ctrl + Seta para cima.
A seguir, temos um quadro que relaciona as operações aritméticas com símbolos e, conforme o caso, com um ícone ou
uma combinação de teclas. Além disso, veremos um exemplo de cada operação.
Operação Símbolo ícone Teclado
+
soma:
-
diminuição:
* ou ·
produto:
/ Ctrl +/
fracção:
^ Ctrl + Seta para

potência: cima ou Ctrl
+ Shift + ^
!
factorial:
O símbolo * aparece sempre como um · de acordo com as convenções tipográficas.
powered by WIRIS
- 20 -
Aritmética
Parêntesis
Os parêntesis, que podemos criar com as teclas ( e ) ou com o ícone , actuam da forma habitual na matemática.
Permitem agrupar termos para, depois, realizar operações com os mesmos. Se não houver parêntesis, a calculadora
efectuará as operações seguindo a hierarquia das mesmas: fará primeiro as multiplicações e divisões e, depois, as somas
e diminuições. Para maior segurança, recomendamos utilizar sempre parêntesis em caso de dúvida sobre a operação que
se quer calcular.
Se criarmos os parêntesis com o ícone , estes serão de tamanho variável, conforme o respectivo conteúdo. As
combinações de teclas Ctrl + ( e Ctrl + ) também criam parêntesis de tamanho variável. Se introduzirmos os parêntesis
escrevendo simplesmente ( e ), não obtemos parêntesis de tamanho variável; é de notar que a funcionalidade de ambos
os tipos é exactamente a mesma. Os exemplos que se seguem foram criados utilizando parêntesis de tamanho variável.
3
Vejamos um exemplo: ((2-3/5)·5) ; em primeiro lugar, calcula-se 2-3/5; a seguir multiplica-se o resultado por 5 e, por fim,
eleva-se tudo a 3.
As duas expressões 2/4+3*2 e (2/4)+(3*2) são equivalentes. Vejamos pois como utilizar os ícones do WIRIS
para construir expressões matemáticas evitando ambiguidades e, portanto, sem necessidade de utilizar parêntesis.
Também utilizamos parêntesis para indicar os argumentos das funções, embora nalgumas ocasiões possamos prescindir
deles. No caso de funções com vários argumentos, estes estarão separados por vírgulas.
powered by WIRIS
- 21 -
Divisibilidade
A seguir, expomos algumas das operações e funções mais importantes da aritmética. Se nada estiver indicado em contrário,
podem ser aplicadas indistintamente a números inteiros e polinómios.
quociente e resto: ícone , comando quociente_e_resto ou quo_res
Calcula o quociente e o resto da divisão inteira do primeiro argumento pelo segundo.
quociente: comando quo ou quociente
Calcula o quociente da divisão (inteira) do primeiro argumento pelo segundo.
powered by WIRIS
- 22 -
Aritmética
resto: comando res ou resto
Calcula o resto da divisão (inteira) do primeiro argumento pelo segundo.
factorizar: comando factorizar
Devolve a decomposição de um número inteiro como produto de números primos. Também factoriza polinómios com
coeficientes reais.
máximo divisor comum: comando mdc ou máximo_divisor_comum
Calcula o máximo divisor comum de dois ou mais números inteiros ou polinómios.
mínimo múltiplo comum: comando mmc ou mínimo_múltiplo_comum
Calcula o mínimo múltiplo comum de dois ou mais números inteiros ou polinómios.
powered by WIRIS
- 23 -
primo?: comando primo?
Dado um número inteiro, responde verdadeiro se este é um número primo e falso se não o é. Esta função não
actua sobre polinómios.
powered by WIRIS
- 24 -
Álgebra linear
Álgebra linear
Os elementos fundamentais de trabalho em álgebra linear são os vectores e matrizes, abordados no capítulo
Objectos matemáticos. Neste capítulo, abordam-se as operações que se podem realizar com vectores e matrizes,
além de outras funções que os recebem como argumentos.
>>rápido
Operações soma diminuição produto
produto por escalares produto escalar produto vectorial
inverso potência
Funções comprimento dimensões transpor
independência linear intervalo determinante
menor
Operações
As operações aritméticas com vectores e matrizes (soma, diminuição e produto) realizam-se com os símbolos habituais
de WIRIS.
soma: comando +
Soma de vectores ou matrizes. Os operandos devem ser do mesmo tipo e ter as mesmas dimensões.
diminuição: comando -
Diminuição de vectores ou matrizes.
Os operandos devem ser do mesmo tipo e ter as mesmas dimensões.
produto: comando * ou ·
Produto de matrizes ou produto (escalar) de vectores.
O número de colunas do primeiro operando deve ser igual ao número de linhas do segundo. No WIRIS, todos os vectores
são vectores linha, mas este aspecto não é restritivo, uma vez que se quisermos multiplicar uma matriz por um vector
linha, considera-se o vector como um vector coluna, sempre que tal permitir realizar a multiplicação.
powered by WIRIS
- 25 -
produto por escalares: comando * ou ·
Produto de um vector ou matriz por um escalar.
produto escalar: ícone , comando * ou ·
Produto escalar de dois vectores com o mesmo comprimento.
produto vectorial: ícone , comando produto_vectorial
Produto vectorial de dois vectores.
O produto vectorial só está definido para vectores de comprimento 3.
powered by WIRIS
- 26 -
Álgebra linear
inverso: ícone , comando inverso
Matriz inversa.
Se a matriz for invertível, obtém-se a sua matriz inversa. Se a matriz não for invertível, obtém-se um erro.
potência: ícone , comando ^
Pode elevar-se uma matriz quadrada a um número inteiro. Se o expoente for um número negativo e a matriz for invertível,
eleva-se a matriz inversa ao valor absoluto do expoente. Se a matriz não for invertível, obtém-se um erro.
Funções
powered by WIRIS
- 27 -
comprimento: comando comprimento
Ao aplicar-se a um vector, obtém-se o número de componentes; ao aplicar-se a uma matriz, obtém-se o número de linhas.
dimensões: comando dimensões
O WIRIS devolve a sequência formada, respectivamente, pelo número de linhas e pelo número de colunas de uma matriz.
transpor: ícone , comando transpor ou '
O WIRIS devolve a matriz transposta da original.
independência linear: comando linearmente_independentes?
Dados dois ou mais vectores com o mesmo comprimento, obtém-se verdadeiro se forem linearmente
independentes e falso se não o forem.
powered by WIRIS
- 28 -
Álgebra linear
intervalo: comando intervalo
Calcula o intervalo de uma matriz.
determinante: ícone ou , comando determinante
Dada uma matriz quadrada, calcula o seu determinante.
menor: comando menor
Dada uma matriz quadrada A e dois números inteiros i e j, calcula o menor correspondente à posição Aij da matriz.
Este menor é o determinante da matriz que resulta da eliminação de A da linha i e da coluna j.
powered by WIRIS
- 29 -
Equações e sistemas
O WIRIS inclui as técnicas mais avançadas para resolver equações e sistemas de equações lineares e não lineares.
Também inclui a utilização de alguns métodos de cálculo numérico para encontrar soluções aproximadas de equações e
sistemas. Além disso, o WIRIS pode resolver inequações e equações diferenciais ordinárias.
>>rápido
Resolução de equações e sistemas de Equação
equações Sistema de equações
Sistemas lineares na forma matricial
Métodos numéricos
Uso das soluções
Equações diferenciais ordinárias
Resolução de equações e de sistemas de
inequações
Resolução de equações e sistemas de equações
resolver é o comando que permite resolver equações e sistemas de equações. Na secção Objectos matemáticos
vemos como construir equações.
Primeiro, o WIRIS procura encontrar todas as soluções da equação ou do sistema de equações mediante procedimentos
exactos. Se a resolução exacta não tiver êxito, é sempre possível tentar utilizar a resolução numérica com o comando
resolver_numericamente.
O WIRIS devolve as soluções encontradas numa lista. Se não se encontrar nenhuma solução, nem mediante métodos
exactos, nem utilizando procedimentos numéricos, o WIRIS devolve uma lista vazia.
Equação
Para resolver uma equação, devemos escrevê-la como primeiro argumento do comando resolver, seguida da variável
que queremos isolar. Se não especificarmos essa variável, o WIRIS interpreta que queremos utilizar todas as variáveis
que aparecem na equação e isola uma delas em função do resto. Podemos utilizar o ícone para ajudarmos
nesta construção.
Quer especifiquemos ou não a variável que queremos isolar, podemos adicionar o argumento na última posição para
procurar soluções no corpo dos números complexos. Neste caso, as equações e os sistemas de equações têm de ser
polinomiais.
powered by WIRIS
- 30 -
Sistema de equações
Um sistema de equações é uma lista de equações. O modo mais simples de construir um sistema de equações é utilizando
listas verticais, que podemos criar com o ícone .
De forma análoga à da resolução de equações, se não especificarmos quais as variáveis que queremos isolar, o WIRIS
considera todas as variáveis do sistema e devolve, se for necessário, uma solução paramétrica. Se pretendermos
especificar quais as variáveis que queremos isolar, podemos introduzi-las como segundo argumento do comando
resolver dentro de uma lista.
Sistemas lineares na forma matricial
T T
Dado um sistema linear na forma matricial A·x =b , em que A é a matriz do sistema, x o vector das incógnitas e b o
vector de termos independentes, podemos resolver o sistema accionando o comando resolver(A,b). Os elementos
da matriz A e o vector b podem ser quaisquer expressões matemáticas.
O resultado deste comando muda segundo o tipo de sistema:
powered by WIRIS
- 31 -
• Se o sistema for compatível determinado, o resultado é o vector solução.

• Se for compatível indeterminado, o WIRIS devolve uma lista formada por uma matriz e uma solução particular. A matriz
tem a propriedade de as suas colunas formarem uma base do espaço vectorial de soluções do sistema homogéneo
A·xT=0.
• Se o sistema for incompatível, o WIRIS devolve nulo.
Métodos numéricos
O WIRIS incorpora diversos métodos numéricos para a resolução de equações. Em cada caso, selecciona o mais
apropriado e procura encontrar uma solução a partir de um ponto ou de um intervalo inicial.
O comando para resolver equações recorrendo a estes métodos é resolver_numericamente. O WIRIS decide
qual é o método mais apropriado em cada caso, pelo que o utilizador não tem de se preocupar em saber que métodos
existem e que vantagens tem cada um deles. Devemos ter em atenção que o facto de procurar uma única solução para a
equação faz com que os resultados obtidos sejam de uma natureza diferente da dos obtidos com o comando resolver.
O comando resolver_numericamente também pode ser aplicado a um sistema de equações, recordando, aqui
sim, que se obtém uma única solução para o sistema.
Uso das soluções
powered by WIRIS
- 32 -
A solução de uma equação ou sistema de equações é uma lista de listas. A lista mais exterior é necessária quando a
equação tem mais de uma solução. A lista interior é formada por pares x=a em que x é uma variável da equação ou
sistema e a o seu valor para aquela solução.
Para trabalhar com as soluções, podemos obter os valores destas soluções de diferentes formas:
• Usando as propriedades de uma lista de pares x=a.
• Através da extracção de elementos de uma lista.
Equações diferenciais ordinárias
O WIRIS incorpora um método para a resolução de equações diferenciais ordinárias. Verificamos que quando escrevemos
a função derivada podemos usar o ícone . Devemos indicar qual é a variável independente da qual depende a função
ou variável dependente, escrevendo-a entre parêntesis e seguir à função: y'(x), y(x).
powered by WIRIS
- 33 -
Resolução de equações e de sistemas de inequações
O WIRIS também é capaz de resolver inequações e sistemas de inequações de apenas uma variável, mediante métodos
exactos e mediante procedimentos numéricos aproximados.
Tal como nos casos anteriores, podemos accionar o comando resolver_inequação sem especificar o nome da
variável que queremos isolar, ou então especificando-o como segundo parâmetro, depois da equação ou sistema.
Repare-se que se a inequação ou sistema não tiver solução, ou então for verdade para qualquer valor da variável, o WIRIS
devolve falso ou verdadeiro, respectivamente. Esta peculiaridade deve-se ao uso das inequações como formas
habituais de controlo de fluxo nas linguagens de programação (e no WIRIS em particular). Para aprofundar este assunto,
podemos consultar a secção WIRIS ++.
powered by WIRIS
- 34 -
Análise
Análise
A análise é a área da matemática que se ocupa do estudo das funções.
>>rápido
Derivação
Integração Cálculo de primitivas
Integração definida
Cálculo de Limite
limites Limite lateral
Séries de Taylor
Séries
Equações campos vectoriais curvas integrais curva integral
diferenciais
Derivação
Para derivar, podemos utilizar o ícone , o comando derivar ou o sinal ', correspondente ao apóstrofo.
Ao clicar sobre o ícone , aparece a expressão habitual da derivação relativamente a uma variável, contendo duas
caixas vazias de cor verde. Na caixa superior vamos escrever a expressão que queremos derivar e na inferior a variável
relativamente à qual se efectua a derivação.
O comando derivar recebe 2 argumentos, o primeiro correspondente à expressão que se quer derivar e o segundo à
variável relativamente à qual se efectua a derivação. Caso se trate de uma função com uma única variável, pode omitir-se
este segundo argumento.
Podemos utilizar o operador ' atrás da expressão que queremos derivar, como é habitual na matemática. É de notar que
aqui não interessa expressar qual é a variável relativamente à qual se quer efectuar a derivação, pelo que o WIRIS detecta
esta variável automaticamente. Se aplicarmos este operador a uma expressão com mais de uma variável, obtém-se um
erro.
powered by WIRIS
- 35 -
O operador ' também pode ser utilizado para derivar funções. Na realidade, se f=f(t) for uma função de uma variável,
f' é a função derivada (de f relativamente a t). Portanto, a derivada de f num ponto a é o valor de f'(a), de acordo
com as notações habituais da análise. Vejamos alguns exemplos:
Integração
Cálculo de primitivas
Para calcular a função primitiva de uma função dada, utilizamos os ícones ícone ou , ou o comando integrar.
Ao clicar sobre o ícone , aparece a expressão habitual da função primitiva relativamente a uma variável, contendo duas
caixas vazias de cor verde. Na primeira, devemos escrever a expressão que queremos integrar e na segunda a variável
relativamente à qual desejamos efectuar a integração. Se chamarmos f à função que desejamos integrar, F ao resultado
da integração e x à variável relativamente à qual efectuamos a integração, dizemos que F é uma primitiva (ou expressão
primitiva) de f e verifica-se que a derivada de F relativamente a x é f.
Em alternativa, podemos utilizar o comando integrar com dois argumentos que correspondem, o primeiro, à expressão
e o segundo à variável.
Se não existirem dúvidas sobre a variável relativamente à qual queremos efectuar a integração, também podemos calcular
primitivas de funções com o ícone . Ao clicar no ícone, aparece um símbolo com uma caixa vazia de cor verde, onde
escrevemos a função que queremos integrar.
Se a expressão que queremos integrar não tiver variáveis, o WIRIS integra relativamente a uma variável inventada; se
tiver uma única variável, integra relativamente a esta; e se tiver mais de uma variável, devolve um erro. De qualquer das
formas, o resultado é uma função ou expressão primitiva do argumento.
Podemos utilizar o comando integrar com um único argumento em alternativa ao ícone ; tudo o que foi descrito
para o ícone, aplica-se também ao comando.
powered by WIRIS
- 36 -
Análise
Integração definida
Para calcular a integral definida entre dois valores, vamos utilizar os ícones ou , ou o comando integrar. O
WIRIS tenta calcular a primitiva da função e aplicar a regra de Barrow, que exige apenas a avaliação da primitiva obtida
nos valores especificados como limites de integração e a realização de uma diminuição; se não se encontrar esta primitiva,
calcula-se o valor da integral através de métodos numéricos (emitindo-se, além disso, uma mensagem de aviso).
Ao clicar sobre o ícone , aparece o símbolo padrão da integral definida, contendo quatro caixas vazias de cor verde. As
que se encontram nos extremos inferior e superior do símbolo de integral correspondem aos limites de integração inferior
e superior, respectivamente. Nas outras caixas, escrevemos a expressão que queremos integrar na primeira e a variável
relativamente à qual desejamos integrar na segunda.
Em alternativa, podemos utilizar o comando integrar com quatro argumentos, que correspondem, o primeiro à
expressão, o segundo à variável e o terceiro e quarto aos extremos inferior e superior, respectivamente, entre os que
desejamos integrar.
Se não existirem dúvidas sobre a variável relativamente à qual queremos efectuar a integração, também podemos calcular
integrais definidas de funções com o ícone . Ao clicar no ícone, aparece o símbolo padrão da integral definida, contendo
três caixas vazias de cor verde. As que se encontram nos extremos inferior e superior do símbolo de integral correspondem
aos limites de integração inferior e superior, respectivamente. Na terceira caixa, escrevemos a função ou expressão que
queremos integrar. Se a expressão que queremos integrar não tiver variáveis, integra-se relativamente a uma variável
inventada; se tiver uma única variável, integra-se relativamente a esta; e se tiver mais de uma variável, obtém-se um erro.
powered by WIRIS
- 37 -
Em alternativa, podemos utilizar o comando integrar com três argumentos, que correspondem, o primeiro à função
ou expressão que desejamos integrar e o segundo e terceiro aos extremos inferior e superior, respectivamente, entre os
que queremos integrar.
Cálculo de limites
Para calcular limites de funções, utilizamos os ícones , ou , ou o comando limite.
Limite
Ao clicar sobre o ícone aparece o símbolo padrão de limite, contendo três caixas vazias de cor verde. Na caixa superior,
à direita de lim, devemos escrever a expressão da qual queremos calcular o limite. Nas caixas inferiores, escrevemos a
variável do limite na primeira e o valor ao qual desejamos aproximar na segunda. Se utilizarmos o comando limite em
vez do ícone, podemos escrever o limite da função f quando x tende para o valor a das seguintes formas:
limite(f,x->a)
limite(f,x,a)
É de notar que o ícone permite criar um símbolo equivalente a ->.
O valor de a pode ser um número real ou os valores mais infinito (ícone ), menos infinito (ícone ) ou infinito sem
sinal (ícone ).
powered by WIRIS
- 38 -
Análise
Limite lateral
Os ícones e permitem calcular os limites laterais à direita e à esquerda, respectivamente. Os parâmetros das
caixas vazias são os mesmos que para o ícone .
Para os cálculos de limites laterais, também podemos utilizar o comando limite. Para calcular o limite da função f
quando x tende para a à direita (ou à esquerda), pode utilizar-se indistintamente qualquer das expressões seguintes:
limite(f,x->a,1) (à esquerda, limite(f,x->a,-1) )
limite(f,x,a,1) (à esquerda, limite(f,x,a,-1) )
Séries de Taylor
powered by WIRIS
- 39 -
O WIRIS permite-nos calcular o desenvolvimento em série de Taylor de uma função real num ponto.
Para calcular a série de Taylor de uma função num ponto, utilizamos o comando série_de_taylor com três
argumentos, que correspondem, o primeiro à função, o segundo à variável e o terceiro ao valor em que desejamos
encontrar a série de Taylor (recordemos que a série de Taylor nos permite aproximar uma função qualquer num ponto
dado). Se desejarmos visualizar uma determinada quantidade de termos da série (que é infinita), podemos especificar
essa quantidade num quarto argumento.
Para obter o polinómio de Taylor de uma determinada ordem de uma função qualquer, podemos utilizar o comando
taylor, seguido dos quatro argumentos que acabámos de descrever. Devemos observar que o quarto argumento é
agora imprescindível.
Séries
O WIRIS permite determinar a convergência de séries, bem como calcular a soma das séries convergentes.
Para escrever uma série, utilizamos a notação padrão da matemática, conforme se mostra nos exemplos que se seguem.
A resposta que obtemos é o valor da soma da série se esta for convergente (ou se for divergente, mas o WIRIS sabe
calcular o valor infinito correspondente), e a própria série noutro caso.
Para interrogar o WIRIS sobre a convergência de uma série, utilizamos o comando convergente?, e escrevemos
como único argumento a própria série.
powered by WIRIS
- 40 -
Análise
Equações diferenciais
Consulte o comando resolver para encontrar as soluções exactas de uma equação diferencial.
campos vectoriais: comando campo_vetorial
Os campos vectoriais podem ser usados para estudar as equações diferenciais ordinárias de primeiro grau no plano. O
comando campo_vetorial será utilizado para desenhar os referidos campos vectoriais.
powered by WIRIS
- 41 -
curvas integrais: comando curvas_integrais
Permite desenhar uma amostra de curvas solução definidas pela equação diferencial associada ao campo vectorial.
curva integral: comando curva_integral
Calculará uma solução particular da equação diferencial.
powered by WIRIS
- 42 -
Funções
Funções
Uma das capacidades mais valiosas do WIRIS é que nos permite definir novas funções, de forma que estas funções sejam
consideradas da mesma forma que aquelas que o WIRIS já tem incorporadas. Os argumentos destas funções podem ser
qualquer objecto matemático.
Nesta secção, aprendemos como se definem as funções e como se usam. Estudaremos também várias funções de variável
real, de uso fundamental em matemática, e que estão incorporadas no WIRIS.
>>rápido
Definição de funções
Funções reais raiz quadrada raiz trigonométricas
exponencial logaritmo valor absoluto
sinal máximo mínimo
Para definir funções, usamos o símbolo :=, criado com o teclado ou com o ícone . À esquerda deste símbolo
escrevemos o nome da função, seguido da lista de argumentos da função entre parêntesis, e à direita escrevemos o corpo
da função, ou seja, as operações que queremos efectuar com os argumentos.
Uma função pode ter tantos argumentos quantos queiramos, ou inclusivamente não ter nenhum. No corpo da função,
podem ser usadas outras funções já definidas. Para aplicar a função a valores concretos, escrevemos o nome da função
seguido dos valores dos argumentos separados por vírgulas e entre parêntesis (esta estrutura é chamada Sequência).
Se tentarmos aplicar uma função que não está definida, não é efectuado nenhum cálculo.
A função. f do exemplo anterior tem um único argumento, mas, tal com já foi referido, o número de argumentos pode
ser qualquer número não negativo. Para além disso, uma mesma função pode ter diferentes definições, dependendo do
número de argumentos que receba.
Uma função também pode ter mais de uma definição, segundo o domínio dos seus argumentos. Para especificar, na
definição de uma função, o domínio de um dos seus argumentos, escreve-se o argumento, seguido do carácter : e do nome
powered by WIRIS
- 43 -
do domínio. É também possível definir uma função para um objecto concreto. Os exemplos seguintes ilustram todas estas
possibilidades. Note-se que o comando definição, aplicado a uma função, nos mostra as definições desta função.
Um comando útil para definir uma função, que se avaliará de uma forma para determinados elementos do seu domínio
de aplicação e de outra forma noutro subconjunto do domínio, é o comando verificar. Deve ser escrito entre os
argumentos da função e o símbolo := na forma verificar <condição>, em que <condição> é uma expressão
booleana (quer dizer, uma expressão que poderá sempre ser avaliada como verdadeiro ou falso) construída a
partir dos argumentos da função. Desta forma, podemos com elas definir funções para fragmentos que, no entanto, não
se convertem em elementos analíticos (podem avaliar-se, mas não calcular limites, derivá-las ou integrá-las).
Os nomes que podemos dar às funções têm a mesma forma que os que podemos dar às variáveis.
As funções, como qualquer objecto no WIRIS, são entidades independentes do nome que se lhes dê. Por exemplo, a função
que, dado um número, o eleva ao quadrado e lhe soma 1 pode ser considerada em si mesma, mesmo quando muitas vezes
nos convenha dar-lhe um nome para poder trabalhar com comodidade. Uma função à qual não atribuamos nenhum nome,
chama-se uma função anónima. As funções anónimas definem-se com o ícone , que é equivalente a --> , escrevendo
os seus argumentos, entre parêntesis, à esquerda do símbolo --> e o corpo da função à direita deste símbolo. Note-se
que o comando definição devolve, como foi visto em exemplos anteriores, uma lista de funções anónimas.
Se tiver sido definida uma função e se pretender que volte a ficar livre, deve ser-lhe aplicado o comando limpar.
powered by WIRIS
- 44 -
Funções
Funções reais
Vamos descobrir agora algumas das funções reais predefinidas no WIRIS e que correspondem a funções matemáticas
básicas.
raiz quadrada: ícone , comando raiz2 ou raiz_quadrada
Calcula a raiz quadrada do argumento que recebe. Uma forma alternativa de calcular a raiz quadrada de um número é
elevá-lo a 1/2. O comando raízes2 ou raízes_quadradas calcula todas as raízes quadradas de um número
real.
raiz: ícone , comando raiz
Calcula a raiz n-ésima de x, em que x é o primeiro argumento (o da caixa principal, se tiver sido utilizado o ícone) e
n o segundo (o da caixa superior). Como no caso anterior, o cálculo da raiz n-ésima é equivalente a elevar x a 1/n. O
comando raízes calcula todas as raízes complexas (ou reais) de um número real.
trigonométricas:
powered by WIRIS
- 45 -
As funções trigonométricas são as seguintes:
sen cos tan

cosec sec cotan
Correspondem, respectivamente, ao seno, co-seno, tangente, co-secante, secante e co-tangente. O argumento destas
funções pressupõe-se expresso em radianos. Se quisermos usar graus, podemos fazê-lo por intermédio do símbolo º,
que se encontra no separador de Unidades.
As funções trigonométricas inversas que o WIRIS inclui são:
asen acos atan
Correspondem, respectivamente, ao arco seno, ao arco co-seno e ao arco tangente. O argumento destas funções é um
número real. O resultado de todas elas é a determinação principal da função, expressa em radianos (a mesma que nos
-1 -1
dão as teclas sen , cos i tan-1das calculadoras de bolso). Se quisermos a resposta em graus, podemos usar a
função converter.
exponencial: comando exp, ícone ou
Calcula o resultado da aplicação da função exponencial ao seu único argumento (ou seja, o número que resulta de
elevar o número e ao argumento). Com o ícone , obtêm-se valores exactos, (isto é, sem avaliar) e com obtêm-se
valores aproximados. O WIRIS também inclui a exponencial complexa.
logaritmo: comando ln ou log
Se os comandos anteriores receberem um único argumento, calcularão o logaritmo neperiano e decimal,

respectivamente. Se log receber dois argumentos, a e b, calcula o logaritmo de a na base b.
powered by WIRIS
- 46 -
Funções
logb(a) calcula o logaritmo de a na base b. É equivalente a log(a,b). Recordemos que, para criar um subíndice
iremos utilizar o ícone
valor absoluto: ícone , comando absoluto
Calcula o valor absoluto do argumento.
sinal: comando sinal
Permite obter o sinal de um número real. Devolve 1 se o número for positivo, -1 se for negativo e 0 se não for nenhum
dos dois.
máximo: comando máximo ou max
Calcula o máximo dos argumentos que a função recebe. Se o argumento for uma Lista ou Vector, calcula o máximo
dos seus elementos.
powered by WIRIS
- 47 -
mínimo: comando mínimo ou min
Calcula o mínimo dos argumentos que a função recebe. Se o argumento for uma Lista ou Vector, calcula o mínimo
dos seus elementos.
powered by WIRIS
- 48 -
Progressões
Progressões
>>rápido
Funções passo razão soma de termos de uma
progressão
O WIRIS detecta se uma sucessão de números que tenha sido dada por intermédio dos seus primeiros termos segue uma
progressão constante, aritmética, geométrica ou polinomial. Isto permite obter o termo geral de uma sucessão e somar
os seus termos com as fórmulas conhecidas. O comando progressão permite decidir que tipo de progressão segue
uma sucessão de números.
O WIRIS classifica as progressões segundo a ordem que acabámos de enumerar. Assim, se uma progressão for constante,
é classificada como constante, mesmo que também seja aritmética e geométrica. De igual forma, uma progressão
aritmética, que corresponde a uma polinomial de primeiro grau, é classificada como aritmética.
Para toda a sucessão finita de n números, existe um único polinómio de grau não superior a n-1 tal que os n primeiros
termos da sucessão polinomial correspondente coincidem com os da sucessão. O WIRIS formará sempre a sucessão
polinomial correspondente ao polinómio de menor grau que cumpra esta condição.
Uma vez definida uma progressão, pode ser guardada numa variável. Se chamarmos p a esta variável, então a expressão
p(i) dá-nos o seu termo i-ésimo, para qualquer número i e, no caso de n ser uma variável, a expressão p(n)
remete a fórmula para o termo geral da progressão.
Funções
As funções associadas a progressões são:
passo: comando passo
Dada uma progressão aritmética, obtém-se a sua razão (que é a diferença entre dois termos). Se temos uma progressão
constante, a função devolve o valor 0.
powered by WIRIS
- 49 -
razão: comando razão
Dada uma progressão geométrica, calcula a sua razão. Se temos uma progressão constante, a função devolve o valor 1.
soma de termos de uma progressão: comando sigma_progressão
Dada uma progressão aritmética, obtém-se a soma total dos seus termos. É de notar que o resultado nem sempre tem
o aspecto com o qual se costuma apresentar esta soma, devido à generalidade dos métodos empregados, ainda que,
logicamente, o valor da expressão obtida seja o mesmo que o das expressões clássicas.
Este comando tem três argumentos: a progressão (o primeiro) e o limite inferior e superior do somatório (segundo e
terceiro, respectivamente). Os limites do somatório podem ser números inteiros (inclusivamente negativos) ou polinómios
com números inteiros como coeficientes.
Se pretendermos efectuar a soma infinita de termos, ou seja, somar a partir de um coeficiente n até ao infinito, devemos
utilizar outra funcionalidade do WIRIS: os limites, que são explicados no capítulo Análise. É possível ver no exemplo
seguinte como combinar estas funcionalidades.
powered by WIRIS
- 50 -
Geometria
Geometria
O WIRIS permite trabalhar com elementos geométricos no plano e no espaço (geometria euclidiana no plano e no espaço)
e, em particular, representá-los graficamente.
A primeira secção será dedicada aos diferentes tipos de objectos geométricos de que dispomos. Na segunda secção,
centrar-nos-emos nas funções que nos permitem agir sobre estes objectos. A representação gráfica dos elementos
geométricos encontra-se no capítulo de Gráficos (para o caso da geometria no plano) e Gráficos 3D (para a geometria
no espaço).
>>rápido
Objectos pontos rectas segmentos planos
geométricos circunferências cónicas triângulos polígonos (ou
poligonais)
poliedros
Funções Estudo geométrico
distância ponto médio mediatriz bissectriz
altura recta mediana área perímetro
ângulo intersectar paralela perpendicular
Transformações
simetria translação rotação
Objectos geométricos
Nesta secção, são explicadas as figuras geométricas que se podem construir.
pontos: comando ponto, ícone ou
Constrói o ponto de coordenadas a e b, sendo os argumentos da função números reais. Note-se que se escrevermos
a expressão (a,b) sem a palavra ponto, temos meramente a sequência de a e b, e não definimos nenhum ponto.
Algumas funções relacionadas com os pontos são ponto_médio ou alinhados?.
No caso de pontos no espaço, o comando ponto(a,b,c) constrói o ponto de coordenadas a, b e c, do mesmo modo
que no caso do plano.
powered by WIRIS
- 51 -
rectas: comando recta, ícone
Permite construir uma recta. Os diferentes argumentos que aceita são:

• dois pontos da recta (podemos utilizar o ícone ),
• um ponto e um vector director,
• uma equação (de uma recta),
• um ponto e um número real (a inclinação da recta).
Se r for uma recta, então inclinação(r), ponto(r) e vector(r) devolvem a inclinação da recta, um ponto
da recta e um vector director da recta, respectivamente. Para estudar outras funções que também servem para construir
uma recta, podemos consultar paralela, perpendicular e bissectriz.
No caso de rectas no espaço, aceitam-se os seguintes argumentos:

• duas equações (de planos secantes).
segmentos: comando segmento, ícone
Permite construir um segmento. Os diferentes argumentos que aceita são:

• os extremos do segmento (podemos utilizar o ícone ),
• um ponto e um vector.
Algumas funções relacionadas com os segmentos são comprimento ou ponto_médio.
powered by WIRIS
- 52 -
Geometria
planos: comando plano, ícone
Permite construir um plano. Os diferentes argumentos que aceita são:

• três pontos (podemos utilizar o ícone ),
• um ponto e um vector director (perpendicular ao plano),
• um ponto e dois vectores,
• uma equação linear.
Algumas funções relacionadas com os planos são paralela, perpendicular ou bissectriz.
circunferências: comando circunferência ou cfr, ícone , ou
Permite construir uma circunferência. Os diferentes argumentos que aceita são:

• um ponto (centro da circunferência) e um número real (o seu raio); podemos utilizar o ícone ,
• três pontos não alinhados (pertencentes à circunferência); podemos utilizar o ícone ,
• dois pontos (o centro e um ponto da circunferência, por esta ordem); podemos utilizar o ícone ,
• a equação da circunferência.
Se c for uma circunferência, então centro(c) e raio(c) devolvem o centro e o raio da circunferência,
respectivamente.
Se P for um ponto da circunferência c, então, recta_tangente(c,P) devolve a recta tangente a c pelo ponto P.
powered by WIRIS
- 53 -
cónicas: comando cónica, ícone
Permite construir uma cónica. Os diferentes argumentos que aceita são:

• cinco pontos (pertencentes à cónica); podemos utilizar o ícone ,
• a equação da cónica.
Os comandos elipse, hipérbole e parábola permitem construir cónicas a partir dos seus elementos
característicos, como sejam o foco, o vértice e a distância focal. Para uma descrição detalhada dos vários construtores
destes objectos, deve ser consultada a secção Referência.
Algumasfunções relacionadas com as cónicas são centro, vértice, focos, directriz,

semieixo_maior, semieixo_menor ou semidistância_focal.
powered by WIRIS
- 54 -
Geometria
triângulos: comando triângulo, ícone
Esta função constrói um triângulo tomando como argumentos os seus vértices; podemos também utilizar o ícone .
O comando triângulo_equilátero permite criar, como o seu nome indica, um triângulo equilátero.
polígonos (ou poligonais): comando polígono ou poligonal, ícone ou
Gera o polígono (ou a poligonal) resultante da união dos pontos introduzidos como argumentos. Convém recordar que
um polígono é uma figura fechada e plana, enquanto que uma poligonal são os segmentos que unem um conjunto de
pontos e, em geral, é uma figura aberta e não plana.
poliedros: comando poliedro, ícone ou
Gera o poliedro regular de n faces.
powered by WIRIS
- 55 -
Algumas funções relacionadas com os poliedros são tetraedro, cubo, octaedro,

dodecaedro, icosaedro, cilindro_fechado_poliédrico, cilindro_poliédrico,
cone_fechado_poliédrico, cone_poliédrico, esfera_poliédrica ou
toro_poliédrico.
Funções
As funções geométricas têm como argumentos figuras geométricas, geralmente construídas por intermédio das funções
descritas na secção anterior, mas também admitem directamente a equação da figura como argumento, característica que
será repetidamente utilizada nesta secção.
Estudo geométrico
distância: comando distância
Calcula a distância entre dois pontos, um ponto e uma recta ou um ponto e uma circunferência.
No caso do espaço, também é possível calcular a distância entre dois planos não secantes, uma recta e um plano não
secantes ou entre um ponto e um plano.
ponto médio: comando ponto_médio
powered by WIRIS
- 56 -
Geometria
Calcula o ponto equidistante de dois pontos dados e que pertence ao segmento determinado por estes. O comando
ponto_médio pode receber como argumento ou dois pontos ou então um segmento; neste último caso, calcula-se
o ponto médio dos seus extremos.
mediatriz: comando mediatriz
Calcula a mediatriz de um segmento, quer dizer, a recta perpendicular ao segmento, que passa pelo seu ponto médio.
Também se pode definir como o conjunto de pontos equidistantes dos dois extremos do segmento.
Este comando aceita como argumentos ou um segmento ou então dois pontos, e, neste caso, calcula a mediatriz do
segmento definido por esses pontos. Também podem ser dados como argumentos um triângulo e o número do lado do
qual queremos encontrar a mediatriz.
Mais informações em circuncentro ou circum_raio.
powered by WIRIS
- 57 -
bissectriz: ícone ou , comando bissectriz
Podemos calcular a bissectriz dos seguintes objectos:

• duas rectas secantes,
• três pontos não alinhados (que, por isso, definem um ângulo),
• um ângulo de um triângulo.
Mais informações em incentro ou inrádio.
No caso da geometria no espaço, é possível calcular a bissectriz de dois planos que se intersectem.
powered by WIRIS
- 58 -
Geometria
altura: comando altura
Calcula a altura correspondente ao vértice i-ésimo do triângulo, isto é, a recta que passa pelo vértice e é perpendicular
ao lado oposto. Este comando recebe como argumentos um triângulo e o número do vértice do qual queremos calcular
a altura.
Mais informações em ortocentro.
recta mediana: comando recta_mediana
Calcula a recta que une o vértice de um triângulo ao ponto médio do lado oposto. Este comando recebe como argumentos
um triângulo e o número do vértice do qual queremos calcular a mediana.
Mais informações em baricentro.
powered by WIRIS
- 59 -
área: comando área
Calcula a área da figura que recebe como argumento, supondo que esta seja fechada (triângulo, polígono, circunferência
ou elipse).
Mais informações em área_orientada.
powered by WIRIS
- 60 -
Geometria
perímetro: comando perímetro
Calcula o perímetro da figura fechada (triângulo, polígono ou circunferência) que recebe como argumento.
ângulo: comando ângulo
Calcula o menor ângulo definido por duas rectas ou dois vectores (planos, no caso do espaço). No primeiro caso devolve
um valor entre 0 e #/2 e no segundo caso, entre 0 e #.
Se F for um Triângulo, Polígono ou Poligonal então o comando ângulo(F,i) calcula o ângulo

correspondente ao seu vértice i-ésimo.
Mais informações em ângulo_orientado.
No caso do espaço, a função chama-se ângulo3d e também pode ser aplicada a planos. Podemos consultar o
comando estado_geometria para descobrir como simplificar este comando.
powered by WIRIS
- 61 -
intersectar: ícone , comando intersectar
Devolve uma lista com os elementos que formam a intersecção das duas figuras que deve receber como argumentos.
paralela: ícone ou , comando paralela
Esta função recebe, como primeiro argumento, uma recta (ou segmento) e, como segundo argumento, um ponto.
Proporciona, assim, a recta paralela ao primeiro argumento que passa pelo ponto. Mais informações em paralela?.
No caso do espaço, é possível aplicar a função a um plano de modo idêntico ao utilizado para a aplicar a uma recta
ou segmento no caso bidimensional.
powered by WIRIS
- 62 -
Geometria
perpendicular: ícone ou , comando perpendicular
Esta função recebe, como primeiro argumento, uma recta (ou segmento) e, como segundo argumento, um ponto.
Proporciona, assim, a recta perpendicular ao primeiro argumento que passa pelo ponto. Mais informações em
perpendicular?.
No caso do espaço, é possível aplicar a função a um plano de modo idêntico ao caso bidimensional.
Transformações
powered by WIRIS
- 63 -
O WIRIS inclui a possibilidade de calcular e desenhar a transformação de uma Figura mediante um movimento do plano.
Podemos também aplicar transformações a uma lista de figuras; o resultado será a lista que corresponde à aplicação da
transformação a cada uma das figuras da lista.
simetria: comando simetria
É possível calcular uma simetria axial ou central de uma figura dada. No caso de uma simetria axial, o comando
simetria recebe como argumentos a recta que actua como eixo de simetria e a figura. No caso da simetria central,
os argumentos são o centro de simetria e a figura.
powered by WIRIS
- 64 -
Geometria
translação: comando translação
Dados um vector e uma figura, é possível calcular a translação da figura relativamente ao vector.
rotação: comando rotação
Dados um ponto P, um número real a e uma figura F, calcula a rotação do centro P e ângulo a da figura F. O número
real é interpretado como um ângulo em radianos. Para usar graus, devemos usar o ícone .
powered by WIRIS
- 65 -
Gráficos 2D
O WIRIS dispõe de procedimentos para a representação gráfica em duas dimensões. As principais aplicações destes
procedimentos são a representação das figuras da geometria plana e a representação das funções.
A representação é feita numa Prancheta de desenho por intermédio dos comandos desenhar, se apenas quisermos
desenhar um objecto, ou representar, se quisermos que o sistema desenhe certos elementos característicos do
objecto, como por exemplo as assímptotas e os pontos críticos, no caso de uma função. Para escrever texto no desenho,
utiliza-se o comando escrever.
Podemos consultar o comando estado_geometria para descobrir como simplificar este comando.
>>rápido
Comando desenhar desenhar um objecto desenhar uma função
desenhar uma equação desenhar vectores
opções desenhar
Desenho de regiões desenhar regiões região
Comando representar representar opções representar
Comandos para escrever escrever opções escrever
texto
Prancheta de desenho opções prancheta
Geometria interactiva deslocamento ponto mais próximo
Comando desenhar
desenhar um objecto: desenhar(d:Desenhável2d)
Em geral, esta função desenha d numa prancheta de desenho. Alguns exemplos dos objectos que podem ser
desenhados são Ponto, Recta, Circunferência, Segmento, Triângulo, Poligonal, Função,
Curva ou Caixa_de_texto. Se o argumento for uma Lista, então são desenhados todos os seus elementos.
É de referir separadamente o caso em que o parâmetro d é um identificador (variável). Se tiver como valor um objecto
que possa ser desenhado, então é desenhado; caso contrário, nada acontece e é emitido um aviso. Se mais à frente
o valor de d mudar, o desenho é actualizado para mostrar o novo objecto. Pode dizer-se que a prancheta de desenho
recorda quais os elementos que nela foram desenhados e, se estes mudarem de valor, redesenha-os.
No exemplo seguinte, podemos constatar esse comportamento. Se definirmos P como o ponto (3,5) e o desenharmos
(primeiro bloco), aparece o ponto (3,5) na prancheta de desenho. Se, em seguida, P assumir como valor o ponto
(2,-1), será este o ponto que aparece desenhado. Note-se que isto acontece sem termos de voltar a usar o comando
desenhar com o ponto P.
powered by WIRIS
- 66 -
Gráficos 2D
desenhar uma função: comando desenhar
É possível indicar de muitas formas como desenhar uma função. Na maior parte dos casos, será suficiente indicar a
expressão da função que pretendemos desenhar e o sistema encarregar-se-á de escolher o traçado e quais as variáveis
que fazem o papel de abcissa e de ordenada.
Os exemplos seguintes ilustram como indicar, para além disso, a variável e o traçado.
powered by WIRIS
- 67 -
Curvas paramétricas
Para desenhar curvas paramétricas, será sempre necessário indicar a variável que funciona como parâmetro e o seu
traçado.
Curvas implícitas
Para desenhar curvas implícitas, será suficiente indicar a equação da referida curva. Opcionalmente, é possível indicar
as variáveis que intervêm e o seu traçado.
desenhar uma equação: desenhar(eq:Equação)
O comando desenhar admite também uma equação como argumento. Este comando proporciona uma
representação gráfica do objecto matemático associado a esta equação.
As equações admitidas pelo comando são as que correspondem a objectos de tipo Recta, Circunferência e
Cónica.
powered by WIRIS
- 68 -
Gráficos 2D
desenhar vectores: desenhar(v:Vector,P:Ponto)
Desenha-se um vector indicando o referido vector e um ponto. As opções servirão para indicar a forma da seta.
opções desenhar: Opcionalmente, o último argumento do comando desenhar pode ser uma Lista de opções.
As opções permitem controlar o aspecto (cor, espessura, etc.) das figuras. O funcionamento de algumas opções, ou a
sua qualidade, depende da versão de Java™ (JVM) que esteja instalada no computador. Com o Java™ versão 1.3 (Java
2) ou uma versão posterior, podemos ver no segundo exemplo rectas de diferente largura. Descarregar a última
versão de Java.
Introduz-se cada um dos valores das opções separados por vírgulas e seguindo o formato 'nome_opção=valor_opção';
por exemplo, cor=verde.
As principais opções do comando desenhar são:
cor
Indica a cor em que são desenhadas as figuras na prancheta.
Valores possíveis: listas de três números inteiros entre 0 e 255 com a forma '{r,g,b}', em que r, g, b
correspondem à quantidade de vermelho (red), verde (green) e azul (blue) que definem a cor. Para
facilitar o trabalho, foram definidas algumas cores: preto, branco, vermelho, verde, azul,
ciano, magenta, amarelo, castanho, laranja, rosa, cinzento, cinzento_escuro,
cinzento_claro e a lista completa de cores html.
Valor por defeito: preto
margem
Indica se é ou não para pintar o contorno das figuras fechadas.
Valores possíveis: verdadeiro e falso.
Valor por defeito: verdadeiro
preencher
Caso se tenha uma figura fechada, indica se o interior é para pintar.
powered by WIRIS
- 69 -
Valor por defeito: falso
cor_do_preenchimento
Caso se tenha uma figura fechada e o valor de preencher for certo, indica a cor com a qual se pinta o
interior das figuras.
Valores possíveis: uma Cor e "automático"; se escolhermos este segundo valor da opção, o interior
da figura é pintado com a cor especificada na opção cor.
Valor por defeito: "automático"
visível
Indica se o elemento é ou não visível.
móvel
Se o objecto a desenhar não tiver sido definido de forma estática, permite que este possa ou não ser deslocado
no plano.
avaliar
Indica se o elemento é ou não avaliado no momento de fazer o desenho.
dimensões_fixas
Indica se, ao serem mudadas as medidas da prancheta de desenho, os objectos têm ou não de ser
reposicionados no plano. Por defeito, reposicionam-se.
tamanho_ponto
Indica a dimensão dos pontos que são desenhados na prancheta.
Valores possíveis: qualquer número Real positivo.
Valor por defeito: 5
largura_linha
Indica a espessura das rectas, segmentos ou gráficos de funções que são desenhados na prancheta.
mostrar_etiqueta
Indica se tem de ser mostrada, no gráfico, a etiqueta da figura.
etiqueta
Indica qual é a etiqueta mostrada junto à figura.
Valores possíveis: qualquer objecto e "automático"; se escolhermos este segundo valor da opção, a
etiqueta indica o nome da figura.
etiqueta_fonte
Indica o tipo de fonte utilizado para escrever as etiquetas na prancheta.
Valores possíveis: qualquer objecto de tipo Fonte.
Valor por defeito: {negrito=falso,cursivo=falso,nome="SansSerif",tamanho=12}
nome
powered by WIRIS
- 70 -
Gráficos 2D
Se o comando desenhar não conhece o nome do objecto que tem de desenhar, indica o seu nome. Só
tem efeito quando se trata de um único elemento e não de uma lista.
Valores possíveis: qualquer objecto de tipo Cadeia.
Valor por defeito: nulo
nome_inicial
Se o comando desenhar não conhece o nome do objecto que tem de desenhar, o nome dessa figura é
o valor desta opção combinado com um número.
Desenho de regiões
powered by WIRIS
- 71 -
desenhar regiões: desenhar(e:Inequação)
É possível desenhar directamente a região definida por desigualdades com o comando desenhar e usar
opcionalmente o operador para intersectar regiões distintas. Ver também região.
região: região(...)
O comando região pode ser utilizado para desenhar um conjunto mais vasto de superfícies do que as que se poderiam
obter com desenhar. Por exemplo, será possível definir e desenhar a área delimitada por uma função explícita ou
entre duas curvas quaisquer.
As igualdades usadas com região delimitarão as zonas limitadas:
Para desenhar a região definida por uma função explícita, faremos:
powered by WIRIS
- 72 -
Gráficos 2D
Para desenhar a região definida por duas funções explícitas, faremos:
Comando representar
representar: representar(...)
A finalidade desta função é desenhar os objectos e mostrar, por seu turno, a respectiva informação relevante. Por
exemplo, a representação de funções consiste em desenhar o gráfico e os elementos notáveis das funções, como, por
exemplo, pontos singulares, assímptotas e máximos locais. Admite os mesmos argumentos que a função desenhar.
Encontra-se definida para objectos de tipo:

Função, Circunferência e Cónica ( Hipérbole, Elipse e Parábola)
Ao aplicar o comando a um objecto para o qual WIRIS não considera ou não sabe como calcular nenhum elemento
especial, o comando é equivalente a desenhar.
opções representar:
As opções de representar são as mesmas que as de desenhar.
Comandos para escrever texto
escrever: escrever(d,P:Ponto)
Esta função permite escrever d no ponto P. Normalmente d será de tipo Cadeia mesmo quando possa ser qualquer
objecto. Em geral, podemos considerar que o comando escrever é uma forma rápida de desenhar objectos de tipo
Caixa_de_texto.
powered by WIRIS
- 73 -
opções escrever: Opcionalmente, o último argumento do comando escrever pode ser uma Lista de opções.
As opções que podemos aplicar ao comando escrever tanto são as do comando caixa_de_texto
como as de desenhar (podemos vê-las aqui), já que escrever(t,d,P,O) é equivalente a
desenhar(t,caixa_de_texto(d,P,O),O), em que t é um Prancheta, O é uma Lista de opções,
e d e P são como foi descrito no parágrafo anterior.
As principais opções do comando caixa_de_texto são:
fundo
Indica se tem de se pintar ou não o fundo correspondente ao objecto representado.
cor_de_fundo
No caso de o valor de fundo estar certo, indica a cor com a qual se pinta o fundo do objecto representado.
Valores possíveis: qualquer Cor, em formato numérico {r,g,b} ou então, se estiver definido, pelo respectivo
nome.
Valor por defeito: {255,255,255} (cor branca).
margem
Indica se tem de se acrescentar ou não um limite ao objecto representado e, no primeiro caso, determina a
espessura que terá.
Valores possíveis: qualquer número Inteiro não negativo.
cor_da_margem
No caso de o valor de margem ser um número Inteiro positivo, indica a cor com a qual se pinta o limite.
Valores possíveis: qualquer Cor, em formato numérico {r,g,b} ou então, se estiver definido, pelo respectivo
nome.
Valor por defeito: {0,0,0} (cor preta).
posição_horizontal
Indica a posição horizontal da Caixa_de_texto tomando como referência o ponto especificado.
Valores possíveis: "esquerda", "centro" e "direita".
Valor por defeito: "direita"
posição_vertical
Indica a posição vertical da Caixa_de_texto tomando como referência o ponto especificado.
Valores possíveis: "acima", "centro", "linha_base" e "abaixo".
Valor por defeito: "linha_base"
largura_máxima
Indica a largura máxima da Caixa_de_texto. Quando o texto a ultrapassa, muda de linha.
powered by WIRIS
- 74 -
Gráficos 2D

Valor por defeito: # (infinito).
fonte
Indica o tipo de letra utilizado para escrever o texto na prancheta.
fonte_negrito
Indica se o texto da prancheta usa letra em negrito.
fonte_cursiva
Indica se o texto usa letra em cursivo.
nome_fonte
Indica o nome do tipo de letra utilizado.
Valores possíveis: "Serif", "SansSerif" e "Monospaced".
Valor por defeito: "SansSerif"
tamanho_fonte
Indica o tamanho do tipo de letra do texto.
Valores possíveis: qualquer número Inteiro positivo.
Prancheta de desenho
Os comandos desenhar, representar ou escrever podem receber como primeiro argumento, e de forma
opcional, a prancheta de desenho onde pretendemos que seja feita a representação. Se o primeiro argumento não for uma
prancheta, WIRIS proporciona uma de características predefinidas.
Cada bloco de cálculos tem a sua prancheta predefinida e, na verdade, pode ter tantas quantas queiramos. Os comandos
para criar uma prancheta de desenho são prancheta() ou prancheta(P,x,y); este último permite criar uma
prancheta com centro no ponto P, largura x e altura y.
Por predefinição, quando se cria uma prancheta, aparecem nesta os eixos coordenados e uma grelha de cor
laranja. Se pretendermos que estes elementos não apareçam, deveremos executar mostrar_eixos(falso) e
mostrar_grelha(falso), respectivamente, antes de criar a prancheta e de desenhar alguma coisa Se uma
prancheta de desenho tem a grelha visível, os pontos só se podem deslocar sobre os vértices da grelha. Uma vez gerada
uma prancheta de desenho, podemos controlar os eixos e a grelha com os ícones ou , respectivamente.
No exemplo seguinte, é criada uma prancheta de desenho em que, ao contrário do habitual, não surgem nem os eixos
nem a grelha:
powered by WIRIS
- 75 -
A descrição dos ícones da prancheta de desenho ( , , , , etc.) encontra-se na secção Menus, ícones....
opções prancheta: As principais opções do comando prancheta são:
centro
Indica o ponto no centro da prancheta.
Valores possíveis: qualquer Ponto.
Valor por defeito: ponto(0,0)
altura
Indica a altura da prancheta.
largura
Indica a largura da prancheta.
visível
Indica se a prancheta é ou não visível.
cor_de_fundo
Indica a cor de fundo da prancheta.
Valores possíveis: qualquer Cor, em formato numérico {r,g,b} ou então, se estiver definido, pelo seu nome.
Valor por defeito: {255,255,240} (cor creme).
proporção
Indica a proporção desejada entre a altura e a largura da prancheta.
informação
Indica qual a informação que deve ser mostrada quando se passa com o rato sobre uma figura. Esta
informação pode ser alterada depois de o desenho surgir no ecrã, por intermédio dos ícones , e
da barra de ferramentas da prancheta de desenho.
Mais informações em etiqueta ou mostrar_etiqueta.
Valores possíveis: "nenhum", "nome", "definição" e "valor".
Valor por defeito: "nome"
· Atributos da janela
altura_janela
Indica a altura da janela de desenho, em pixels.
powered by WIRIS
- 76 -
Gráficos 2D
largura_janela
Indica a largura da janela de desenho, em pixels.
proporção_janela
Indica a proporção desejada entre a altura e a largura da janela de desenho.
· Atributos dos eixos coordenados
mostrar_eixos
Indica se os eixos coordenados aparecem ou não no desenho.
cor_eixos
No caso de o valor de mostrar_eixos estar certo, indica a cor em que surgem os eixos.
Valor por defeito: {150,150,255} (azul claro).
estilo_de_eixos
Indica como são representados os eixos de coordenadas, assim como duas rectas perpendiculares, ou então
um par de setas perpendiculares entre si. Para além disso, neste segundo caso, o eixo das abcissas pode
ser identificado por x ou por X e o eixo das ordenadas por y ou por Y.
Valores possíveis: "nenhum", "seta", "recta_xy" e "recta_XY".
Valor por defeito: "nenhum"
fonte_eixos
Indica a fonte utilizada para escrever o texto e os valores que acompanham os eixos.
etiqueta_de_eixos
Dá nome aos eixos de coordenadas. A primeira componente da lista dá nome ao eixo das abcissas, enquanto
que a segunda o dá ao eixo das ordenadas.
Valores possíveis: qualquer Lista de dois componentes.
Valor por defeito: {,} (uma Lista_vazia de duas componentes).
· Atributos da grelha
mostrar_grelha
Indica se aparece ou não uma grelha na janela. Se aparecer a grelha, o movimento dos pontos desenhados
é limitado aos pontos de intersecção da grelha; se não aparecer, os pontos podem deslocar-se livremente
pela prancheta de desenho.
cor_da_grelha
Indica a cor da grelha.
Valores possíveis: qualquer Cor em formato numérico {r,g,b} ou então, se estiver definido, pelo respectivo
nome.
Valor por defeito: {255,200,100} (cor-de-laranja claro).
powered by WIRIS
- 77 -
Geometria interactiva
É possível desenhar uma série de objectos utilizando relações geométricas e ver como, deslocando alguns deles, se
mantêm essas relações. Para isso, os objectos que dependem de outros devem declarar-se com o símbolo :=.
Depois de calcular o exemplo seguinte, experimentemos deslocar um ponto P.
deslocamento: comando deslocamento
Usaremos o comando deslocamento e declararemos uma variável com := para poder escolher números reais de
forma interactiva.
Este comando recebe como argumentos um traçado e, opcionalmente, um valor inicial.
ponto mais próximo: comando ponto_mais_próximo
Em geometria interactiva, por vezes é necessário obrigar um ponto a estar sobre outra figura. Esta função recebe, como
primeiro argumento, um objecto geométrico e, como segundo argumento, o valor do ponto inicial.
powered by WIRIS
- 78 -
Gráficos 3D
Gráficos 3D
WIRIS dispõe de procedimentos para a representação gráfica em três dimensões. As principais aplicações destes
procedimentos são a representação das figuras da geometria e a representação das funções.
A representação é feita numa Prancheta de desenho por intermédio do comando desenhar3d. Para escrever texto
no desenho, utiliza-se o comando escrever3d.
Podemos consultar o comando estado_geometria para descobrir como simplificar este comando.
>>rápido
Comando desenhar desenhar um objecto desenhar uma função
desenhar uma equação curvas de nível
desenhar vectores opções desenhar3d
Comandos para escrever escrever3d opções escrever3d
texto
Prancheta de desenho opções prancheta3d
Comando desenhar
desenhar um objecto: desenhar3d(d:Desenhável3d)
Em geral, esta função desenha um objecto d numa prancheta de desenho. Alguns exemplos dos objectos que podem
ser desenhados são Ponto, Recta, Plano3d, Segmento, Triângulo, Poligonal, Poliedro3d,
Superfície, Curva3d e Caixa_de_texto. Se o argumento for uma Lista, então são desenhados todos
os seus elementos.
que possa ser desenhado, então é desenhado; caso contrário, nada acontece e é emitido um aviso. Se mais à frente
o valor de d muda, o desenho é actualizado para mostrar o novo objecto. Pode dizer-se que a prancheta de desenho
No exemplo seguinte, podemos constatar esse comportamento. Se definirmos P como o ponto (3,5,0) e o desenharmos
(primeiro bloco), aparece o ponto (3,5,0) na prancheta de desenho. Se, em seguida, P assumir como valor o ponto
(2,-1,0), será este o ponto que aparece desenhado. Note-se que isto acontece sem termos de voltar a usar o comando
desenhar3d com o ponto P.
powered by WIRIS
- 79 -
desenhar uma função: comando desenhar3d
Para desenhar tanto curvas como superfícies, usa-se o comando desenhar3d. Na maior parte dos casos será
suficiente indicar a expressão da função que pretendemos desenhar e o sistema encarregar-se-á de escolher se se trata
de uma curva ou superfície, o traçado e quais as variáveis que fazem o papel de x, y ou z.
Vejamos alguns exemplos de superfícies.
É também possível especificar as variáveis e o traçado.
Curvas paramétricas
Para desenhar curvas paramétricas, será sempre necessário indicar a variável que funciona como parâmetro e o seu
traçado.
powered by WIRIS
- 80 -
Gráficos 3D
Superfícies paramétricas
Indicando as duas variáveis das quais depende a superfície e os seus respectivos traçados, é possível desenhar
superfícies paramétricas.
desenhar uma equação: desenhar3d(eq:Equação)
O comando desenhar3d admite também uma equação como argumento. Este comando proporciona uma
representação gráfica do objecto matemático associado a esta equação.
As equações admitidas pelo comando são as que correspondem a objectos de tipo Plano3d.
powered by WIRIS
- 81 -
curvas de nível: comando curvas_de_nível
O comando curvas_de_nível permite criar e desenhar as curvas de nível associadas a uma superfície. O
resultado curvas_de_nível pode ser desenhado tanto no plano como no espaço.
desenhar vectores: desenhar(v:Vector,P:Ponto)
Desenha-se um vector indicando o referido vector e um ponto. As opções servirão para indicar a forma da seta.
opções desenhar3d: Opcionalmente, o último argumento do comando desenhar3d pode ser uma Lista de opções.
As opções permitem controlar o aspecto (cor, espessura, etc.) das figuras. O funcionamento de algumas opções, ou a
sua qualidade, depende da versão de Java™ (JVM) que esteja instalada no computador. Com o Java™ versão 1.3 (Java
2) ou uma versão posterior, podemos ver no segundo exemplo rectas de diferente largura. Descarregar a última
versão de Java.
powered by WIRIS
- 82 -
Gráficos 3D
Introduz-se cada um dos valores das opções separados por vírgulas e seguindo o formato 'nome_opção=valor_opção';
por exemplo cor=verde.
As principais opções do comando desenhar3d são:
cor
Indica a cor em que se desenha na prancheta.
Valores possíveis: listas de três números inteiros entre 0 e 255 com a forma '{r,g,b}', em que r,g,b
correspondem à quantidade de vermelho (red), verde (green) e azul (blue) que definem a cor. Para
facilitar o trabalho, foram definidas algumas cores: preto, branco, vermelho, verde, azul,
ciano, magenta, amarelo, castanho, laranja, rosa, cinzento, cinzento_escuro,
cinzento_claro e a lista completa de cores html.
Valor por defeito: preto
margem
Indica se tem ou não de se pintar o contorno das figuras fechadas.
preencher
Caso se tenha uma figura fechada, o comando indica se o respectivo interior se pinta.
Valores possíveis: verdadeiro, falso e "automático".
Caso se tenha uma figura fechada e o valor de preencher for certo, indica a cor com a qual se pinta o
interior das figuras.
Valores possíveis: uma Cor e "automático"; se escolhermos este segundo valor da opção, o interior
da figura é pintado com a mesma cor da opção cor.
visível
transparência
Indica o grau de transparência do elemento. O valor 0 indica que o elemento é totalmente opaco. O valor 1
indica que é totalmente transparente.
Valores possíveis: qualquer número Real entre 0 e 1.
Valor por defeito: 0,3
powered by WIRIS
- 83 -
móvel
Se o objecto a desenhar não tiver sido definido de forma estática, permite que este possa ou não deslocar-se
no espaço.
fio
Indica se as arestas do elemento se destacam ou não.
Valores possíveis: verdadeiro, falso e "automático".
tamanho_ponto
largura_linha
Indica a espessura das rectas, segmentos ou gráficos de funções desenhados na prancheta.
avaliar
mostrar_etiqueta
etiqueta
Valores possíveis: qualquer objecto e "automático"; se escolhermos este segundo valor da opção, a
etiqueta indica o nome da figura.
etiqueta_fonte
Indica o tipo de letra utilizado para escrever as etiquetas da prancheta.
nome
Se o comando desenhar3d não conhecer o nome do objecto que tem de desenhar, indica o seu nome.
Só tem efeito quando se trata de um único elemento e não de uma lista.
nome_inicial
Se o comando desenhar3d não conhece o nome do objecto que tem de desenhar, o nome dessa figura
é o valor desta opção combinado com um número.
powered by WIRIS
- 84 -
Gráficos 3D
Comandos para escrever texto
escrever3d: escrever3d(d,P:Ponto)
Esta função permite escrever d no ponto P. Normalmente d será de tipo Cadeia mesmo quando possa ser qualquer
objecto. Em geral, podemos considerar que o comando escrever3d é uma forma rápida de desenhar objectos de
tipo Caixa_de_texto.
opções escrever3d: Opcionalmente, o último argumento do comando escrever3d pode ser uma Lista de opções.
As opções que podemos aplicar ao comando escrever3d tanto são as do comando caixa_de_texto
como as de desenhar (podemos vê-las aqui), já que escrever3d(t,d,P,O) é equivalente a
desenhar(t,caixa_de_texto(d,P,O),O), em que t é um Prancheta3d, O é uma Lista de
opções, e d e P são como foi descrito no parágrafo anterior. Para conhecer as opções deste comando, podemos consultar
o seu homónimo no capítulo Gráficos 2D.
powered by WIRIS
- 85 -
Os comandos desenhar3d ou escrever3d podem receber como primeiro argumento, e de forma opcional, a
prancheta de desenho onde pretendemos que seja feita a representação. Se o primeiro argumento não for uma prancheta,
o WIRIS proporciona uma de características predefinidas.
Cada bloco de cálculos tem a sua prancheta predefinida e, na verdade, pode ter tantas quantas queiramos. O comando
para criar uma prancheta de desenho é prancheta3d() ou prancheta3d(P,x,y,z); este último permite criar
uma prancheta com centro no ponto P, largura x, altura y e profundidade z.
Uma vez criada a prancheta, podem ser alterados os seus atributos utilizando-se a função atributos3d. No exemplo
seguinte, é criada uma prancheta de desenho em que, ao contrário do habitual, não surgem nem os eixos nem o cubo:
A descrição dos ícones da prancheta de desenho ( , , , , etc.) encontra-se na secção Menus, ícones....
opções prancheta3d: As principais opções do comando prancheta3d são:
centro
Valores possíveis: qualquer Ponto.
Valor por defeito: ponto(0,0,0)
altura
largura
profundidade
Indica a profundidade da prancheta.
cor_de_fundo
powered by WIRIS
- 86 -
Gráficos 3D
Valor por defeito: {255,255,240} (cor creme).
informação
Indica qual a informação que deve ser mostrada quando se passa com o rato sobre uma figura. Esta
informação pode ser alterada depois de o desenho surgir no ecrã, por intermédio dos ícones , ou
da barra de ferramentas da prancheta de desenho.
Mais informações em etiqueta ou mostrar_etiqueta.
Valores possíveis: "nenhum", "nome", "definição" e "valor".
Valor por defeito: "nome"
visível
matriz_de_transformação
Indica a posição do cubo de representação dentro da janela de desenho. De cada vez que deslocarmos o
cubo, podemos saber qual é a nova posição por intermédio do ícone da barra de ferramentas da prancheta
de desenho.
Valores possíveis: qualquer Matriz de números Real 3x3.
Valor por defeito: -
· Atributos da janela
altura_janela
largura_janela
· Atributos dos eixos coordenados
mostrar_eixos
cor_eixos
No caso de o valor de mostrar_eixos estar certo, indica a cor com a qual se pintam os eixos.
· Atributos do cubo
mostrar_cubo
Indica se, na janela, aparece ou não um cubo. Os pontos podem deslocar-se livremente pela prancheta de
desenho.
powered by WIRIS
- 87 -
cor_do_cubo
Indica a cor do cubo.
A geometria interactiva no espaço funciona da mesma forma que no plano. Ver Geometria interactiva no plano.
powered by WIRIS
- 88 -
Estatística
Estatística
>>rápido
Funções média média geométrica média harmónica variância
desvio padrão mediana quartil moda
Funções com covariância correlação recta de regressão
duas variáveis
A Estatística Descritiva é o ramo da estatística que recolhe e analisa dados, os analisa e apresenta os resultados com
gráficos ou por intermédio de cálculos de parâmetros estatísticos, alguns números que tendem a descrever o conjunto de
dados. Para além disso, em muitas ocasiões não é possível observar o valor da variável para todos os elementos de uma
população e, nesse caso, recolhem-se os dados relativamente a uma amostra, parte de uma população que é utilizada
para inferir informação sobre algumas características da população total. Esta é a situação à qual mais se ajustam os
procedimentos explicados neste capítulo.
Noutras ocasiões, as observações da Estatística Descritiva correspondem a valores observados na realização de uma
experiência aleatória. Neste caso, a amostra dos resultados tem como finalidade tentar estabelecer o modelo teórico que
regula a experiência.
Na área da Estatística, o WIRIS funciona sempre com números decimais, o que não sucede com as restantes áreas de
conhecimento, a fim de seguir a prática habitual.
Vejamos como se pode representar uma amostra com 3 zeros e 4 uns.
No primeiro caso, foi considerada uma Lista que contém os elementos da amostra; no segundo caso, foi usado um
Divisor onde é indicado quantas vezes aparece cada valor. Vemos agora algumas operações que podem ser realizadas
com amostras.
Para concluir a introdução, referimos que é possível agrupar diferentes amostras de variáveis aleatórias, por intermédio
de um Divisor. A explicação detalhada desta capacidade encontra-se na descrição de Multiamostra no índice
alfabético.
Vejamos, antes de prosseguir, alguns exemplos esclarecedores:
powered by WIRIS
- 89 -
Funções
Nesta secção são explicadas as funções que o WIRIS pode aplicar a um conjunto de dados (observados de uma variável
estatística), x={x1,x2,...,xn}.
média: comando média
em que n=comprimento(x).
média geométrica: comando média_geométrica
powered by WIRIS
- 90 -
Estatística
média harmónica: comando média_harmónica
variância: comando variância
Calcula a variância segundo a definição inferencial. Ou seja,
em que n=comprimento(x), mx=média(x).
desvio padrão: comando desvio_padrão
em que n=comprimento(x), mx=média(x).
powered by WIRIS
- 91 -
mediana: comando mediana
Se x1,x2,...,xn for uma amostra ordenada, é definida como
xk se n=2k-1
(xk+xk+1)/2 se n=2k
em que k é um número inteiro. Se a amostra não estiver ordenada, basta ordená-la e aplicar a definição anterior.
quartil: comando quartil
Calcula os diferentes quartis de uma amostra. Vejamos a definição completa do comando quartil no índice alfabético.
moda: comando moda
Calcula o valor que mais vezes aparece na amostra. Se houver mais de um valor que apareça o número máximo de
vezes, obtém-se uma lista com os diversos valores da moda.
Funções com duas variáveis
O WIRIS dispõe de diversas funções que assumem como argumento uma amostra de dados bivariantes, ou seja, uma
amostra que tem a forma (x1,y1),(x2,y2),...,(xn,yn). Nos exemplos, há que ter em atenção que, apesar de a entrada de
dados poder ser feita de forma independente para os valores de uma e de outra variável, temos de pressupor que são
dados bivariantes.
powered by WIRIS
- 92 -
Estatística
Todos os comandos sobre dados bivariantes podem receber como argumento uma lista de pontos em vez de duas listas
de números. De forma bastante natural, o WIRIS considera que as abcissas dos pontos são os valores da primeira variável
e que as ordenadas são os valores da segunda variável observados nos elementos da amostra.
covariância: comando covariância
em que mx=média(x), my=média(y).
correlação: comando correlação
Calcula o coeficiente de correlação de Pearson entre um conjunto de dados bivariantes obtidos relativamente a uma
amostra. Este parâmetro indica o grau de "relação linear" que existe entre uma e outra amostra.
powered by WIRIS
- 93 -
recta de regressão: comando recta_de_regressão
Dada uma amostra de dados (x1,y1),(x2,y2),...,(xn,yn), calcula a recta de regressão deduzida a partir do método dos
mínimos quadrados, tomando x como variável preditora e y como variável de resposta.
powered by WIRIS
- 94 -
Cálculo combinatório
>>rápido
Funções combinações combinações com repetição
variações variações com repetição
permutações permutações com repetição
Todos os comandos do cálculo combinatório (permutações, combinações e variações, com ou sem repetição) têm um
ícone associado, que é também um comando textual.
Estes comandos utilizam-se habitualmente para calcular a quantidade de elementos de uma lista de selecções
combinatórias, mas também podem devolver as próprias selecções.
Salvo no caso especial das permutações com repetição, que se explica mais abaixo, quando o primeiro argumento destes
comandos é uma lista (expresso com chavetas) ou um vector (expresso com parêntesis rectos), o comando devolve a
correspondente lista de selecções combinatórias do conjunto.
Para o WIRIS, os elementos de uma lista ou vector são diferentes, ainda que estejam repetidos, de forma que, quando
calcula combinações, variações ou permutações, as trata como diferentes e não como indistinguíveis, excepto no caso
das permutações com repetição.
Funções
combinações: ícone ou , comando combinações
O comando combinações recebe dois argumentos, m e n. Se m e n forem números inteiros não negativos, calcula
o número de combinações de m elementos tomados n a n. Se m for uma Lista ou Vector e n um número inteiro
não negativo, devolve a lista com as combinações dos seus elementos tomados n a n.
Ao clicar sobre o ícone aparece o símbolo padrão de combinações, contendo duas caixas vazias de cor verde.
Escrevemos o argumento m na primeira e o argumento n na segunda.
Ao clicar sobre o ícone , também aparecem duas caixas. Escrevemos o argumento m na superior e o argumento
n na inferior.
powered by WIRIS
- 95 -
combinações com repetição: ícone , comando combinações_com_repetição
O comando combinações_com_repetição recebe dois argumentos, m e n. Se m e n forem números inteiros

não negativos, calcula o número de combinações com repetição de m elementos tomados n a n. Se m for uma Lista
ou Vector e n um número inteiro não negativo, devolve a lista com as combinações com repetição dos seus elementos
tomados n a n.
Ao clicar sobre o ícone aparece o símbolo padrão de combinações com repetição, contendo duas caixas vazias de
cor verde. Escrevemos o argumento m na primeira e o argumento n na segunda.
variações: ícone , comando variações
O comando variações recebe dois argumentos, m e n. Se m e n forem números inteiros não negativos, calcula o
número de variações de m elementos tomados n a n. Se m for uma Lista ou Vector e n um número inteiro não
negativo, devolve a lista com as variações dos seus elementos tomados n a n.
Ao clicar sobre o ícone aparece o símbolo padrão de variações, contendo duas caixas vazias de cor verde.
Escrevemos o argumento m na primeira e o argumento n na segunda.
powered by WIRIS
- 96 -
variações com repetição: ícone , comando variações_com_repetição
O comando variações_com_repetição recebe dois argumentos, m e n. Se m e n forem números inteiros não

negativos, calcula o número de variações com repetição de m elementos tomados n a n. Se m for uma Lista ou
Vector e n um número inteiro não negativo, devolve a lista com as variações com repetição dos seus elementos
tomados n a n.
Ao clicar sobre o ícone aparece o símbolo padrão de variações com repetição, contendo duas caixas vazias de cor
verde. Escrevemos o argumento m na primeira e o argumento n na segunda.
permutações: ícone , comando permutações
O comando permutações recebe um argumento, n. Se n for um número inteiro não negativo, devolve o número de
permutações de n elementos, ou seja, n!. Se n for uma Lista ou Vector fornece a lista de todas as permutações
dos seus elementos.
Ao clicar sobre o ícone aparece o símbolo padrão de permutações, contendo uma caixa vazia de cor verde,
correspondente ao argumento n.
permutações com repetição: ícone , comando permutações_com_repetição
O comando permutações_com_repetição tem um primeiro argumento, n, que tem de ser um número inteiro
não negativo (caso contrário, o comando não faz nada) e uma sequência de um ou mais argumentos adicionais n1 ,
n2 ,..., nr.
Se os argumentos adicionais forem números inteiros não negativos tais que n = n1+n2+...+nr, o comando obtém
o número de permutações de n elementos formados por r elementos distintos e de forma que o i-ésimo se repete ni
vezes. Se não se cumprirem estas condições, o comando não faz nada.
Em vez da sequência de argumentos adicionais podemos introduzir uma Lista (ou um Vector) L de n elementos,
formados por r elementos distintos e de forma que o i-ésimo se repita ni vezes. Se n = n1+n2+...+nr, o comando
fornece a lista de todas as permutações distintas de L, caso contrário, não faz nada. Se quisermos calcular o conjunto,
introduzimos como segundo argumento a lista com os elementos que queremos combinar.
Ao clicar sobre o ícone aparece o símbolo padrão de permutações com repetição, contendo duas caixas vazias de
cor verde. Escrevemos os argumentos adicionais (ou seja, a sequência de ni, ou a Lista ou Vector) e o argumento
n na segunda.
powered by WIRIS
- 97 -
powered by WIRIS
- 98 -
Unidades de medida
Unidades de medida
>>rápido
Notação
Aritmética
Funções
converter factor de conversão
coeficiente unidade
Tabelas Unidades básicas do SI
Unidades derivadas do SI
Unidades de outros sistemas de unidades
Prefixos do Sistema Internacional de Unidades
As unidades de medida são uma ferramenta básica na Física, e também em alguns aspectos da Matemática.
As unidades de medida que o WIRIS permite representar incluem todas as do Sistema Internacional de Unidades (SI) e
algumas outras, como o litro ou o bar (pressão atmosférica), que têm um interesse prático. Permite também ao utilizador
definir as suas próprias unidades com o comando unidade.
Há, no SI, para além das unidades principais, os seus múltiplos e submúltiplos decimais, que se assinalam usando os
prefixos deca, hecto, quilo, deci, centi, mili... A relação completa de unidades do SI, assim como dos
prefixos, os seus nomes, as suas abreviaturas e os correspondentes factores de conversão relativamente à unidade básica,
encontram-se nas tabelas do final do capítulo. Podemos utilizar os ícones do separador Unidades de Medida para criar
unidades e medidas. Por exemplo, para expressar o metro iremos utilizar o ícone e para expressar o decímetro iremos
seleccionar deci no menu desdobrável que se encontra do lado esquerdo, e depois clicar sobre o ícone .
Algumas das unidades mais comuns que podemos usar, quer sejam ou não do SI, são:
metro, grama, amper, kelvin, mol, litro, hora, minuto, segundo, coulomb, henry,
newton, joule, volt, ohm, hertz, pascal, bar, radiano, siemens, farad, tesla, watt,
weber
Podemos encontrar a relação completa das unidades que foram incluídas no WIRIS nas tabelas do final do capítulo.
As unidades podem ser multiplicadas e divididas entre si para definir novas unidades. Se multiplicarmos uma unidade
de medida por um número, obteremos uma quantidade (que pode representar o valor de uma medida). As quantidades
correspondentes a medidas da mesma magnitude podem ser somadas, mesmo que não estejam expressas com as
mesmas unidades, multiplicadas ou divididas entre si, além de poderem ser alteradas as unidades com as quais se
representam.
Para expressar uma quantidade complexa numa única unidade utiliza-se o comando converter com a quantidade
como primeiro argumento e a unidade em que se pretende expressar o resultado como segundo argumento. Vejamos
alguns exemplos:
powered by WIRIS
- 99 -
Notação
As quantidades físicas podem ser somadas, subtraídas, multiplicadas e divididas. Em geral, para somar ou subtrair
quantidades utiliza-se a chamada notação complexa, isto é, separam-se as quantidades (recordemos que uma quantidade
é um número seguido de uma unidade) por um espaço. O WIRIS entende a notação complexa, mas em caso de dúvida é
recomendável que sejam utilizados os símbolos habituais de soma e subtracção.
Aritmética
Ao somar ou subtrair quantidades físicas, podem surgir quantidades negativas. Quando é possível, o WIRIS transforma
estas quantidades negativas numa equivalente positiva. Vejamos alguns exemplos.
Funções
As funções para a conversão de quantidades para unidades diferentes são:
converter: comando converter
O comando converter pode receber um ou dois argumentos. No primeiro caso, obtém-se a quantidade que foi
introduzida, expressa nas unidades básicas do SI. No segundo caso, o segundo argumento é a unidade de medida
em que pretendemos expressar a quantidade especificada.
powered by WIRIS
- 100 -
Unidades de medida
factor de conversão: comando factor_de_conversão
Este comando pode receber uma ou duas unidades de medida como argumentos. Se receber dois argumentos, devolve
o factor pelo qual devem ser multiplicadas as quantidades expressas na primeira unidade para obter o seu equivalente
na segunda unidade. Se apenas receber um argumento, que se supõe ser uma unidade de medida, calcula o factor para
converter quantidades expressas nesta unidade em unidades básicas do SI.
coeficiente: comando coeficiente
Dada uma quantidade, devolve o seu coeficiente se apenas tiver uma parcela; se tiver mais de uma parcela, devolve o
coeficiente da quantidade transformada para o SI.
unidade: comando unidade
Dada uma quantidade, devolve a sua unidade de medida se apenas tiver uma parcela; se tiver mais de uma parcela,
devolve a unidade equivalente do SI.
Tabelas
Unidades básicas do SI
powered by WIRIS
- 101 -
A partir destas são definidas as outras unidades:
Unidade do SI
Magnitude
Nome Símbolo
comprimento metro m
massa quilograma kg
tempo segundo s
intensidade eléctrica amper A
temperatura termodinâmica kelvin K
quantidade de matéria mol mol
intensidade luminosa candela cd
Unidades derivadas do SI
Definidas a partir das básicas:
Unidade do SI Expressão
Expressão em
Magnitude noutras
unidades básicas
unidades
Nome Símbolo
ângulo plano radiano rad -1

m·m =1
ângulo sólido esterradiano sr 2 -2

m ·m =1
frequência hertz Hz -1
s
força newton N -2
kg·m·s
pressão, tensão pascal Pa 2 -1 -2

N/m m ·kg·s
energia, trabalho, 2 -2
quantidade de calor
joule J N·m m ·kg·s
potência, fluxo radiante watt W J/s 2 -3

m ·kg·s
diferença de potencial 2 -3 -1
eléctrico, força electromotriz
volt V W/A m ·kg·s ·A
powered by WIRIS
- 102 -
Unidades de medida
capacitância farad F C/V -2 -1 4 2

m ·kg ·s ·A
resistência eléctrica ohm W V/A 2 -3 -2

m ·kg·s ·A
carga eléctrica coulomb C F·V A·s
condutância eléctrica siemens S A/V -2 -1 3 2

m ·kg ·s ·A
fluxo magnético weber Wb V·s 2 -2 -1

m ·kg·s ·A
densidade do fluxo magnético tesla T 2 -2 -1

Wb/m kg·s ·A
indutância henry H Wb/A 2 -2 -2

m ·kg·s ·A
fluxo luminoso lumen lm cd·sr 2 -2

m ·m ·cd=cd
iluminância lux lx 2 2 -4 -2
lm/m m ·m ·cd=m ·cd
actividade de um radionucleido becquerel Bq -1

s
dose absorvida gray Gy J/kg 2 -2

m ·s
dose equivalente sievert Sv J/kg 2 -2

m ·s
actividade catalítica katal Kat -1

s ·mol
Unidades de outros sistemas de unidades
Unidade
Magnitude
Nome Símbolo
tempo hora h
tempo minuto min
tempo segundo s
volume litro l
pressão, tensão bar b
Prefixos do Sistema Internacional de Unidades
powered by WIRIS
- 103 -
Factor Prefixo Símbolo
1 deca da
10
2 hecto h
10
3 quilo k
10
6 mega M
10
9 giga G
10
12 tera T
10
15 peta P
10
18 exa E
10
21 zetta Z
10
24 iota Y
10
Factor Prefixo Símbolo
-1 deci d
10
-2 centi c
10
-3 mili m
10
-6 micro µ
10
-9 nano n
10
-12 pico p
10
-15 fento f
10
-18 ato a
10
-21 zepto z
10
-24 iocto y
10
A nomenclatura deste capítulo é baseada na norma do Comité Europeu de Normalização.
powered by WIRIS
- 104 -
Menus, ícones...
Menus, ícones...
>>rápido
Separadores Geral Edição Operações Símbolos
da barra de Análise Matrizes Unidades Combinatória
ferramentas
Geometria Grego Programação Formato
Prancheta de
desenho
Neste capítulo poderá saber como utilizar os diferentes menus e ícones do WIRIS.
Ao aceder à página do WIRIS, aparece uma colecção de separadores, como por exemplo Edição, Operações ou Análise.
Em cada momento apenas é visível o conteúdo de cada um dos separadores. Para mostrar o conteúdo de um separador,
deve clicar-se sobre o seu nome.
Cada separador tem um conjunto de ícones e menus que facilitam a construção de expressões matemáticas.
Para começar, temos à vista o conteúdo do separador Operações.
Se pretendermos usar os ícones do separador Matrizes, devemos clicar em Matrizes.
E surgem os ícones correspondentes a Matrizes:
Separadores da barra de ferramentas
Encontra-se a seguir, para cada um dos separadores da barra de ferramentas, uma tabela descritiva dos seus ícones
e da função que realizam e, para cada caso, uma hiperligação para uma explicação mais detalhada. As colunas destas
tabelas mostram-nos:
Acção
Breve explicação das utilidades do ícone.
Teclado
Combinação de teclas que substituem os ícones e que são utilizadas para acelerar o processo de construção de
expressões. No caso de esta combinação existir, incluir-se-á a sua explicação na do ícone.
Mais Info
Nesta coluna aparecem as hiperligações que conduzem à subsecção do guia rápido em que se explica detalhadamente
a funcionalidade do ícone, assim como exemplos dos usos do ícone.
powered by WIRIS
- 105 -
Código
Este código é o texto que deve ser introduzido quando construímos a nossa própria Barra de ferramentas. Para mais
informação, deve consultar-se o capítulo Barra de ferramentas.
Geral: à direita da barra de ferramentas aparecem sempre os seguintes ícones:
Acção Teclado Mais Info Código
Efectua todos os cálculos do bloco activo (conjunto de cálculos Ctrl +

em que se encontra o cursor). Enter
Perto do bloco activo aparece uma seta flutuante que permite
1 minuto compute
calcular e que desaparece se usarmos o teclado (Ctrl + Enter)
para calcular. Para voltar a fazer aparecer a seta flutuante,
usa-se o ícone que está à direita da barra de ferramentas.
Suspende os cálculos. stop
Edição: tarefas relativas ao documento e ao processo de cálculo.
Mais
Acção Teclado Código
Info
Iniciar uma nova sessão de cálculos. newsession
Cria um novo bloco. newblock
Prepara a sessão para a guardar num ficheiro HTML. save
Prepara a sessão para a imprimir. print
Prepara uma pré-visualização da sessão para a imprimir. printPreview
Copia a expressão seleccionada para posteriormente a colar. Ctrl +C copy
Corta e armazena a expressão seleccionada. Ctrl +X cut
Cola a expressão armazenada noutro local do ecrã do WIRIS. Ctrl +V paste
Desfaz a última alteração. Ctrl +Z undo
Refaz a última alteração. Ctrl +Y redo
powered by WIRIS
- 106 -
Menus, ícones...
Converte em comentário a linha de cálculos em que se encontra Ctrl +T

comment
o cursor.
Cria uma caixa de argumento, ou seja, uma caixa verde que

desaparece quando se escreve alguma coisa nela e que não tem
argument
valor. Estas caixas são utilizadas para preparar enunciados de
problemas. Por predefinição, contém o ‘a’.
Elimina os resultados de todos os cálculos. removeresults
Acede ao portal www.wiris.com logoicon
Acede à Ajuda. help
Operações: operações e acções mais habituais.
Cria parêntesis de tamanho Ctrl +(

parêntesis pparenthesis
variável. Ctrl +)
Cria parêntesis rectos de Ctrl +[

vector bparenthesis
tamanho variável. Ctrl +]
Cria chavetas de tamanho Ctrl +{

lista BBparenthesis
variável. Ctrl +}
Cria as barras do
valor absoluto de um
valor absoluto
número real ou então vparenthesis
determinante
do determinante de uma
matriz.
Cria as barras, de tamanho

variável, da norma de um norma VVparenthesis
vector.
Cria uma fracção. Ctrl +/ divisão frac
Cria o ícone associado à

quociente e resto eucdiv
divisão inteira.
Cria um expoente. Ctrl +

Seta para
cima potência power
Ctrl +
Shift + ^
Cria um subíndice. Ctrl +

Seta para extracção
_
baixo logaritmo
Ctrl + .
powered by WIRIS
- 107 -
Cria a raiz quadrada. Ctrl +Q raiz quadrada sqrt
Cria a raiz enésima. Ctrl +A raiz root
Cria um somatório. sigma sum
Cria um somatório num

sumx
traçado.
Cria um produtório. produtório prod
Cria um produtório num

prodx
traçado.

parte inteira por excesso.
tecto ceil

parte inteira por defeito.
solo floor
Cria o comando
desenhar gráficos plot
desenhar
Cria o comando
desenhar gráficos 3d plot3d
desenhar3d
Cria o comando
Representar gráficos represent
representar
Cria o comando
resolver, com espaço Resolução de equações solveequation
para introduzir uma
equação.
Cria o comando
resolver, com espaço Resolução de sistemas solvesystem
para introduzir um sistema
de equações.
Dá acesso a um menu
que permite acrescentar ou
menu
apagar elementos de uma
lista vertical.
Cria uma lista vertical Shift

de n elementos para + Enter (acrescenta
escrever, por exemplo, um uma lista vertical vertlist
sistema de n equações. linha)
Por predefinição, n=3 .
powered by WIRIS
- 108 -
Menus, ícones...
Símbolos: cria os símbolos associados a algumas operações, constantes e conceitos matemáticos.
Cria uma inequação "maior que". Verificamos equações e

gt
se está certa escrevendo ? a seguir. inequações
Cria uma inequação "maior ou igual que". Ctrl +>

Verificamos se está certa escrevendo ? a geq
seguir.
Cria uma inequação "menor que". Verificamos

lt
se está certa escrevendo ? a seguir.
Cria uma inequação "menor ou igual a". Ctrl +<

Verificamos se está certa escrevendo ? a leq
seguir.
Cria o operador lógico "ou". or
Cria o operador lógico "e". and
Cria uma equação. Verificamos se está certa Ctrl +=

eq
escrevendo ? a seguir.
Verifica se duas expressões são diferentes. Ctrl +! neq
Atribui um valor a uma variável. atribuir

define
definir função
Define o valor de uma variável. definir assign
Construtor de regras e substituições. regras e

RRightarrow
substituições.
Construtor de divisores e relações. divisores

rightarrow
relações
Construtor de regras e substituições. delayedruletuple
Construtor de funções anónimas. funções

longmapsto
anónimas
Cria o símbolo de união. união cup
Cria o símbolo de intersecção. intersectar cap
Serve para escrever uma expressão booleana

in
equivalente ao comando pertencem?
Serve para escrever uma expressão booleana

notin
equivalente ao comando não_pertence?
powered by WIRIS
- 109 -
Cria o número irracional pi. Ctrl +P irracionais Opi
Faz um arredondamento decimal do número

irracional pi conforme a precisão com que decimais pifloat
estamos a trabalhar.
Cria o número irracional e. Ctrl +E irracionais Oe
Faz um arredondamento decimal do número

irracional e conforme a precisão com que decimais efloat
estamos a trabalhar.
Cria o número complexo i, a raiz quadrada de Ctrl +I

complexos Oi
-1.
Cria o símbolo de mais infinito. limites pinfty
Cria o símbolo de menos infinito. minfty
Cria o símbolo de infinito sem sinal. pminfty
Cria o símbolo que representa o conjunto dos

NN
números naturais.

inteiros ZZ
números inteiros.

racionais QQ
números racionais.

reais RR
números reais.
complexos CC
números complexos.
Análise: integrais, derivadas e limites.
Cria o símbolo de integral indefinido de uma função. primitiva iintegralf
Cria o símbolo de integral indefinido de uma função Ctrl +

iintegral
relativamente a uma variável. Shift + P
Cria o símbolo de integral definido de uma função. integral integralf
Cria o símbolo de integral definido de uma função Ctrl +I

integral
relativamente a uma variável.
powered by WIRIS
- 110 -
Menus, ícones...
Cria o símbolo de derivada de uma função Ctrl +D

derivar differentiate
relativamente a uma variável.
Cria o símbolo de derivada de uma função de uma

derivar derivate
única variável.
Cria o símbolo do limite de uma função relativamente Ctrl +L

limite limit
a uma variável.
Cria o símbolo do limite à direita de uma função limite
rightlimit
relativamente a uma variável. lateral
Cria o símbolo do limite à esquerda de uma função limite

leftlimit
relativamente a uma variável. lateral
Matrizes: ícones para construir e manipular vectores e matrizes.
Cria uma matriz de n linhas e m

colunas. Por predefinição, n=3 e matriz pmatrix
m=3.
Cria o símbolo de determinante
de uma matriz quadrada com n determinante vmatrix
linhas. Por predefinição, n=3 .
Cria a matriz identidade. matriz_identidade identitymatrix
Dá acesso a um menu que

permite modificar vectores e menu
matrizes.
Cria um vector de n elementos.

vector bvector
Por predefinição, n=3 .
Cria parêntesis rectos de Ctrl +[

vector bparenthesis
tamanho variável Ctrl +]
Cria o símbolo de transposição de

transpor transpose
uma matriz ou de um vector.
Cria o símbolo de inversão de

inverso inverse
uma matriz.
Cria um expoente. Ctrl +

Para cima
potência power
Ctrl +
Shift + ^
Cria um subíndice. Ctrl +

Para baixo extracção _
Ctrl + .
powered by WIRIS
- 111 -
Cria o determinante de uma

determinante vparenthesis
matriz.
Cria as barras, de tamanho

variável, da norma de um vector.
norma VVparenthesis
Cria o símbolo de produto escalar

produto escalar scalarprod
de dois vectores.
Cria o símbolo de produto
produto vectorial times
vectorial de dois vectores.
Unidades: unidades de medida do SI e outras unidades de uso habitual.
É criada uma unidade de medida com os ícones que vemos ao clicar no separador de Unidades. No capítulo de
Unidades de Medida são expostas as tabelas que relacionam símbolos com unidades de medida. Se no
menu da esquerda estiver seleccionado algum prefixo, é criado o múltiplo correspondente da unidade de medida que
seleccionarmos.
Nesta pasta, há quatro grupos de unidades. O primeiro grupo é composto pelas unidades mais comuns (metro, grama,
segundo, etc.); no segundo podemos encontrar as unidades angulares e de tempo, como por exemplo:
grau (angular) Unidades de medida degree
minuto angular angleminute
segundo angular anglesecond
No terceiro grupo temos unidades que também pertencem ao SI mas que não são tão utilizadas (volt, watt, newton), e,
finalmente, no quarto, há ícones para criar potências de grau 2 e 3 que facilitam a construção de expressões.
Cria a potência de grau 2 de uma expressão. ^2
Cria a potência de grau 3 de uma expressão. ^3
Combinatória: ícones para efectuar recontagens em problemas de combinatória e escrever com detalhe todas as
possibilidades.
Cria o símbolo de combinações. combinações combinations
powered by WIRIS
- 112 -
Menus, ícones...
Cria o símbolo de combinações com repetição. combinações

combinationsr
com repetição
Cria o símbolo de variações. variações variations
Cria o símbolo de variações com repetição. variações com

variationsr
repetição
Cria o símbolo de permutações. permutações permutations
Cria o símbolo de permutações com repetição. permutações

permutationsr
com repetição
Cria o símbolo de um número combinatório. combinações combinationsfrac
Geometria: algumas das construções e comandos de geometria plana.
Muda para o modo 2D. mode2d
Muda para o modo 3D. mode3d
Cria um ponto no plano. ponto point
Cria um ponto no espaço. ponto point3d
Cria uma recta a partir de dois pontos. recta line
Cria um segmento a partir de dois pontos. segmento segment
Cria um triângulo a partir de três pontos. triângulo triangle
Cria um plano a partir de três pontos. plano plane
Cria uma poligonal a partir de vários pontos. poligonal polygonal
Cria um polígono a partir de vários pontos. polígono polygon
Cria uma circunferência a partir do centro e do raio. circunferência circumference
Cria uma circunferência a partir do centro e de um

circumference2
ponto da circunferência.
powered by WIRIS
- 113 -
Cria uma circunferência a partir de três pontos. circumference3
Cria uma cónica a partir de cinco pontos. cónica conic
Cria um poliedro regular. poliedro polyhedra
Dá acesso a um menu que permite criar os

poliedros: tetraedro, cubo, octaedro,
icosaedro, dodecaedro, prisma,
pirâmide, cilindro_poliédrico, poliedro polyhedra_menu
cone_poliédrico,
esfera_poliédrica e
toro_poliédrico.
Cria uma recta paralela a uma dada que passe

paralela parallel
pelo ponto dado.
Cria um plano paralelo a um dado que passe pelo
paralela parallel3d
ponto dado.
Cria uma recta perpendicular a uma dada que

perpendicular perpendicular
passe pelo ponto dado.
Cria um plano perpendicular a um dado que passe

perpendicular perpendicular3d
pela recta dada.
Cria a bissectriz de duas rectas. bissectriz bisector
Cria a bissectriz de dois planos. bissectriz bisector3d
Cria a intersecção de duas figuras geométricas. intersectar intersection
Grego: alfabeto grego
Os ícones desta pasta permitem usar letras gregas para construir expressões. Em particular, é possível criar a letra
grega pi, que é diferente do número irracional, uma vez que é de cor preta, enquanto que o irracional é de cor azul.
NOTA: Se não aparecer nenhuma letra neste separador, isso significa que o computador não tem instalado o sistema
de tipos de letra UNICODE. Este problema não afecta o funcionamento do resto do sistema.
Programação: instruções de controlo.
Executa uma instrução conforme se verifique ou

se... pr_if
não uma dada condição.
powered by WIRIS
- 114 -
Menus, ícones...
Executa uma instrução conforme se verifique ou

não uma dada condição; caso contrário, executa pr_ifelse
outra instrução.
Dá acesso a um menu que permite acrescentar ou

apagar se_não e se_não_se em instruções menu
de controlo se... .
Cria um agrupamento de expressões que podem

ser utilizadas para definir, por exemplo, uma programação pr_begin
função.
Define variáveis locais. pr_local
Repete uma instrução de acordo com um traçado

para... pr_for
definido.
Repete uma instrução enquanto se verificar uma

enquanto... pr_while
condição.
Repete uma instrução até que se verifique uma

repetir... pr_repeat
condição.
Cria uma biblioteca. Uma biblioteca é um bloco de

expressões que são avaliadas antes de cada bloco
glossário library
posterior à biblioteca e antes de qualquer outra
biblioteca.
Formato: alterações em alguns aspectos da apresentação do WIRIS.
Selecciona o tipo de letra dos caracteres. font
Selecciona a escala que define o tamanho dos

iconszoom
ícones da barra de ferramentas.
Selecciona o tamanho dos caracteres. fontsize
Activa e desactiva o estilo negrito. boldstyle
Activa e desactiva o estilo cursivo. italicstyle
Selecciona as cores dos diferentes tipos de

colors
objectos.
powered by WIRIS
- 115 -
Acede ao portal www.wiris.com logoicon
Prepara o desenho para ser guardado num

save
ficheiro.
Acrescenta ou elimina os eixos coordenados mostrar_eixos axis
Acrescenta ou elimina a malha e, no caso do

grid
espaço, acrescenta ou elimina o cubo.
Aumenta o "zoom" da visualização (zona

visualizada) na prancheta, mantendo o centro
fixo. Ou seja, é visível menos espaço mas com zoomin
mais pormenor e centrado na zona que nos
interessa.
Diminui o "zoom" da visualização (zona

visualizada) na prancheta, mantendo o centro
fixo. Ou seja, é visível mais espaço mas com zoomout
menos pormenor e centrado na zona que nos
interessa.
Força os eixos da prancheta a terem a mesma

proporção.
proporção aspectratio1
Desenho a preto-e-branco ou a cores. blackwhite
rato LUPA: se estiver seleccionado, ao clicar

sobre um ponto aumenta o "zoom" da
visualização (zona visualizada) e converte o actionzoom
ponto no centro da visualização. Ou seja, é visível
menos espaço mas com mais pormenor.
rato CAPTURAR: se estiver seleccionado,

permite capturar pontos do desenho e
deslocá-los. No momento em que se soltar
actionmove
o ponto, a visualização será redesenhada
em função do novo ponto. Está activado por
predefinição.
Acrescenta o código actual à sessão. Isto

permite manter as alterações efectuadas em
consequência da deslocação dos pontos quando resetplotcode
forem efectuados novos cálculos ou a sessão for
guardada.
Faz regressar o gráfico à situação inicial

(antes da deslocação dos pontos com o rato recompute
CAPTURAR).
powered by WIRIS
- 116 -
Menus, ícones...
Actualiza a visualização do desenho, de tal

forma que, se tiver sido diminuído o "zoom" da
refresh
visualização e algum elemento não tiver ficado
completamente desenhado, tenta redesenhá-lo.
Se estiver seleccionado, quando se passa com

o rato sobre uma figura, é exibida uma etiqueta informação actionshowname
com o seu nome.
o rato sobre uma figura, é exibida uma etiqueta
actionshowvalue
com o seu valor. Por exemplo, o valor de um
ponto são as suas coordenadas.
o rato sobre uma figura, é exibida uma etiqueta
actionshowdef
com a expressão que serviu de base para a
definição da figura.
powered by WIRIS
- 117 -
Barra de ferramentas
>>rápido
Quem pode configurar a barra de ferramentas?
Porquê configurar a barra de ferramentas?
Como se pode configurar a barra de ferramentas?
Exemplo
Quem pode configurar a barra de ferramentas?
Qualquer pessoa pode configurar a barra de ferramentas.
Porquê configurar a barra de ferramentas?
Com a configuração da barra de ferramentas, podemos obter versões personalizadas do WIRIS e produzir, desse modo,
materiais com mais qualidade. Mudar a barra de ferramentas não altera o comportamento matemático da calculadora.
Por exemplo, é possível ter uma calculadora em que somente apareçam os ícones correspondentes às unidades de medida
(metro, segundo, etc.) que se queiram aprender numa lição.
Como se pode configurar a barra de ferramentas?
Uma vez guardada a página html com o material WIRIS que se quer mostrar, edita-se essa página e acrescenta-se um
parâmetro com o nome ToolbarDef. O valor deste parâmetro é o que determina a configuração da barra de ferramentas
deste documento html.
Exemplo
Suponhamos que pretendemos acrescentar os separadores apresentados na imagem:
Para gerar estes separadores, no ficheiro html, acrescentámos o seguinte código (em negrito):
<applet code="..." codebase="..." width=... height=...>

<PARAM NAME='...' VALUE='...'/>
<PARAM NAME='...' VALUE='...'/>
<param name='ToolbarDef'
value='{Aritmética}plus minus@{Análise}integral iintegral | limit *
leftlimit rightlimit@'/>
</applet>
powered by WIRIS
- 118 -
Barra de ferramentas
Vejamos mais em pormenor de que se compõe cada parte do código:
Primeiro separador:{Aritmética}plus minus@

Segundo separador:{Análise}integral iintegral | limit * leftlimit rightlimit@
Observamos que:
• podemos colocar separações entre símbolos usando "|",
• podemos reservar o espaço de um ícone usando "*",
• podemos alinhar o conteúdo de um separador à esquerda escrevendo "@" no final da linha desse separador.
Os códigos dos símbolos (plus, minus, integral, iintegral, limit, leftlimit, rightlimit,...)
encontram-se na secção Menus, ícones,....
powered by WIRIS
- 119 -
Primária
O que é?
A calculadora WIRIS tem uma barra de ferramentas adaptada ao ensino primário.
Esta barra de ferramentas tem os ícones necessários para que um aluno da escola primária se sinta confortável entre os
símbolos que ali aparecem, já que são os apropriados para o seu nível.
Para além destes símbolos na barra da calculadora, existe um teclado do lado direito que contém os ícones numéricos, os
parêntesis, as operações básicas (soma, subtracção, multiplicação, divisão decimal, raiz quadrada e fracção), o símbolo
decimal e o símbolo de igualdade:
Onde está?
A calculadora adaptada ao ensino primário encontra-se em wiris primária.
1 minuto
Numa sessão de trabalho com a calculadora WIRIS podem efectuar-se cálculos diversos, que são agrupados em blocos.
Os passos do processo de cálculo são:
1. Com recurso ao teclado, ou usando os ícones associados a diferentes comandos, constrói-se a expressão que se
pretende calcular.
2. Em cada bloco é possível introduzir tantas expressões quantas as desejadas. Para acrescentar uma nova expressão
a seguir à expressão em que se encontra o cursor, utiliza-se a tecla Enter (Enter).
3. Pode avaliar-se a expressão ou bloco de expressões clicando no ícone
4. Obtém-se o resultado à direita da expressão original e separado desta pela seta
Para criar cálculos mais elaborados, é necessário ter em conta os seguintes pontos relativos à estrutura de uma página
do WIRIS
• É possível acrescentar um bloco à nossa sessão com o ícone do menu de Edição.
powered by WIRIS
- 120 -
Primária
• De cada vez que se avalia (clique em ou Ctrl + Enter), são calculadas todas as expressões do bloco activo,
são mostrados os resultados, e é criado em seguida um bloco vazio, que passa a ser o bloco activo (isto é, onde
está o cursor).
• As variáveis e cálculos de um bloco são independentes das variáveis e cálculos de todos os outros blocos.
• Para começar uma nova sessão de trabalho, utiliza-se .
Para guardar a sessão actual, clica-se em e guarda-se a página HTML gerada.
Podemos voltar ao WIRIS para verificar tudo isto ou ver os seguintes exemplos:
Operações aritméticas: , , , , , e
Símbolos: , , , , , , e
powered by WIRIS
- 121 -
Unidades de medida:
NOTA 1
As minúsculas e as maiúsculas são letras diferentes. Tan não é equivalente a tan.
NOTA 2
Os parêntesis só agrupam, (1,2,3) é equivalente a 1,2,3.
>>rápido
powered by WIRIS
- 122 -
Interface de utilizador
Desktop
O WIRIS Desktop tem três partes principais:
• Barra de ferramentas WIRIS (para mais informações, consulte o Guia Rápido)
• Menus
• Janelas do utilizador
>>rápido
Menus
Janelas do utilizador
Menus
Os menus permitem realizar as acções mais genéricas. Existem quatro menus, que não vamos descrever em detalhe dado
que permitem realizar as acções típicas comuns a todas as aplicações:
• Ficheiro: permite abrir, guardar e imprimir uma sessão WIRIS
• Edição: as funcionalidades clássicas de copiar e colar, além de anular e refazer
• Ferramentas: permite ao utilizador realizar outras acções, como, por exemplo, personalizar a aplicação
• Ajuda: o ponto de acesso a este manual!
Janelas do utilizador
A janela principal é a janela de dados (chamada WIRIS CAS), na qual o utilizador pode escrever instruções do WIRIS e
receber as respostas às suas instruções.
powered by WIRIS
- 123 -
Quando o utilizador pede um gráfico, o WIRIS Desktop abre uma janela nova e posiciona-a, redimensionando as restantes
janelas abertas. O utilizador pode ajustar o tamanho de cada janela movendo os limites das mesmas.
O utilizador pode abrir diversas janelas de gráficos em simultâneo e navegar através das mesmas utilizando os botões de
maximizar, restabelecer e minimizar.
Também é possível arrastar e soltar (drag'n drop) as janelas; o WIRIS Desktop reajustará habilmente todas as janelas para
que se ajustem ao espaço disponível.
powered by WIRIS
- 124 -
As janelas de gráficos podem ser minimizadas, convertendo-se numa pequena etiqueta no lado esquerdo do ecrã. O
utilizador pode pré-visualizar ou restabelecer qualquer destas etiquetas se clicar ou colocar o cursor sobre a mesma.
powered by WIRIS
- 125 -
powered by WIRIS
- 126 -
APPENDIX
Apêndice
SÍMBOLOS
'
transpor (A:Matriz )
A'
Mais informações em transpor
-p
a-b
powered by WIRIS
- 127 -
P-Q
P-v
-P
powered by WIRIS
- 128 -
APPENDIX
-r
se r=recta(P,v) então -r=recta(P,-v).
-s
se s=segmento(A,B) então -s=segmento(B,A).
Mais informações em
n!
factorial (n:ZZ )
powered by WIRIS
- 129 -
!!
n!!
n, 0<=n<65536 ,
0!!=1!!=1.
"abaixo"
"abaixo"
"abaixo"
Mais informações em posição_vertical
powered by WIRIS
- 130 -
APPENDIX
"acima"
"acima"
"acima"
"astuto"
"astuto"
powered by WIRIS
- 131 -
"astuto"
"automático"
Mais informações em preencher , cor_do_preenchimento , etiqueta , fio
"bar"
"bar"
"bar"
"bissecção"
"bissecção"
powered by WIRIS
- 132 -
APPENDIX
"bissecção"
"centro"
"centro"
"centro"
Mais informações em posição_horizontal , posição_vertical
"definição"
powered by WIRIS
- 133 -
"definição"
"definição"
Mais informações em informação
"direita"
"direita"
powered by WIRIS
- 134 -
APPENDIX
"direita"
Mais informações em posição_horizontal
"divisor"
"divisor"
"esquerda"
"esquerda"
powered by WIRIS
- 135 -
"esquerda"
Mais informações em posição_horizontal
"expansão_menor"
determinante (A:Matriz ,o: )
"gauss"
powered by WIRIS
- 136 -
APPENDIX
eliminação_gaussiana (A:Matriz ,o: )
"gauss_livre_de_divisões"
powered by WIRIS
- 137 -
"gauss_livre_de_fracções"
powered by WIRIS
- 138 -
APPENDIX
"horizontal"
"horizontal"
"horizontal"
"linha_base"
powered by WIRIS
- 139 -
"linha_base"
"linha_base"
"lista"
"lista"
powered by WIRIS
- 140 -
APPENDIX
"lista"
"lista_de_equações"
"Monospaced"
"Monospaced"
powered by WIRIS
- 141 -
Mais informações em nome_fonte , nome
"multiple_value"
"multiple_value"
"nenhum"
"nenhum"
"nenhum"
"nenhum"
Mais informações em estilo_de_eixos , informação
"newton"
powered by WIRIS
- 142 -
APPENDIX
"newton"
"nome"
"nome"
"nome"
"only_one_solution"
"only_one_solution"
"percentagem"
powered by WIRIS
- 143 -
"percentagem"
"percentagem"
"polígono_frequências"
"recta_xy"
powered by WIRIS
- 144 -
APPENDIX
"recta_xy"
"recta_xy"
Mais informações em estilo_de_eixos
"recta_XY"
"recta_XY"
"recta_XY"
"regula_falsi"
powered by WIRIS
- 145 -
"regula_falsi"
"relação"
"relação"
"SansSerif"
"SansSerif"
"secante"
powered by WIRIS
- 146 -
APPENDIX
"secante"
"sequence_of_equations"
"sequence_of_equations"
"sequência"
"sequência"
"Serif"
powered by WIRIS
- 147 -
"Serif"
"seta"
"seta"
"substituir"
"substituir"
"tabela"
powered by WIRIS
- 148 -
APPENDIX
"tabela"
"tarte"
"tarte"
"tarte"
"valor"
"valor"
powered by WIRIS
- 149 -
"valor"
"vector"
"vector"
"vector"
"vector_of_equations"
"vector_of_equations"
"vertical"
powered by WIRIS
- 150 -
APPENDIX
"vertical"
"vertical"
$$
i$$o em quei:Identificador ,o:Qualquer
&
a & b
& verdadeiro falso

verdadeiro verdadeiro falso
falso falso falso
powered by WIRIS
- 151 -
l1 & l2
NOTA:
powered by WIRIS
- 152 -
APPENDIX
a·b
a*b
#*P
Mais informações em , , produto
x1 ,x2 ,…,xn
x1 ,x2 ,…,xn
powered by WIRIS
- 153 -
li1 ,…,in
l.(i1 ,…,in ) em quel:Lista | Vector | Traçado | Relação | Divisor |
Tabela | Régua ,i:NN
{l1 ,…,lm }i1 ,i2 ,...,in ={l1 i2 ,…,in ,…,lm i2 ,…,in }i1
[l1 ,…,lm ] i1 ,i2 ,...,in = [l1 i2 ,…,in ,…,lm i2 ,…,in ] i1
powered by WIRIS
- 154 -
APPENDIX
substituir (l:Lista |Vector ,i1 :ZZ,…,in :ZZ,x )

substituir ({l1 ,...,li ,...,lm },i,x)={l1 ,...,li-1 ,x,li+1 ,...,lm }
substituir ({l1 ,...,li1 ,...,lm },i1 ,...,in ,x)={l1 ,...,li-1 ,substituir (li1 ,i2 ,...,in ,x),li1 +1 ,...,lm }
powered by WIRIS
- 155 -
substituir (l:Lista |Vector ,i1 :Lista | Vector | Traçado ,…,in :Lista |

Vector | Traçado ,x )
se r:Traçado então substituir (l,i1 ,...,r,...,in ,x)=substituir (l,i1 ,...,[r],...,in ,x)
li
powered by WIRIS
- 156 -
APPENDIX
l.i em quel:Lista | Vector | Traçado | Relação | Divisor | Tabela

| Régua ,i:NN
se n=comprimento(l) & 1<=i<=n
{l1 ,…,ln }i =li

[l1 ,…,ln ] i =li
(a..b..d)i =a+d*(i-1)
{i1 #v1 ,…,in #vn }j =(ij #vj )
[i1 #v1 ,…,in #vn ]j =(ij #vj )
{i1 = v1 ,…,in = vn }j =(ij =vj )
se i<1 | i>n devolve um erro.
l{i1 ,…,in }
l.{i1 ,…,in } em quel:Lista | Vector | Traçado | Relação | Divisor |
se m=comprimento(l), 1<=ik <=m com k=1,...,n
l{i1 ,...,in } ={li1 ,...,lin } se l={l1 ,...,lm } or l=a..b..d

l{i1 ,...,in } =[li1 ,...,lin ] se l=[l1 ,...,lm ]
powered by WIRIS
- 157 -
l [i1 ,…,in ]
l.[i1 ,…,in ] em quel:Lista | Vector | Traçado | Relação | Divisor |
l [i1 ,…,in ] =l{i1 ,…,in }
la..b..d
l.(a..b..d) em quel:Lista | Vector | Traçado | Relação | Divisor |
l : não Traçado
la..b..d =l [a..b..d]
l : Traçado
si l=#..#..# então la..b..d =(#+(a-1)*#)..(#+(b-1)*#)..(d*#) em que 1<=a<=comprimento(l), 1<=b<=comprimento(l).
[la..b..d ] = [l] a..b..d .
powered by WIRIS
- 158 -
APPENDIX
l.i1 .....in em quel:Lista | Vector | Traçado | Relação | Divisor |

{l1 ,…,lm }.i1 .i2 .....in ={l1 .i2 .....in ,…,lm .i2 .....in }.i1
[l1 ,…,lm ].i1 .i2 .....in =[l1 .i2 .....in ,…,lm .i2 .....in )].i1
D(x)=y
Pn
ícone
P.n
powered by WIRIS
- 159 -
P1
P2
ícone
P.1
P.2
R(x)=y
s.1
s.2
powered by WIRIS
- 160 -
APPENDIX
T(x)=y
..
a..b
a..b..d
a/b
powered by WIRIS
- 161 -
l1 /l2 em quel1 :Lista ,l2 :Lista

complemento (l1 :Lista |Vector ,l2 :Lista |Vector )
ícone
P/#
//
quociente (a:ZZ,b:ZZ )
quo (a:ZZ,b:ZZ )
a//b
powered by WIRIS
- 162 -
APPENDIX
quociente (p1 :Polinómio ,p2 :Polinómio )

quo (p1 :Polinómio ,p2 :Polinómio )
p1 //p2
o:D
:=
v:=x
powered by WIRIS
- 163 -
v:=x
identifier():=
identifier(A)[verificar C]:=B
identifier(:):=
powered by WIRIS
- 164 -
APPENDIX
identifier(1 [:1 ],...,n [:n ]):=
:=>
{p1 1 o1 ,…,pn n on }
b?
powered by WIRIS
- 165 -
P==Q ?
ícone
ícone
[x1 ,…,xn ]
[a..b..d]
powered by WIRIS
- 166 -
APPENDIX
[x com i1 ,…,in em r1 ,…,rn ]
[x com i1 ,…,in em r1 ,…,rn em_que p]
\\
e\\r
powered by WIRIS
- 167 -
{x1 ,…,xn }
{x com i1 ,…,in em r1 ,…,rn }
{x com i1 ,…,in em r1 ,…,rn em_que p}
a | b
| verdadeiro falso
verdadeiro verdadeiro verdadeiro
falso verdadeiro falso
powered by WIRIS
- 168 -
APPENDIX
r1 | r2
t|x
x|t
|?
|?
powered by WIRIS
- 169 -
a+b
P+Q
P+v
Mais informações em soma
powered by WIRIS
- 170 -
APPENDIX
v=x
{x1 =y1 ,…,xn =yn }
-->
ícone
A [verificar C]--> B
a·b
a*b
powered by WIRIS
- 171 -
Mais informações em , , produto
powered by WIRIS
- 172 -
APPENDIX
a_decimal
a_decimal (x:Real )
a_decimal (x:Lista )
a_decimal (x:Expressão )
absoluto
|r|
absoluto (r:RR )
absoluto (r)=sinal (r)*r.
acos
powered by WIRIS
- 173 -
asen (x:RR )
acos (x:RR )
atan (x:RR )
acosec
asec (x:RR )
acosec (x:RR )
acotan (x:RR )
acosh
asenh (x:RR )
acosh (x:RR )
atanh (x:RR )
acotan
powered by WIRIS
- 174 -
APPENDIX
asec (x:RR )
acosec (x:RR )
acotan (x:RR )
agrupar
agrupar (p:Polinómio ,x:Identificador )
agrupar (p:Polinómio ,l:Lista )
agrupar (f:Fracção ,x:Identificador )
powered by WIRIS
- 175 -
agrupar (f:Fracção ,l:Lista )
aleatório
aleatório (n:Inteiro )
aleatório (x:Real )
aleatório (a:Inteiro ,b:Inteiro )
aleatório (x:Real ,y:Real )
alinhados?
alinhados? (A1 :Ponto ,…,An :Ponto )
altura
powered by WIRIS
- 176 -
APPENDIX
altura (A:Ponto ,B:Ponto ,C:Ponto )

altura (A,B,C)=altura (triângulo (A,B,C),2)
powered by WIRIS
- 177 -
altura (T:Triângulo ,i:ZZ )
altura
Valores possíveis : qualquer número Real positivo.
Valor por defeito : 21
altura
Mais informações em altura , opções prancheta , opções prancheta3d , prancheta , prancheta3d
altura_janela
altura_janela
Valores possíveis : qualquer número Inteiro positivo.
powered by WIRIS
- 178 -
APPENDIX
altura_janela
Mais informações em opções prancheta , opções prancheta3d , prancheta , prancheta3d
amarelo
Mais informações em cor
amarelo
amarelo
amarelo ={255,255,0}
Amostra
Amostra
Amostra_frequência
Amostra_frequência
Amostra_frequência_de
powered by WIRIS
- 179 -
Amostra_frequência_de
amplitude
amplitude (a:Arco )
anel
anel (a:Elemento (Anel ) )
Anel
Anel
característica componentes elemento elemento_de_ordem elementos avaliar

extensão factorizar factorizar factorizar
factorizar_em_livre_de_quadrados
factorizar_multiplicidade_em_livre_de_quadrados procurar_um procurar_zero
powered by WIRIS
- 180 -
APPENDIX
finito? índice inverso inversível? irredutível? raiz raízes

fracções_simples raiz2 raízes_quadradas
anel?
anel? (A )
ângulo
ângulo ()
se estado_geometria =2 então ângulo =ângulo2d se_não ângulo =ângulo3d fim
Mais informações em ângulo
ângulo_inicial
ângulo_inicial (a:Arco )
ângulo_orientado
ângulo_orientado (T:Triângulo ,i:ZZ )
powered by WIRIS
- 181 -
ângulo_orientado (v:Vector ,w:Vector )

argumento (w)-argumento (v)
ângulo2d
ângulo2d (c:Cónica )
ângulo2d (p:Poligonal |Polígono ,a:ZZ )
ângulo2d (A:Ponto2d ,B:Ponto2d ,C:Ponto2d )
powered by WIRIS
- 182 -
APPENDIX
ângulo2d (r:Recta )
ângulo2d (r:Recta ,s:Recta )
ângulo2d (T:Triângulo ,i:ZZ )
ângulo ()
ângulo3d
ângulo3d (p:Plane ,r:Recta )
powered by WIRIS
- 183 -
ângulo3d (p1:Plane ,p2:Plane )
ângulo3d (s:Segmento ,p:Plane )

ângulo3d(s,p)=ângulo3d(p,s)
ângulo3d (r:Recta ,p:Plane )

ângulo3d(r,p)=ângulo3d(p,r)
ângulo3d (p:Plane ,s:Segmento )

ângulo3d(p,s)=ângulo3d(p,recta(s))
ângulo3d (p:Poligonal |Polígono ,a:ZZ )
ângulo3d (A:Ponto3d ,B:Ponto3d ,C:Ponto3d )
powered by WIRIS
- 184 -
APPENDIX
ângulo3d (T:Triângulo ,i:ZZ )
ângulo ()
antepor
antepor (l:Lista |Vector ,x )

antepor ({l1 ,...,ln },x)={l1 ,...,ln ,x} antepor ([l1 ,...,ln ],x)=[l1 ,...,ln ,x] em que 1<=i<=comprimento(l)+1
antepor (p:Poligonal |Polígono ,A:Ponto )
apagar
powered by WIRIS
- 185 -
apagar (l,i:ZZ )
apagar (l,i)=ltraçado (l)/{i}
apagar (l )
apagar (l)=l
apagar (l,v:Lista |Vector |Traçado )

apagar (l,i)=ltraçado (l)/v
apagar (l:Lista |Vector ,i1 ,…,in )
powered by WIRIS
- 186 -
APPENDIX
apagar (p:Poligonal |Polígono ,i:ZZ )
apagar_índice
apagar_índice (l:Relação |Divisor |Tabela ,m:Lista )
aplicar_função
aplicar_função (f:Função ,l:Lista | Vector )

aplicar_função (f,{l1 ,...,lm })={f(l1 ),...,f(lm )}
aplicar_função (f,[l1 ,...,lm ])=[f(l1 ),...,f(lm )]
powered by WIRIS
- 187 -
aplicar_função (f:Função ,r:Traçado )

aplicar_função (f,r)=aplicar_função (f,lista (r))
aplicar_função (o:Qualquer ,p:Poligonal |Polígono )
aplicar_função (f:Função ,l:Relação | Divisor | Tabela | Régua )

aplicar_função (f,{x1 #y1 ,...,xm #ym })={f(x1 ,y1 ),...,f(xm ,ym )}
arco
powered by WIRIS
- 188 -
APPENDIX
arco (A:Ponto ,r:RR,#:RR,d#:RR )
arco (c:Circunferência ,#:RR,d#:RR )
arco (A:Ponto ,B:Ponto ,C:Ponto ,r:RR )
arco (r1 :Recta ,r2 :Recta ,r:RR )
Arco
powered by WIRIS
- 189 -
Arco
área atributos2d atributos3d pertencem? centro circunferência

ângulo_inicial ponto_médio ponto_mais_próximo2d ponto_mais_próximo3d
área_orientada perímetro desenhar desenhar2d desenhar3d ponto raio
área
área (a:Arco )
área (c:Circunferência )
área (c:Elipse )
powered by WIRIS
- 190 -
APPENDIX
área (T:Triângulo )
área (pol:Polyhedra )
Mais informações em área
área_orientada
área_orientada (a:Arco )
área_orientada (p:Polígono )
powered by WIRIS
- 191 -
área_orientada (T:Triângulo )
argumento
argumento (c:CC )
argumento (A:Ponto ,B:Ponto )
argumento (v:Vector )
argumentos
powered by WIRIS
- 192 -
APPENDIX
argumentos (f )
aritmética
aritmética
aritmética?
aritmética? (p:Progressão )
arredondar
powered by WIRIS
- 193 -
arredondar (r:RR )
arredondar (c:CC )
asec
asec (x:RR )
acosec (x:RR )
acotan (x:RR )
asen
powered by WIRIS
- 194 -
APPENDIX
asen (x:RR )
acos (x:RR )
atan (x:RR )
asenh
asenh (x:RR )
acosh (x:RR )
atanh (x:RR )
assímptota
assímptota
assímptota_horizontal
assímptota_horizontal
assímptota_oblíqua
powered by WIRIS
- 195 -
assímptota_oblíqua
assímptota_vertical
assímptota_vertical
atan
asen (x:RR )
acos (x:RR )
atan (x:RR )
atanh
asenh (x:RR )
acosh (x:RR )
atanh (x:RR )
até
powered by WIRIS
- 196 -
APPENDIX

repetir A até B
Repete as instruções de A até que se verifique a condição B .
atributos
atributos ()
se estado_geometria =2 então atributos =atributos2d se_não atributos =atributos3d
fim
atributos_para_todos
atributos_para_todos ()
se estado_geometria =2 então atributos_para_todos =atributos_para_todos2d
se_não atributos_para_todos =atributos_para_todos3d fim
atributos_para_todos2d
atributos_para_todos2d (o: )
atributos_para_todos2d (t:Prancheta ,o: )
atributos_para_todos3d
atributos_para_todos3d (o: )
powered by WIRIS
- 197 -
atributos_para_todos3d (t:Prancheta ,o: )
atributos2d
atributos2d (v:Variável (Desenhável2d ) )
atributos2d (v:Variável (Desenhável2d ),a: )
atributos2d (t:Prancheta ,x... )
atributos2d (o: )
atributos ()
fim
atributos3d
atributos3d (v:Variável (Desenhável3d ) )
atributos3d (v:Variável (Desenhável3d ),a: )
powered by WIRIS
- 198 -
APPENDIX
atributos3d ()
atributos3d (d:Prancheta )
atributos ()
fim
automatic
automatic
avaliar
avaliar (p:Polinómio ,a:Elemento (Anel ) )
powered by WIRIS
- 199 -
avaliar (p:Polinómio ,{x1 #a1 ,…,xn #an } )

avaliar (p:Polinómio ,{x1 =>a1 ,…,xn =>an } )
avaliar (p:Polinómio ,{a1 ,…,an } )
avaliar (f:Fracção ,a:Elemento (Anel ) )
avaliar (f:Fracção ,{x1 #a1 ,…,xn #an } )

avaliar (f:Fracção ,{x1 #a1 ,…,xn #an } )
powered by WIRIS
- 200 -
APPENDIX
avaliar (f:Fracção ,{a1 ,…,an } )
avaliar
Valores possíveis : true, false. verdadeiro e falso
Valor por defeito : falso
avaliar
Mais informações em opções desenhar , opções desenhar3d , desenhar , desenhar3d
azul
azul
azul
azul ={0,0,255}
powered by WIRIS
- 201 -
baricentro
baricentro (A1 :Ponto ,…,An :Ponto )

.
baricentro (T:Triângulo )
baricentro (T)=baricentro (T1 ,T2 ,T3 )
powered by WIRIS
- 202 -
APPENDIX
baricentro (P:Poygonal |Poygon )

b:=baricentro(polígono(p1 ,p2 ,...,pn ))=baricentro(p1 ,p2 ,...,pn )
b:=baricentro(poligonal(p1 ,p2 ,...,pn ))=baricentro(p1 ,p2 ,...,pn )
base
base (k:Extensão )
base_em_forma_normal_de_smith
base_em_forma_normal_de_smith (M:Matriz )
base_hermite
powered by WIRIS
- 203 -
base_hermite (M:Matriz )
bezout
bezout (a:ZZ,b:ZZ )
bezout (p:Polinómio ,q:Polinómio )
bezout (p:Polinómio ,q:Polinómio ,r:Polinómio )
binómio
powered by WIRIS
- 204 -
APPENDIX
ícone
combinações (n:ZZ,k:ZZ )
ícone
combinações (L:Lista |Vector ,k:ZZ )
binómio (n:ZZ )
bissectriz
bissectriz (p1:Plane ,p2:Plane )
powered by WIRIS
- 205 -
bissectriz (v:Vector ,w:Vector )
bissectriz (T:Triângulo ,i:ZZ )
bissectriz (A:Ponto ,B:Ponto ,C:Ponto )
Mais informações em bissectriz
powered by WIRIS
- 206 -
APPENDIX
bissectriz_exterior
bissectriz_exterior (A:Ponto ,B:Ponto ,C:Ponto )
bissectriz_exterior (T:Triângulo ,i:ZZ )
bit
bit (n:Natural ,b:Natural )
Booleano
powered by WIRIS
- 207 -
Booleano
==, <, >, <=, >= ou !=
branco
branco
branco
branco ={255,255,255}
powered by WIRIS
- 208 -
APPENDIX
cabeça
cabeça (x:Lista )
cadeia
cadeia (x )
Cadeia
Cadeia
expressão estado_geometria substituir_cadeia subcadeia texto
Mais informações em nome , nome_inicial
caixa
powered by WIRIS
- 209 -
caixa
caixa_de_texto
caixa_de_texto (t,P:Ponto )
powered by WIRIS
- 210 -
APPENDIX
caixa_de_texto (t,P:Ponto ,o: )
Caixa_de_texto
Caixa_de_texto
powered by WIRIS
- 211 -
cálculos_exactos
redução_de_hessenberg (A:Matriz ,o: )
campo_vetorial
Mais informações em campo vetorial
característica
característica (R:Anel )
cardinal
cardinal (A )
castanho
castanho
castanho
castanho ={180,60,0}
powered by WIRIS
- 212 -
APPENDIX
categoria
categoria (p:Progressão )
centro
centro (a:Arco )
centro (c:Circunferência )
centro (c:Elipse |Hipérbole )
centro
Valores possíveis : qualquer Ponto .
Valor por defeito : ponto (0,0)
powered by WIRIS
- 213 -
centro
Valores possíveis : qualquer Ponto .
Valor por defeito : ponto (0,0,0)
cfr
cfr (... )
circunferência (... )
ciano
ciano
ciano
ciano ={0,255,255}
cilindro_fechado_poliédrico
cilindro_fechado_poliédrico (n:Natural ,p:Ponto )

cilindro fechado poliédrico(n,p)=cilindro fechado poliédrico(n,p,1,1)
cilindro_fechado_poliédrico (n:Natural ,r:Real ,h:Real )

cilindro fechado poliédrico(n,r,h)=cilindro fechado poliédrico(n,ponto(0,0,0),r,h)
powered by WIRIS
- 214 -
APPENDIX
cilindro_fechado_poliédrico (n:Natural ,p:Ponto ,r:Real ,h:Real )
cilindro_fechado_poliédrico (n:Natural )
cilindro fechado poliédrico(n)=cilindro fechado poliédrico(n,ponto(0,0,0),1,1)
cilindro_poliédrico
cilindro_poliédrico (n:Natural ,r:Real ,h:Real )

cilindro poliédrico(n,r,h)=cilindro poliédrico(n,ponto(0,0,0),r,h)
cilindro_poliédrico (n:Natural ,p:Ponto ,r:Real ,h:Real )
cilindro_poliédrico (n:Natural )
cilindro poliédrico(n)=cilindro poliédrico(n,ponto(0,0,0),1,1)
cilindro_poliédrico (n:Natural ,p:Ponto )

cilindro poliédrico(n,p)=cilindro poliédrico(n,p,1,1)
cinzento
cinzento
powered by WIRIS
- 215 -
cinzento
cinzento ={128,128,128}
cinzento_claro
cinzento_claro
cinzento claro
cinzento_claro ={64,64,64}
cinzento_escuro
cinzento_escuro
cinzento escuro
cinzento_escuro ={192,192,192}
circum_raio
circum_raio (A:Ponto ,B:Ponto ,C:Ponto )
powered by WIRIS
- 216 -
APPENDIX
circum_raio (T:Triângulo )
circum_raio (T)=circum_raio (T1 ,T2 ,T3 )
circuncentro
circuncentro (A:Ponto ,B:Ponto ,C:Ponto )
circuncentro (T:Triângulo )
circuncentro (T)=circuncentro (T1 ,T2 ,T3 )
circunferência
cfr (... )
circunferência (... )
powered by WIRIS
- 217 -
circunferência (A:Ponto ,r:RR )
circunferência (A:Ponto ,B:Ponto ,C:Ponto )
circunferência (p:Polinómio )
circunferência (a:Arco )
Circunferência
Circunferência
powered by WIRIS
- 218 -
APPENDIX
arco área atributos3d pertencem? centro compasso distância equação externo?

interno? inversão matriz ponto_mais_próximo2d ponto_mais_próximo3d
perímetro desenhar desenhar2d desenhar3d ponto posição potência
eixo_radical raio eixo_de_tangência recta_tangente rectas_tangentes
pontos_de_tangência
coeficiente
coeficiente (s:Série ,n:Natural )
coeficiente (x:Quantidade )
Mais informações em coeficiente
coeficiente_de_variação
coeficiente_de_variação (X:Dado_estatístico )
coeficiente_principal
powered by WIRIS
- 219 -
coeficiente_principal (p:Polinómio )
coeficiente_se
coeficiente_se (x:Quantidade )
coeficientes
coeficientes (p:Polinómio )
coeficientes (p:Polinómio ,x:Identificador )
coeficientes (p:Polinómio ,n:ZZ )
colocar_antes
powered by WIRIS
- 220 -
APPENDIX
colocar_antes (l:Lista |Vector ,x )

colocar_antes ({[ [l1 ,...,ln ]]},x)={[ [x,l1 ,...,ln ]]}colocar_antes ([ [l1 ,...,ln ]],x)=[ [x,l1 ,...,ln ]]em que
1<=i<=comprimento(l)+1
colocar_antes (p:Poligonal |Polígono ,A:Ponto )
coluna
coluna (A:Matriz ,l:ZZ |Lista |Vector |Traçado )
com
powered by WIRIS
- 221 -
{p=>v com r1 ,…,rn em R1 ,…,Rn [em_que ]}
com
powered by WIRIS
- 222 -
APPENDIX
produtório expr com i1 ,…,in em r1 ,…,rn em queij :Identificador ,rj :Lista

| Vector | Traçado ,expr:Expressão
powered by WIRIS
- 223 -
produtório expr com i1 ,…,in em r1 ,…,rn em_que p em queij :Identificador

,rj :Lista | Vector | Traçado ,expr:Expressão ,expr:Expressão
powered by WIRIS
- 224 -
APPENDIX
sigma expr com i1 ,…,in em r1 ,…,rn em queij :Identificador ,rj :Lista |

Vector | Traçado ,expr:Expressão
powered by WIRIS
- 225 -
sigma expr com i1 ,…,in em r1 ,…,rn em_que p em queij :Identificador ,rj

:Lista | Vector | Traçado ,expr:Expressão ,expr:Expressão
powered by WIRIS
- 226 -
APPENDIX
sigma x com i1 ,…,in em r1 ,…,rn em queij :Identificador ,rj :Lista |

Vector | Traçado
em queij :Identificador ,rj :Lista | Vector | Traçado
powered by WIRIS
- 227 -
sigma x com i1 ,…,in em r1 ,…,rn em_que p em queij :Identificador ,rj

:Lista | Vector | Traçado
x,i1 ,...,in ,r1 ,...,rn i1 ,...,in .

Vector | Traçado
powered by WIRIS
- 228 -
APPENDIX

x,i1 ,...,in ,r1 ,...,rn i1 ,...,in .
produtório x com i1 ,…,in em r1 ,…,rn
produtório x com i1 ,…,in em r1 ,…,rn em_que p
combinações
powered by WIRIS
- 229 -
ícone
combinações (n:ZZ,k:ZZ )
ícone
combinações (L:Lista |Vector ,k:ZZ )
Mais informações em combinações
combinações_com_repetição
ícone
combinações_com_repetição (n:ZZ,k:ZZ )
powered by WIRIS
- 230 -
APPENDIX
ícone
combinações_com_repetição (L:Lista |Vector ,k:ZZ )
Mais informações em combinações com repetição
comparar
comparar (x1 ,x2 )
compasso
compasso (A:Ponto ,B:Ponto )
powered by WIRIS
- 231 -
compasso (A:Ponto ,r:RR,f:Figura )
compasso (c:Circunferência ,f:Figura )
complemento
l1 /l2 em quel1 :Lista ,l2 :Lista

complemento (l1 :Lista |Vector ,l2 :Lista |Vector )
Complexo
CC
Complexo
componentes
powered by WIRIS
- 232 -
APPENDIX
componentes (b:Elemento (Anel ),B:Anel )

componentes (b:Elemento (Anel ) )
composição
composição (f:Função ,g:Função )
composição (p:Permutação ,q:Permutação )
comprimento
powered by WIRIS
- 233 -
comprimento (l:Lista | Vector | Traçado | Relação | Divisor | Tabela

| Régua )
comprimento (s:Segmento )
Mais informações em comprimento
comprimentos
comprimentos (x:Matriz |Lista |Vector )
powered by WIRIS
- 234 -
APPENDIX
cone_fechado_poliédrico
cone_fechado_poliédrico (n:Natural )
cone fechado poliédrico(n)=cone fechado poliédrico(n,ponto(0,0,0),1,1)
cone_fechado_poliédrico (n:Natural ,p:Ponto )

cone fechado poliédrico(n,p)=cone fechado poliédrico(n,p,1,1)
cone_fechado_poliédrico (n:Natural ,r:Real ,h:Real )

cone fechado poliédrico(n,r,h)=cone fechado poliédrico(n,ponto(0,0,0),r,h)
cone_fechado_poliédrico (n:Natural ,p:Ponto ,r:Real ,h:Real )
cone_poliédrico
cone_poliédrico (n:Natural ,p:Ponto )

cone poliédrico(n,p)=cone poliédrico(n,p,1,1)
cone_poliédrico (n:Natural ,r:Real ,h:Real )

cone poliédrico(n,r,h)=cone poliédrico(n,ponto(0,0,0),r,h)
powered by WIRIS
- 235 -
cone_poliédrico (n:Natural ,p:Ponto ,r:Real ,h:Real )
cone_poliédrico (n:Natural )
cone poliédrico(n)=cone poliédrico(n,ponto(0,0,0),1,1)
cónica
cónica (M:Matriz )
cónica (p:Polinómio )
powered by WIRIS
- 236 -
APPENDIX
cónica (P1 :Ponto ,P2 :Ponto ,P3 :Ponto ,P4 :Ponto ,P5 :Ponto )
Cónica
Cónica
Cónica_centrada ou Cónica_não_centrada
ângulo2d hipérbole_de_apolónio atributos3d eixos pertencem?

excentricidade equação semidistância_focal matriz ponto_mais_próximo2d
ponto_mais_próximo3d desenhar desenhar2d desenhar3d polar pólo posição
semieixo_maior semieixo_menor rectas_tangentes
Cónica_centrada
Cónica_centrada
Elipse ou Hipérbole
powered by WIRIS
- 237 -
Cónica_não_centrada
Cónica_não_centrada
Parábola
conjugado
conjugado (c:CC )
conjugado (p:Polinómio )
conjugados
conjugados (c:CC )
powered by WIRIS
- 238 -
APPENDIX
conjugados (x:Elemento (Corpo ),K:Corpo )

conjugados (x:Elemento (Corpo ) )
conjunto
conjunto (l:Lista )
conjunto (v:Vector )
Conjunto_finito
Conjunto_finito
constantes_reais
constantes_reais ()
powered by WIRIS
- 239 -
constantes_reais (b:Booleano )
contar_elementos
contar_elementos (l,x )
contar_elementos (l:Lista |Vector )
contar_multiplicidades
powered by WIRIS
- 240 -
APPENDIX
factorizar (p:Polinómio ,O: )

factorizar (p:Polinómio ,A:Anel ,O: )
conteúdo
conteúdo (p:Polinómio )
conteúdo_e_parte_primitiva
conteúdo_e_parte_primitiva (p:Polinómio )
convergente?
powered by WIRIS
- 241 -
convergente? (e:Expressão ,x:Variável )
converter
converter (x:Quantidade )
converter (x:Quantidade ,u:Unidade )
Mais informações em converter
coplanares?
coplanares? (L:Lista )
cor
powered by WIRIS
- 242 -
APPENDIX
cor
Indica a cor em que são desenhadas as figuras na prancheta.
Valores possíveis : listas de três números inteiros entre 0 e 255 com a forma '{r,g,b}', em que r, g, b correspondem
à quantidade de vermelho (r ed), verde (g reen) e azul (b lue) que definem a cor. Para facilitar o trabalho, foram
definidas algumas cores: black, white, red, green preto , branco , vermelho , verde , azul , ciano
, magenta , amarelo , castanho , laranja , rosa , cinzento , cinzento_escuro ,
cinzento_claro e a lista completa de cores html .
Valor por defeito : preto
cor
Indica a cor em que se desenha na prancheta.
Valores possíveis : listas de três números inteiros entre 0 e 255 com a forma '{r,g,b}', em que r,g,b correspondem
à quantidade de vermelho (r ed), verde (g reen) e azul (b lue) que definem a cor. Para facilitar o trabalho, foram
definidas algumas cores: black, white, red, green preto , branco , vermelho , verde , azul , ciano
, magenta , amarelo , castanho , laranja , rosa , cinzento , cinzento_escuro ,
cinzento_claro e a lista completa de cores html .
Valor por defeito : preto
Mais informações em cor_do_preenchimento , opções desenhar , opções desenhar3d , desenhar ,

desenhar3d
Cor
Mais informações em cor_eixos , cor_de_fundo , cor_da_margem , cor_do_cubo , cor_do_preenchimento ,

cor_da_grelha
Cor
Cor
white
branco ={255,255,255}
black
preto ={0,0,0}
powered by WIRIS
- 243 -
red
vermelho ={255,0,0}
green
verde ={0,255,0}
blue
azul ={0,0,255}
cyan
ciano ={0,255,255}
magenta
magenta ={255,0,255}
yellow
amarelo ={255,255,0}
brown
castanho ={180,60,0}
orange
laranja ={255,200,0}
pink
rosa ={255,175,175}
grey
cinzento ={128,128,128}
dark_grey
cinzento_escuro ={192,192,192}
light_grey
cinzento_claro ={64,64,64}
powered by WIRIS
- 244 -
APPENDIX
cor_da_grelha
cor_da_grelha
Indica a cor da grelha.
Valores possíveis : qualquer Cor em formato numérico {r,g,b} ou então, se estiver definido, pelo respectivo nome.
Valor por defeito : {255,200,100} (cor-de-laranja claro).
Mais informações em opções prancheta , prancheta
cor_da_margem
cor_da_margem
cor_da_margem
No caso de o valor de margem ser um número Inteiro positivo, indica a cor com a qual se pinta o limite.
Valores possíveis : qualquer Cor , em formato numérico {r,g,b} ou então, se estiver definido, pelo respectivo nome.
Valor por defeito : {0,0,0} (cor preta).
Mais informações em opções escrever , caixa_de_texto
cor_de_fundo
cor_de_fundo
Valores possíveis : qualquer Cor , em formato numérico {r,g,b} ou então, se estiver definido, pelo seu nome.
Valor por defeito : {255,255,240} (cor creme).
cor_de_fundo
Valor por defeito : {255,255,240} (cor creme).
cor_de_fundo
No caso de o valor de fundo estar certo, indica a cor com a qual se pinta o fundo do objecto representado.
Valores possíveis : qualquer Cor , em formato numérico {r,g,b} ou então, se estiver definido, pelo respectivo nome.
Valor por defeito : {255,255,255} (cor branca).
powered by WIRIS
- 245 -
Mais informações em opções prancheta , opções prancheta3d , opções escrever , prancheta ,

prancheta3d , caixa_de_texto
cor_do_cubo
cor_do_cubo
Indica a cor do cubo.
Valor por defeito : {150,150,255} (azul claro).
Mais informações em opções prancheta3d , prancheta3d
Caso se tenha uma figura fechada e o valor de preencher for certo, indica a cor com a qual se pinta o interior das
figuras.
Valores possíveis : uma Cor e "automático" ; se escolhermos este segundo valor da opção, o interior da
figura é pintado com a mesma cor da opção color.cor cor
Valor por defeito : "automático"
Caso se tenha uma figura fechada e o valor de preencher for certo, indica a cor com a qual se pinta o interior das
figuras.
Valores possíveis : uma Cor e "automático" ; se escolhermos este segundo valor da opção, o interior da
figura é pintado com a cor especificada na opção color.cor
cor_eixos
cor_eixos
No caso de o valor de mostrar_eixos estar certo, indica a cor em que surgem os eixos.
cor_eixos
No caso de o valor de mostrar_eixos estar certo, indica a cor com a qual se pintam os eixos.
powered by WIRIS
- 246 -
APPENDIX
corpo
corpo (a:Elemento (Corpo ) )
Corpo
Corpo
factorizar corpo corpo_finito frobenius mdc irredutível?

polinómio_irredutível polinómios_irredutíveis mmc polinómio_mínimo norma
número_de_polinómios_irredutíveis ordem elemento_primitivo resto? raiz
raízes raízes_quadradas traço
corpo?
corpo? (A )
corpo_finito
powered by WIRIS
- 247 -
corpo_finito (n:ZZ,x:Identificador )
corpo_finito (n:ZZ )
corpo_finito (K:Corpo ,n:ZZ,x:Identificador )

corpo_finito (K:Corpo ,n:ZZ )
correlação
correlação (X:Exemplo_lista ,Y:Exemplo_lista ) 1/(n-1)#x #y (xi yi -n) o #xy /#x *#y
correlação (M:Multiamostra ,X,Y )
correlação (M:Multiamostra )
Mais informações em correlação
correlação_n
powered by WIRIS
- 248 -
APPENDIX
correlação_n (x:Lista ,y:Lista )
cos
sen (x:RR )
cos (x:RR )
tan (x:RR )
cosec
sec (x:RR )
cosec (x:RR )
cotan (x:RR )
cosh
powered by WIRIS
- 249 -
senh (x:RR )
cosh (x:RR )
tanh (x:RR )
cotan
sec (x:RR )
cosec (x:RR )
cotan (x:RR )
covariância
covariância (M:Multiamostra ,X,Y )
covariância (X:Exemplo_lista ,Y:Exemplo_lista ) 1/(n-1)(xi -)*(yi -)
covariância (M:Multiamostra )
powered by WIRIS
- 250 -
APPENDIX
Mais informações em covariância
cubo
cubo (c:Real )
cubo(c)=cubo(ponto(0,0,0),c)
cubo
cubo()=cubo(1)
cubo (p:Ponto ,c:Real )
cursivo
cursivo
Valores possíveis : verdadeiro ou falso
Mais informações em fonte , fonte
curtose
powered by WIRIS
- 251 -
curtose (VA:Dado_estatístico )
curva
curva ()
se estado_geometria =2 então curva =curva2d se_não curva =curva3d fim
Curva
Curva
atributos3d expressão ponto_mais_próximo2d ponto_mais_próximo3d desenhar

desenhar2d desenhar3d ponto polígono poligonal poligonais traçado
variáveis
Curva_cartesiana
powered by WIRIS
- 252 -
APPENDIX
Curva_cartesiana
ponto polígono poligonal poligonais traçado variáveis
curva_integral
Mais informações em curva integral
curva_polar
curva_polar (ver curva )
Curva_polar
Curva_polar
atributos2d atributos3d ponto_mais_próximo2d ponto_mais_próximo3d

desenhar desenhar2d desenhar3d ponto polígono poligonal traçado variáveis
curva2d
powered by WIRIS
- 253 -
curva ()
curva2d (f:Função ,r:Traçado )
curva2d (f:Função ,a:RR,b:RR )
curva2d (e:Expressão ,t:Identificador ,r:Traçado )
curva2d ({ex ,ey }:Lista ,t:Identificador ,r:Traçado )
powered by WIRIS
- 254 -
APPENDIX
curva2d ({f,g}:Lista ,r:Traçado )
Curva2d
Curva2d
curva3d
curva3d
curva ()
Curva3d
powered by WIRIS
- 255 -
Curva3d
curvas_de_nível
curvas_integrais
Mais informações em curvas integrais
powered by WIRIS
- 256 -
APPENDIX
Dado_estatístico
Dado_estatístico
gráfico_de_caixas momento_central quartil_alargado média_geométrica

média_harmónica distância_interquartil curtose média esquecido? moda
quartil skewness desvio_padrão normalizar variância
decimal
decimal (r:RR )
powered by WIRIS
- 257 -
decimal (c:CC )
defeito
defeito (f:Função )
definição
definição (f:Identificador )
den
denominador (q:QQ )
den (q:QQ )
powered by WIRIS
- 258 -
APPENDIX
denominador (f:Fracção )
den (f:Fracção )
denominador
denominador (q:QQ )
den (q:QQ )
denominador (f:Fracção )
den (f:Fracção )
depende
depende (o )
derivada_numérica
powered by WIRIS
- 259 -
derivada_numérica (f:Função ,a:Real )
derivar
df/dx
ícone
derivar (f,x:Identificador )
derivar (f )
derivar (f,x:Identificador ,n:ZZ )
derivar (f,n:ZZ )
descomposição_lu
descomposição_lu (A:Matriz )
powered by WIRIS
- 260 -
APPENDIX
descomposição_lu (A:Matriz ,o: )
descomposição_qr
descomposição_qr (A:Matriz )
descontinuidades
descontinuidades (f,x:Identificador )
descontinuidades (f )
powered by WIRIS
- 261 -
descontinuidades (f,x:Identificador ,v:Vector )

descontinuidades (f,v:Vector )
desenhar
desenhar ()
se estado_geometria =2 então desenhar =desenhar2d se_não desenhar =desenhar3d fim
desenhar
desenhar um objecto: desenhar (d:Desenhável2d )
Em geral, esta função desenha d numa prancheta de desenho. Alguns exemplos dos objectos que podem ser
desenhados são Point, Line, Circumference, Segment. Se o argumento for uma Lista , então são desenhados
todos os seus elementos.
Ponto , Recta , Circunferência , Segmento , Triângulo , Poligonal , Função , Curva

ou Caixa_de_texto
que possa ser desenhado, então é desenhado; caso contrário, nada acontece e é emitido um aviso. Se mais à frente o
valor de d mudar, o desenho é actualizado para mostrar o novo objecto. Pode dizer-se que a prancheta de desenho
No exemplo seguinte, podemos constatar esse comportamento. Se definirmos P como o ponto (3,5) e o desenharmos
(primeiro bloco), aparece o ponto (3,5) na prancheta de desenho. Se, em seguida, P assumir como valor o ponto
(2,-1), será este o ponto que aparece desenhado. Note-se que isto acontece sem termos de voltar a usar o comando
desenhar com o ponto P .
powered by WIRIS
- 262 -
APPENDIX
desenhar2d
desenhar ()
desenhar2d (v:Variável (Desenhável2d ) )
powered by WIRIS
- 263 -
desenhar2d (f:Desenhável2d )
desenhar2d (f:Desenhável2d ,o: )
desenhar2d (p:Prancheta ,f... )
desenhar2d (e:Equação )
desenhar2d (f,x:Identificador )
desenhar2d (f,x:Identificador ,r:Traçado )
desenhar2d (f,x:Identificador ,a:Real ,b:Real )
powered by WIRIS
- 264 -
APPENDIX
desenhar2d (f )
desenhar2d (f,r:Traçado )
desenhar2d (f,a:Real ,b:Real )
desenhar3d
desenhar ()
desenhar3d (p:Plotter3D ,f:Desenhável3d ,t:Tabela )
desenhar3d (v:Variable(Plotable3d) )
desenhar3d (t:Plotter3D ,f:... )
powered by WIRIS
- 265 -
desenhar3d (e:Equação )
desenhar3d (f:... ,t:Tabela )
desenhar3d (f:Desenhável3d )
desenhar3d (f )
desenhar3d (f,x:Identificador ,y:Identificador )
powered by WIRIS
- 266 -
APPENDIX
desenhar3d (f,x:Identificador ,ax:Real ,bx:Real ,y:Identificador ,ay:Real

,by:Real )
desenhar3d (f,x:Identificador ,r1:Traçado ,y:Identificador ,r2:Traçado )
desenhar3d (f,r1:Traçado ,r2:Traçado )
desenhar3d (f,ax:Real ,bx:Real ,ay:Real ,by:Real )
powered by WIRIS
- 267 -
desenhar3d
desenhar um objecto: desenhar3d (d:Desenhável3d )
Em geral, esta função desenha um objecto d numa prancheta de desenho. Alguns exemplos dos objectos que podem
ser desenhados são Point, Line, Plane3d, Segment. Se o argumento for uma Lista , então são desenhados todos
os seus elementos.
Ponto , Recta , Plano3d , Segmento , Triângulo , Poligonal , Poliedro3d , Superfície

, Curva3d e Caixa_de_texto
que possa ser desenhado, então é desenhado; caso contrário, nada acontece e é emitido um aviso. Se mais à frente o
valor de d muda, o desenho é actualizado para mostrar o novo objecto. Pode dizer-se que a prancheta de desenho
No exemplo seguinte, podemos constatar esse comportamento. Se definirmos P como o ponto (3,5,0) e o desenharmos
(primeiro bloco), aparece o ponto (3,5,0) na prancheta de desenho. Se, em seguida, P assumir como valor o ponto
(2,-1,0), será este o ponto que aparece desenhado. Note-se que isto acontece sem termos de voltar a usar o comando
desenhar3d com o ponto P .
Desenhável
powered by WIRIS
- 268 -
APPENDIX
Desenhável
atributos3d ponto_mais_próximo2d ponto_mais_próximo3d desenhar desenhar2d

desenhar3d
Desenhável2d
Desenhável2d
Desenhável3d
Desenhável3d
deslocamento
powered by WIRIS
- 269 -
deslocamento (r:Traçado ,i:RR )
deslocamento (r:Traçado )
Mais informações em deslocamento
deslocar
powered by WIRIS
- 270 -
APPENDIX
deslocar (T:Prancheta2d ,v:Vector2d )
desvio_padrão
desvio_padrão (VA:Dado_estatístico ) 1/(n-1)(xi -) o raiz2(#x )
Mais informações em desvio padrão
desvio_padrão_n
desvio_padrão_n (x:Lista )
determinante
powered by WIRIS
- 271 -
|A|
ícone
determinante (A:Matriz )
Mais informações em determinante
diagrama
diagrama (L:Lista |Divisor )
dimensões
powered by WIRIS
- 272 -
APPENDIX
dimensões (A:Matriz )
Mais informações em dimensões
dimensões_fixas
dimensões_fixas
Indica se, ao serem mudadas as medidas da prancheta de desenho, os objectos têm ou não de ser reposicionados no
plano. Por defeito, reposicionam-se.
Mais informações em opções desenhar , desenhar
directriz
directriz (p:Parábola )
distância
distância (A:Ponto ,c:Circunferência )
powered by WIRIS
- 273 -
distância (A:Ponto ,B:Ponto )
Mais informações em distância
distância_interquartil
distância_interquartil (VA:Dado_estatístico )
distribuição
distribuição (V:Vector )
diversos_resultados_como
powered by WIRIS
- 274 -
APPENDIX
diversos_resultados_como
dividir
dividir (t:Cadeia ,p:Cadeia ,b:Booleano )
dividir (t:Cadeia ,p:Cadeia )
divisor
powered by WIRIS
- 275 -
divisor (l:Lista |Vector ,k:Lista |Vector )
Divisor
Divisor
diagrama posição seleccionar suporte
divisor_vazio
divisor_vazio
divisores
divisores (n:ZZ )
powered by WIRIS
- 276 -
APPENDIX
divisores (n:ZZ,b:Booleano )
divisores_mu_de_moebius
divisores_mu_de_moebius (n:ZZ )
dodecaedro
dodecaedro
dodecaedro()=dodecaedro(1)
dodecaedro (p:Ponto ,c:Real )
dodecaedro (c:Real )
domínio
powered by WIRIS
- 277 -
domínio (f,x:Identificador )
domínio (f )
domínio (r:Relação )
domínio (t:Tabela )
Domínio
powered by WIRIS
- 278 -
APPENDIX
Domínio
implicar implicar? Matriz Variável Vector
domínio_de_coeficientes
domínio_de_coeficientes (p:Polinómio )
powered by WIRIS
- 279 -
é?
é? (o,D:Domínio )
e_
ícone
e_
E_
ícone
E_
eixo_auxiliar_simetria_central
powered by WIRIS
- 280 -
APPENDIX
eixo_auxiliar_simetria_central
eixo_de_tangência
eixo_de_tangência (c:Circunferência ,A:Ponto )
eixo_radical
eixo_radical (c:Circunferência |Ponto ,k:Circunferência |Ponto )
eixo_simetria
eixo_simetria
eixos
powered by WIRIS
- 281 -
eixos (c:Cónica )
elemento
elemento (i:ZZ,R:Anel )
elemento (i:ZZ,A:Zn )
Elemento
powered by WIRIS
- 282 -
APPENDIX
Elemento
componentes conjugados avaliar corpo procurar_um procurar_zero frobenius

mdc índice inteiro inverso inversível? mmc polinómio_mínimo norma um? ordem
resto? raiz raízes raiz2 raízes_quadradas traço zero?
elemento_adjunto
elemento_adjunto (R:Extensão )
elemento_de_ordem
elemento_de_ordem (A:Anel ,r:ZZ )
elemento_primitivo
powered by WIRIS
- 283 -
elemento_primitivo (K:Corpo )
elementos
elementos
elementos ({j1 ,…,jr }:Lista ,R:Anel )
eliminação_gaussiana
eliminação_gaussiana (A:Matriz )
powered by WIRIS
- 284 -
APPENDIX
elipse
elipse (a:RR,b:RR,C:Ponto ) =elipse (a,b,C,[1,0])
elipse (a:RR,b:RR,v:Vector ) =elipse (a,b,ponto (0,0),v)
elipse (a:RR,b:RR ) =elipse (a,b,ponto (0,0),[1,0])
elipse (a:RR,b:RR,C:Ponto ,v:Vector )
powered by WIRIS
- 285 -
elipse (a:RR,b:RR,C:Ponto ,#:RR ) =elipse (a,b,C,[cos (#),sen (#)])
Elipse
Elipse
área atributos3d centro focos ponto_mais_próximo2d ponto_mais_próximo3d

desenhar desenhar2d desenhar3d ponto
em
[x->y com i1 ,…,in em r1 ,…,rn ]
[x->y com i1 ,…,in em r1 ,…,rn em_que p]
powered by WIRIS
- 286 -
APPENDIX
{x->y com i1 ,…,in em r1 ,…,rn }
powered by WIRIS
- 287 -
em

powered by WIRIS
- 288 -
APPENDIX

sigma expr com i em a..b em quei:Identificador ,a:ZZ,b:ZZ,expr:Expressão
powered by WIRIS
- 289 -

powered by WIRIS
- 290 -
APPENDIX

produtório expr com i em a..b em quei:Identificador

,a:ZZ,b:ZZ,expr:Expressão
powered by WIRIS
- 291 -

Vector | Traçado
em queij :Identificador ,rj :Lista | Vector | Traçado
em quei:Identificador ,a:ZZ,b:ZZ,x:Expressão
powered by WIRIS
- 292 -
APPENDIX

x,i1 ,...,in ,r1 ,...,rn i1 ,...,in .

Vector | Traçado
powered by WIRIS
- 293 -

x,i1 ,...,in ,r1 ,...,rn i1 ,...,in .
produtório x com i1 ,…,in em r1 ,…,rn
em_que
powered by WIRIS
- 294 -
APPENDIX
em_que
powered by WIRIS
- 295 -


powered by WIRIS
- 296 -
APPENDIX

x,i1 ,...,in ,r1 ,...,rn i1 ,...,in .

x,i1 ,...,in ,r1 ,...,rn i1 ,...,in .
powered by WIRIS
- 297 -
enquanto

Repete as instruções de A enquanto se verificar a condição B .
então

se B então A fim
Executa as instruções de A se se verificar a condição B . Caso não se verifique a condição e se houver uma
instrução se_não , então executa as instruções de A2 . Existe também a possibilidade de condicionantes múltiplas
e diversos grupos de instruções com a inserção de condicionais do tipo se_não_se através do menu do separador
de programação.
powered by WIRIS
- 298 -
APPENDIX
equação
equação (r:Recta ,{x:Variável , y:Variável }:Lista )
equação (r:Recta )
equação (c:Circunferência ,{x:Expressão ,y:Expressão }:Lista )
powered by WIRIS
- 299 -
equação (c:Circunferência )
equação (c:Cónica ,{x,y}:Lista )
equação (p:Plane ,{x:Variável , y:Variável , z:Variável }:Lista )
equação (p:Plane )
xyz
Equação
powered by WIRIS
- 300 -
APPENDIX
Equação
atributos2d atributos3d ponto_mais_próximo2d ponto_mais_próximo3d

desenhar desenhar2d desenhar3d desenhar3d
equilátero?
equilátero? (T:Triângulo3d )
equilátero? (T:Triângulo )
escrever
escrever (x,P:Ponto )
escrever ()
se estado_geometria =2 então escrever =escrever2d se_não escrever =escrever3d fim
escrever2d
powered by WIRIS
- 301 -
escrever ()
escrever3d
escrever ()
esfera_poliédrica
esfera_poliédrica (n:Natural ,p:Ponto ,r:Real )
esfera_poliédrica (r:Real )
esfera poliédrica(r)=esfera poliédrica(20,ponto(0,0,0),r)
esfera_poliédrica (p:Ponto ,r:Real )

esfera poliédrica(p, r)=esfera poliédrica(20,p,r)
esfera_poliédrica (n:Natural ,r:Real )

esfera poliédrica(n, r)=esfera poliédrica(n,ponto(0,0,0),r)
esquecido
esquecido
esquecido
esquecido?
powered by WIRIS
- 302 -
APPENDIX
esquecido? (X:Dado_estatístico )
esquecido? (X:Exemplo_lista ,l:Variável )
estado_geometria
estado_geometria ()
estado_geometria (c:Cadeia )
estado_geometria (n:Natural )
powered by WIRIS
- 303 -
estilo_de_eixos
estilo_de_eixos
estilo_de_eixos
estilo_de_eixos
Indica como são representados os eixos de coordenadas, assim como duas rectas perpendiculares, ou então um par
de setas perpendiculares entre si. Para além disso, neste segundo caso, o eixo das abcissas pode ser identificado por
x ou por X e o eixo das ordenadas por y ou por Y .
Valores possíveis : "none", "arrow", "arrow_xy", "arrow_XY". "nenhum" , "seta" , "recta_xy" e
"recta_XY"
Valor por defeito : "nenhum"
etiqueta
powered by WIRIS
- 304 -
APPENDIX
etiqueta
Valores possíveis : qualquer objecto e "automático" ; se escolhermos este segundo valor da opção, a etiqueta
indica o nome da figura.
etiqueta
Valores possíveis : qualquer objecto e "automático" ; se escolhermos este segundo valor da opção, a etiqueta
indica o nome da figura.
etiqueta_de_eixos
etiqueta_de_eixos
etiqueta_de_eixos
Dá nome aos eixos de coordenadas. A primeira componente da lista dá nome ao eixo das abcissas, enquanto que a
segunda o dá ao eixo das ordenadas.
Valores possíveis : qualquer Lista de dois componentes.
Valor por defeito : {,} (uma Lista_vazia de duas componentes).
etiqueta_fonte
etiqueta_fonte
Indica o tipo de fonte utilizado para escrever as etiquetas na prancheta.
Valores possíveis : qualquer objecto de tipo Fonte .
Valor por defeito : {negrito =falso ,cursivo =falso ,nome ="SansSerif",tamanho =12}
etiqueta_fonte
Indica o tipo de letra utilizado para escrever as etiquetas da prancheta.
powered by WIRIS
- 305 -
excentricidade
excentricidade (C:Cónica )
Exemplo_lista
Exemplo_lista
Exemplo_lista_de
Exemplo_lista_de
exp
powered by WIRIS
- 306 -
APPENDIX
exp (x:RR )
Mais informações em exponencial
expandir
expandir (p:Polinómio )
expandir (f:Fracção )
expressão
expressão (c:Curva |Curva_polar )
powered by WIRIS
- 307 -
expressão (t:Cadeia )
Expressão
Expressão
convergente? curva2d função
extensão
powered by WIRIS
- 308 -
APPENDIX
extensão (A:Anel ,x:Identificador ,f:Polinómio )

extensão (A:Anel ,f:Polinómio )
extensão (A:Anel ,x:Identificador ,f:Polinómio ,b:Booleano )
Extensão
Extensão
elemento_adjunto inverso polinómio precedente grau_relativo subextensão?

grau_total torre
externo?
externo? (c:Circunferência ,A:Ponto )
powered by WIRIS
- 309 -
externo? (T:Triângulo ,P:Ponto )
powered by WIRIS
- 310 -
APPENDIX
factor_de_conversão
factor_de_conversão (u:Unidade )
factor_de_conversão (u:Unidade ,u':Unidade )
Mais informações em factor de conversão
factorial
n!
factorial (n:ZZ )
factorial (n:ZZ,k:ZZ )
powered by WIRIS
- 311 -
factorizar
factorizar (n:ZZ )
factorizar (p:Polinómio )
factorizar (p:Polinómio ,A:Anel )
factorizar (p:Polinómio ,K:Corpo )

factorizar (p:Polinómio )
powered by WIRIS
- 312 -
APPENDIX

factorizar (p:Polinómio ,a )
Mais informações em factorizar
factorizar_em_livre_de_quadrados
powered by WIRIS
- 313 -
factorizar_em_livre_de_quadrados (p:Polinómio ,R:Anel )

factorizar_em_livre_de_quadrados (p:Polinómio )
factorizar_multiplicidade_em_livre_de_quadrados
factorizar_multiplicidade_em_livre_de_quadrados (p:Polinómio ,R:Anel )

factorizar_multiplicidade_em_livre_de_quadrados (p:Polinómio )
falso
falso
Mais informações em fundo , negrito , fonte_negrito , margem , avaliar , preencher , dimensões_fixas , cursivo ,
fonte_cursiva , móvel , mostrar_eixos , mostrar_cubo , mostrar_grelha , mostrar_etiqueta , visível , fio
fazer
powered by WIRIS
- 314 -
APPENDIX


para R fazer A fim
Repete as instruções de A de acordo com o traçado de R .
fibonacci
fibonacci (n:ZZ )
figura
powered by WIRIS
- 315 -
figura (f:Função )
Figura
Figura
figura2d
powered by WIRIS
- 316 -
APPENDIX
figura2d (f:Função )
Figura2d
Figura2d
Ponto , Recta , Circunferência , Arco , Segmento , Triângulo , Poligonal ou Cónica
figura3d
figura3d (f:Função )
Figura3d
powered by WIRIS
- 317 -
Figura3d
Ponto3d , Recta3d , Plano3d , Poligonal3d , Poliedro3d , Quádrica3d ou Segmento3d
fila
fila (x:Lista |Polinómio )
fim

powered by WIRIS
- 318 -
APPENDIX

para R fazer A fim

se B então A fim
de programação.
finito?
powered by WIRIS
- 319 -
finito? (A:Anel )
fio
fio
Indica se as arestas do elemento se destacam ou não.
Valores possíveis : true, false, "automatic". verdadeiro , falso e "automático"
Mais informações em opções desenhar3d , desenhar3d
Flutuante
Flutuante
focos
focos (p:Parábola )
powered by WIRIS
- 320 -
APPENDIX
focos (c:Elipse |Hipérbole |Cónica_centrada )
fonte
negrito
cursivo
tamanho
Valores possíveis :
nome
Valores possíveis : "Serif" , "SansSerif" ou "Monospaced"
Valor por defeito : "SansSerif"
Mais informações em fonte , fonte , fonte , fonte , fonte , fonte , fonte , fonte
Fonte
Mais informações em fonte_eixos , fonte , etiqueta_fonte
fonte
fonte
As principais opções do comando fonte são:
cursivo
powered by WIRIS
- 321 -
negrito
tamanho
nome
fonte_cursiva
fonte_cursiva
Indica se o texto usa letra em cursivo.
fonte_eixos
fonte_eixos
fonte_eixos
Indica a fonte utilizada para escrever o texto e os valores que acompanham os eixos.
powered by WIRIS
- 322 -
APPENDIX
fonte_negrito
fonte_negrito
Indica se o texto da prancheta usa letra em negrito.
forma_normal_de_smith
forma_normal_de_smith (M:Matriz )
Fracção
Fracção
ícone
todas_as_variáveis grau den den denominador denominador avaliar expandir

mdc mmc num num numerador numerador fracções_simples variável variáveis
fracções_simples
powered by WIRIS
- 323 -
fracções_simples (f:Fracção )
fracções_simples (f:Fracção ,A:Anel )
frobenius
frobenius (K:Corpo )
frobenius (cardinal (K))
frobenius (a:Elemento (Corpo ) )

p
a , p=característica (K) , K=corpo (a)
função
função (E:Expressão ,x:Identificador )
powered by WIRIS
- 324 -
APPENDIX
Função
Funções
Uma das capacidades mais valiosas do WIRIS é que nos permite definir novas funções, de forma que estas funções
sejam consideradas da mesma forma que aquelas que o WIRIS já tem incorporadas. Os argumentos destas funções
podem ser qualquer objecto matemático.
Nesta secção, aprendemos como se definem as funções e como se usam. Estudaremos também várias funções de
variável real, de uso fundamental em matemática, e que estão incorporadas no WIRIS .
Para definir funções, usamos o símbolo := , criado com o teclado ou com o ícone . À esquerda deste símbolo
escrevemos o nome da função, seguido da lista de argumentos da função entre parêntesis, e à direita escrevemos o
corpo da função, ou seja, as operações que queremos efectuar com os argumentos.
Uma função pode ter tantos argumentos quantos queiramos, ou inclusivamente não ter nenhum. No corpo da função,
podem ser usadas outras funções já definidas. Para aplicar a função a valores concretos, escrevemos o nome da função
seguido dos valores dos argumentos separados por vírgulas e entre parêntesis (esta estrutura é chamada Sequência
).
Se tentarmos aplicar uma função que não está definida, não é efectuado nenhum cálculo.
A função. f do exemplo anterior tem um único argumento, mas, tal com já foi referido, o número de argumentos pode
ser qualquer número não negativo. Para além disso, uma mesma função pode ter diferentes definições, dependendo do
número de argumentos que receba.
Uma função também pode ter mais de uma definição, segundo o domínio dos seus argumentos. Para especificar, na
definição de uma função, o domínio de um dos seus argumentos, escreve-se o argumento, seguido do carácter : e
do nome do domínio. É também possível definir uma função para um objecto concreto. Os exemplos seguintes ilustram
todas estas possibilidades. Note-se que o comando definição , aplicado a uma função, nos mostra as definições
desta função.
powered by WIRIS
- 325 -
Um comando útil para definir uma função, que se avaliará de uma forma para determinados elementos do seu domínio
de aplicação e de outra forma noutro subconjunto do domínio, é o comando verificar . Deve ser escrito entre os
argumentos da função e o símbolo := na forma verificar <condição> , em que <condição> é uma
expressão booleana (quer dizer, uma expressão que poderá sempre ser avaliada como verdadeiro ou falso )
construída a partir dos argumentos da função. Desta forma, podemos com elas definir funções para fragmentos que, no
entanto, não se convertem em elementos analíticos (podem avaliar-se, mas não calcular limites, derivá-las ou integrá-las).
verificar <condició> verificar <condición>
Os nomes que podemos dar às funções têm a mesma forma que os que podemos dar às variáveis.
As funções, como qualquer objecto no WIRIS , são entidades independentes do nome que se lhes dê. Por exemplo, a
função que, dado um número, o eleva ao quadrado e lhe soma 1 pode ser considerada em si mesma, mesmo quando
muitas vezes nos convenha dar-lhe um nome para poder trabalhar com comodidade. Uma função à qual não atribuamos
nenhum nome, chama-se uma função anónima. As funções anónimas definem-se com o ícone , que é equivalente a
--> , escrevendo os seus argumentos, entre parêntesis, à esquerda do símbolo --> e o corpo da função à direita
deste símbolo. Note-se que o comando definição devolve, como foi visto em exemplos anteriores, uma lista de
funções anónimas.
Se tiver sido definida uma função e se pretender que volte a ficar livre, deve ser-lhe aplicado o comando limpar .
powered by WIRIS
- 326 -
APPENDIX
Funções reais
Vamos descobrir agora algumas das funções reais predefinidas no WIRIS e que correspondem a funções matemáticas
básicas.
raiz quadrada: ícone , comando raiz2 ou raiz_quadrada
Calcula a raiz quadrada do argumento que recebe. Uma forma alternativa de calcular a raiz quadrada de um número
é elevá-lo a 12. O sqrtssquare_roots calcula todas as raízes quadradas de um número real.
1/2 comando raízes2 ou raízes_quadradas
raiz: ícone , comando raiz
Calcula a raiz n -ésima de x , em que x é o primeiro argumento (o da caixa principal, se tiver sido utilizado o ícone)
e n o segundo (o da caixa superior). Como no caso anterior, o cálculo da raiz n -ésima é equivalente a elevar x a
1/n . O comando raízes calcula todas as raízes complexas (ou reais) de um número real.
trigonométricas:
powered by WIRIS
- 327 -
As funções trigonométricas são as seguintes:, sin, cos, tan, cosec, sec, cotan
Correspondem, respectivamente, ao seno, co-seno, tangente, co-secante, secante e co-tangente. O argumento destas
funções pressupõe-se expresso em radianos. Se quisermos usar graus, podemos fazê-lo por intermédio do símbolo
º , que se encontra no separador de Unidades .
sen cos tan

cosec sec cotan
As funções trigonométricas inversas que o WIRIS inclui são: , asin, acos, atan
Correspondem, respectivamente, ao arco seno, ao arco co-seno e ao arco tangente. O argumento destas funções é
um número real. O resultado de todas elas é a determinação principal da função, expressa em radianos (a mesma que
nos dão as teclas sin-1, cos-1 i tan-1das calculadoras de bolso). Se quisermos a resposta em graus, podemos usar
a função converter .
asen acos atan

-1 -1 -1
sen cos tan
exponencial: comando exp , ícone ou
Calcula o resultado da aplicação da função exponencial ao seu único argumento (ou seja, o número que resulta de
elevar o número e ao argumento). Com o ícone , obtêm-se valores exactos, (isto é, sem avaliar) e com obtêm-se
valores aproximados. O WIRIS também inclui a exponencial complexa.
logaritmo: comando ln ou log
powered by WIRIS
- 328 -
APPENDIX
Se os comandos anteriores receberem um único argumento, calcularão o logaritmo neperiano e decimal,

respectivamente. Se log receber dois argumentos, a e b , calcula o logaritmo de a na base b .
ba calcula o logaritmo de a na base b . É equivalente a log(a,b). Recordemos que, para criar um subíndice iremos
utilizar o ícone
logb (a) log (a,b) log (a,b)
valor absoluto: ícone , comando absoluto
Calcula o valor absoluto do argumento.
sinal: comando sinal
Permite obter o sinal de um número real. Devolve 1 se o número for positivo, -1 se for negativo e 0 se não for nenhum
dos dois.
máximo: comando máximo ou max
Calcula o máximo dos argumentos que a função recebe. Se o argumento for uma Lista ou Vector , calcula
o máximo dos seus elementos.
powered by WIRIS
- 329 -
mínimo: comando mínimo ou min
Calcula o mínimo dos argumentos que a função recebe. Se o argumento for uma Lista ou Vector , calcula
o mínimo dos seus elementos.
Função
atributos3d composição máximo_com_restrições máximo_com_restrições

mínimo_com_restrições mínimo_com_restrições curva2d defeito
figura figura2d figura3d aplicar_função ponto_mais_próximo2d
ponto_mais_próximo3d derivada_numérica integral_numérica desenhar
desenhar2d desenhar3d seleccionar série ordenar série_de_taylor
Função
função_identidade
função_identidade (x:Qualquer )
powered by WIRIS
- 330 -
APPENDIX
fundo
fundo
fundo
Indica se tem de se pintar ou não o fundo correspondente ao objecto representado.
powered by WIRIS
- 331 -
glossário
glossário
glossário
powered by WIRIS
- 332 -
APPENDIX
glossário: ícone
gms
gms (x:Quantidade )
gráfico_de_caixas
powered by WIRIS
- 333 -
gráfico_de_caixas (VA:Dado_estatístico )
grau
grau (p:Polinómio )
grau (p:Polinómio ,i:ZZ )

grau (p:Polinómio ,x:Identificador )
grau (f:Fracção )
grau (f:Fracção ,t:Identificador )
grau (u:Unidade )
powered by WIRIS
- 334 -
APPENDIX
grau_relativo
grau_relativo (B:Extensão ,A:Extensão )

grau_relativo (B:Extensão )
grau_total
grau_total (A:Extensão )
powered by WIRIS
- 335 -
hipérbole
hipérbole (a:RR,b:RR,C:Ponto ) =hipérbole (a,b,C,[1,0])
hipérbole (a:RR,b:RR,v:Vector ) =hipérbole (a,b,ponto (0,0),v)
hipérbole (a:RR,b:RR ) =hipérbole (a,b,ponto (0,0),[1,0])
hipérbole (a:RR,b:RR,C:Ponto ,v:Vector )
Hipérbole
Hipérbole
atributos3d centro focos ponto_mais_próximo2d ponto_mais_próximo3d

desenhar desenhar2d desenhar3d ponto
hipérbole_de_apolónio
powered by WIRIS
- 336 -
APPENDIX
hipérbole_de_apolónio (c:Cónica ,p:Ponto )
homotetia
homotetia (centro :Ponto ,razão :Real ,f:Figura )
householder
householder (v:Vector )
powered by WIRIS
- 337 -
i_
ícone
i_
icosaedro
icosaedro
icosaedro()=icosaedro(1)
icosaedro (p:Ponto ,c:Real )
icosaedro (c:Real )
icosaedro(c)=icosaedro(ponto(0,0,0),c)
identidade
powered by WIRIS
- 338 -
APPENDIX
identidade (p:Permutação )
identidade?
identidade? (p:Permutação )
Identificador
Identificador
polinómio_anulador polinómio_anulador pertence_ao_domínio? coeficientes

nome_variável_complexa curva2d definição grau derivar descontinuidades
domínio extensão corpo_finito função integrar interpolar
polinómio_irredutível polinómios_irredutíveis limite maclaurin maclaurin
polinómio_mínimo desenhar2d desenhar3d polinómio progressão representar
resultante matriz_resultante resolver_inequação taylor taylor taylor
unidade
imagem
powered by WIRIS
- 339 -
imagem (A:Matriz )
imagem (l )
implicar
implicar (D1 :Domínio ,D2 :Domínio )
implicar?
implicar? (D1 :Domínio ,D2 :Domínio )
incentro
powered by WIRIS
- 340 -
APPENDIX
incentro (A:Ponto ,B:Ponto ,C:Ponto )
incentro (T:Triângulo )
incentro (T)=incentro (T1 ,T2 ,T3 )
inclinação
inclinação (r:Recta )
powered by WIRIS
- 341 -
inclinação (v:Vector )
índice
índice (x,l )
índice (x,l,i:ZZ )
índice (a:Elemento (Anel ) )
Inequação
powered by WIRIS
- 342 -
APPENDIX
Inequação
infinito
ícone
infinito_positivo
infinito
Infinito
Infinito
infinito_negativo
powered by WIRIS
- 343 -
ícone
infinito_negativo
infinito_positivo
ícone
infinito_positivo
infinito
infinito_sem_sinal
ícone
infinito_sem_sinal
informação
powered by WIRIS
- 344 -
APPENDIX
informação
informação
Indica qual a informação que deve ser mostrada quando se passa com o rato sobre uma figura. Esta informação
pode ser alterada depois de o desenho surgir no ecrã, por intermédio dos ícones actionshowname.png,
actionshowvalue.png, actionshowdef.png da barra de ferramentas da prancheta de desenho.
, e
Valores possíveis : "none", "name", "definition", "value". "nenhum" , "nome" , "definição" e "valor"
Valor por defeito : "nome"
informação
Indica qual a informação que deve ser mostrada quando se passa com o rato sobre uma figura. Esta informação
pode ser alterada depois de o desenho surgir no ecrã, por intermédio dos ícones actionshowname.png,
actionshowvalue.png, actionshowdef.png da barra de ferramentas da prancheta de desenho.
, ou
Valores possíveis : "none", "name", "definition", "value". "nenhum" , "nome" , "definição" e "valor"
Valor por defeito : "nome"
powered by WIRIS
- 345 -
inrádio
inrádio (A:Ponto ,B:Ponto ,C:Ponto )
inrádio (T:Triângulo )
inrádio (T)=inrádio (T1 ,T2 ,T3 )
inserir
inserir (l:Lista |Vector ,i:ZZ,x )

inserir ({l1 ,…,ln },i,x)={l1 ,…,li-1 ,x,li ,…,ln }inserir ([v1 ,…,vn ],i,x)=[v1 ,…,vi-1 ,x,vi ,…,vn ]em que
1<=i<=comprimento(l)+1
powered by WIRIS
- 346 -
APPENDIX
inserir (p:Poligonal |Polígono ,i:ZZ,A:Ponto )

poligonal (P1 ,...,Pi-1 ,A,Pi ,...,Pn ) em_que n=comprimento (P), 1<=i<=n+1
integral_numérica
integral_numérica (f:Função ,a:Real ,b:Real )
integrar
powered by WIRIS
- 347 -
ícone
integrar (f,x:Identificador )
ícone
integrar (f )
ícone
integrar (f,x:Identificador ,a,b )
ícone
integrar (f,a,b )
inteiro
powered by WIRIS
- 348 -
APPENDIX
inteiro (a:Elemento (Zn ) )
Inteiro
Inteiro
ZZ
mcd_alargado progressão_geométrica momento substituir tomar
Mais informações em margem , tamanho_fonte , altura_janela , largura_janela
interno?
interno? (T:Triângulo2d |Triângulo3d ,n:Natural )
powered by WIRIS
- 349 -
interno? (c:Circunferência ,A:Ponto )
interno? (T:Triângulo ,P:Ponto )
interpolar
interpolar ({x1 ,…,xn },{y1 ,…,yn } )

interpolar ({x1 ,…,xn },{y1 ,…,yn },x:Identificador )
interpolar ({ponto (x1 ,y1 ),…,ponto (xn ,yn )} )
interpolar ({ponto (x1 ,y1 ),…,ponto (xn ,yn )},x:Identificador )
interpolar ({x1 #y1 },…,{xn #yn } )
powered by WIRIS
- 350 -
APPENDIX
interpolar (X:Lista ,Y:Lista )

interpolar (X,Y):=interpolar (ponto (a1 ,...,b1 ),...,ponto (an ,...,bn )) em_que {X={a1 ,...,an },
Y={b1 ,...,bn }}
interpolar (P1 :Ponto ,…,Pn :Ponto )
intersecção_de_subespaços
intersecção_de_subespaços (A:Matriz ,B:Matriz )
intersecção_eixo_x
powered by WIRIS
- 351 -
intersecção_eixo_x
intersecção_eixo_y
intersecção_eixo_y
intersecção_eixos
intersecção_eixos
intersectar
f1 #f2 em quef1 :Figura ,f2 :Figura
intersectar (f1 :Figura ,f2 :Figura )
powered by WIRIS
- 352 -
APPENDIX
intersectar (l1 :Lista |Vector ,l2 :Lista |Vector ) intersectar (l1 ,l2 )=l1 /(l1 /l2
)=l2 /(l2 /l1 )
Mais informações em intersectar
intervalo
intervalo (A:Matriz )
intervalo (A:Matriz ,o: )
Mais informações em intervalo
inversão
powered by WIRIS
- 353 -
inversão (k:RR,O:Ponto ,f:Ponto |Recta |Circunferência )
inversível?
inversível? (a:Elemento (Anel ) )
inverso
A-1
ícone
inverso (A:Matriz )
powered by WIRIS
- 354 -
APPENDIX
inverso (a:Elemento (Anel ) )
inverso (a:ZZ,m:ZZ )
inverso (a:Elemento (Extensão ) )
inverso (p:Permutação )
inverso (p:Polinómio ,l:Lista )
powered by WIRIS
- 355 -
inverso (r:Relação )
inverso (a:Elemento (Zn ) )
Mais informações em inverso
inverter_faixa
inverter_faixa (r:Traçado )
inverter faixa(a..b..passo)=b..a..-passo
inverter_faixa (l:Lista |Vector )

inverter faixa(l)=inverter faixa(traçado(l))
Irracional
powered by WIRIS
- 356 -
APPENDIX
constantes_reais ()
constantes_reais (b:Booleano )
polinómio_anulador (r:Irracional ,t:Identificador )
powered by WIRIS
- 357 -
racionaliza (r:RR )
simplificar_radical (r:RR )
ícone
Pi_
ícone
pi_
ícone
E_
powered by WIRIS
- 358 -
APPENDIX
ícone
e_
ícone
raiz (r:RR,n:ZZ )
raízes (r:RR,n:ZZ )
powered by WIRIS
- 359 -
ícone
raiz2 (r:RR ) raiz2(r)=raiz(r,2)
raízes2 (r:RR ) raízes2 (r)={raiz2(r), -raiz2(r)}
Irracional
irredutível?
irredutível? (p:Polinómio )
irredutível? (p:Polinómio ,A:Anel )
irredutível? (p:Polinómio ,K:Corpo )
powered by WIRIS
- 360 -
APPENDIX
j_
j_
jacobi
jacobi (a:ZZ,n:ZZ )
jordan
jordan (A:Matriz )
jordan (A:Matriz ,o: )
powered by WIRIS
- 361 -
powered by WIRIS
- 362 -
APPENDIX
lado
lado (T:Triângulo ,i:ZZ )
lados
lados (P:Polyhedra |Poligonal3d )
laranja
laranja
laranja
laranja ={255,200,0}
largura
powered by WIRIS
- 363 -
largura
largura
largura_janela
largura_janela
largura_janela
largura_linha
largura_linha
Indica a espessura das rectas, segmentos ou gráficos de funções que são desenhados na prancheta.
largura_linha
Indica a espessura das rectas, segmentos ou gráficos de funções desenhados na prancheta.
largura_máxima
powered by WIRIS
- 364 -
APPENDIX
largura_máxima
largura_máxima
Indica a largura máxima da Caixa_de_texto . Quando o texto a ultrapassa, muda de linha.
Valor por defeito : # (infinito).
legendre
legendre (a:ZZ,p:ZZ )
limite
powered by WIRIS
- 365 -
lim x#a f
ícone
limite (f,x:Identificador ,a:RR | Infinito )
limite (f,x#a:RR | Infinito )
limite (f,a:RR | Infinito )
lim x#a+ f
lim x#a- f
ícone ou
limite (f,x:Identificador ,a:RR | Infinito ,dir )
limite (f,x#a:RR | Infinito ,dir )
limite (f,a:RR | Infinito ,dir )
limite_direita
powered by WIRIS
- 366 -
APPENDIX
lim x#a+ f
lim x#a- f
ícone ou
limite_esquerda
powered by WIRIS
- 367 -
lim x#a+ f
lim x#a- f
ícone ou
limpar
limpar v1 ,…,vn
linearmente_independentes?
powered by WIRIS
- 368 -
APPENDIX
linearmente_independentes? (u:Vector ,v:Vector )

linearmente_independentes? (l:Lista )
lista
lista (r:Traçado |Vector )
lista (p:Permutação )
lista (p:Poligonal )
powered by WIRIS
- 369 -
lista (A:Ponto )
lista (F:Amostra_frequência_de ( ZZ ) )
Lista
Lista
antepor agrupar coluna combinações combinações combinações_com_repetição

máximo_com_restrições máximo_com_restrições mínimo_com_restrições
mínimo_com_restrições coplanares? correlação_n contar_elementos curva2d
matriz_diagonal diagrama divisor elementos equação apagar
progressão_geométrica cabeça apagar_índice inserir interpolar
inverso comprimentos linearmente_independentes? matriz max min
momento multiplicidade resolver_numericamente permutação permutações
permutações_com_repetição plano ponto colocar_antes progressão quádrica
quádrica3d traçado relação substituir resultante matriz_resultante
inverter_faixa raízes_para_polinómio seleccionar conjunto resolver ordenar
desvio_padrão_n subcadeia tabela fila tomar a_decimal variância_n
variações variações_com_repetição zero?
Mais informações em etiqueta_de_eixos
powered by WIRIS
- 370 -
APPENDIX
lista_constante
lista_constante (n:ZZ,x )
Lista_de
Lista_de
lista_de_coeficientes_densos
lista_de_coeficientes_densos (p:Polinómio )
lista_de_termo
lista_de_termo (s:Série ,n:Natural )
lista_de_termos
powered by WIRIS
- 371 -
lista_de_termos (f:Série ,n:Natural )
Lista_vazia
Lista_vazia
livre_de_quadrados?
livre_de_quadrados? (p:Polinómio )
ln
ln (a:RR )
Mais informações em logaritmo
log
powered by WIRIS
- 372 -
APPENDIX
log b (a)
log (a:RR,b:RR )
log (a:RR )
log10 (a:RR )
Mais informações em logaritmo
log10
log (a:RR )
log10 (a:RR )
log2
log2 (a:RR )
powered by WIRIS
- 373 -
lucas
lucas (n:ZZ )
powered by WIRIS
- 374 -
APPENDIX
maclaurin
maclaurin (e,x:Identificador ,n:ZZ )

taylor (e,x:Identificador ,n:ZZ )
magenta
magenta
magenta
magenta ={255,0,255}
margem
margem
margem
Indica se tem ou não de se pintar o contorno das figuras fechadas.
Valor por defeito : verdadeiro
powered by WIRIS
- 375 -
margem
Indica se é ou não para pintar o contorno das figuras fechadas.
margem
Indica se tem de se acrescentar ou não um limite ao objecto representado e, no primeiro caso, determina a espessura
que terá.
Valores possíveis : qualquer número Inteiro não negativo.
Mais informações em opções desenhar , opções desenhar3d , opções escrever , desenhar ,

desenhar3d , caixa_de_texto
margem_caixa
margem_caixa
matriz
matriz (c:Circunferência )
powered by WIRIS
- 376 -
APPENDIX
matriz (c:Cónica )
matriz (l:Lista )
Matriz
Matriz
Matriz (D:Domínio )
powered by WIRIS
- 377 -
matriz_adjunta matriz_característica polinómio_característico coluna

cónica determinante determinante determinante determinante
dimensões valores_próprios valores_e_vectores_próprios vectores_próprios
eliminação_gaussiana eliminação_gaussiana eliminação_gaussiana
eliminação_gaussiana base_hermite redução_de_hessenberg
redução_de_hessenberg imagem inverso jordan jordan núcleo
núcleo comprimentos descomposição_lu descomposição_lu ordem_da_matriz
polinómio_mínimo polinómio_mínimo menor n_colunas n_linhas
número_de_colunas número_de_linhas projectividade descomposição_qr
intervalo forma_normal_de_smith base_em_forma_normal_de_smith resolver
intersecção_de_subespaços soma_de_subespaços suplemento simétrica? traço
transpor
Mais informações em matriz_de_transformação
Matriz
vectores e matrizes: um vector é uma sequência fechada por parêntesis rectos, que é possível criar com as teclas [
, ] , com o ícone , separando os seus elementos com uma vírgula, ou então usando o ícone . Se as chavetas
forem criadas usando o ícone, o tamanho destas ajustar-se-á ao do seu conteúdo. Pode ser obtido o mesmo resultado
com as combinações de teclas [, ] Ctrl + [ e Ctrl + ]
fila da matriz.
Os ícones e , explicados em detalhe no capítulo Menus, ícones... , permitem a criação de vectores e

matrizes de uma forma fácil.
Para saber como se trabalha com vectores e matrizes, pode consultar o capítulo de Álgebra Linear .
Dada uma lista ou um vector v , e um número inteiro i , vi é a i -ésima componente de v , sempre que 1ilengthv.
vi 1<=i<=comprimento (v)
powered by WIRIS
- 378 -
APPENDIX
Sendo toda a matriz um vector de vectores, se chamarmos A a uma matriz, então Ai é a sua fila i -ésima e Ai,j(,
Aij) o j -ésimo elemento da fila i -ésima (supondo-se que existe).
Ai Ai,j (Ai,j ou Aij ) Aij
Ai,j é equivalente a A.i.. Do mesmo modo, se v é um vector, v.i é a i -ésima componente de v .
An A.n Ai,j A.i.j v.i
matriz_adjunta
powered by WIRIS
- 379 -
matriz_adjunta (A:Matriz )
matriz_característica
matriz_característica (A:Matriz ,t )
matriz_constante
matriz_constante (n:ZZ,x )
matriz_constante (m:ZZ,n:ZZ,x )
matriz_de_permutações
powered by WIRIS
- 380 -
APPENDIX
descomposição_lu (A:Matriz ,o: )
matriz_de_rotação
matriz_de_rotação (x:Real )
matriz_de_rotação (centro :Ponto ,orientação :Vector ,ângulo :Real )
matriz_de_simetria
powered by WIRIS
- 381 -
matriz_de_simetria (x:Ponto3d |Recta2d |Recta3d |Plane )
jordan (A:Matriz ,o: )
Indica a posição do cubo de representação dentro da janela de desenho. De cada vez que deslocarmos o cubo,
podemos saber qual é a nova posição por intermédio do ícone da barra de ferramentas da prancheta de desenho.
Valores possíveis : qualquer Matriz de números Real 3x3. 3x3
Valor por defeito : -
matriz_de_translação
powered by WIRIS
- 382 -
APPENDIX
matriz_de_translação (V:Vector )
matriz_diagonal
matriz_diagonal (a:Lista |Vector |Traçado )
matriz_diagonal (n:ZZ,x )
matriz_identidade
ícone
matriz_identidade (n:ZZ )
powered by WIRIS
- 383 -
matriz_resultante
matriz_resultante (p:Polinómio ,q:Polinómio )
matriz_resultante (p:Polinómio ,q:Polinómio ,t:Identificador )

matriz_resultante (p:Polinómio ,q:Polinómio ,{t1 ,…,tn }:Lista )
max
max (x1 ,…,xn )
max (l:Lista |Vector |Traçado )
Mais informações em máximo
máximo
Mais informações em máximo
powered by WIRIS
- 384 -
APPENDIX
máximo_com_restrições
máximo_com_restrições (f:Função ,l:Lista )

mínimo_com_restrições (f:Função ,l:Lista )
máximo_divisor_comum
Mais informações em máximo divisor comum
mcd_alargado
mcd_alargado (a:Inteiro ,b:Inteiro )
mcd_alargado (p:Polinómio ,q:Polinómio )
mdc
mdc (a:ZZ,b:ZZ )
powered by WIRIS
- 385 -
mdc (p:Polinómio ,q:Polinómio )
mdc (a1 :Elemento (Anel ),…,an :Elemento (Anel ) )

mdc ({a1 :Elemento (Anel ),…,an :Elemento (Anel )} )
mdc ([a1 :Elemento (Anel ),…,an :Elemento (Anel )] )
mdc (r:QQ,s:QQ )
mdc (f1 :Fracção ,f2 :Fracção )
powered by WIRIS
- 386 -
APPENDIX
mdc (a:Elemento (Corpo ),b:Elemento (Corpo ) )
Mais informações em máximo divisor comum
média
média (VA:Dado_estatístico ) 1/(n-1)xi
Mais informações em média
média_geométrica
média_geométrica (VA:Dado_estatístico ) raiz2(x1 *x2* ...*xn )
Mais informações em média geométrica
média_harmónica
powered by WIRIS
- 387 -
média_harmónica (VA:Dado_estatístico ) n/xi
Mais informações em média harmónica
mediana
Mais informações em mediana
mediatriz
mediatriz (A:Ponto ,B:Ponto )
mediatriz (s:Segmento )
powered by WIRIS
- 388 -
APPENDIX
mediatriz (T:Triângulo ,i:ZZ )
Mais informações em mediatriz
menor
menor (A:Matriz ,i:ZZ,j:ZZ )
Mais informações em menor
método
método
min
powered by WIRIS
- 389 -
min (x1 ,…,xn )
min (l:Lista |Vector |Traçado )
Mais informações em mínimo
mínimo
Mais informações em mínimo
mínimo_com_restrições
máximo_com_restrições (f:Função ,l:Lista )

mínimo_com_restrições (f:Função ,l:Lista )
mínimo_múltiplo_comum
Mais informações em mínimo múltiplo comum
mmc
powered by WIRIS
- 390 -
APPENDIX
mmc (a:ZZ,b:ZZ )
mmc (p:Polinómio ,q:Polinómio )
mmc (a1 :Elemento (Anel ),…,an :Elemento (Anel ) )

mmc ({a1 :Elemento (Anel ),…,an :Elemento (Anel )} )
mmc ([a1 :Elemento (Anel ),…,an :Elemento (Anel )] )
mmc (r:QQ,s:QQ )
mmc (f1:Fracção ,f2:Fracção )
powered by WIRIS
- 391 -
mmc (a:Elemento (Corpo ),b:Elemento (Corpo ) )
Mais informações em mínimo múltiplo comum
mod
a mod m
moda
moda (VA:Dado_estatístico )
Mais informações em moda
momento
powered by WIRIS
- 392 -
APPENDIX
momento (n:Inteiro ,x:Real ,L:Lista )
momento_central
momento_central (k:ZZ,X:Dado_estatístico ) mk =1/n(xi -)k
mónico
mónico (p:Polinómio )
mónico?
mónico? (p:Polinómio )
mostrar_cubo
powered by WIRIS
- 393 -
mostrar_cubo
Indica se, na janela, aparece ou não um cubo. Os pontos podem deslocar-se livremente pela prancheta de desenho.
mostrar_eixos
mostrar_eixos
mostrar_eixos
mostrar_etiqueta
mostrar_etiqueta
mostrar_etiqueta
mostrar_grelha
mostrar_grelha
Indica se aparece ou não uma grelha na janela. Se aparecer a grelha, o movimento dos pontos desenhados é limitado
aos pontos de intersecção da grelha; se não aparecer, os pontos podem deslocar-se livremente pela prancheta de
desenho.
powered by WIRIS
- 394 -
APPENDIX
mostrar_termos
mostrar_termos (n:Natural )
móvel
móvel
Se o objecto a desenhar não tiver sido definido de forma estática, permite que este possa ou não deslocar-se no
espaço.
móvel
Se o objecto a desenhar não tiver sido definido de forma estática, permite que este possa ou não ser deslocado no
plano.
mover
mover (x:Variável ,v:Vector )
mu_de_moebius
powered by WIRIS
- 395 -
mu_de_moebius (n:ZZ )
mudança_de_base
mudança_de_base (n:ZZ,b:ZZ )
mudança_de_base (v:Vector ,b:ZZ )
Multiamostra
Multiamostra
multiplicidade
powered by WIRIS
- 396 -
APPENDIX
multiplicidade (p:Lista ,f:Polinómio )
multiplicidades

powered by WIRIS
- 397 -
n_colunas
n_colunas (A:Matriz )
n_linhas
n_linhas (A:Matriz )
n_termos
n_termos (p:Polinómio )
n_variáveis
n_variáveis (p:Polinómio )
não
powered by WIRIS
- 398 -
APPENDIX
não b
não verdadeiro =falso

não falso =verdadeiro
não_nulo?
não_nulo? (x1 ,…,xn )
não_pertence?
não_pertence? (x,l )
Natural
Natural
ícone
powered by WIRIS
- 399 -
número_de_bernoulli números_de_bernoulli coeficiente estado_geometria

interno? recta_mediana poliedro cone_poliédrico cone_fechado_poliédrico
cilindro_poliédrico cilindro_fechado_poliédrico esfera_poliédrica
toro_poliédrico série mostrar_termos subcadeia série_de_taylor termo
lista_de_termo termos lista_de_termos truncar
negativo?
negativo? (x:Real )
negrito
negrito
nome
nome
nome
Se o comando desenhar3d não conhecer o nome do objecto que tem de desenhar, indica o seu nome. Só tem
efeito quando se trata de um único elemento e não de uma lista.
Valores possíveis : qualquer objecto de tipo Cadeia .
Valor por defeito : nulo
powered by WIRIS
- 400 -
APPENDIX
nome
Se o comando desenhar não conhece o nome do objecto que tem de desenhar, indica o seu nome. Só tem efeito
quando se trata de um único elemento e não de uma lista.
Mais informações em fonte , fonte , opções desenhar , opções desenhar3d , desenhar , desenhar3d
nome_fonte
nome_fonte
powered by WIRIS
- 401 -
nome_fonte
Indica o nome do tipo de letra utilizado.
Valores possíveis : "Serif", "SansSerif", "Monospaced". "Serif" , "SansSerif" e "Monospaced"
nome_identificador
polinómio_mínimo (A:Matriz ,o: )

polinómio_mínimo (A,{nome_identificador =k})=polinómio_mínimo (A,k)
nome_inicial
nome_inicial
Se o comando desenhar3d não conhece o nome do objecto que tem de desenhar, o nome dessa figura é o valor
desta opção combinado com um número.
nome_inicial
Se o comando desenhar não conhece o nome do objecto que tem de desenhar, o nome dessa figura é o valor
desta opção combinado com um número.
nome_variável_complexa
powered by WIRIS
- 402 -
APPENDIX
nome_variável_complexa (id:Identificador )
nome_variável_complexa ()
nomes
nomes
norma
||c||
ícone
norma (c:CC )
powered by WIRIS
- 403 -
norma (v:Vector )
norma (a:Elemento (Corpo ),L:Corpo ,K:Corpo )

norma (a,L:Corpo )
norma (a:Elemento (Corpo ) )
norma_1
norma_1 (p:Polinómio )
norma_2
powered by WIRIS
- 404 -
APPENDIX
norma_2 (p:Polinómio )
norma_infinito
norma_infinito (p:Polinómio )
normalizar
normalizar (VA:Dado_estatístico )
novo_identificador
novo_identificador (v )
powered by WIRIS
- 405 -
novo_identificador (v,n:ZZ )
núcleo
núcleo (A:Matriz )
núcleo (A:Matriz ,o: )
nulo
nulo
Nulo
powered by WIRIS
- 406 -
APPENDIX
Nulo
nulo .
nulo?
nulo? (x1 ,…,xn )
num
numerador (q:QQ )
num (q:QQ )
numerador (f:Fracção )
num (f:Fracção )
numerador
powered by WIRIS
- 407 -
numerador (q:QQ )
num (q:QQ )
numerador (f:Fracção )
num (f:Fracção )
número_de_argumentos
número_de_argumentos (f )
número_de_bernoulli
número_de_bernoulli (n:Natural )
número_de_colunas
powered by WIRIS
- 408 -
APPENDIX
número_de_colunas (M:Matriz )
número_de_linhas
número_de_linhas (M:Matriz )
número_de_polinómios_irredutíveis
número_de_polinómios_irredutíveis (n:ZZ,K:Corpo )
número_de_polinómios_irredutíveis (n:ZZ,q:ZZ )
número_de_polinómios_irredutíveis (n:ZZ )
número_de_termos
powered by WIRIS
- 409 -
número_de_termos (p:Polinómio )
número_de_variáveis
número_de_variáveis (p:Polinómio )
números_de_bernoulli
números_de_bernoulli (n:Natural )
powered by WIRIS
- 410 -
APPENDIX
obter_domínio
obter_domínio (o )
octaedro
octaedro (p:Ponto ,c:Real )
octaedro (c:Real )
octaedro(c)=octaedro(ponto(0,0,0),c)
octaedro
octaedro()=octaedro(1)
ordem
powered by WIRIS
- 411 -
ordem (a:Elemento (Corpo ) )
ordem (p:Permutação )
ordem_da_matriz
ordem_da_matriz (A:Matriz )
ordem_interna
powered by WIRIS
- 412 -
APPENDIX
ordem_interna (o1 ,o2 )
ordenar
ordenar (l:Lista |Vector |Traçado )
ordenar (l:Lista |Vector |Traçado ,f:Função )
orientação
powered by WIRIS
- 413 -
orientação
orientação (T:Triângulo )
ortocentro
ortocentro (A:Ponto ,B:Ponto ,C:Ponto )
powered by WIRIS
- 414 -
APPENDIX
ortocentro (T:Triângulo )
ortocentro (T)=ortocentro (T1 ,T2 ,T3 )
powered by WIRIS
- 415 -
para

para R fazer A fim
parábola
parábola (p:RR,C:Ponto ) =parábola (p,C,[1,0])
parábola (p:RR,v:Vector ) =parábola (p,ponto (0,0),v)
parábola (p:RR ) =parábola (p,ponto (0,0),[1,0])
parábola (p:RR,C:Ponto ,v:Vector )
Parábola
powered by WIRIS
- 416 -
APPENDIX
Parábola
atributos3d directriz focos ponto_mais_próximo2d ponto_mais_próximo3d

desenhar desenhar2d desenhar3d ponto vértice
paralela
paralela (r:Recta ,A:Ponto )
Mais informações em paralela
paralela?
powered by WIRIS
- 417 -
paralela? (r:Recta |Vector ,s:Recta |Vector )
paralela? (v1 :Vector ,v2 :Vector )
parte_imaginária
parte_imaginária (c:CC )
parte_imaginária (p:Polinómio )
parte_primitiva
powered by WIRIS
- 418 -
APPENDIX
parte_primitiva (p:Polinómio )
parte_real
parte_real (c:CC )
parte_real (p:Polinómio )
passo
passo (p:Progressão )
Mais informações em passo
pé_de_altura
powered by WIRIS
- 419 -
pé_de_altura (A:Ponto ,B:Ponto ,C:Ponto )
pé_de_altura (T:Triângulo ,i:ZZ )
perímetro
perímetro (a:Arco )
powered by WIRIS
- 420 -
APPENDIX
perímetro (c:Circunferência )
perímetro (T:Triângulo )
Mais informações em perímetro
permutação
permutação (r:Relação )
permutação (r:Relação ,m:ZZ )
permutação (l:Lista )
powered by WIRIS
- 421 -
permutação (v:Vector )
Permutação
Permutação
representação_em_ciclos identidade identidade? inverso lista ordem sinal

vector
permutações
permutações(L)
ícone
permutações (L:Lista |Vector )
ícone
permutações (n:ZZ )
powered by WIRIS
- 422 -
APPENDIX
Mais informações em permutações
permutações_com_repetição
permutações_com_repetição(n,n1 ,...,nk )
permutações_com_repetição (n:ZZ,n1 :ZZ,...,nk :ZZ )
permutações_com_repetição(n,L)
permutações_com_repetição (n:ZZ,L:Lista |Vector )
Mais informações em permutações com repetição
perpendicular
perpendicular (r:Recta ,A:Ponto )

ícone ou
powered by WIRIS
- 423 -
perpendicular (v:Vector )
Mais informações em perpendicular
perpendicular?
perpendicular? (r:Recta |Vector ,s:Recta |Vector )
perpendicular? (v1 :Vector ,v2 :Vector )
pertence_ao_domínio?
powered by WIRIS
- 424 -
APPENDIX
pertence_ao_domínio? (a,f,x:Identificador )
pertencem?
pertencem? (x,l )
pertencem? (A:Ponto ,r:Recta )
pertencem? (A:Ponto ,c:Circunferência )
powered by WIRIS
- 425 -
pertencem? (P:Ponto ,T:Triângulo )
pertencem? (P:Ponto ,c:Cónica )
pertencem? (A:Ponto ,s:Segmento )
powered by WIRIS
- 426 -
APPENDIX
pertencem? (A:Ponto ,a:Arco )
phi_de_euler
phi_de_euler (n:ZZ )
pi_
ícone
pi_
Pi_
ícone
Pi_
pirâmide
powered by WIRIS
- 427 -
pirâmide (pol:Polígono ,v:Ponto )
plano
plano (p:Ponto ,v:Vector )
plano (A:Real ,B:Real ,C:Real ,D:Real )

Ax+By+Cz+D=0
plano (p:Ponto ,v1:Vector ,v2:Vector )
powered by WIRIS
- 428 -
APPENDIX
plano (p1:Ponto ,p2:Ponto ,p3:Ponto )
plano (p:Ponto ,r:Recta )

plano=plano(p, vector(l))
plano (p:Ponto ,r1:Recta ,r2:Recta )

plano=plano(p,vector(r1),vector(r2))
powered by WIRIS
- 429 -
plano (p:Ponto ,s:Segmento )

plano=plano(p, vector(s))
plano (l:Lista )
Plano3d
Plano3d
ângulo3d atributos3d bissectriz equação ponto_mais_próximo2d

ponto_mais_próximo3d vector_normal desenhar desenhar2d desenhar3d simetria
matriz_de_simetria vector
polar
powered by WIRIS
- 430 -
APPENDIX
polar (c:CC )
polar (r:RR,w:RR )
polar (c:Cónica ,P:Ponto )
poliedro
powered by WIRIS
- 431 -
poliedro (n:Natural ,c:Real )

poliedro(n,c)=poliedro(n,ponto(0,0,0),c)
poliedro (n:Natural ,p:Ponto ,c:Real )
poliedro (n:Natural )
poliedro(n)=poliedro(n,ponto(0,0,0),1)
poliedro (n:Natural ,p:Ponto )

poliedro(n,p)=poliedro(n,p,1)
Poliedro3d
Poliedro3d

desenhar3d
poligonais
powered by WIRIS
- 432 -
APPENDIX
poligonais (c:Curva )
poligonal
poligonal (P1 :Ponto ,…,Pn :Ponto )
poligonal (p:Polígono )
powered by WIRIS
- 433 -
poligonal (c:Curva |Curva_polar )
Poligonal
Poligonal
ângulo2d ângulo3d antepor atributos3d retirar apagar inserir unir recta

lista aplicar_função ponto_mais_próximo2d ponto_mais_próximo3d desenhar
desenhar2d desenhar3d ponto polígono colocar_antes segmento sequência
vértice vértices
Poligonal2d
powered by WIRIS
- 434 -
APPENDIX
Poligonal2d

vértice vértices
Poligonal3d
Poligonal3d

vértice vértices
polígono
powered by WIRIS
- 435 -
polígono (P1 :Ponto ,…,Pn :Ponto )
polígono (g:Poligonal |Triângulo )
polígono (c:Curva |Curva_polar )

poligonal (C:Curva )=poligonal (polígono (C))
Polígono
Polígono
powered by WIRIS
- 436 -
APPENDIX

aplicar_função ponto_mais_próximo2d ponto_mais_próximo3d área_orientada
desenhar desenhar2d desenhar3d ponto poligonal colocar_antes prisma
pirâmide segmento vértice vértices
polígono_regular
polígono_regular (n:ZZ,P:Ponto ,r:RR )
polígono_regular (n:ZZ,s:Segmento )
powered by WIRIS
- 437 -
polígono_regular (n:ZZ,A:Ponto ,B:Ponto )
Polígono2d
Polígono2d

Polígono3d
Polígono3d

polinómica?
powered by WIRIS
- 438 -
APPENDIX
polinómica? (p:Progressão )
polinómio
polinómio (B:Extensão ,t:Identificador )

polinómio (B:Extensão )
Polinómio
Polinómio
todas_as_variáveis atributos2d atributos3d bezout

teorema_chinês_em_coeficientes circunferência domínio_de_coeficientes
coeficientes agrupar cónica conjugado conteúdo conteúdo_e_parte_primitiva
grau lista_de_coeficientes_densos avaliar expandir mcd_alargado extensão
factorizar factorizar factorizar factorizar_em_livre_de_quadrados
factorizar_multiplicidade_em_livre_de_quadrados mdc parte_imaginária
inverso irredutível? mmc coeficiente_principal termo_principal
mónico mónico? multiplicidade n_termos n_variáveis
ponto_mais_próximo2d ponto_mais_próximo3d norma_1 norma_2 norma_infinito
número_de_termos número_de_variáveis desenhar desenhar2d desenhar3d
polinómio_para_matriz_adjunta potência_módulo parte_primitiva pseudoresto
quo quo quo quo_res quo_res quociente quociente quociente_e_resto
quociente_e_resto parte_real res res resto resto resultante
matriz_resultante raízes livre_de_quadrados? fila variável variáveis
powered by WIRIS
- 439 -
polinómio_anulador
polinómio_anulador (r:Irracional ,t:Identificador )
polinómio_característico
polinómio_característico (A:Matriz )
polinómio_característico (A:Matriz ,x:Qualquer )
polinómio_característico (A:Matriz ,o: )

polinómio_característico (A:Matriz ,x:Qualquer ,o: )
polinómio_irredutível
powered by WIRIS
- 440 -
APPENDIX
polinómio_irredutível (K:Corpo ,n:ZZ,t:Identificador )

polinómio_irredutível (K:Corpo ,n:ZZ )
polinómio_mínimo
polinómio_mínimo (A:Matriz )
polinómio_mínimo (A:Matriz ,x:Qualquer )
polinómio_mínimo (A:Matriz ,o: )

polinómio_mínimo (A,{nome_identificador =k})=polinómio_mínimo (A,k)
powered by WIRIS
- 441 -
polinómio_mínimo (a:Elemento (Corpo ),K:Corpo ,t:Identificador )

polinómio_mínimo (a:Elemento (Corpo ),K:Corpo )
polinómio_mínimo (a:Elemento (Corpo ),t:Identificador )
polinómio_mínimo ((a:Elemento (Corpo )) )
polinómio_para_matriz_adjunta
polinómio_para_matriz_adjunta (p:Polinómio )
polinómios_irredutíveis
polinómios_irredutíveis (K:Corpo ,n:ZZ,t:Identificador )

polinómios_irredutíveis (K:Corpo ,n:ZZ )
polinómios_irredutíveis (m:ZZ,K:Corpo ,n:ZZ,t:ZZ )

polinómios_irredutíveis (m:ZZ,K:Corpo ,n:ZZ )
powered by WIRIS
- 442 -
APPENDIX
pólo
pólo (c:Cónica ,r:Recta )
ponto
ponto (x:RR,y:RR )
ponto (a:Real ,b:Real ,c:Real )
ponto ()
ponto (c:CC )
powered by WIRIS
- 443 -
ponto (v:Vector |Lista )

ponto(v)=ponto(v1 ,v2 ,v3 )
ponto (v:Vector )
ponto ({x:RR, y:RR}:Lista )
ponto (x:RR )
powered by WIRIS
- 444 -
APPENDIX
ponto (r:Recta )
ponto (r:Recta ,t:RR )
ponto (s:Segmento ,t:RR )
powered by WIRIS
- 445 -
ponto (T:Triângulo )
ponto (T:Triângulo ,r:RR )
ponto (c:Circunferência )
ponto (c:Circunferência ,#:RR )
powered by WIRIS
- 446 -
APPENDIX
ponto (c:Elipse ,t:RR )
ponto (c:Parábola ,t:RR )
ponto (c:Hipérbole ,t:RR )
ponto (p:Poligonal |Polígono )
powered by WIRIS
- 447 -
ponto (p:Poligonal |Polígono ,t:RR )
ponto (a:Arco ,#:RR )
ponto (c:Curva |Curva_polar ,t:RR )
ponto (qt:Caixa_de_texto )
ponto (qt:Caixa_de_texto ,P:Ponto )
Ponto
powered by WIRIS
- 448 -
APPENDIX
Ponto
ícone ou
hipérbole_de_apolónio antepor arco argumento atributos3d baricentro

pertencem? bissectriz circuncentro circunferência circum_raio alinhados?
compasso cónica cubo distância dodecaedro elipse triângulo_equilátero
bissectriz_exterior externo? altura pé_de_altura homotetia hipérbole
icosaedro incentro inrádio inserir interno? interpolar inversão
recta lista ponto_médio ponto_mais_próximo2d ponto_mais_próximo2d
ponto_mais_próximo3d ponto_mais_próximo3d octaedro ortocentro parábola
paralela perpendicular mediatriz plano desenhar desenhar2d
desenhar3d prancheta2d prancheta3d ponto polar polígono poligonal
poliedro cone_poliédrico cone_fechado_poliédrico cilindro_poliédrico
cilindro_fechado_poliédrico esfera_poliédrica toro_poliédrico posição
potência colocar_antes projecção pirâmide eixo_radical polígono_regular
rotação matriz_de_rotação segmento razão_simples simetria
eixo_de_tangência recta_tangente rectas_tangentes pontos_de_tangência
tetraedro caixa_de_texto translação triângulo vector escrever
Mais informações em centro
ponto_de_expansão
ponto_de_expansão (s:Série )
ponto_inflexão
powered by WIRIS
- 449 -
ponto_inflexão
ponto_inicial
ponto_inicial
ponto_mais_próximo
ponto_mais_próximo ()
se estado_geometria =2 então ponto_mais_próximo =ponto_mais_próximo2d
se_não_se estado_geometria =3 então ponto_mais_próximo =ponto_mais_próximo3d fim
Mais informações em ponto mais próximo
ponto_mais_próximo2d
powered by WIRIS
- 450 -
APPENDIX
ponto_mais_próximo2d (f:Desenhável2d ,p:Ponto )
ponto_mais_próximo3d
ponto_mais_próximo3d (f:Desenhável3d ,p:Ponto )
powered by WIRIS
- 451 -
ponto_médio
ponto_médio (A:Ponto ,B:Ponto )

ponto_médio (A,B)=A+B/2
ponto_médio (s:Segmento )
ponto_médio (segmento (p,q))=p+q/2
powered by WIRIS
- 452 -
APPENDIX
ponto_médio (a:Arco )
Mais informações em ponto médio
ponto_não_derivável
ponto_não_derivável
ponto_singular
ponto_singular
ponto_singular_e_inflexão
ponto_singular_e_inflexão
Ponto2d
powered by WIRIS
- 453 -
Ponto2d
ícone
Ponto3d
Ponto3d
ícone
pontos_de_tangência
pontos_de_tangência (c:Circunferência ,A:Ponto )
posição
powered by WIRIS
- 454 -
APPENDIX
posição (c:Circunferência ,A:Ponto )
posição (l:Relação |Divisor |Tabela ,x )
posição (c:Cónica ,P:Ponto )
powered by WIRIS
- 455 -
posição (A:Ponto ,B:Ponto ,C:Ponto )
posição (r:Recta ,A:Ponto )
posição (T:Triângulo ,P:Ponto )
powered by WIRIS
- 456 -
APPENDIX
Indica a posição horizontal da Caixa_de_texto tomando como referência o ponto especificado.
Valores possíveis : "left", "center", "right". "esquerda" , "centro" e "direita"
Valor por defeito : "direita"
posição_vertical
powered by WIRIS
- 457 -
posição_vertical
posição_vertical
Indica a posição vertical da Caixa_de_texto tomando como referência o ponto especificado.
Valores possíveis : "top", "center", "base_line", "bottom". "acima" , "centro" , "linha_base" e
"abaixo"
Valor por defeito : "linha_base"
positivo?
positivo? (x:Real )
powered by WIRIS
- 458 -
APPENDIX
potência
potência (c:Circunferência ,A:Ponto )
potência_de_primo?
potência_de_primo? (n:ZZ )
potência_módulo
potência_módulo (p:Polinómio ,e:ZZ,q:Polinómio )
prancheta
prancheta ()
se estado_geometria =2 então prancheta =prancheta2d se_não prancheta =prancheta3d
fim
Prancheta
powered by WIRIS
- 459 -
Prancheta
atributos_para_todos3d atributos2d atributos3d prancheta_por_defeito2d

prancheta_por_defeito3d desenhar2d
prancheta_por_defeito
prancheta_por_defeito ()
se estado_geometria =2 então prancheta_por_defeito =prancheta_por_defeito2d
se_não prancheta_por_defeito =prancheta_por_defeito3d fim
prancheta_por_defeito2d
prancheta_por_defeito2d ()
prancheta_por_defeito2d (d:Prancheta )
prancheta_por_defeito3d
powered by WIRIS
- 460 -
APPENDIX
prancheta_por_defeito3d ()
prancheta_por_defeito3d (d:Prancheta )
prancheta2d
prancheta2d ()
prancheta ()
fim
prancheta2d (o: )
prancheta2d (P:Ponto ,dx:Real ,dy:Real )
prancheta2d (P:Ponto ,dx:Real ,dy:Real ,o: )
Prancheta2d
powered by WIRIS
- 461 -
Prancheta2d
prancheta3d
prancheta3d ()
prancheta ()
fim
prancheta3d (o: )
o.
prancheta3d (P:Ponto ,dx:Real ,dy:Real ,dz:Real )

Pdxdydz
prancheta3d (P:Ponto ,dx:Real ,dy:Real ,dz:Real ,o: )

Pdxdydzo.
Prancheta3d
powered by WIRIS
- 462 -
APPENDIX
Prancheta3d
precedente
precedente (B:Extensão )
precisão
precisão (n:ZZ )
precisão ()
preencher
powered by WIRIS
- 463 -
preencher
Caso se tenha uma figura fechada, o comando indica se o respectivo interior se pinta.
Valores possíveis : true, false, "automatic". verdadeiro , falso e "automático"
preencher
Caso se tenha uma figura fechada, indica se o interior é para pintar.
preto
preto
preto
preto ={0,0,0}
primeiro_vértice
primeiro_vértice (s:Segmento )
primo
powered by WIRIS
- 464 -
APPENDIX
primo (n:ZZ )
primo?
primo? (n:ZZ )
Mais informações em primo?
prisma
prisma (pol:Polígono ,h:Real )
prisma (pol:Polígono ,v:Vector )
procurar_um
powered by WIRIS
- 465 -
procurar_um (A:Anel )
procurar_um (a:Elemento (Anel ) )
procurar_zero
procurar_zero (A:Anel )
procurar_zero (a:Elemento (Anel ) )
produto_vectorial
ícone
produto_vectorial (u:Vector ,v:Vector )
Mais informações em produto vectorial
produtório
powered by WIRIS
- 466 -
APPENDIX
produtório expr com i em a..b em quei:Identificador

,a:ZZ,b:ZZ,expr:Expressão

powered by WIRIS
- 467 -

profundidade
profundidade
Indica a profundidade da prancheta.
progressão
powered by WIRIS
- 468 -
APPENDIX
progressão (a1 ,a2 ,…,an )

progressão (a:Lista |Vector )
progressão (a:Lista |Vector ,k:Identificador )
Progressão
Progressão
categoria polinómica? razão passo
progressão_geométrica
powered by WIRIS
- 469 -
progressão_geométrica (x,r:Inteiro |Vector |Lista |Traçado )
projecção
projecção (r:Recta ,A:Ponto )
projecção (w:Vector ,v:Vector )
projectividade
powered by WIRIS
- 470 -
APPENDIX
projectividade (M:Matriz ,F:Ponto3d |Segmento3d |Triângulo3d |Polígono3d

|Poligonal3d )
projectividade (M:Matriz ,F:Recta3d |Plano3d |Poliedro3d |Quádrica3d )
proporção
proporção
Indica a proporção desejada entre a altura e a largura da prancheta.
proporção_janela
proporção_janela
Indica a proporção desejada entre a altura e a largura da janela de desenho.
pseudoresto
powered by WIRIS
- 471 -
pseudoresto (p1 :Polinómio ,p2 :Polinómio )
powered by WIRIS
- 472 -
APPENDIX
quadrado?
quadrado? (n:ZZ )
quádrica
quádrica (L:Lista )
Quádrica
Quádrica

desenhar3d
quádrica3d
powered by WIRIS
- 473 -
quádrica3d (L:Lista )
Quádrica3d
Quádrica3d
Qualquer
Qualquer
quantidade
quantidade (a:não (Unidade |Quantidade ),U:Unidade )
powered by WIRIS
- 474 -
APPENDIX
quantidade (a:não (Unidade |Quantidade ) )
Quantidade
Quantidade
coeficiente_se converter gms quantidade raiz raiz2 unidade unidade_si
Quantidade_real_adimensional
Quantidade_real_adimensional
quartil
quartil (VA:Dado_estatístico )
powered by WIRIS
- 475 -
quartil (k:ZZ,VA:Dado_estatístico )
Mais informações em quartil
quartil_alargado
quartil_alargado (VA:Dado_estatístico )
quo
quo (a:ZZ,b:ZZ )
a//b
powered by WIRIS
- 476 -
APPENDIX

p1 //p2
Mais informações em quociente
quo_res
quociente_e_resto (a:ZZ,b:ZZ )
quo_res (a:ZZ,b:ZZ )
quociente_e_resto (p1 :Polinómio ,p2 :Polinómio )

quo_res (p1 :Polinómio ,p2 :Polinómio )
Mais informações em quociente e resto
quociente
powered by WIRIS
- 477 -
quo (a:ZZ,b:ZZ )
a//b
quociente_e_resto (a:RR,b:RR )
quociente (a:RR,b:RR )
resto (a:RR,b:RR )

p1 //p2
Mais informações em quociente
quociente_e_resto
powered by WIRIS
- 478 -
APPENDIX
quociente_e_resto (a:ZZ,b:ZZ )
quo_res (a:ZZ,b:ZZ )
resto (a:RR,b:RR )
quociente_e_resto (p1 :Polinómio ,p2 :Polinómio )

quo_res (p1 :Polinómio ,p2 :Polinómio )
Mais informações em quociente e resto
powered by WIRIS
- 479 -
racional
racional (f:Flutuante )
e
m#10 .
Racional
QQ
Racional
racional
racionais: um número racional é criado como uma fracção de dois inteiros, com o ícone ou com o símbolo / .
Estão disponíveis duas funções associadas aos números racionais: numerador e denominador . Se q for
um número racional, então numerator(q) e denominator(q) dão-nos, respectivamente, o numerador e o denominador
da fracção irredutível equivalente a q .numerador (q) denominador (q) numerador (q)
denominador (q)
powered by WIRIS
- 480 -
APPENDIX
racionaliza
racionaliza (r:RR )
raio
raio (a:Arco )
raio (c:Circunferência )
raiz
powered by WIRIS
- 481 -
ícone
raiz (r:RR,n:ZZ )
ícone
raiz (a:Elemento (Corpo ),n:ZZ )
raiz (a:Elemento (Anel ),n:ZZ,A:Anel )
powered by WIRIS
- 482 -
APPENDIX
ícone
raiz (u:Unidade ,n:Qualquer )
ícone
raiz (x:Quantidade ,n:Qualquer )
Mais informações em raiz
raiz_quadrada
Mais informações em raiz quadrada
raiz2
ícone
raiz2 (r:RR ) raiz2(r)=raiz(r,2)
powered by WIRIS
- 483 -
ícone
raiz2 (a:Elemento (Anel ) )
raiz2 (a:Elemento (Anel ),A:Anel )
ícone
raiz2 (u:Unidade )
ícone
raiz2 (x:Quantidade )
Mais informações em raiz quadrada
raízes
powered by WIRIS
- 484 -
APPENDIX
raízes (r:RR,n:ZZ )
raízes (p:Polinómio )
raízes (p:Polinómio ,A:Anel )
raízes (p:Polinómio ,O: )

raízes (p:Polinómio ,A:Anel ,O: )
raízes (a:Elemento (Corpo ),n:ZZ )
powered by WIRIS
- 485 -
raízes (a:Elemento (Anel ),n:ZZ,A:Anel )
raízes (p:Polinómio ,R:Anel )

raízes (p:Polinómio )
raízes_para_polinómio
raízes_para_polinómio (L:Lista ,x:Variável )
raízes_quadradas
raízes_quadradas (a:Elemento (Corpo ) )
powered by WIRIS
- 486 -
APPENDIX
raízes_quadradas (a:Elemento (Anel ),A:Anel )
raízes_quadradas (a:Elemento (Corpo )),K:Corpo )
raízes2
raízes2 (r:RR ) raízes2 (r)={raiz2(r), -raiz2(r)}
razão
razão (p:Progressão )
Mais informações em razão
razão_simples
powered by WIRIS
- 487 -
razão_simples (A:Ponto ,B:Ponto ,C:Ponto )
real
real (x:Complexo )
Real
RR
Real
cubo dodecaedro homotetia icosaedro momento negativo? derivada_numérica

integral_numérica octaedro plano desenhar2d desenhar3d prancheta2d
prancheta3d ponto poliedro cone_poliédrico cone_fechado_poliédrico
cilindro_poliédrico cilindro_fechado_poliédrico esfera_poliédrica
toro_poliédrico positivo? prisma quociente quociente quociente
quociente_e_resto quociente_e_resto quociente_e_resto aleatório resto
resto resto representar matriz_de_rotação série sinal0 tangente
série_de_taylor tetraedro zero0 zoom
Mais informações em proporção , profundidade , altura , largura_linha , largura_máxima , tamanho_ponto ,

matriz_de_transformação , transparência , largura , proporção_janela
Real_ou_infinito
powered by WIRIS
- 488 -
APPENDIX
Real_ou_infinito
recta
recta (A:Ponto ,B:Ponto )
powered by WIRIS
- 489 -
recta (A:Ponto ,v:Vector )
recta (A:Ponto ,a:RR |Infinito )
recta ([a:RR , b:RR , c:RR]:Vector )
recta (a:RR |Infinito ,b:RR |Infinito )
powered by WIRIS
- 490 -
APPENDIX
recta (s:Segmento )
recta (T:Triângulo ,i:ZZ )
recta (p:Poligonal |Polígono ,i:ZZ )
Recta
Recta
powered by WIRIS
- 491 -
ângulo2d ângulo3d arco atributos3d pertencem? equação vector_de_equação

inversão ponto_mais_próximo2d ponto_mais_próximo3d paralela paralela?
perpendicular perpendicular? plano desenhar desenhar2d desenhar3d ponto
pólo posição projecção segmento inclinação simetria vector
Recta
rectas: comando recta , ícone
Permite construir uma recta. Os diferentes argumentos que aceita são:

• uma equação (de uma recta),
• um ponto e um número real (a inclinação da recta).
Se r for uma recta, então sloper, pointr, vectorr devolvem a inclinação da recta, um ponto da recta e um vector
director da recta, respectivamente. Para estudar outras funções que também servem para construir uma recta, podemos
consultar parallel, perpendicular, bisector.
inclinação (r) , ponto (r) e vector (r) paralela , perpendicular e bissectriz
No caso de rectas no espaço, aceitam-se os seguintes argumentos:

• duas equações (de planos secantes).
powered by WIRIS
- 492 -
APPENDIX
recta_de_regressão
recta_de_regressão (M:Multiamostra )
recta_de_regressão (X:Exemplo_lista ,Y:Exemplo_lista )
recta_de_regressão (M:Multiamostra ,X,Y )
Mais informações em recta de regressão
recta_mediana
recta_mediana (T:Triângulo2d |Triângulo3d ,n:Natural )
powered by WIRIS
- 493 -
recta_mediana (T:Triângulo ,i:ZZ )
Mais informações em recta mediana
recta_tangente
recta_tangente (c:Circunferência ,a:RR )
recta_tangente (c:Circunferência ,p:Ponto )
Recta2d
Recta2d
powered by WIRIS
- 494 -
APPENDIX

Recta3d
Recta3d

rectas_tangentes
rectas_tangentes (c:Circunferência ,A:Ponto )
powered by WIRIS
- 495 -
rectas_tangentes (c:Cónica ,P:Ponto )
redução_de_hessenberg
redução_de_hessenberg (A:Matriz )
redução_de_hessenberg (A:Matriz ,o: )
Régua
Régua
Régua
powered by WIRIS
- 496 -
APPENDIX
regras e substituições: Do ponto de vista sintáctico, uma regra é uma lista de objectos do tipo x=>y ou x:=>y .
Chamamos variável ou padrão a x conforme seja ou não uma variável, respectivamente; chamamos imagem a y
e chamamos par a x=>y ou x:=>y . Uma substituição é uma regra definida exclusivamente por variáveis. Se
escolhermos => , utilizamos o valor de y para definir a regra e, pelo contrário, ao escolher :=> , consideramos
y como variável ao definir a regra.
Os símbolos => e :=> podem ser criados com os ícones e , respectivamente.
Ao aplicar-se uma regra a uma expressão, todas as ocorrências de cada padrão (ou variável) nessa expressão são
substituídas pela imagem do seu padrão (ou variável). Os termos que não estejam de acordo com o padrão (ou variável)
não são alterados.
relação
relação (l:Lista |Vector ,k:Lista |Vector )
Relação
powered by WIRIS
- 497 -
Relação
domínio inverso permutação posição seleccionar
Relação
relações: Do ponto de vista sintáctico, a relação é uma lista de objectos do tipo x->y . Dizemos que x é um índice,
y o seu valor associado e x->y um par da relação. O aspecto mais importante das relações é que nos permitem
recuperar o valor (ou sequência de valores) associado a um índice; isto é feito aplicando-se o objecto à relação. Se um
objecto não tem índice associado numa relação, o resultado da sua aplicação à relação é nulo .
O símbolo -> pode criar-se com o ícone .
relação_vazia
relação_vazia
repetir
powered by WIRIS
- 498 -
APPENDIX

repetir A até B
Repete as instruções de A até que se verifique a condição B .
representação_em_ciclos
representação_em_ciclos (p:Permutação )
representar
representar (x... )
representar (f,x:Identificador )
representar (f,x:Identificador ,r:Traçado )
powered by WIRIS
- 499 -
representar (f,x:Identificador ,a:Real ,b:Real )
representar (f )
representar (f,r:Traçado )
representar (f,a:Real ,b:Real )
representar_sinal
representar_sinal (b:Booleano )
representar_sinal ()
res
powered by WIRIS
- 500 -
APPENDIX
resto (a:ZZ,b:ZZ )
res (a:ZZ,b:ZZ )
resto (p1 :Polinómio ,p2 :Polinómio )

res (p1 :Polinómio ,p2 :Polinómio )
Mais informações em resto
resolver
resolver (E:Lista |Vector ,V:Lista )
powered by WIRIS
- 501 -
resolver (e1 ,…,en ,v1 ,…,vm )
resolver (E:Lista |Vector )

resolver (e1 ,…,en )
resolver (x...,Complexo :Field )
powered by WIRIS
- 502 -
APPENDIX
resolver (A:Matriz ,v:Vector )
resolver_inequação
resolver_inequação (e,x:Identificador )
resolver_inequação ({e1 ,…,en },x:Identificador )
resolver_numericamente
resolver_numericamente
powered by WIRIS
- 503 -
resolver_numericamente (e1 ,…,en )
resolver_numericamente (e1 ,…,en ,p:RR |Vector |Lista )
resolver_numericamente ({e1 ,…,en },p… )
resto
resto (a:ZZ,b:ZZ )
res (a:ZZ,b:ZZ )
resto (a:RR,b:RR )
powered by WIRIS
- 504 -
APPENDIX
resto (p1 :Polinómio ,p2 :Polinómio )

res (p1 :Polinómio ,p2 :Polinómio )
Mais informações em resto
resto?
resto? (a:Elemento (Corpo )),K:Corpo ,r:ZZ )

resto? (a:Elemento (Corpo ),r:ZZ )
resto? (a:Elemento (Corpo ),K:Corpo )
resto? (a:Elemento (Corpo ) )
result
powered by WIRIS
- 505 -
result
resultante
resultante (p:Polinómio ,q:Polinómio )
powered by WIRIS
- 506 -
APPENDIX
resultante (p:Polinómio ,q:Polinómio ,t:Identificador )

resultante (p:Polinómio ,q:Polinómio ,{t1 ,…,tn }:Lista )
retirar
retirar (p:Poligonal |Polígono ,n:ZZ )
retirar (p:Poligonal |Polígono )
rosa
powered by WIRIS
- 507 -
rosa
rosa
rosa ={255,175,175}
rotação
rotação (#:RR,v:Vector )
rotação (P:Ponto ,#:RR,f:Figura )
rotação (P:Ponto3d ,v:Vector ,#:RR,f:Figura )
powered by WIRIS
- 508 -
APPENDIX
rotação (#:RR,f:Figura )
rotação (#,f)=rotação (ponto (0,0),#,f )
Mais informações em rotação
powered by WIRIS
- 509 -
se

se B então A fim
de programação.
se_não

se B então A fim
de programação.
powered by WIRIS
- 510 -
APPENDIX
se_não_se

se B então A fim
de programação.
powered by WIRIS
- 511 -
sec
sec (x:RR )
cosec (x:RR )
cotan (x:RR )
segmento
segmento (A:Ponto ,B:Ponto )
powered by WIRIS
- 512 -
APPENDIX
segmento (A:Ponto ,v:Vector )
segmento (T:Triângulo ,i:ZZ )
segmento (p:Poligonal |Polígono ,i:ZZ )
powered by WIRIS
- 513 -
segmento (A:Ponto )
segmento (v:Vector )
segmento (r:Recta )
Segmento
powered by WIRIS
- 514 -
APPENDIX
Segmento
ângulo3d atributos3d pertencem? triângulo_equilátero primeiro_vértice

comprimento recta ponto_médio ponto_mais_próximo2d ponto_mais_próximo3d
mediatriz plano desenhar desenhar2d desenhar3d ponto polígono_regular
segundo_vértice vector
Segmento
segmentos: comando segmento , ícone
Permite construir um segmento. Os diferentes argumentos que aceita são:

• os extremos do segmento (podemos utilizar o ícone ),
• um ponto e um vector.
comprimento ponto_médio
Segmento2d
powered by WIRIS
- 515 -
Segmento2d
Segmento3d
Segmento3d
segundo_vértice
segundo_vértice (s:Segmento )
seja
powered by WIRIS
- 516 -
APPENDIX
seja v=x
seja v:=x
seleccionar
seleccionar (l:Lista |Vector |Traçado |Relação |Divisor |Tabela ,f:Função )
semelhantes?
semelhantes? (T:Triângulo ,S:Triângulo )
semidistância_focal
powered by WIRIS
- 517 -
semidistância_focal (c:Cónica )
semieixo_maior
semieixo_maior (c:Cónica )
semieixo_menor
semieixo_menor (c:Cónica )
sen
sen (x:RR )
cos (x:RR )
tan (x:RR )
senh
powered by WIRIS
- 518 -
APPENDIX
senh (x:RR )
cosh (x:RR )
tanh (x:RR )
sequência
sequência (l:Lista | Vector | Traçado | Relação | Divisor | Tabela

| Régua )
sequência (p:Poligonal )
Sequência
powered by WIRIS
- 519 -
Sequência
sequência_constante
sequência_constante (n:ZZ,x )
série
série (f:Função ,x:Variável ,a:Real )
série (f:Função ,x:Variável ,a:Real ,n:Natural )
Série
powered by WIRIS
- 520 -
APPENDIX
Série
ponto_de_expansão termo lista_de_termo termos lista_de_termos truncar

variável
série_de_taylor
série_de_taylor (f:Função ,x:Variável ,p:Real )
série_de_taylor (f:Função ,x:Variável ,p:Real ,n:Natural )
sigma
powered by WIRIS
- 521 -
sigma expr com i em a..b em quei:Identificador ,a:ZZ,b:ZZ,expr:Expressão

powered by WIRIS
- 522 -
APPENDIX

sigma_progressão
simetria
simetria (A:Ponto ,B:Ponto )
powered by WIRIS
- 523 -
simetria (r:Recta ,v:Vector )
simetria (r:Recta ,f:Figura )
simetria (p:Plane ,f:Figura )
powered by WIRIS
- 524 -
APPENDIX
simetria (P:Ponto ,f:Figura )
Mais informações em simetria
simetria_central
simetria_central
simétrica?
simétrica? (M:Matriz )
simplificar
powered by WIRIS
- 525 -
simplificar (x )
simplificar_radical
simplificar_radical (r:RR )
sinal
sinal (r:RR )
powered by WIRIS
- 526 -
APPENDIX
sinal (c:CC )
sinal (p:Permutação )
Mais informações em sinal
sinal0
sinal0 (x:Real /{0} )
skewness
powered by WIRIS
- 527 -
skewness (VA:Dado_estatístico )
só_um_elemento
núcleo (A:Matriz ,o: )
solo
solo (r:RR )
powered by WIRIS
- 528 -
APPENDIX
solo (c:CC )
soma_de_subespaços
soma_de_subespaços (A:Matriz ,B:Matriz )
subcadeia
subcadeia (s:Cadeia ,L:Lista ,n:Natural )
subconjunto?
subconjunto? (l1 :Lista |Vector ,l2 :Lista |Vector )
powered by WIRIS
- 529 -
subextensão?
subextensão? (A:Extensão ,B:Extensão )
submatriz
submatriz
substituição
substituição (a,b,c )
substituir
powered by WIRIS
- 530 -
APPENDIX
substituir (l:Lista |Vector ,i1 :ZZ,…,in :ZZ,x )

substituir ({l1 ,...,li ,...,lm },i,x)={l1 ,...,li-1 ,x,li+1 ,...,lm }
substituir ({l1 ,...,li1 ,...,lm },i1 ,...,in ,x)={l1 ,...,li-1 ,substituir (li1 ,i2 ,...,in ,x),li1 +1 ,...,lm }
powered by WIRIS
- 531 -
substituir (l:Lista |Vector ,i1 :Lista | Vector | Traçado ,…,in :Lista |

Vector | Traçado ,x )
se r:Traçado então substituir (l,i1 ,...,r,...,in ,x)=substituir (l,i1 ,...,[r],...,in ,x)
Substituir
powered by WIRIS
- 532 -
APPENDIX
Substituir
substituir_cadeia
substituir_cadeia (s:Cadeia ,... )
superfície
superfície
Superfície
powered by WIRIS
- 533 -
Superfície
ponto_mais_próximo3d desenhar3d
Superficie_cartesiana
Superficie_cartesiana
suplemento
suplemento (A:Matriz )
suporte
powered by WIRIS
- 534 -
APPENDIX
suporte (D:Divisor )
powered by WIRIS
- 535 -
tabela
tabela (v:Lista |Vector ,k:Lista |Vector )
Tabela
Tabela
domínio desenhar3d posição seleccionar
Tabela_de
Tabela_de
tabela_vazia
powered by WIRIS
- 536 -
APPENDIX
tabela_vazia
tabela_vazia (x)=nulo .
tamanho
tamanho
tamanho_fonte
tamanho_fonte
Indica o tamanho do tipo de letra do texto.
tamanho_ponto
tamanho_ponto
tamanho_ponto
tan
powered by WIRIS
- 537 -
sen (x:RR )
cos (x:RR )
tan (x:RR )
tangente
tangente (x:Real )
tanh
senh (x:RR )
cosh (x:RR )
tanh (x:RR )
tartaglia
tartaglia (n:ZZ )
powered by WIRIS
- 538 -
APPENDIX
taylor
taylor (e,x:Identificador ,p:RR,n:ZZ )
maclaurin (e,x:Identificador ,n:ZZ )

taylor (e,x:Identificador ,n:ZZ )
tecto
tecto (r:RR )
powered by WIRIS
- 539 -
tecto (c:CC )
teorema_chinês
teorema_chinês ({a1 ,…,an },{m1 ,…,mn } )
teorema_chinês (a,b,m1 ,m2 )
teorema_chinês_em_coeficientes
teorema_chinês_em_coeficientes (p:Polinómio ,q:Polinómio ,m1 :ZZ,m2 :ZZ ) )
termo
powered by WIRIS
- 540 -
APPENDIX
termo (s:Série ,n:Natural )
termo (s:Série ,n:Natural ,b:Booleano )
termo_principal
termo_principal (p:Polinómio )
termos
termos (s:Série ,n:Natural )
powered by WIRIS
- 541 -
termos (s:Série ,n:Natural ,b:Booleano )
termos_progressão
termos_progressão (n:ZZ )
termos_progressão ()
tetraedro
tetraedro
tetraedro()=tetraedro(1)
tetraedro (p:Ponto ,c:Real )
tetraedro (c:Real )
tetraedro(c)=tetraedro(ponto(0,0,0),c)
texto
powered by WIRIS
- 542 -
APPENDIX
texto (qt:Caixa_de_texto ,t:Cadeia )
texto (qt:Caixa_de_texto )
todas_as_variáveis
todas_as_variáveis (f:Fracção )
todas_as_variáveis (p:Polinómio )
tolerância
powered by WIRIS
- 543 -
tolerância (x:RR )
tolerância ()
tolerância_relativa
powered by WIRIS
- 544 -
APPENDIX
tolerância_relativa (b:Booleano )
tomar
tomar (L:Lista ,n:Inteiro )
toro_poliédrico
toro_poliédrico (p:Ponto ,r:Real ,R:Real )

toro poliédrico(p,r,R)=toro poliédrico(20,p,r,R)
toro_poliédrico (n:Natural ,p:Ponto ,r:Real ,R:Real )
toro_poliédrico (n:Natural ,r:Real ,R:Real )

toro poliédrico(n,r,R)=toro poliédrico(n,ponto(0,0,0),r,R)
toro_poliédrico (r:Real ,R:Real )

toro poliédrico(r,R)=toro poliédrico(20,ponto(0,0,0),r,R)
powered by WIRIS
- 545 -
torre
torre (A:Extensão )
torre (R:Zn )
traçado
traçado (c:Curva |Curva_polar )
traçado (l:Lista )
Traçado
powered by WIRIS
- 546 -
APPENDIX
Traçado
coluna curva2d matriz_diagonal progressão_geométrica lista max min

desenhar2d desenhar3d representar inverter_faixa seleccionar deslocamento
ordenar
Traçado
traçados: São objectos da forma a..b ou a..b..d em que a , b e d são números reais (a..b equivale
a a..b..1 ). Se d for diferente de 0 , o traçado a..b..d representa a lista formada pelos elementos da
progressão aritmética a, a+d, a+2d, ... enquanto não ultrapassarmos b . Se d for zero, o traçado
representa a lista vazia. Por exemplo, 1..6 representa {1,2,3,4,5,6} , 1..6..2 representa {1,3,5}
e 6..1..-3 representa {6,3} .
A função lista aplicada a um traçado devolve a lista que representa.
traço
powered by WIRIS
- 547 -
traço (a:Elemento (Corpo ),L:Corpo ,K:Corpo )

traço (a,L:Corpo )
traço (a:Elemento (Corpo ) )
traço (A:Matriz )
translação
translação (qt:Caixa_de_texto ,v:Vector )
powered by WIRIS
- 548 -
APPENDIX
translação (v:Vector ,f:Figura )
translação (p:Ponto ,f:Figura )

translação (p):=translação (vector (p))
Mais informações em translação
transparência
transparência
transparência
Indica o grau de transparência do elemento. O valor 0 indica que o elemento é totalmente opaco. O valor 1 indica que é
totalmente transparente.
Valores possíveis : qualquer número Real entre 0 e 1.
Valor por defeito : 0,3
Mais informações em opções desenhar3d , desenhar3d
transpor
powered by WIRIS
- 549 -
transpor (A:Matriz )
A'
transpor (F:Multiamostra )
Mais informações em transpor
transposição
transposição (a:ZZ,b:ZZ )
triângulo
powered by WIRIS
- 550 -
APPENDIX
triângulo (A:Ponto ,B:Ponto ,C:Ponto )
Triângulo
Triângulo
ângulo2d ângulo3d área atributos3d baricentro pertencem? bissectriz

circuncentro circum_raio equilátero? equilátero? bissectriz_exterior
externo? altura pé_de_altura incentro inrádio interno? interno? interno?
recta recta_mediana recta_mediana recta_mediana ponto_mais_próximo2d
ponto_mais_próximo3d orientação ângulo_orientado área_orientada
ortocentro perímetro mediatriz desenhar desenhar2d desenhar3d ponto
polígono posição projectividade segmento lado semelhantes? vértice
vértices
Triângulo
powered by WIRIS
- 551 -
triângulos: comando triângulo , ícone
Esta função constrói um triângulo tomando como argumentos os seus vértices; podemos também utilizar o ícone .
O comando triângulo_equilátero permite criar, como o seu nome indica, um triângulo equilátero.
triângulo_equilátero
triângulo_equilátero (O:Ponto ,r:RR,#:RR )
triângulo_equilátero (O:Ponto ,r:RR )
powered by WIRIS
- 552 -
APPENDIX
triângulo_equilátero (s:Segmento )
triângulo_equilátero (A:Ponto ,B:Ponto )
Triângulo2d
Triângulo2d

vértices
Triângulo3d
Triângulo3d
powered by WIRIS
- 553 -

vértices
truncar
truncar (s:Série ,n:Natural )
type
type
powered by WIRIS
- 554 -
APPENDIX
um?
um? (n:Elemento )
união
união (l1 :Lista |Vector ,l2 :Lista |Vector ) união (l1 ,l2 )=conjunto ( l1 | l2 )
unidade
unidade (x:Quantidade )
unidade (u:Identificador )
powered by WIRIS
- 555 -
unidade (nu:Identificador ,u:Unidade |Quantidade )
Mais informações em unidade
Unidade
Unidade
factor_de_conversão grau quantidade raiz raiz2 unidade
unidade_adimensional
unidade_adimensional
unidade_si
powered by WIRIS
- 556 -
APPENDIX
unidade_si (x:Quantidade )
unir
unir (p:Poligonal |Polígono ,q:Poligonal |Polígono )

unir (p,q)=polígono /al(p1 ,...,pn ,p1 ,q1 ,...,qm )
obter_domínio (unir (p,q))=obter_domínio (q)
powered by WIRIS
- 557 -
valores_e_vectores_próprios
valores_e_vectores_próprios (M:Matriz )
valores_próprios
valores_próprios (A:Matriz )
variações
ícone
variações (L:Lista |Vector ,k:ZZ )
powered by WIRIS
- 558 -
APPENDIX
ícone
variações (n:ZZ,k:ZZ )
Mais informações em variações
variações_com_repetição
ícone
variações_com_repetição (n:ZZ,k:ZZ )
ícone
variações_com_repetição (L:Lista |Vector ,m:ZZ )
Mais informações em variações com repetição
variância
powered by WIRIS
- 559 -
variância (VA:Dado_estatístico ) 1/(n-1)(xi -)2
Mais informações em variância
variância_n
variância_n (L:Lista )
variáveis
variáveis (o )
powered by WIRIS
- 560 -
APPENDIX
variáveis (p:Polinómio )
variáveis (f:Fracção )
variáveis (c:Curva |Curva_polar )
variável
variável (p:Polinómio )
variável (f:Fracção )
powered by WIRIS
- 561 -
variável (s:Série )
Variável
Variável
atributos3d convergente? esquecido? mover desenhar2d raízes_para_polinómio

série série_de_taylor
Variável (:Domínio )
Vazio
powered by WIRIS
- 562 -
APPENDIX
Vazio
vector
vector (A:Ponto ,B:Ponto )
vector (s:Segmento )
powered by WIRIS
- 563 -
vector (p:Plane )
[a,b,c,d]a,b,cdax+by+cz+d=0
vector (r:Recta )
vector (p:Permutação )
powered by WIRIS
- 564 -
APPENDIX
vector (A:Ponto )
Vector
ícone
[x1 ,…,xn ]
Vector
antepor argumento mudança_de_base bissectriz coluna combinações

combinações combinações_com_repetição contar_elementos matriz_diagonal
descontinuidades distribuição divisor elipse apagar
progressão_geométrica householder hipérbole inserir comprimentos
recta linearmente_independentes? lista max min mover norma
resolver_numericamente ângulo_orientado parábola paralela? permutação
permutações permutações_com_repetição perpendicular perpendicular?
vector_perpendicular plano ponto colocar_antes prisma progressão
projecção relação substituir inverter_faixa rotação matriz_de_rotação
segmento seleccionar conjunto inclinação resolver ordenar simetria
powered by WIRIS
- 565 -
tabela translação matriz_de_translação variações variações_com_repetição

produto_vectorial versor zero?
Vector (D:Domínio )
Vector
vectores e matrizes: um vector é uma sequência fechada por parêntesis rectos, que é possível criar com as teclas [
, ] , com o ícone , separando os seus elementos com uma vírgula, ou então usando o ícone . Se as chavetas
forem criadas usando o ícone, o tamanho destas ajustar-se-á ao do seu conteúdo. Pode ser obtido o mesmo resultado
com as combinações de teclas [, ] Ctrl + [ e Ctrl + ]
fila da matriz.
Os ícones e , explicados em detalhe no capítulo Menus, ícones... , permitem a criação de vectores e

matrizes de uma forma fácil.
Para saber como se trabalha com vectores e matrizes, pode consultar o capítulo de Álgebra Linear .
Dada uma lista ou um vector v , e um número inteiro i , vi é a i -ésima componente de v , sempre que 1ilengthv.
vi 1<=i<=comprimento (v)
powered by WIRIS
- 566 -
APPENDIX
Sendo toda a matriz um vector de vectores, se chamarmos A a uma matriz, então Ai é a sua fila i -ésima e Ai,j(,
Aij) o j -ésimo elemento da fila i -ésima (supondo-se que existe).
Ai Ai,j (Ai,j ou Aij ) Aij
Ai,j é equivalente a A.i.. Do mesmo modo, se v é um vector, v.i é a i -ésima componente de v .
An A.n Ai,j A.i.j v.i
vector_canónico
powered by WIRIS
- 567 -
vector_canónico (n:ZZ,k:ZZ )
vector_constante
vector_constante (n:ZZ,x )
vector_de_equação
vector_de_equação (r:Recta )
vector_normal
vector_normal (p:Plane )
powered by WIRIS
- 568 -
APPENDIX
vector_perpendicular
vector_perpendicular (v:Vector |Recta3d )
vectores_próprios
vectores_próprios (A:Matriz )
verdadeiro
verdadeiro
Mais informações em fundo , negrito , fonte_negrito , margem , avaliar , preencher , dimensões_fixas , cursivo ,
fonte_cursiva , móvel , mostrar_eixos , mostrar_cubo , mostrar_grelha , mostrar_etiqueta , visível , fio
verde
verde
verde
verde ={0,255,0}
powered by WIRIS
- 569 -
verificar
identifier(A)[verificar C]:=B
vermelho
vermelho
vermelho
vermelho ={255,0,0}
versor
versor (v:Vector )
vértice
vértice (c:Parábola )
powered by WIRIS
- 570 -
APPENDIX
vértice (p:Poligonal |Polígono ,i:ZZ )
vértice (T:Triângulo ,i:ZZ )
vértices
vértices (T:Triângulo ,P:Polígono ,L:Poligonal )
virar
powered by WIRIS
- 571 -
virar (l:Relação | Divisor | Tabela | Régua )

virar (l)=l
virar (l:Lista | Vector )

virar (l)=lcomprimento (l)..1..-1
virar (l:Traçado )
virar (a..b..k)=b..a..-k
visível
visível
visível
powered by WIRIS
- 572 -
APPENDIX
visível
visível
Mais informações em opções desenhar , opções desenhar3d , opções prancheta , opções

prancheta3d , desenhar , desenhar3d , prancheta , prancheta3d
volume
volume (pol:Polyhedra )
powered by WIRIS
- 573 -
powered by WIRIS
- 574 -
APPENDIX
zero?
zero? (n:Elemento |Lista |Vector )
zero0
zero0 (x:Real /{0} )
zeros
zeros (n:ZZ )
Zn
powered by WIRIS
- 575 -
Zn (n:ZZ )
inteiro inverso torre
Zns
Zns
zoom
zoom (T:Prancheta2d ,x:Real )
zoom_mais
zoom_mais (T:Prancheta2d )
zoom_mais (T:Prancheta2d ,P:Ponto2d )
powered by WIRIS
- 576 -
APPENDIX
zoom_menos
zoom_menos (T:Prancheta2d )
zoom_menos (T:Prancheta2d ,P:Ponto2d )
powered by WIRIS
- 577 -
Índice Alfabético
SÍMBOLOS ^............................................ 167

{............................................ 167
'............................................ 127 |............................................ 168
-............................................ 127 |?........................................... 169
!............................................ 129 +............................................ 169
!!........................................... 130 =............................................ 170
"abaixo"..................................... 130 -->.......................................... 171
"acima"...................................... 131 ·............................................ 171
"astuto"..................................... 131
"automático"................................. 132 a
"bar"........................................ 132
a_decimal.................................... 173
"bissecção".................................. 132
absoluto..................................... 173
"centro"..................................... 133
acos......................................... 173
"definição".................................. 133
acosec....................................... 174
"direita".................................... 134
acosh........................................ 174
"divisor".................................... 135
acotan....................................... 174
"esquerda"................................... 135
agrupar...................................... 175
"expansão_menor"............................. 136
aleatório.................................... 176
"gauss"...................................... 136
alinhados?................................... 176
"gauss_livre_de_divisões".................... 137
altura....................................... 176
"gauss_livre_de_fracções".................... 138
altura.......................................... 59
"horizontal"................................. 139
altura_janela................................ 178
"linha_base"................................. 139
amarelo...................................... 179
"lista"...................................... 140
amarelo...................................... 179
"lista_de_equações".......................... 141
Amostra...................................... 179
"Monospaced"................................. 141
Amostra_frequência........................... 179
"multiple_value"............................. 142
Amostra_frequência_de........................ 179
"nenhum"..................................... 142
amper........................................ 101
"newton"..................................... 142
amplitude.................................... 180
"nome"....................................... 143
anel......................................... 180
"only_one_solution".......................... 143
Anel......................................... 180
"percentagem"................................ 143
anel?........................................ 181
"polígono_frequências"....................... 144
ângulo....................................... 181
"recta_xy"................................... 144
ângulo......................................... 61
"recta_XY"................................... 145
ângulo_inicial............................... 181
"regula_falsi"............................... 145
ângulo_orientado............................. 181
"relação".................................... 146
ângulo2d..................................... 182
"SansSerif".................................. 146
ângulo3d..................................... 183
"secante".................................... 146
antepor...................................... 185
"sequence_of_equations"...................... 147
apagar....................................... 185
"sequência".................................. 147
apagar_índice................................ 187
"Serif"...................................... 147
aplicar_função............................... 187
"seta"....................................... 148
arco......................................... 188
"substituir"................................. 148
Arco......................................... 189
"tabela"..................................... 148
área......................................... 190
"tarte"...................................... 149
área...........................................60
"valor"...................................... 149
área_orientada............................... 191
"vector"..................................... 150
argumento.................................... 192
"vector_of_equations"........................ 150
argumentos................................... 192
"vertical"................................... 150
aritmética................................... 193
$$........................................... 151
aritmética?.................................. 193
&............................................ 151
arredondar................................... 193
'..............................................35
asec......................................... 194
*............................................ 152
asen......................................... 194
,............................................ 153
asenh........................................ 195
............................................. 153
assímptota................................... 195
............................................. 161
assímptota_horizontal........................ 195
/............................................ 161
assímptota_oblíqua........................... 195
//........................................... 162
assímptota_vertical.......................... 196
:............................................ 163
atan......................................... 196
:=........................................... 163
atanh........................................ 196
:=>.......................................... 165
até.......................................... 196
?............................................ 165
ato...........................................103
[............................................ 166
atributos.................................... 197
\\........................................... 167
atributos_para_todos......................... 197
atributos_para_todos2d....................... 197 com.......................................... 222
atributos_para_todos3d....................... 197 combinações.................................. 229
atributos2d.................................. 198 combinações.................................... 95
atributos3d.................................. 198 combinações_com_repetição.................... 230
automatic.................................... 199 combinações_com_repetição........................ 96
avaliar...................................... 199 comparar..................................... 231
azul......................................... 201 compasso..................................... 231
azul......................................... 201 complemento.................................. 232
Complexo..................................... 232
b Complexo....................................... 8
bar...........................................103 componentes.................................. 232
baricentro................................... 202 composição................................... 233
base......................................... 203 comprimento.................................. 233
base_em_forma_normal_de_smith................ 203 comprimento.................................... 28
base_hermite................................. 203 comprimentos................................. 234
becquerel......................................102 cone_fechado_poliédrico...................... 235
bezout....................................... 204 cone_poliédrico.............................. 235
binómio...................................... 204 cónica....................................... 236
bissectriz................................... 205 Cónica....................................... 237
bissectriz....................................... 58 Cónica.........................................54
bissectriz_exterior.......................... 207 Cónica_centrada.............................. 237
bit.......................................... 207 Cónica_não_centrada.......................... 238
Booleano..................................... 207 conjugado.................................... 238
Booleano....................................... 16 conjugados................................... 238
branco....................................... 208 conjunto..................................... 239
branco....................................... 208 Conjunto_finito.............................. 239
constantes_reais............................. 239
c contar_elementos............................. 240
contar_multiplicidades....................... 240
cabeça....................................... 209 conteúdo..................................... 241
cadeia....................................... 209 conteúdo_e_parte_primitiva................... 241
Cadeia....................................... 209 convergente?................................. 241
caixa........................................ 209 converter.................................... 242
caixa_de_texto............................... 210 converter...................................... 100
Caixa_de_texto............................... 211 coplanares?.................................. 242
cálculos_exactos............................. 212 cor.......................................... 242
campo_vetorial............................... 212 Cor.......................................... 243
candela....................................... 101 Cor.......................................... 243
característica............................... 212 cor_da_grelha................................ 245
cardinal..................................... 212 cor_da_margem................................ 245
castanho..................................... 212 cor_de_fundo................................. 245
castanho..................................... 212 cor_do_cubo.................................. 246
categoria.................................... 213 cor_do_preenchimento......................... 246
centi......................................... 103 cor_eixos.................................... 246
centro....................................... 213 corpo........................................ 247
cfr.......................................... 214 Corpo........................................ 247
ciano........................................ 214 corpo?....................................... 247
ciano........................................ 214 corpo_finito................................. 247
cilindro_fechado_poliédrico.................. 214 correlação................................... 248
cilindro_poliédrico.......................... 215 correlação...................................... 93
cinzento..................................... 215 correlação_n................................. 248
cinzento..................................... 215 cos.......................................... 249
cinzento_claro............................... 216 cosec........................................ 249
cinzento_claro............................... 216 cosh......................................... 249
cinzento_escuro.............................. 216 cotan........................................ 250
cinzento_escuro.............................. 216 coulomb.......................................102
circum_raio.................................. 216 covariância.................................. 250
circuncentro................................. 217 covariância..................................... 93
circunferência............................... 217 cubo......................................... 251
Circunferência............................... 218 cursivo...................................... 251
coeficiente.................................. 219 curtose...................................... 251
coeficiente..................................... 101 curva........................................ 252
coeficiente_de_variação...................... 219 Curva........................................ 252
coeficiente_principal........................ 219 Curva_cartesiana............................. 252
coeficiente_se............................... 220 curva_integral............................... 253
coeficientes................................. 220 curva_polar.................................. 253
colocar_antes................................ 220 Curva_polar.................................. 253
coluna....................................... 221 curva2d...................................... 253
com.......................................... 221 Curva2d...................................... 255
curva3d...................................... 255 elemento..................................... 282
Curva3d...................................... 255 Elemento..................................... 282
curvas_de_nível.............................. 256 elemento_adjunto............................. 283
curvas_integrais............................. 256 elemento_de_ordem............................ 283
elemento_primitivo........................... 283
d elementos.................................... 284
Dado_estatístico............................. 257 eliminação_gaussiana......................... 284
deca......................................... 103 elipse....................................... 285
deci.......................................... 103 Elipse....................................... 286
decimal...................................... 257 em........................................... 286
defeito...................................... 258 em........................................... 288
definição.................................... 258 em_que....................................... 294
den.......................................... 258 em_que....................................... 295
denominador.................................. 259 enquanto..................................... 298
depende...................................... 259 enquanto....................................... 15
derivada_numérica............................ 259 então........................................ 298
derivar...................................... 260 equação...................................... 299
derivar......................................... 35 Equação...................................... 300
descomposição_lu............................. 260 Equação....................................... 30
descomposição_qr............................. 261 Equação........................................ 9
descontinuidades............................. 261 equilátero?.................................. 301
desenhar..................................... 262 escrever..................................... 301
desenhar..................................... 262 escrever....................................... 73
desenhar2d................................... 263 escrever2d................................... 301
desenhar3d................................... 265 escrever3d................................... 302
desenhar3d................................... 268 escrever3d......................................85
Desenhável................................... 268 esfera_poliédrica............................ 302
Desenhável2d................................. 269 esquecido.................................... 302
Desenhável3d................................. 269 esquecido?................................... 302
deslocamento................................. 269 estado_geometria............................. 303
deslocamento................................... 78 esterradiano....................................102
deslocar..................................... 270 estilo_de_eixos.............................. 304
desvio_padrão................................ 271 etiqueta..................................... 304
desvio_padrão................................... 91 etiqueta_de_eixos............................ 305
desvio_padrão_n.............................. 271 etiqueta_fonte............................... 305
determinante................................. 271 exa.......................................... 103
determinante.................................... 29 excentricidade............................... 306
diagrama..................................... 272 Exemplo_lista................................ 306
dimensões.................................... 272 Exemplo_lista_de............................. 306
dimensões...................................... 28 exp.......................................... 306
dimensões_fixas.............................. 273 expandir..................................... 307
directriz.................................... 273 exponencial..................................... 46
distância.................................... 273 expressão.................................... 307
distância....................................... 56 Expressão.................................... 308
distância_interquartil....................... 274 Expressão...................................... 12
distribuição................................. 274 extensão..................................... 308
diversos_resultados_como..................... 274 Extensão..................................... 309
dividir...................................... 275 externo?..................................... 309
divisor...................................... 275 f
Divisor...................................... 276
Divisor......................................... 18 factor_de_conversão.......................... 311
divisor_vazio................................ 276 factor_de_conversão............................. 101
divisores.................................... 276 factorial.................................... 311
divisores_mu_de_moebius...................... 277 factorizar................................... 312
dodecaedro................................... 277 factorizar....................................... 23
domínio...................................... 277 factorizar_em_livre_de_quadrados............. 313
Domínio...................................... 278 factorizar_multiplicidade_em_livre_de_quadrados 314
domínio_de_coeficientes...................... 279 falso........................................ 314
farad......................................... 102
e fazer........................................ 314
é?........................................... 280 fento......................................... 103
e_........................................... 280 fibonacci.................................... 315
E_........................................... 280 figura....................................... 315
eixo_auxiliar_simetria_central............... 280 Figura....................................... 316
eixo_de_tangência............................ 281 figura2d..................................... 316
eixo_radical................................. 281 Figura2d..................................... 317
eixo_simetria................................ 281 figura3d..................................... 317
eixos........................................ 281 Figura3d..................................... 317
fila......................................... 318
fim.......................................... 318 inteiro...................................... 348
finito?...................................... 319 Inteiro...................................... 349
fio.......................................... 320 Inteiro.......................................... 7
Flutuante.................................... 320 interno?..................................... 349
Flutuante........................................ 8 interpolar................................... 350
focos........................................ 320 intersecção_de_subespaços.................... 351
fonte........................................ 321 intersecção_eixo_x........................... 351
Fonte........................................ 321 intersecção_eixo_y........................... 352
fonte........................................ 321 intersecção_eixos............................ 352
fonte_cursiva................................ 322 intersectar.................................. 352
fonte_eixos.................................. 322 intersectar...................................... 62
fonte_negrito................................ 323 intervalo.................................... 353
forma_normal_de_smith........................ 323 intervalo........................................29
Fracção...................................... 323 inversão..................................... 353
fracções_simples............................. 323 inversível?.................................. 354
frobenius.................................... 324 inverso...................................... 354
função....................................... 324 inverso........................................ 27
Função....................................... 325 inverter_faixa............................... 356
função_identidade............................ 330 iocto......................................... 103
fundo........................................ 331 iota.......................................... 103
Irracional................................... 356
g irredutível?................................. 360
giga.......................................... 103 j
glossário.................................... 332
glossário.................................... 332 j_........................................... 361
gms.......................................... 333 jacobi....................................... 361
gráfico_de_caixas............................ 333 jordan....................................... 361
grama........................................ 101 joule......................................... 102
grau......................................... 334
grau_relativo................................ 335 k
grau_total................................... 335 katal......................................... 102
gray.......................................... 102 kelvin.........................................101
h l
hecto......................................... 103 lado......................................... 363
henry......................................... 102 lados........................................ 363
hertz......................................... 102 laranja...................................... 363
hipérbole.................................... 336 laranja...................................... 363
Hipérbole.................................... 336 largura...................................... 363
hipérbole_de_apolónio........................ 336 largura_janela............................... 364
homotetia.................................... 337 largura_linha................................ 364
hora..........................................103 largura_máxima............................... 364
householder.................................. 337 legendre..................................... 365
i limite....................................... 365
limite_direita............................... 366
i_........................................... 338 limite_esquerda.............................. 367
icosaedro.................................... 338 limpar....................................... 368
identidade................................... 338 linearmente_independentes?................... 368
identidade?.................................. 339 lista........................................ 369
Identificador................................ 339 Lista........................................ 370
imagem....................................... 339 Lista.......................................... 10
implicar..................................... 340 lista_constante.............................. 371
implicar?.................................... 340 Lista_de..................................... 371
incentro..................................... 340 lista_de_coeficientes_densos................. 371
inclinação................................... 341 lista_de_termo............................... 371
índice....................................... 342 lista_de_termos.............................. 371
Inequação.................................... 342 Lista_vazia.................................. 372
infinito..................................... 343 litro.......................................... 103
Infinito..................................... 343 livre_de_quadrados?.......................... 372
infinito_negativo............................ 343 ln........................................... 372
infinito_positivo............................ 344 log.......................................... 372
infinito_sem_sinal........................... 344 log10........................................ 373
informação................................... 344 log2......................................... 373
inrádio...................................... 346 logaritmo....................................... 46
inserir...................................... 346 lucas........................................ 374
integral_numérica............................ 347 lumen........................................ 102
integrar..................................... 347 lux........................................... 102
integrar........................................ 36
m mu_de_moebius................................ 395
mudança_de_base.............................. 396
maclaurin.................................... 375 Multiamostra................................. 396
magenta...................................... 375 multiplicidade............................... 396
magenta...................................... 375 multiplicidades.............................. 397
margem....................................... 375
margem_caixa................................. 376 n
matriz....................................... 376
n_colunas.................................... 398
Matriz....................................... 377
n_linhas..................................... 398
Matriz....................................... 378
n_termos..................................... 398
matriz_adjunta............................... 379
n_variáveis.................................. 398
matriz_característica........................ 380
nano......................................... 103
matriz_constante............................. 380
não.......................................... 398
matriz_de_permutações........................ 380
não_nulo?.................................... 399
matriz_de_rotação............................ 381
não_pertence?................................ 399
matriz_de_simetria........................... 381
Natural...................................... 399
matriz_de_transformação...................... 382
negativo?.................................... 400
matriz_de_translação......................... 382
negrito...................................... 400
matriz_diagonal.............................. 383
newton........................................102
matriz_identidade............................ 383
nome......................................... 400
matriz_resultante............................ 384
nome_fonte................................... 401
max.......................................... 384
nome_identificador........................... 402
máximo....................................... 384
nome_inicial................................. 402
máximo........................................ 47
nome_variável_complexa....................... 402
máximo_com_restrições........................ 385
nomes........................................ 403
máximo_divisor_comum......................... 385
norma........................................ 403
máximo_divisor_comum............................ 23
norma_1...................................... 404
mcd_alargado................................. 385
norma_2...................................... 404
mdc.......................................... 385
norma_infinito............................... 405
média........................................ 387
normalizar................................... 405
média......................................... 90
novo_identificador........................... 405
média_geométrica............................. 387
núcleo....................................... 406
média_geométrica................................ 90
nulo......................................... 406
média_harmónica.............................. 387
Nulo......................................... 406
média_harmónica.................................91
nulo?........................................ 407
mediana...................................... 388
num.......................................... 407
mediana....................................... 92
numerador.................................... 407
mediatriz.................................... 388
número_de_argumentos......................... 408
mediatriz....................................... 57
número_de_bernoulli.......................... 408
mega......................................... 103
número_de_colunas............................ 408
menor........................................ 389
número_de_linhas............................. 409
menor......................................... 29
número_de_polinómios_irredutíveis............ 409
método....................................... 389
número_de_termos............................. 409
metro.........................................101
número_de_variáveis.......................... 410
micro......................................... 103
números_de_bernoulli......................... 410
mili.......................................... 103
min.......................................... 389 o
mínimo....................................... 390
mínimo........................................ 48 obter_domínio................................ 411
mínimo_com_restrições........................ 390 octaedro..................................... 411
mínimo_múltiplo_comum........................ 390 ohm.......................................... 102
mínimo_múltiplo_comum........................... 23 ordem........................................ 411
minuto........................................ 103 ordem_da_matriz.............................. 412
mmc.......................................... 390 ordem_interna................................ 412
mod.......................................... 392 ordenar...................................... 413
moda......................................... 392 orientação................................... 413
moda.......................................... 92 ortocentro................................... 414
mol.......................................... 101
momento...................................... 392 p
momento_central.............................. 393 para......................................... 416
mónico....................................... 393 para...........................................15
mónico?...................................... 393 parábola..................................... 416
mostrar_cubo................................. 393 Parábola..................................... 416
mostrar_eixos................................ 394 paralela..................................... 417
mostrar_etiqueta............................. 394 paralela........................................ 62
mostrar_grelha............................... 394 paralela?.................................... 417
mostrar_termos............................... 395 parte_imaginária............................. 418
móvel........................................ 395 parte_primitiva.............................. 418
mover........................................ 395 parte_real................................... 419
pascal........................................ 102 Ponto3d...................................... 454
passo........................................ 419 pontos_de_tangência.......................... 454
passo......................................... 49 posição...................................... 454
pé_de_altura................................. 419 posição_horizontal........................... 456
perímetro.................................... 420 posição_vertical............................. 457
perímetro....................................... 61 positivo?.................................... 458
permutação................................... 421 potência..................................... 459
Permutação................................... 422 potência_de_primo?........................... 459
permutações.................................. 422 potência_módulo.............................. 459
permutações.................................... 97 prancheta.................................... 459
permutações_com_repetição.................... 423 Prancheta.................................... 459
permutações_com_repetição........................ 97 prancheta_por_defeito........................ 460
perpendicular................................ 423 prancheta_por_defeito2d...................... 460
perpendicular.................................... 63 prancheta_por_defeito3d...................... 460
perpendicular?............................... 424 prancheta2d.................................. 461
pertence_ao_domínio?......................... 424 Prancheta2d.................................. 461
pertencem?................................... 425 prancheta3d.................................. 462
peta.......................................... 103 Prancheta3d.................................. 462
phi_de_euler................................. 427 precedente................................... 463
pi_.......................................... 427 precisão..................................... 463
Pi_.......................................... 427 preencher.................................... 463
pico.......................................... 103 preto........................................ 464
pirâmide..................................... 427 preto........................................ 464
plano........................................ 428 primeiro_vértice............................. 464
Plano3d...................................... 430 primo........................................ 464
Plano3d........................................ 53 primo?....................................... 465
polar........................................ 430 primo?......................................... 24
poliedro..................................... 431 prisma....................................... 465
Poliedro3d................................... 432 procurar_um.................................. 465
Poliedro3d...................................... 55 procurar_zero................................ 466
poligonais................................... 432 produto........................................ 25
poligonal.................................... 433 produto_vectorial............................ 466
Poligonal.................................... 434 produto_vectorial................................. 26
Poligonal....................................... 55 produtório................................... 466
Poligonal2d.................................. 434 profundidade................................. 468
Poligonal3d.................................. 435 progressão................................... 468
polígono..................................... 435 Progressão................................... 469
Polígono..................................... 436 progressão_geométrica........................ 469
Polígono....................................... 55 projecção.................................... 470
polígono_regular............................. 437 projectividade............................... 470
Polígono2d................................... 438 proporção.................................... 471
Polígono3d................................... 438 proporção_janela............................. 471
polinómica?.................................. 438 pseudoresto.................................. 471
polinómio.................................... 439
Polinómio.................................... 439 q
Polinómio....................................... 9 quadrado?.................................... 473
polinómio_anulador........................... 440 quádrica..................................... 473
polinómio_característico..................... 440 Quádrica..................................... 473
polinómio_irredutível........................ 440 quádrica3d................................... 473
polinómio_mínimo............................. 441 Quádrica3d................................... 474
polinómio_para_matriz_adjunta................ 442 Qualquer..................................... 474
polinómios_irredutíveis...................... 442 quantidade................................... 474
pólo......................................... 443 Quantidade................................... 475
ponto........................................ 443 Quantidade_real_adimensional................. 475
Ponto........................................ 448 quartil...................................... 475
Ponto......................................... 51 quartil......................................... 92
ponto_de_expansão............................ 449 quartil_alargado............................. 476
ponto_inflexão............................... 449 quilo......................................... 103
ponto_inicial................................ 450 quilograma..................................... 101
ponto_mais_próximo........................... 450 quo.......................................... 476
ponto_mais_próximo.............................. 78 quo_res...................................... 477
ponto_mais_próximo2d......................... 450 quociente.................................... 477
ponto_mais_próximo3d......................... 451 quociente.......................................22
ponto_médio.................................. 452 quociente_e_resto............................ 478
ponto_médio.................................... 56 quociente_e_resto................................ 22
ponto_não_derivável.......................... 453
ponto_singular............................... 453 r
ponto_singular_e_inflexão.................... 453
Ponto2d...................................... 453 racional..................................... 480
Racional..................................... 480 Segmento2d................................... 515
racional..................................... 480 Segmento3d................................... 516
racionaliza.................................. 481 segundo.......................................103
radiano....................................... 102 segundo.......................................101
raio......................................... 481 segundo_vértice.............................. 516
raiz......................................... 481 seja......................................... 516
raiz........................................... 45 seleccionar.................................. 517
raiz_quadrada................................ 483 semelhantes?................................. 517
raiz_quadrada................................... 45 semidistância_focal.......................... 517
raiz2........................................ 483 semieixo_maior............................... 518
raízes....................................... 484 semieixo_menor............................... 518
raízes_para_polinómio........................ 486 sen.......................................... 518
raízes_quadradas............................. 486 senh......................................... 518
raízes2...................................... 487 sequência.................................... 519
razão........................................ 487 Sequência.................................... 519
razão.......................................... 50 sequência_constante.......................... 520
razão_simples................................ 487 série........................................ 520
real......................................... 488 Série........................................ 520
Real......................................... 488 série_de_taylor.............................. 521
Real_ou_infinito............................. 488 siemens....................................... 102
recta........................................ 489 sievert........................................ 102
Recta........................................ 491 sigma........................................ 521
Recta........................................ 492 sigma_progressão............................. 523
recta_de_regressão........................... 493 simetria..................................... 523
recta_de_regressão............................... 94 simetria........................................ 64
recta_mediana................................ 493 simetria_central............................. 525
recta_mediana................................... 59 simétrica?................................... 525
recta_tangente............................... 494 simplificar.................................. 525
Recta2d...................................... 494 simplificar_radical.......................... 526
Recta3d...................................... 495 sinal........................................ 526
rectas_tangentes............................. 495 sinal.......................................... 47
redução_de_hessenberg........................ 496 sinal0....................................... 527
região......................................... 72 skewness..................................... 527
Régua........................................ 496 só_um_elemento............................... 528
Régua........................................ 496 solo......................................... 528
relação...................................... 497 soma.......................................... 25
Relação...................................... 497 soma_de_subespaços........................... 529
Relação...................................... 498 subcadeia.................................... 529
relação_vazia................................ 498 subconjunto?................................. 529
repetir...................................... 498 subextensão?................................. 530
repetir......................................... 15 submatriz.................................... 530
representação_em_ciclos...................... 499 substituição................................. 530
representar.................................. 499 substituir................................... 530
representar..................................... 73 Substituir................................... 532
representar_sinal............................ 500 substituir_cadeia............................ 533
res.......................................... 500 superfície................................... 533
resolver..................................... 501 Superfície................................... 533
resolver_inequação........................... 503 Superficie_cartesiana........................ 534
resolver_numericamente....................... 503 suplemento................................... 534
resto........................................ 504 suporte...................................... 534
resto.......................................... 23
resto?....................................... 505 t
result....................................... 505 tabela....................................... 536
resultante................................... 506 Tabela....................................... 536
retirar...................................... 507 Tabela_de.................................... 536
rosa......................................... 507 tabela_vazia................................. 536
rosa......................................... 508 tamanho...................................... 537
rotação...................................... 508 tamanho_fonte................................ 537
rotação........................................ 65 tamanho_ponto................................ 537
s tan.......................................... 537
tangente..................................... 538
se........................................... 510 tanh......................................... 538
se............................................ 14 tartaglia.................................... 538
se_não....................................... 510 taylor....................................... 539
se_não_se.................................... 511 tecto........................................ 539
sec.......................................... 512 teorema_chinês............................... 540
segmento..................................... 512 teorema_chinês_em_coeficientes............... 540
Segmento..................................... 514 tera.......................................... 103
Segmento..................................... 515 termo........................................ 540
termo_principal.............................. 541 vermelho..................................... 570
termos....................................... 541 vermelho..................................... 570
termos_progressão............................ 542 versor....................................... 570
tesla......................................... 102 vértice...................................... 570
tetraedro.................................... 542 vértices..................................... 571
texto........................................ 542 virar........................................ 571
todas_as_variáveis........................... 543 visível...................................... 572
tolerância................................... 543 volt.......................................... 102
tolerância_relativa.......................... 544 volume....................................... 573
tomar........................................ 545
toro_poliédrico.............................. 545 w
torre........................................ 546 watt.......................................... 102
traçado...................................... 546 weber........................................ 102
Traçado...................................... 546
Traçado...................................... 547 z
traço........................................ 547
translação................................... 548 zepto......................................... 103
translação...................................... 65 zero?........................................ 575
transparência................................ 549 zero0........................................ 575
transpor..................................... 549 zeros........................................ 575
transpor........................................ 28 zetta......................................... 103
transposição................................. 550 Zn........................................... 575
triângulo.................................... 550 Zns.......................................... 576
Triângulo.................................... 551 zoom......................................... 576
Triângulo.................................... 551 zoom_mais.................................... 576
triângulo_equilátero......................... 552 zoom_menos................................... 577
Triângulo2d.................................. 553
Triângulo3d.................................. 553
truncar...................................... 554
type......................................... 554
u
um?.......................................... 555
união........................................ 555
unidade...................................... 555
Unidade...................................... 556
unidade....................................... 101
unidade_adimensional......................... 556
unidade_si................................... 556
unir......................................... 557
v
valores_e_vectores_próprios.................. 558
valores_próprios............................. 558
variações.................................... 558
variações....................................... 96
variações_com_repetição...................... 559
variações_com_repetição........................... 97
variância.................................... 559
variância....................................... 91
variância_n.................................. 560
variáveis.................................... 560
variável..................................... 561
Variável..................................... 562
Vazio........................................ 562
vector....................................... 563
Vector....................................... 565
Vector....................................... 566
vector_canónico.............................. 567
vector_constante............................. 568
vector_de_equação............................ 568
vector_normal................................ 568
vector_perpendicular......................... 569
vectores_próprios............................ 569
verdadeiro................................... 569
verde........................................ 569
verde........................................ 569
verificar.................................... 570

Manual PT PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Manual PT PDF

Enviado por

Direitos autorais:

Formatos disponíveis

MANUAL

Os tipos de números que podemos construir são:

Atribuição e definição de valores a variáveis

Para atribuir valor a uma variável, usam-se os operadores = e :=.

polinómios: um polinómio é criado executando-se determinadas operações aritméticas (soma, subtracção e

tipo Símbolo ícone Teclado

>= Ctrl + Shift + >

<= Ctrl +<

Existem dois comandos que nos ajudam a trabalhar com as listas:

• comprimento, determina o número de elementos de uma lista.

Manipulação de listas, vectores e matrizes

Alguns exemplos deste tipo de objectos são

As secções do capítulo são as seguintes:

se...: ícone ou , instrução

enquanto...: ícone , instrução

para...: ícone , instrução

repetir...: ícone , instrução

Completamos a descrição de estruturas de dados do capítulo Objectos matemáticos.

Operador lógico Símbolo

negação - não não

Eis alguns exemplos do seu comportamento:

Operador lógico Operador de conjuntos Símbolo

conjunção - e: intersecção: &

disjunção - ou: união: |

negação - não complementar não

Os símbolos => e :=> podem ser criados com os ícones e , respectivamente.

Mais informações em comando Régua ou Substituir.

O símbolo -> pode ser criado com o ícone .

Mais informações em Divisor.

O símbolo -> pode criar-se com o ícone .

Mais informações em Relação.

Operação Símbolo ícone Teclado

^ Ctrl + Seta para

O símbolo * aparece sempre como um · de acordo com as convenções tipográficas.

quociente e resto: ícone , comando quociente_e_resto ou quo_res

Calcula o quociente e o resto da divisão inteira do primeiro argumento pelo segundo.

quociente: comando quo ou quociente

Calcula o quociente da divisão (inteira) do primeiro argumento pelo segundo.

resto: comando res ou resto

Calcula o resto da divisão (inteira) do primeiro argumento pelo segundo.

factorizar: comando factorizar

máximo divisor comum: comando mdc ou máximo_divisor_comum

Calcula o máximo divisor comum de dois ou mais números inteiros ou polinómios.

mínimo múltiplo comum: comando mmc ou mínimo_múltiplo_comum

Calcula o mínimo múltiplo comum de dois ou mais números inteiros ou polinómios.

primo?: comando primo?

Diminuição de vectores ou matrizes.

Os operandos devem ser do mesmo tipo e ter as mesmas dimensões.

Produto de matrizes ou produto (escalar) de vectores.

O símbolo * aparece sempre como um · de acordo com as convenções tipográficas.

produto por escalares: comando * ou ·

Produto de um vector ou matriz por um escalar.

O símbolo * aparece sempre como um · de acordo com as convenções tipográficas.

produto escalar: ícone , comando * ou ·

Produto escalar de dois vectores com o mesmo comprimento.

O símbolo * aparece sempre como um · de acordo com as convenções tipográficas.

produto vectorial: ícone , comando produto_vectorial

Produto vectorial de dois vectores.

O produto vectorial só está definido para vectores de comprimento 3.

inverso: ícone , comando inverso

potência: ícone , comando ^

comprimento: comando comprimento

dimensões: comando dimensões