Você está na página 1de 226

Curso Complementar do Ensino Secundrio

~ d i ~ GEP o
EI$BOA

J. SEBASTIAO E SILVA

3.0 VOLUME

CURSO COMPLEMENTAR DO ENSINO SECUNDARIO

GABINETE DE ESTUDOS E PLANEAMENTO DO MINISTERIO DA EDUCAAO E INVESTIGAAO CIENTFICA Av. Miguel Bombarda, 20

-Lisboa

O texto deste Compndio foi utilizado no mbito de uma experincia de modernizao do ensino da matemtica em Portugal, dirigida pelo Prof. Sebastio e Silva e realizada pelo Ministrio da Educao Nacional em colaborao com a O.C.D.E. (Projecto Especial STP-4/SP). Nesta experincia estiveram envolvidos alunos dos antigos 6.0 e 7.0 anos do ensino liceal (idades entre 15 e 77 anos). Nos termos do acordo estabelecido entre a O.C.D.E. e Portugal proibida a reproduo total ou parcial deste texto por terceiros.

VECTORES
NUMEROS COMPLEXOS

CAPITULO I

INTRODUAO AO CALCULO VECTORIAL

1. Relao 'situado entra'. Dados trs pontos A, B, C em linha recta, sabemos o que quer dizer a proposio
'A est situado entre B e C' que pode ser verdadeira ou falsa, conforme os casos (verdadeira no exemplo da figura).

Assim, se considerarmos as letras A, B, C como variveis, a anterior expresso proposicional define uma relao ternria entre pontos da recta. Chamar-lhe-emos, abreviadamente, a relao 'situado entre'. Esta uma das noes que podem ser adoptadas como primitivas na geometria euclidiana. A partir dela se definem as noes de 'segmento de recta', de 'semi-recta' e de 'semiplano'. Dados dois pontos A e B distintos, chama-se segmento de recta de extremos A e B o conjunto constitudo pelos pontos A, B e por todos os pontos da recta AB situada entre A e B (I). Se A=B, chama-se segmento de extremos A, B o conjunto singular { A ) (segmento nulo). Em qualquer dos casos o segmento de extremos A, B designado pela notao

m.

( ) I

O estar situado entre A e B implica ser distinto de A e de B.

J. SEBASTIAO E SILVA

Diz-se que um conjunto de pontos convexo, quando, quaisquer que sejam os pontos A e B de o segmento B est contido em Na figura indica-se um conjunto que convexo e outro que no o .

%.

a,

evidente que toda a recta u m conjunto convexo. Um plano tambm um conjunto convexo: porqu? A noo de semi-recta resulta da seguinte proposio, que pode ser tomada como um dos axiomas da geometria euclidiana:

PROPOSIO 1. Todo o ponto P duma recta r divide r em duas partes r e r tais que: , ,

1) r, e r, so dois conjuntos convexos cuja reunio r e cuja interseco { P ); 2) existe pelo menos um ponto de r, distinto de P e um ponto de r, distinto de P; , 3) quaisquer que sejam os pontos A de r, e B de r o ponto P pertence ao segmento B.

Como sabido, chamam-se semi-rectas de origem P os dois conjuntos r, e r que verificam estas condies. Da proposio , anterior resulta que uma semi-recta fica determinada, quando se indica a sua origem e um seu ponto qualquer distinto da origem. Se for P a origem e A o outro ponto indicado, designaremos a semi-recta pela notao PA.

COMPENDIO DE MATEMATICA

(Um segmento de recta ser um conjunto convexo? Justifique a resposta, a partir da proposio 1 . ) Diz-se que duas semi-rectas de r esto voltadas para o mesmo lado, se uma delas est contida na outra. Por sua vez, a noo de semiplano assenta na seguinte proposio, que tambm pode ser tomada como axioma da geometria euclidiana: PROPOSIAO 2. Toda a recta r dum plano tais duas partes a, e ( Y Z , que:
a

divide

em

1 1 ) a e cuz so dois conjuntos convexos cuja reunio a e cuja interseco r; 2) quaisquer que sejam os pontos A de a1 e B de a*, o segmento de recta A intersecta a recta r. B

0 s dois conjuntos que verificam estas condies so chamados semiplanos e a recta r fronteira dos semiplanos.

U m semiplano fica pois determinado quando se d a sua fronteira e um seu ponto qualquer no pertencente fronteira (I). Se esta for r e o ponto indicado for A, o semiplano ser designado pela notao 7 A.
(I)

Prova-se que existe pelo menos um ponto do semiplano fora da

fronteira.

J . SEBASTIAO E SILVA

2. Re~laesde ordem'. Chama-se relao de ordem, num universo U, toda a relao binria R que tenha as seguintes propriedades:
1)
2) 3)
ANTI-REFLEXIVA: XRY
X

#y

ANTI-SIMTRICA ESTRITA: XRY $ yfix TRANSITIVA:

XRY A ~ R =z xRZ )

Por exemplo, a relao < em IN ou em IR uma relao de ordem e o mesmo sucede com a sua inversa, a relao >. Alis, imediatamente se reconhece que: Se R uma relao de ordem, tambm R-' uma relao de ordem. A relao definida pela expresso 'precede alfabeticamente', que se usa nos dicionrios, nas listas de telefones, nas pautas de alunos, etc., outro exemplo da relao de ordem (chamada, neste caso, 'ordem alfabtica' ou 'ordem lexicogrfica'). Consideremos, agora, a relao R assim definida xRy

++ x

menos caro que y

no universo das mercadorias. anti-reflexiva, anti-simtrica estrita e transitiva. Mas no tricotmica, pois existem mercadorias x, y tais que xfiy A YRXA x # y Diz-se neste caso que x e y tm o mesmo preo (relao de equivalncia). Mas j no universo dos preos (que so propriedades das mercadorias), a relao < uma relao de ordem. Analogamente, a relao 'mais volumoso', definida no universo dos slidos, tem as propriedades I ) , 2), 3). mas no tricotmica. Com efeito, dois slidos x, y podem ter o mesmo volume (relao de equivalncia) e serem distintos (x # y). Mas no universo dos volumes a relao > uma relao de ordem.

COMPENDIO DE MATEMATICA

Um exemplo tpico o da relao de grandeza entre segmene E, a protos de recta. Dados dois segmentos de recta posio * Bmenor que C ' A D significa o mesmo que

'm

menos comprido que

c ' D

e escreve-se abreviadamente, neste caso,

Mas esta relao < entre segmentos no uma relao de ordem. Porqu? A razo esta: Se AB CD e C A , se pode concluir que seja D B no AB= C (isto , que os dois segmentos coincidem). O mais que se pode dizer que os dois segmentos so geometricamente iguais (relao de equivalncia), o que indicamos escrevendo

>

>

Desta relao deriva a noo de comprimento. Chama-se comprimento de e representa-se por IABI, a propriedade comum a todos os segmentos geometricamente iguais a A . BAssim:

m,

IABI=ICDI @

AB

C D

Por sua vez, escreve-se, por definio:

e prova-se que, no universo dos comprimentos (que so propriedades dos segmentos), a relao < j uma relao de ordem. Por vrias vezes temos salientado que o sinal = exprime identidade lgica. Quando usado em geometria, dever sempre ler-se 'coincidente com' ou ' o mesmo que' e, assim, o sinal r j se poder ler simplesmente 'igual a', sem receio de ambiguidade.

J. SEBASTIAO E SILVA
Convm ainda lembrar que a relao <, referida a segmentos de recta, deriva da relao 'situado entre', referida a pontos duma recta. Com efeito: Diz-se que A < B se existe um ponto X situado entre C e D tal que C z A . X B

m,

EXERCICIOS:

I. Determinar todas as relaes de ordem que possvel definir num conjunto ~ = { a , b, c). (Observao: cada relao de ordem num conjunto finito pode ser definido por uma cadeia, por exemplo, b 4 c 4 a c 4 b < a, etc.) , II. Determinar o nmero de relaes de ordem que possvel definir num conjunto finito com n elementos.

3. Conjuntos ordenados. Isomorfismos. Chama-se conjunto ordenado todo o conjunto no qual se adopta uma determinada relao de ordem. Se designarmos esta relao pelo smbolo (que podemos ler 'precede'), o conjunto ordenado ser precisamente o par (U, 4 ) . Por exemplo, so conjuntos ordenados o conjunto IR com a relao < usual (ou com a sua inversa), o conjunto das palavras dum dicionrio com a relao de ordem alfabtica, etc. Chama-se isomorfismo dum conjunto ordenado (U, 4 ) sobre um conjunto ordenado (V, 4 ) toda a aplicao f de U sobre V que respeita a relao de ordem, isto , tal que

<

Facilmente se reconhece que todo o isomorfismo de ordem uma aplicao biunvoca, cuja inversa ainda um isomorfismo

COMPENDIO DE MATEMATICA

de ordem. E ainda: o produto de dois isomorfismos de ordem ainda um isomorfismo de ordem. Por exemplo, se for U = {I, 2, 3, 4) com a relao <, V = {a, b, c, d) com a relao 'precede no alfabeto' e

v-se que f um isomorfismo do primeiro conjunto ordenado no segundo, mas no g. Analogamente a aplicao xL,-x um isomorfismo de (IR, <) sobre (IR, >).

Indique quais das seguintes aplicaes

so isomorfismos de (IR, <) sobre (IR, <), de (IR+, <) sobre (IR+, >) e de (IR, <) sobre (IR+, <). Que nome se d a uma funo que respeita a relao 'menor que'? E a uma funo que muda < em > ?

4. Rela~esde ordem lata. Dada uma relao de ordem num conjunto U, podemos definir a partir desta uma outra relao, expressa pelo sinal _I- (ler 'precede ou igual a'), do seguinte modo:
x ~ y @ x 4 y V x = y

<

Das propriedades da relao de ordem fcil deduzir as seguintes, para a nova relao:

2) 3)
4)

ANTI-SIMETRICA LATA: TRANSITIVA: DICOTMICA:


X

3y A y 3X
Z

=y

-3 y
X,

A y i z =) x
Y
E

U,

3Y V Y 3x

J . SEBASTIAO E SILVA

Chama-se relao de ordem lata toda a relao que verifique estas condies. Por vezes, chamam-se relaes de ordem estrita as relaes de ordem (tais como as definimos atrs) para as distinguir das anteriores. Assim, a toda a relao de ordem estrita corresponde uma relao de ordem lata. Reciprocamente, a toda a relao de ordem lata R correspondente a relao de ordem estrita R* assim definida: xR*y xRy A x # y

++

Portanto, dar uma relao de ordem estrita equivale sempre a dar uma relao de ordem lata. NOTA. Num conjunto singular a relao de identidade manifestamente uma relao de ordem lata. A relao de ordem estrita correspondente a relao binria vazia. Assim, um conjunto singular pode sempre considerar-se ordenado: tem um primeiro elemento, que tambm o ltimo.

5. Relales de ordem parcial. Consideremos a relao 'descendente' (filho, neto, bisneto, etc.) no universo dos seres humanos. uma relao anti-reflexiva, anti-simtrica estrita e transitiva, e o mesmo sucede com a sua inversa, a relao 'ascendente' (ou 'antepassado'). Mas no tricotmica (porqu?). Dum modo geral, chamam-se relaes de ordem parcial (estrita) as relaes anti-reflexivas, anti-simtricas estritas e transitivas (podendo ser ou no tricotmicas). As relaes de ordem, tais como atrs foram definidas, tambm, por vezes, so chamadas relaes de ordem total, para evitar confuses (I). So ainda exemplos de relaes de ordem parcial estrita:
I. A relao 'divisor prprio' no universo IN. Diz-se que a divisor prprio de b, se a divide b e a # b.
(I) Alguns autores chamam relaes de ordem precisamente as que chamamos aqui relaes de ordem parcial e que incluem as de ordem total como caso particular.

COMPENDIO DE MATEMATICA

II. A relao 'contido estritamente', no universo dos subconjuntos dum conjunto dado.
claro que, a toda a relao de ordem parcial estrita,

corresponde uma relao de ordem parcial lata (isto , reflexiva, anti-simtrica lata e transitiva) e reciprocamente. Por exemplo, a relao 'divide', a relao C , etc., so relaes de ordem parcial lata. A primeira, no universo IN, no uma relao de ordem total (lata): por exemplo, 3 no divide 5 e 5 no divide 3 (falha portanto a dicotomia). Mas a sua restrio ao conjunto das potncias dum nmero j uma relao de ordem total (lata). Por sua vez, a relao C no conjunto

no uma relao de ordem total, visto que

Mas j o a sua restrio ao conjunto

I. Classifique as relaes R, S, T assim definidas em IR2:


(a, b) R (c, d) (a, b) S (c, d) (a, b ) T (c, d)

e+ a < c A b < d

++ a Q c A b < d e+ a < c V (a = c /

< d)

Ser S a relao de ordem parcial lata associada a R?

II. Como classifica a relao 'precede' no conjunto dos instantes (ou pocas) relativas a um dado lugar da Terra? E no conjunto dos instantes relativos a lugares considerados em dife-

J . SEBASTIAO E SILVA

rentes astros? (Segundo a Teoria da Relatividade, esta relao no tricotmica no 2." caso.) NOTA. Como, daqui por diante, trataremos exclusivamente de relaes de ordem total estrita, omitiremos o qualificativo 'total estrita', por j no haver qualquer possibilidade de confuso.

6. Rela;o 'situado entre' associada a uma relao de ordem. Consideremos uma relao de ordem 4 num conjunto U.
A partir desta define-se uma relao ternria do seguinte modo:
(1)
x est entre a e b @ a <x{bVb<x<a

Esta relao ternria chamada a relao 'situado entre' associada relao 4 . Mas evidente que a mesma est associada relao de ordem inversa: x est entre a e b + + a > x > b

V b>x>a

(O sinal pode ler-se 'segue', enquanto o sinal 4 se l 'precede'). Por sua vez as relaes 4 e dizem-se ambas subordinadas relao 'situado entre', que se definiu.

>

EXERCICIOS I. Considere num conjunto U = {a, b, c, d) a seguinte relao ternria:

T = {acd , adc , acb , abc , dcb , dbc , dab , dba)


e interprete a expresso T (x, y, z) como abreviatura de 'x est entre y e z'. Determine ento as relaes de ordem subordinadas a T, se porventura existem. [Observao: usamos a notao 'acd' como abreviatura de '(a, c, d)'.]

II. Quantas relaes 'situado entre' se podem definir num conjunto finito com n elementos? (Ver respostas no final do nmero seguinte.)

COMPENDIO DE MATEMATICA

7. Relaes de ordem subordinadas a relao 'situado entre' numa recta. Pe-se agora naturalmente a seguinte pergunta:
Ser possvel introduzir na recta uma relao de ordem que esteja subordinada relao 'situado entre' l existente? A resposta afirmativa. TEOREMA. Numa recta sempre possvel introduzir (de dois modos diferentes) uma relao de ordem que fique subordinada relao geomtrica 'situado entre'. Demonstrao: Sejam A e B dois pontos distintos da recta e convencionemos por exemplo que A 3 B.

Ento, dados dois pontos X e Y quaisquer da recta escreveremos X Y, se os pontos X, Y so distintos e as semi-rectas AB e XY esto voltadas para o mesmo lado; isto , simbolicamente:

<

Ento, fcil ver, aplicando a PROPOSIAO 1 do n." 1, que a relao assim definida de facto uma relao de ordem subordinada relao geomtrica 'situado entre'. Pois bem:

<

DEFINIAO. Chamam-se sentidos duma recta as duas relaes de ordem subordinadas sua relao 'situado entre'. Uma recta diz-se orientada, quando nela se define um sentido. Segundo o que vimos na demonstrao anterior, para definir um sentido numa recta, basta dar um par ordenado (A, B) de

J . SEBASTIAO E SILVA

pontos que verifique esse sentido ou (o que equivalente) dar a semi-recta AB.

Na prtica, o sentido pode ser indicado intuitivamente por meio de uma seta paralela recta ou mesmo incorporada na prpria recta. A origem intuitiva desta noo est no conceito fsico de sentido dum movimento. Notemos a propsito que, segundo esta terminologia, a designao 'direco proibida', tal como se usa entre ns em regras de trnsito est incorrectamente aplicada. Deveria dizer-se, nesses casos, 'sentido proibido'. O significado de 'direco proibida' deveria ser o de 'trnsito proibido nos dois sentidos'. Recordemos que se chama direco duma recta r propriedade comum a todas as rectas paralelas a r. A noo de sentido pode ser estendida a todas as rectas com a mesma direco. Mas, para isso, precisamos de utilizar projeces paralelas.

RESPOSTAS AOS EXERCICIOS DO NMERO ANTERIOR:

8. Proje,ces paralelas. Exte.nso do conceito de sentido. Consideremos num plano a duas rectas r e d concorrentes, e seja P um ponto qualquer do plano. Chama-se projeco de P sobre r paralelamente a d ao ponto P' da interseco de r com a recta que passa por P e paralela a d. Fica assim definida uma apli-

COMPENDIO DE MATEMATICA

cao (no biunvoca) do plano a sobre r, chamada projeco paralela. A projeco diz-se ortogonal, sse d 1r.

Analogamente se define projeco paralela (e projeco ortogonal) do espao sobre um plano. LEMA 1. Sejam r, r' duas rectas quaisquer dum plano e d uma outra recta do plano concorrente com as primeiras. Ento, a projeco paralelamente a d define uma aplicao biunvoca de r sobre r' que respeita a relao 'situado entre'. Quer dizer: se forem A, B, C trs pontos quaisquer de r e A', B' , C', respectivamente as projeces de A, B, C sobre r', tem-se: B est entre A e C Demonstrao*: A projeco paralela a d define manifestamente uma aplicao biunvoca de r sobre r': a sua inversa a projeco dos pontos de r' sobre r paralelamente a d.

(.+

B' esta entre A ' e C'

Sejam agora A, B, C trs pontos de r tais que B esteja entre A e C. Suponhamos que B' no est entre A ' e C', e que,

J. SEBASTIAO E SILVA
por exemplo, C' est entre A ' e B'. Ento A ' e B' pertencem a dois semiplanos diferentes de fronteira CC'. Mas A e B esto % ' no mesmo semiplano de fronteira CC' (porqu?). Logo i intersecta CC' num ponto M (porqu?) o que impossvel (porqu?). Portanto C' no pode estar entre A ' e B'. Analogamente se prova que A' no pode estar entre B' e C'. Como B' no pode ser A ' nem C', conclui-se que B' est entre A' e C'. A reciproca fica provada pelo mesmo raciocnio e assim termina a demonstrao. Note-se que este lema necessrio para a deinonstrao do teorema de Tales, no caso em que os segmentos considerados numa das rectas so incomensurveis. LEMA 2. Sejam r, r' duas rectas paralelas dum plano e d uma outra recta do plano, concorrente com as primeiras. Se as rectas r, r' estiverem orientadas, e se a projeco de r sobre r' paralelamente a d respeita o sentido, a projeco de r sobre r' paralelamente a qualquer outra recta d' tambm respeita o sentido (isomorfismo de ordem). Demonstrao*: Seja A um ponto qualquer de r, A' a sua projeco sobre r' paralelamente a d e A'' a sua projeco sobre r' paralelamente a outra recta d'. Designemos por B a projeco de A" sobre r paralelamente a d'. Ento A" coincide com a projeco B' de B sobre r' paralelamente a d. Suponhamos que A < B e A' 4 B', segundo os critrios adoptados. Pretende-se provar que tambm A" B". A B r

<

Notemos que A' e B esto em semiplanos opostos de fronteira AA" (porqu?) e que B e B" esto no mesmo semiplano

COMPENDIO DE MATEMATICA

de fronteira AA" (porqu?). Logo A" (ou seja B') est entre A ' e B" (porqu?). E como A ' , B' (por hiptese), daqui se conclui que A" B", q. e. d.

<

<

Convm notar que, se as rectas forem concorrentes, existe sempre uma projeco paralela que respeita e outra que no respeita os sentidos, como se pode inferir da figura junta.

DEFINIAO 1. Dadas duas rectas paralelas orientadas, r e r', diz-se que r concorda com r', sse qualquer projeco paralela de r sobre r' respeita o sentido. TEOREMA. A relao de concordncia assim definida uma relao de equivalncia. Demonstrao*: Imediatamente se reconhece que a relao reflexiva e simtrica. Sejam agora r, r', r" trs rectas orientadas paralelas entre si, e suponhamos que r concorda com r' e r ' concorda com r". Trata-se de provar que r concorda com r". Suponhamos que as rectas no so complanares. Sejam: A, B dois pontos distintos de r; A', B' respectivamente as projeces de A, B sobre r' paralelamente a uma recta d; e A", B" respectivamente as projeces de A', B' sobre r" paralelamente a uma recta d'. Ento os planos AA' A" e BB' Bf' so paralelos (porqu?). Logo as rectas AAf' e BB" so paralelas

J . SEBASTIAO E SILVA

(porqu?). Por outro lado, se A -i B, tambm A' -i B' e A" B" (porqu?) (I). Logo a projeco de r sobre r" paralelamente a d' respeita o sentido, o que significa que r concorda com r".

Se as trs rectas r, r', r" so complanares, basta considerar as projeces de r sobre r' e de r' sobre r" paralelamente a uma mesma recta, para chegar trivialmente mesma concluso.

DEFINIAO 2. Diz-se que duas rectas orientadas paralelas tm o mesmo sentido, sse so concordantes. Se no so concordantes, diz-se que tm sentidos contrrios. Deste modo chegamos, por abstraco, ao conceito generalizado de sentido.
Sentido duma recta orientada r a propriedade comum a todas as rectas orientadas que concordam com r (do mesmo modo que a direco duma recta a propriedade comum a todas as rectas que lhe so paralelas).
(I)

Quando dois planos paralelos so cortados por um terceiro

...

COMPENDIO DE MATEMATICA

Do exposto se conclui que: Toda a direco no espao tem dois sentidos contrrios. Para representar um sentido, basta dar um par ordenado de pontos distintos ou uma semi-recta que tenha esse sentido, do mesmo modo que, para representar uma direco, basta dar uma recta que tenha essa direco. DEFINIAO 3. Chama-se segmento orientado qualquer segmento de recta, ao qual se atribui um sentido. Se os extremos do segmento so pontos distintos, o segmento fica orientado quando se estabelece que um dos extremos precede o outro extremo: ento o primeiro chama-se origem e o segundo extremidade do segmento orientado. Se os extremos so coincidentes (segmento nulo), o segmento considera-se sempre orientado, de acordo com a nota final do nO 4; mas diz-se que tem direco . e sentido indeterminados (ou arbitrrios). Sendo A e B dois pontos quaisquer, o smbolo

designar o segmento orientado de origem A e extremidade B (mesmo que seja A= B ) .

9. Conceito de ve~ctor. Em fsica apresentam-se entidades de diversas naturezas, constitudas pela associao duma grandeza absoluta a uma direco e a um sentido no espao. Essas entidades so chamadas grandezas vectoriais ou vectores. Por exemplo, quando se diz que a velocidade dum ponto material em dado instante de 3 m / s (grandeza absoluta), isso no basta, muitas vezes, para definir inteiramente o estado de movimento do ponto nesse instante: necessrio associar quela grandeza a direco e o sentido do movimento, e esta associao

J. SEBASTIAO E SILVA
de dados chamada velocidade vectorial do ponto no instante considerado. Situaes anlogas se apresentam a respeito de aceleraes, foras, campos elctricos ou magnticos, etc. Recordemos que toda a grandeza absoluta pode ser definida por um nmero real no negativo, que a sua medida em relao grandeza da mesma espcie tomada para unidade. Assim, no exemplo anterior, a unidade o m/s e a medida 3. Deste modo, toda a grandeza absoluta, qualquer que seja a sua natureza, pode ser representada por um segmento de recta, uma vez fixada uma unidade de comprimento. E assim, toda a , grandeza vectorial pode ser representada por um segmento orientado, em virtude do seguinte TEOREMA. Dados u m comprimento, uma direco e u m sentido, existe sempre, pelo menos, u m segmento orientado, que tem esse comprimento, essa direco e esse sentido.

Demonstrao: Como vimos, a direco e o sentido podem ser representados por uma semi-recta OM e o comprimento por segmento de recta A . BEnto, segundo um dos axiomas da geometria euclidiana, existe um (e um s) ponto P de OM tal que z B. evidente que o segmento orientado [O, P] tem Ora o comprimento, a direco e o sentido que foram dados. DEFINIAO. Diz-se que dois segmentos orientados so equivalentes, sse tm o mesmo comprimento, a mesma direco e o mesmo sentido. Em particular, so equipolentes todos os segmentos nulos.

COMPENDIO DE MATEMATICA
desde logo evidente que:

A relao de equipolncia, assim definida, uma relao de equivalncia.

DEFINIAO 2. Diz-se que dois segmentos orientados representam o mesmo vector, sse so equipolentes. Assim, o vector representado por um segmento orientado [A, B] aparece-nos como a conjuno dos trs atributos: o comprimento, a direco e o sentido de [A, B] (I). E o mesmo vector pode ser representado indistintamente por qualquer segmento orientado equipolente a [A, B ] (do mesmo modo que a direco duma recta r pode ser representada indistintamente por qualquer recta paralela a r ou o metro pode ser representado indistintamente por qualquer segmento com o comprimento de um metro). Chama-se comprimento, direco e sentido dum vector, respectivamente, o comprimento, a direco e o sentido de qualquer dos segmentos orientados que o representam. Chama-se vector nulo o vector de comprimento nulo (representado por qualquer segmento [A, A ] de extremos coincidentes). Os segmentos orientados tambm por vezes so chamados vectores aplicados. Neste caso, os vectores so chamados vectores livres (isto , com origem livre) para se distinguirem dos primeiros. Recordemos que, na fsica, necessrio um vector aplicado para representar uma fora, visto que no bastam a direco, o sentido e a intensidade para definir a fora: necessrio dar ainda o ponto de aplicao, que precisamente a origem do correspondente vector aplicado. No entanto, quando se trata de foras aplicadas a slidos, o ponto de aplicao da fora pode ser substitudo por outro ponto do slido situado na mesma recta do segmento representativo. Daqui a noo de 'vector deslizante'. Diz-se que dois segmentos orientados representam o mesmo vector deslizante, sse so equipolentes e pertencem mesma recta.
(I) Tambm pode ser considerado como a classe dos segmentos orientados equipolentes a [A, B].

J. SEBASTIAO E SILVA

Como, daqui por diante, no precisaremos das expresses 'vector aplicado' e 'vector deslizante', diremos sempre 'vector' com o significado de 'vector livre'.

10. Soma de um ponto com um vector. O vector representado por um segmento orientado [A, B] ser designado pela
notao AB. Quando no for preciso fazer aluso directa ao segmento representativo, os vectores sero designados, em geral, por letras minsculas encimadas de setas, como por exemplo:

O vector nulo ser designado pelo smbolo O. Importa salientar que qualquer ponto do espao pode ser tomado para origem do segmento representativo de um dado vector. Com efeito: TEOREMA. Dados um ponto O e um segmento [A, Bl, existe sempre um e um s ponto P tal que [O, P] equipolente a [A, B1. Demonstrao: Suponhamos dados, arbitrariamente, O e [A, B]. Dois casos se podem verificar: B

1." caso. O ponto O no pertence recta AB. Consideremos a recta r que passa por O e paralela a AB, e a recta s que passa por B e paralela a AO. Ora estas rectas encontram-se num ponto nico P (porqu?) e [O, P] equipolente a AB (porqu?). Seja agora, reciprocamente, Q um ponto tal [O, Q] equipolente a [A, B]. Ento OQ// AB, BQ// AO (porqu?), donde

COMPENDIO DE MATEMATICA

OQ=OP, BQ=BP (porqu?) e portanto P=Q. Logo existe um ponto nico que verifica a condio indicada.

2." caso. O E AB. Este caso pode ser reduzido ao anterior, considerando um ponto 0' fora de AB e aplicando a transitividade da relao de equipolncia, como se indica na figura supra. Em termos de vectores, o teorema demonstrado pode ser traduzido do seguinte modo:
Dados um ponto O e um vector u, existe sempre um e s um ponto P tal que [O, P] representa o vector u.
3

DEFINIAO. Chama-se soma do ponto O com o vector u o ponto P a que se refere o teorema anterior, isto , a extremidade
do segmento orientado de origem O que representa o vector u. Escreve-se ento:

.+

P=O+u

Tambm se diz neste caso que o vector u a diferena entre o ponto P e o ponto 0, e escreve-se

J. SEBASTIAO E SILVA

Assim, temos duas maneiras diferentes de designar o mesmo vector: a expresso OP e a expresso P
3

segmento orientado representativo de u, podemos escrever

- O. Se for

[A, B] outro

Note-se, porm, que esta ltima igualdade no nos habilita a escrever: A+P=B+O Habitualmente, no faz sentido falar de 'soma de dois pontos',. embora, como acabamos de ver, se possa falar da diferena entre um ponto B e um ponto A, como sendo o vector representado por [A, B1. EXERCICIO. Represente no papel um vector u # 0, com Ipis azul, e desenhe, tambm a azul, um losango [ABCD] cujos lados e cujas diagonais no tenham a direco de u. Posto isto, desenhe a vermelho a figura [A'B'C'D'] que se obtm adicionando u aos pontos da primeira (linhas auxiliares a tracejado, com lpis preto). Que conclui, comparando a figura obtida com a dada?
3
3

1 1.
3

Soma de dois vectores.

Suponhamos dados dois vec-

tores u, v e seja A um ponto qualquer do espao. Somemos A com u e seja B o resultado:

3 3

COMPENDIO DE MATEMATICA

Somemos agora B com v e seja

Ento C = ( A

+ u) + + e somos tentados a escrever v


5 ,

onde

e chamar a u

-3

+ + soma de u com + v v.
-3

Somos assim conduzidos naturalmente seguinte DEFINICAO. Dados dois vectores u e v, diz-se que um
3
3
-3

vector soma de u com v, sse existem trs pontos A, B, C tais que:

Desde logo se v que:

I. Quaisquer que sejam os vectores u e v, existe (pelo


menos) um vector que soma de u com v. Com efeito, escolhido um ponto A, existe o ponto B = A o ponto C = B tem-se:
3

+ v e, portanto, se designarmos por+ o vector AC s

++ u,
3

Vamos, agora, ver que a soma de u com v unica, isto , no depende do ponto A escolhido.

5 ,

J . SEBASTIAO E SILVA

II.

Quaisquer que sejam u e v, no existe mais de um


3

vector que seja soma de u com v. Demonstrao:

Suponhamos que s e s' so soma de u com v. Quer isto dizer que existem dois ternos de pontos (A, B, C) e (A', B', C') tais que

+ +

Queremos provar que s = s'. Dois casos se podem dar:

+ +

1.O caso. A, B, C no so colineares. Ento A, B, C definem um plano, ABC. Podemos, agora, distinguir duas hipteses:
1 ) A ' q! ABC. Tem-se ento AtB'//AB e B'C'//BC (porqu?). Logo os planos A'B'C' e ABC so paralelos e distintos (porqu?). Por sua vez AA'//BB'//CCf (porqu?). Logo AtC'//AC (porqu?) (I)

ou seja s = s'. A ' E ABC. Esta hiptese reduz-se anterior, conside2) rando um ponto A" $ ABC. Basta ento passar sucessivamente de A para A ' e de A ' para A", e aplicar a transitividade da equipolncia. B

A ='AC (porqu) T3

i,

(I)

Quando dois planos paralelos so cortados por um terceiro

...

32

COMPENDIO DE MATEMATICA

2." caso. A, B, C so colineares. Neste caso, fcil ver que:


1 ) Se u, v tm o mesmo sentido, o vector s tem a direco e o sentido dos vectores dados, e o seu comprimento igual
-3 3

soma dos comprimentos de u e v. Como sucede o mesmo


com +, tem-se s = s'. s ,
3 3

2) Se u, v tm sentidos contrrios e comprimentos diferentes, s tem a direco de u e v, o sentido do vector com maior comprimento e o seu comprimento a diferena entre o maior e o menor dos comprimentos dados. O mesmo para +, s .
3 3
3

+ +

3) Se u, v tm sentidos contrrios e o mesmo comprimento, ento

3 1 ,

J . SEBASTIAO E SILVA

4)

Se um dos vectores u, v nulo, ento s igual ao

3 3

outro vector dado e o mesmo sucede com s'.

Como no h nenhuma outra hiptese a considerar, o teorema fica demonstrado. DEFINIAO 2.


3

u v a soma de u com v, cuja existncia e unicidade acaba de ser provada.


7 3

? ,

Dados dois vectores u, v, designa-se por


3

DEFINIAO 3. Diz-se que dois vectores u, v so colineares, sse podem ser representados por segmentos orientados duma mesma recta. Equivale isto a dizer que os vectores u, v tm a mesma direco ou um deles pelo menos nulo. Segundo o que se viu na demonstrao do teorema anterior (2."caso):

+ +

A soma de dois vectores colineares pode ser obtida por meio de regras semelhantes s que so usadas para a adio de grandezas relativas - em particular, para a adio de nmeros reais.
fcil ver ainda que a adio de vectores tem as seguintes propriedades:

COMPENDIO DE MATEMATICA

III.

(u

+ + + v) + w = + + ( v + w),Vu, v, w (associatividade) u
3 3

3 3 3

Demonstrao: Seja A um ponto qualquer do espao e ponhamos B = A + u , Ento


3

C = B + v ,

D=C+w

donde

Por outro lado, u = AB e v

+ w = BD, donde
3 3

De (1) e (2) conclui-se o que se pretende. IV.


A adio tem elemento neutro (o vector nulo).

Com efeito, tem-se, como vimos:

J . SEBASTIAO E SILVA

V . Todo o vector u tem elemento simtrico.


3
3
3 3
. )

Com efeito, se u ;" O, o vector que tem o comprimento de u, l a direco de u e sentido contrrio ao de u, o simtrico de u ou seja
3

- u:

-*

u + (-u)

= (-u)

+ ++=O u

3 3 4 + Se u = 0, ento - u = 0, como fcil ver.

VI. A adio de vectores comutativa.


Demonstrao:
Dois casos se podem dar:

1." caso.

Os vectores u, v no so colineares.

++

Seja A um ponto qualquer e ponhamos

Ento A, B, C no so colineares (porqu?) e AD//BC (porqu?), donde DC//AB (porqu?). Portanto DC = AB = u (porqu?) e assim AC = u
3 +
3 3

+ v = v + u.
3 3 3

COMPENDIO DE MATEMATICA

2." caso.

como vimos, u v pode ser obtido segundo regras semelhantes regras que no dependem da s da adio de nmeros reais

+ 3 Os vectores u e v so colineares. Neste caso,

++

ordem dos vectores, isto , tem-se u v =v u. Esta demonstrao pe em evidncia o seguinte facto:
Quando os vectores u, v no so colineares
3

caso - a soma de u com v pode ser obtida pela REGRA DO PARALELOGRAMO, que se indica na fsica, para a composio de foras. Notemos, finalmente, que a conjuno das propriedades I-VI pode enunciar-se resumidamente do seguinte modo:

- e s6 nesse

TEOREMA. O conjunto de todos os vectores do espao um grupo comutativo a respeito da adio (portanto um mdulo). Daqui se deduz, desde logo: COROLARIO. Dados dois vectores u, v, existe sempre um
e um s vector x tal que v x = u. Este vector (que se chama + 3 4 3 v) igual a diferena entre u e v, e se representa por ( u
3

+ (-v).
3

Ser, portanto

isto : subtrair v de u equivale a somar a u o simtrico de v.

+=

J . SEBASTIAO E SILVA

EXERCCIOS. I. Marque no papel trs pontos A, B, C no colineares e determine os pontos assim definidos:

Relacione N B com AC e calcule BP

+ + AN.

11.

Demonstre que se tem, quaisquer que sejam os pontos

A, B e os vectores u, v:

++

(Sugesto: escreva o 1

.O

membro igual a w ) .

III. Demonstre que se tem, quaisquer que sejam os pontos A, B, C, D:

12. Translaes. Chama-se movimento de translao todo o movimento de um slido, tal que as direces das rectas ligadas ao slido se mantm invariveis durante o movimento.

Se, alm disso, o movimento rectilneo e uniforme, os pontos materiais do slido descrevem segmentos paralelos, de

COMPENDIO DE MATEMATICA

igual comprimento e orientados todos no mesmo sentido segmentos orientados equipolentes.

- isto ,

Assim, o conceito fsico de 'movimento de translao' (em que intervm a ideia de 'tempo') sugere o seguinte conceito puramente geomtrico, que se reduz a uma correspondncia entre pontos: DEFINIAO. Dado um vector u, chama-se translao definida por u a aplicao
-3

que faz corresponder a cada ponto P do espao

i ?

o ponto

P' = P

+ u do mesmo espao.
3

Desde logo se verifica o seguinte TEOREMA. O produto ( o u a resultante) de duas translaes ainda uma translao, cujo vector a soma dos vectores que definem as translaes dadas. Com efeito, sejam U, V duas translaes, definidas respectivamente pelos vectores u, v. Ento, para todo o P e 8 vir

J . SEBASTIAO E SILVA

donde, aplicando esquerda a definio de 'produto de operadores' e direita a definio de 'soma de vectores': (V
1

U) (P) = P

+ (+ + + u v),

q.e.d

Por outro lado, de notar o seguinte: Vectores diferentes definem translaes diferentes. Com efeito, seja

u =kv.

Ento,

pondo

P' = P

Pf' = P v, tem-se P"# P (porqu?) e portanto as aplicaes 'P,P e P-P" assim definidas so distintas. Posto isto, designemos por CZ(S1 o conjunto de todos os vectores do espao e por % o conjunto das translaes do espao. Ento, do teorema anterior e da nota que se lhe segue, deduz-se o seguinte:
A aplicao u -U,
3

, +. e u

Iaco definida por u um isomorfismo de

. ,

que associa a cada vector u a trans-

(9, sobre (@,.I. +)

E daqui por sua vez resulta, pelo PRINCIPIO DE ISOMORFIA:


O conjunto das translaes um grupo comutativo a respeito da multiplicao, isomorfo ao mdulo dos vectores.

Assim, a linguagem aditiva em termos de vectores pode ser traduzida integralmente na linguagem multiplicativa em termos de translaes. Em particular, ao vector O corresponde a translao I (aplicao identidade). Por outro lado:
3

A translao definida por um vector u qualquer uma aplicao biunvoca do espao 8 sobre si mesmo. A sua inversa
definida por

- u.

EXERCCIO
3
3

- I.

Sendo T a translao definida por um


3

vector a # O e sendo r uma recta com a direco de a, determine T(r). (Ver resposta no final do nmero seguinte.)

COMPENDIO DE MATEMATICA

13. Produto de um nmero real por um vector.

primento dum vector u representado habitualmente pela notao

O com-

/ u I e tambm se lhe chama 'mdulo de u'.

Quando se adopta uma


3

unidade de comprimento, costume identificar o mdulo de u com o nmero real que a sua medida relativamente unidade adoptada. Convm, desde j, registar a seguinte importante PROPRIEDADE DO MDULO DA SOMA:

Se u e v so colineares, a demonstrao reduz-se a da correspondente propriedade para nmeros reais. Se u e v no so colineares, a propriedade ( I ) , como se pode inferir da figura junta, consequncia imediata do seguinte teorema, bem conhecido, de geometria euclidiana: Qualquer lado dum tringulo menor que a soma dos outros dois.
3

Posto isto, suponhamos dados um nmero real vector u: DEFINIAO. Se


3
(Y

(Y

e um

+O

e u # 0, chama-se produto de

por u, o vector cujo comprimento o produto de

cuja direco a direco de u e cujo sentido o sentido de u ou o sentido contrrio, conforme a


3

(Y

I por
(Y

1 u 1,
Se

a = O ou u = 0, chama-se produto de cu por u o vector 0.

+=

>O
3

ou

< O.
3

J. SEBASTIAO E SILVA

O produto de a por u representa-se por cu u por definio, tem-se:

+
OU

a . U. Assim,

quaisquer que sejam

ae

IR e u e 9.

-2 u I f---+----'

4 -+ U

Na figura junta so indicados os produtos dos nmeros

por um vector u. Ein particular, tem-se:

-3

1.u = u

(-1)

.u = -u

, para todo o u 6 % .

fcil estabelecer as seguintes propriedades:

chamadas, respectivamente, distributividade esquerda, distributividade direita e associatividade.

COMPENDIO DE MATEMATICA

Estas so consequncias simples da definio, excepto a propriedade li, no caso em que u e v no so colineares.
3
3

Tomemos, neste caso, um ponto O qualquer do espao e seja

donde

Seja ainda
(1

OA' =
a

OB' = o c ( ~

+
V)

Suponhamos

> O.

Ento
= a (porqu?)

1 O A ' l - 1 OB'l
IOAI
OA' = OA

IOBI
,

B' = B (porqu?)

J . SEBASTIAO E SILVA

Logo, aplicando o recproco do TEOREMA DE THALES, vem A'B'

// AB e

I A'B' /

/AB I

Alm disso, AB e A'B' Logo


---3

tm o mesmo sentido (porqu?).

(2) Mas OB' = OA'

A'B' = a-AB =

aV

* + A'B'.

Portanto, atendendo a (1) e (2),

A demonstrao anloga no caso em que Se


a

= 0, tem-se trivialmente O(v

< 0.
+

+ v)
3

= 0.u

+ + 0.v = 0.
3

Assim, em resumo: Alm da operao definida no conjunto % (operao binria interna), apresenta-se a operao = , que, a cada par ordenado (a, u), tal que aelR e u

+,

e um s elemento a u de 9. respeito da primeira, 9 um A grupo comutativo, portanto um mdulo. A segunda operao tem as propriedades 1-111 e ainda a propriedade I u = u, V u e 9. Exprime-se a conjuno de todos estes factos dizendo que g um espao vectorial sobre o corpo IR, ou um espao vectoria1 real. Mas note-se: o terno ( , .) no um anel, visto que a operao no interna, quer dizer, no uma aplicao mas sim uma aplicao de IR x em , de g2em g , tendo-se IR ct C29 .

g, faz

corresponder um

-+

g, +

Dum modo geral: Diz-se que um conjunto S de elementos u, v, ... quaisquer um espao vectorial sobre um dado corpo K , sse so definidas duas operaes e tais que:

+ .

COMPENDIO DE MATEMATICA

S um grupo comutativo a respeito da adio ( + ) . associa a cada par (a, u) de elementos, a de K e u de S, um elemento au de S, de tal modo que: 1)

2) A operao

b)u = au (a a(bu) = (ab)u

+ bu
e

, a(u I. u = u

+ v) = au + av,
,
Va, b
E

K; u, v e S

Nestas condies, os elementos de S chamam-se vectores e os elementos de K chamam-se escalares. Veremos adiante exemplos de espaos vectoriais diferentes de 3. EXERCICIOS I. Marque no papel 4 pontos, 0, A, B, C, no colineares 3 a 3 (a azul), e trace os lados dum tringulo [ABC] (a azul). Em seguida desenhe a vermelho o tringulo cujos vrtices so:

11.

Exerccio anlogo, substituindo 3 por -5/4.

RESPOSTA AO EXERCICIO DO NMERO ANTERIOR: T(r) = r.

14. Homotetias. Comece por resolver o exerccio anterior. Feito isto, suponhamos dados em geral um ponto O e um nmero real r f O. Seja agora P um ponto qualquer do espao e ponhamos:
P'= O

+r

(P-O)

J . SEBASTIAO E SILVA

Tem-se, pois:

OP' = r

. OP

Se r > O e P f 0, ento P' o ponto da semi-recta OP, tal que ( OP' I = r ( OP 1. Se r < O e P i O, a nica diferena que P' pertence a semi-recta oposta. Se P = 0, tem-se P' = P = 0.

DEFINIAO. Chama-se homotetia de centro O e razo r a aplicao que faz corresponder a cada ponto P de o ponto P' = O

+r

(P-O)

A homotetia chama-se directa ou inversa, conforme r ou r < 0 .

>O

Na figura junta apresentam-se os transformados do tringulo [ABC] pelas homotetias de razes 2 e - 2/3. Em qualquer caso, uma homotetia uma transformao de semelhana: uma ampliao se I r 1 > 1, uma reduo se 1 r 1 < 1

COMPENDIO DE MATEMATICA

e uma igualdade se I r 1 = 1. Assim, a homottica duma figura sempre uma figura semelhante a Em particular, se r = I a homotetia reduz-se a I e se r = -1 a homotetia a simetria de centro 0. Uma mquina de projeco exemplo intuitivo de um aparelho que efectua uma homotetia sobre a figura que projectada no alvo, ampliando-a consideravelmente. A propriedade III enunciada no nmero anterior mostra-nos imediatamente que:

9.

O produto de duas homotetias de centro O ainda uma homotetia de centro 0, cuja razo o produto das razes das primeiras.

E, como duas homotetias de razes r e r, distintas so , aplicaes distintas, segue-se que:


O conjunto das homotetias de centro O um grupo multiplicativo isomorfo ao grupo multiplicativo dos nmeros reais diferentes de zero.

Como corolrio:

A homotetia de centro O e razo r uma aplicao biunvoca do espao 8 sobre si mesmo. A sua inversa a homotetia de centro O e razo l / r .
EXERCICIOS:
I. Sendo A e B dois pontos distintos, identifique os conjuntos de pontos P que verificam as seguintes condies:

J . SEBASTIAO E SILVA

II. Sendo A, B, C trs pontos no colineares, identifique os conjuntos de pontos definidos pelas seguintes condies em P,
pondo u = B-A
7

e v = C-A:

e)
f )

3% y e l R : P = A + x u
3

+ yv,
r)

r)

O<X<I
O-<x61, O < y <I

3x, y e I R : P = A + x u +

yv,

NOTA: Para simplificar, substituimos o sinal A por vrgulas. (Ver solues no final do nmero seguinte.)

15. Vectures colineares e vectores complanares.

Como

j vimos atrs, diz-se que dois vectores so colineares, sse so

representveis por segmentos orientados duma mesma recta r. Tambm se diz neste caso que so vectores da recta r (ou de qualquer outra recta paralela a r ) . Consideremos dois vectores u, e. Da definio de 'produto dum nmero real a por e' resulta imediatamente o seguinte:
3

(1

u = ae

+u
-3

colinear com e

Por outro lado: TEOREMA 1.


3

Se e $- 0, ento, para todo o vector u colinear


3
r)

r)

com e, existe um e um s nmero real a tal que u = a e.

COMPENDIO DE MATEMATICA

A demonstrao bem simples. Se u, e so colineares e -3 + e # O, o nmero a que satisfaz referida condio ser

conforme u tem o sentido de e, o sentido de - e ou igual a O. Portanto, atendendo a (1): COROLARIO. Se e # 0, a frmula u = a e estabelece uma
3
3 3
3

correspondncia biunvoca. a

os vectores u colineares com e. Simbolicamente:


3

.+

u entre os nmeros reais a e

u colinear com e A e # O ++3l a e IR: u = a e


3 - 3 4

DEFINIO. Diz-se que trs vectores u, v, w so complanares, sse podem ser representados por segmentos orientados e'+_) dum mesmo plano n. Neste caso tambm se diz que u, v, w so vectores do plano a (ou de qualquer outro plano paralelo a r) (I). Consideremos trs vectores u, e, f. Das definies de 'soma de dois vectores' e de 'produto de um escalar por um vector', resulta o seguinte:
3 3 3

(2) u

= ae

+ b+f

u complanar com e e f.

(I) E claro que os vectores dum plano n no so elementos de n: os elementos do plano 7 so pontos.

3. SEBASTIAO E SILVA

Por outro lado: TEOREMA 2. Se os vectores e, f no so colineares, ento,


3 3
3

3 3

para todo o vector u complanar com e e f, existe um e um s par ordenado (a, b) de nmeros reais tal que

Demonstrao: Suponhamos verificada a hiptese e seja e = OA, f = OB,


3
3

u = OP. Ento os pontos 0, A, B no so colineares e P e AOB. Seja P' a projeco de P sobre OA paralelamente a OB e P" a projeco de P sobre OB paralelamente a OA. Ento OP'

r ' colinear com OA = e e 'OP

como e, f no so nulos (porqu?), existem, pelo teorema 1, dois nmeros reais a, b tais que

3 3

colinear com OB = f. Portanto,

Alm disso OP = OP'

--+

+ +,, OP

e OP = u. Logo

Reciprocamente, seja (a', tal que


3

b') um par de nmeros reais,


3

u = a'e

+ b'f

COMPENDIO DE MATEMATICA
Ento vem a e (a

+ b fa = a' e + b' + f,
3

donde

- a')e3 + (b - b')f3 = -i (porqu?) O

Se fosse a # a', seria a

- a' i e portanto O -

b - b'a e=- -f a' a


3

Deste modo e seria colinear com f, o que contra a hiptese. Analogamente se prova que no pode ser b # b'. Logo tem-se necessariamente a = a' e b = b', o que termina a demonstrao. Dum modo geral, chama-se combinao linear de dois vectores u, v toda a expresso da forma a u b v, em que a, b so nmeros reais (coeficientes da combinao linear). Posto isto, o teorema 2 pode assim enunciar-se:

++

e e f pode exprimir-se, e de um s modo, como combinao linear de e e f.


3
i,

'Se e e f no so colineares, todo o vector u complanar com


3

Deste teorema deduz-se, atendendo a (2): COROLARIO. Se e, f so vectores no colineares dum plano a a frmula u = a e , biunvoca u -(a, (a, b) E IR2.
3
+ +

++

+ bf
++

define uma correspondncia


i

b ) entre os vectores u do plano

e os pares

Diz-se ento que o par (e, f ) uma base do conjunto dos vectores do plano, e que os nmeros a, b so as componentes do vector u nessa base: respectivamente a 7." componente e a 2.a componente.

+=

J. SEBASTIAO E SILVA

Consideremos, agora, dois vectores do plano n:

Ento

+
u

+ v = (a + c)e + ( b + d)f
3
3 3

. $

(porqu?)
3

Assim, a adio de dois vectores u, v traduz-se pela adio ordenada das componentes de u e v. Simbolicamente:
3

Seja agora r um nmero real qualquer. Ento de (3) vem

' e

r u = (ra)e Assim
3

+ (rb)f
3

(porqu?)

u ,a +( , DEFINIAO.
3

b)

+ ru-(ra,

rb)
3

, V r e IR

Diz-se que um vector u unitrio sse 1 u I a


-3 3
r)

unidade de comprimento. Diz-se que uma base (u, v) ortonormal, sse os vectores u, v so unitrios e perpendiculares entre si. Os resultados anteriores podem estender-se a vectores do espao. TEOREMA 3. Se e, f , g so trs vectores no complanares,
3 3 3 3

ento, para todo o vector u do espao, existe um e um s terno (a, b, c) e IR8 tal que

COMPENDIO DE MATEMATICA

Deixamos a demonstrao ao cuidado do leitor, apresentando, para sugesto, a figura junta em que supomos OA = e,

'e

OB=f, O C = g e OP=u. Por conseguinte:

+-+

+ + + Se e, f, g no so complanares, a frmula (4) estabelece


uma correspondncia biunivoca u -(a, do espao e os elementos de IR8.
3

b, c) entre os vectores

Diz-se ento que o terno ordenado (u, v, w ) uma base do espao vectoriai 9 e que os nmeros a, b, c so os componentes de u nesta base. Alm disso:
3

+++

A adio de vectores traduz-se na adio ordenada dos componentes e analogamente para a multiplicao dum nmero real por um vector.
EXERCICIOS:
I. Considere os vectores representados como se segue, rela-

( tivamente a uma base ;

f ) do

plano:

J . SEBASTIAO E SILVA

a) Indique, entre estes, os pares de vectores colineares e indique um par ordenado que possa ser tomado para nova base. b ) Determine as componentes (x, y ) e (x', y') de e e f na nova base. [Sugesto: comece por achar as componentes de
3

. )

e e f na base

-3

,: i)]. (
vectores representados pelos ternos

II. Considere os ordenados

relativamente a uma base (e, f, g) e designe-os respectivamente a 3 3 3 por P, q. r, S. 3 3 + i y a) Exprima as componentes de u = x p - r como funes de x, y e determine-as em seguida para x = 1/2, y = 3. b ) Indique entre os vectores dados os pares de vectores colineares, os ternos de vectores complanares e um terno ordenado que possa ser tomado para nova base. [Sugesto: para saber se trs vectores u, v, w so complanares, considere por exemplo a frmula u = x v y w, traduza-a num sistema de trs equaes lineares em x, y utilizando as componentes dos vectores e veja se essas equaes so compatveis]. (Ver solues no final do n." 15.)
3 3

3 3 3

SOLU6ES DOS EXERCICIOS DO NMERO ANTERIOR:

I. a)

AB;

b ) semi-recta AC oposta a AB; c) AB; d) AB.

II. a) recta que passa por A+3u e paralela a v; b) ABC;


c) ABC; d) BC; e) faixa entre duas paralelas; f ) paralelogramo [ABCD], com D = A

+ u + v;
3

g) tringulo [ABC].

NOTA. Os factos anteriores sugerem as seguintes definies em IR (sendo n um nmero natural qualquer):

COMPENDIO DE MATEMATICA

1)

Se x = (x,,

..., x,)

&IRne y = (y,.,
...r

..., y,)

eIRn,ento

x 2)

+ y = (x, + Y,,
.. ., x,)
ff

X"

+ Y,)
IR, ento

Se x = (x,,,

e IRn e

ae

x = ( axl,

. . .,

ff

X) ,

Por exemplo, com n = 4:

(21 0, -1,

1/2) (O, 2, 1, 1/2) = (2, 2, o, 0) 4 . (2,0, - 1 , 1 / 2 ) = ( 8 , 0 , -4,2)

Posto isto, fcil ver que IRn um espao vectorial sobre IR, relativamente s operaes definidas (cf. n." 13, final). ainda de notar que o conjunto dos vectores dum plano ou o conjunto dos vectores duma recta so espaos vectoriais, relativamente s operaes definidas de 'soma' e de 'produto por um nmero real'. Dizem-se subespaos vectoriais de 9 .

16. Referenciais cartesianos em forma vectorial.

deremos um ponto O dum plano T e dois vectores e, f no colineares desse plano. Ento fcil ver que: Para todo o ponto P de T existe um e um s par (x, y) E IR2 tal que

Consi-

Basta notar que P O complanar com e, f e aplicar o teorema 2 do nmero anterior. Por conseguinte:

3 3

A frmula (1 ) estabelece uma correspondncia biunvoca P-(x, y) entre os pontos P de T e os pares (x, y) E IR2.

J . SEBASTIAO E SILVA

Diz-se ento que o terno ordenado (0, e, f ) um referencial cartesiano do plano n e que os nmeros x, y so as coordenadas de P nesse referencial: respectivamente a 1." coordenada (ou abcissa) e a 2.=coordenada (ou ordenada). , Em vez do terno (0, e f ) poderamos utilizar o terno de + 3 3 +pontos (O, A, B) tal que OA = e, O6 = f. Ento a frmula (2) assume o aspecto:
3 3

4 4

O referencial (0, e, f) diz-se ortonormal, sse os vectores e, f so unitrios e perpendiculares entre si. Desde logo se v que este conceito equivale ao de 'referencial cartesiano ortogonal e monomtrico' a que nos temos referido em geometria analtica: os eixos coordenados so agora as rectas que passam por O e
3

++

++

tm a direco e o sentido, respectivamente, de e e de f; a uniI > dade de comprimento j e =

/ 7 1.

Importa ainda observar o seguinte: Uma vez adoptado um ponto O do plano para origem (ou ponto de referncia), a frmula u = P pondncia biunvoca P4u
3

- O estabelece uma corres3

entre os pontos P e os vectores u

do plano. Se alm disso for dada uma base (e, f), as coordenadas de P coincidem, respectivamente, com as componentes do vector u.
3

COMPENDIO DE MATEMATICA

Mas bvio que, mudando 0, muda o vector u associado ao ponto P chamado vector de posio de P (relativamente a O).

As consideraes deste nmero estendem-se obviamente ao espao tridimensional 8.

I. Sejam A e u, respectivamente, um ponto e um vector do plano, tais que

num referencial cartesiano. a) Determine as coordenadas dos + 1 3 4 pontos M = A 2u, N = A i-- u e as componentes do vector MN. 2 b) Ache a equao cartesiana da recta de equao vectorial

P=A

+ t + [Sugesto: u

Pd(x,

y), x =

.. .,

y = . ..]

II. Dados num referencial cartesiano os pontos


Ac,(O,O)

C -(-20)

, Dc,(-4,2) AC//BD.

verifique quais das proposies so verdadeiras: AB//CD,

III. Considere no espao, em relao a um referencial cartesiano:


A4(0,0#0)
r

B 4(-I,2,O) D (O, -1,

C-(2,3,

-11,

1)

a) Verifique se D e ABC, averiguando se AB, AC, AD so complanares. b ) Escreva a equao cartesiana do plano de equao vectorial P = A s(B-A) t(C -A ).

+ + +

J . SEBASTIAO E SILVA

(Sugesto: elimine s e t entre as trs equaes paramtricas a que esta d lugar, passando s coordenadas.)

SOLUES DOS EXERCICIOS DO NUMERO ANTERIOR:

++ + 3 + + + + 3 I. a) (u, V ) , (u, w); b) e = x u y w, f = x'u donde x = 1/3, y = 5/9, x' = O, y' = 1/3.

+ y'w,
3

CAPITULO II

NMEROS COMPLEXOS E M FORMA TRIGONOMTRICA

1. Representao geomtrica dos nmeros complexos. Consideremos um nmero complexo


z =x

+ iy

(com x, y

IR)

e suponhamos fixado num plano um referencial cartesiano ortogonal. Ento, como sabido, o nmero z representado pelo ponto P do plano, cuja abcissa x e cuja ordenada y.

Ora, segundo a observao final do nmero anterior, o nmero z pode igualmente ser representado pelo vector do plano, cujas componentes so, ordenadamente, x e y.

J . SEBASTIAO E SILVA

Vamos desde j reconhecer uma das vantagens desta representao. Consideremos um segundo nmero complexo
Z'

X'

+ iy'

(com

X'

y'

IR)

'V
X'

Ento, como sabido, z+z'=(x+x')+i(y+y'), z-(x, y) A z'*(x', y')


Z

isto :

+ ZJX '

+ x'. y + y')
n.O

donde, atendendo ao que foi estabelecido no Cap. I,

15:

1. O vector correspondente soma de dois nmeros complexos a soma dos vectores correspondentes a esses nmeros.
Visto que a correspondncia estabelecida entre nmeros complexos e vectores do plano bijectiva, podemos afirmar:
O grupo aditivo dos nmeros complexos isomorfo ao grupo aditivo dos vectores do plano.

COMPENDIO DE MATEMATICA

Por outro lado, se a um nmero real, tem-se:

az = (ax)

+ i(ay),

isto :

donde:

II. O vector correspondente ao produto dum nmero real a por um nmero complexo z o produto de a pelo vector correspondente a z.
A conjuno deste facto com o anterior exprime-se dizendo:

O conjunto C dos nmeros complexos um espao vectoria1 sobre IR, isomorfo ao espao vectorial constitudo pelos vectores do plano.
Mas note-se que C um corpo, onde portanto definido o produto de dois elementos quaisquer de C, como sendo ainda um elemento de C (operao interna), o que j no sucede com os vectores do plano no sentido usual.

SOLU6ES DOS EXERCICIOS DO NMERO ANTERIOR:

II. AC//BD.

III. a) D

&

ABC;

b) 2x+y+7z=O.

2. Representao trigonomtrica dos nmeros complexos. Consideremos de novo o nmero complexo

J . SEBASTIAO E SILVA

representado pelo ponto P do plano cartesiano.

Chama-se mdulo do nmero z, e representa-se por ( z


3

1,

mdulo do vector OP correspondente, ou seja a distncia do ponto P, representativo de z, ao ponto 0, origem dos eixos (I). Na figura, o mdulo de z designado por r. Ser, pois

Imediatamente se reconhece que

O que se disse atrs sobre o mdulo da soma de dois vectores permite tambm reconhecer que

Por outro lado, supondo z # 0, chama-se argumento de z a qualquer medida a, em radianos, do ngulo XOP, cujo primeiro lado o semi-eixo positivo ox e cujo segundo lado a semi-recta OP. Desde logo se v que:
Como j sabemos, em geometria analtica identificam-se os compri(I) mentos (ou distncias) com os nmeros reais que so a* suas medidas.

COMPENDIO DE MATEMATICA

U m nmero complexo z =k O tem uma infinidade de argumentos, que diferem todos entre s i por mltiplos inteiros de 2 r. Chama-se argumento principal de z o argumento a de z tal que

(Se z = 0, diz-se que z tem argumento arbitrrio). Posto isto, deduz-se imediatamente da figura anterior que

e, como z = x

+ iy,

tem-se

z = r (cos

+ i sen

a)

7
+

A expresso r(cos a i sen a) chamada forma trigonomtrica do nmero complexo z, enquanto a expresso x iy chamada forma algbrica de z. Para comodidade de escrita, usaremos daqui por diante o smbolo E(a) como abreviatura da expresso cos a i sen a. Assim, a frmula (1) passa a escrever-se

Em particular, se I z I = 1 (isto , se r = 1), tem-se z = E(a). Deste modo, a expresso geral dos nmeros complexos de mdulo 1 ser E(a) cos
a +

i sen

Recordemos o critrio de igualdade de dois nmeros complexos na forma algbrica: x+iy=x'+iy'@x=x'

A y=y'

(x, y, x',

Y'E

IR)

J. SEBASTIAO E SILVA

Consideremos, agora, dois nmeros complexos no nulos na forma trigonomtrica

bvio que

Mas, como vimos h pouco, um nmero complexo tem uma infinidade de argumentos e no podemos afirmar: z = z' a = a', mas apenas:

(3)

zrz'+3neZ:

- a'=2nn

(se z # O )

com

Exprime-se esta ltima condio dizendo que a' mdulo 2~ e escrevendo a ~ a (mod 2 7 ) '

congruente

Reciprocamente, bvio que a conjuno de (2) com (3) implica z = z'. Assim, o critrio de igualdade de dois nmeros complexos no nulos na forma trigonomtrica ser:

r E(a) = r' E(a')

++ r = r' A

r a' (mod 2 a )

Em linguagem comum:
Dois nmeros complexos no nulos so iguais, se e s se tm mdulos iguais e os seus argumentos diferem por um mltiplo inteiro de 2 7.

COMPENDIO DE MATEMATICA

EXERCICIOS:

I.

Represente graficamente os seguintes nmeros complexos

e ache as respectivas formas trigonomtricas.

11. Represente sob forma algbrica os seguintes nmeros complexos:


cos-+i
X

sen-

2E

NOTA. Tambm se pode chamar argumento dum nmero complexo ao prprio ngulo cuja medida dada em radianos e que pode exprimir-se noutras unidades. Por exemplo, o primeiro nmero do exemplo anterior poder tambm escrever-se:

cos 60"

+ i sen 60".

mas claro que, neste caso, se trata de funes trigonomtricas de ngulo (ou arco) e no de funes trigonomtricas de nmeros reais.

S. SEBASTIAO

E SILVA

3. Interpretao geomtrica da multiplicao de nmeros complexos. Comecemos pelo seguinte caso particular:
Produto do nmero i por um nmero complexo qualquer,
z = x

+ iy

(x, y

IR).

Basta considerar o caso em que z #O. Temos:

Seja r = ( z 1, a o argumento principal de z e a o argumento ' principal de iz. Vir, ento: cos ' = a donde

- -- - sen r
(I.'=a: +
X

, sen a/ = -= cos a,

-- (mod 2 r )
2

Por conseguinte: a operao z-iz (multiplicao por i ) traduz-se geometricamente pela rotao de 90" no sentido positivo. (No caso da figura o sentido positivo , como habitualmente, o sentido anti-horrio.)

COMPENDI0 DE MATEMATICA

Podemos, agora, passar ao caso geral: Produto de um nmero complexo z = x + iy por outro nmero complexo, w = u iv ( V x, y, u, v e IR).

Basta considerar o caso em que z # O e w # O. Suponhamos que se tem, na forma trigonomtrica:

(a,

/3 argumentos principais)

Sejam M, P, P', Q os pontos que representam z, w, zw, iw, respectivamente, e ponhamos

Ento v resulta de u por uma rotao de 90" no sentido positivo. Ora zw = ( x

+ iy)

w = xw

+ y(iw)

(porqu?)

.. i SEBASTIAO

E SILVA

Logo, segundo o estabelecido no n." 1

Alm disso

Consideremos agora o referencial cujo 1." eixo a recta OP orientada de O para P, cujo 2." eixo a recta OQ orientada de O para Q e cuja unidade de comprimento igual do primeiro referencial. Ento de (2) e (3) resulta que a abcissa e a ordenada de P' no novo referencial so, respectivamente,

donde ou seja

dp IOP'I=Y'(X~)~( ~ p ) ~ =x2+y2=pr +
Izw( = rp
a'

Por outro lado, se for orientado POP', tem-se


COS a'

a medida principal do ngulo

x = X P = -- cos TP

, sen

0'

YP = -TP

y - - = sen

donde Ora
(4).

XOP' = XOP

+ POP'

(ngulos orientados)

Como o segundo referencial est orientado no mesmo sentido que o primeiro (sentido anti-horrio na figura), deduz-se de (4) que um dos argumentos de zw medida do ngulo orientado XP' - ser o nmero

COMPENDIO DE MATEMATICA

Assim, em concluso:

(5)

zw = (r

p)

E (a

+ P)

Comparando (1) e (5), chegamos seguinte REGRA. O produto de dois nmeros complexos tem por mdulo o produto dos mdulos dos factores e por argumento (entre outros) a soma dos argumentos dos factores. !i claro que esta regra tambm vlida se um dos factores O (argumento arbitrrio). Em particular, mantm-se a PROPRIEDADE DO MDULO DO PRODUTO:

que j se verificava em IR, tal como a PROPRIEDADE DO MODULO DA SOMA (n." 2). Geometricamente, vimos que se passa do vector OP, repre3

sentativo de w, para o vector OP', representativo de zw, efectuando a rotao de amplitude a e em seguida a homotetia de razo r (ou vice-versa). Assim:

A aplicao w zw (multiplicao pelo nmero complexo z) traduz-se por uma transformao de semelhana: produto da rotao de amplitude a (argumento de z) pela homotetia de razo r (mdulo de z).
EXERCICIOS I. Desenhe o tringulo cujos vrtices so as imagens dos nmeros

e, em seguida, o tringulo cujos vrtices correspondem aos proi) (dados a azul e resultados dutos destes nmeros por i 2 ( 1 a vermelho).

3. SEBASTIAO E SILVA

11. Mostre que os nmeros complexos z tais que ( z 1 = 1 formam um grupo multiplicativo isomorfo ao grupo multiplicativo das rotaes do plano e ao grupo aditivo das classes de congruncia de nmeros reais para o mdulo 2 T .

111.

Mostre que os conjuntos

{ 1,

i,

- 1,

-i)

so subgrupos multiplicativos do grupo anterior. (Sugesto: nestes trs exerccios convm usar a forma trigonomtrica.) NOTA IMPORTANTE. 0 s factos anteriores mostram que os nmeros complexos podem ser interpretados como operadores sobre vectores do plano. Nesta ordem de ideias, o smbolo E(a) representa o operador rotao de amplitude ar. Em particular, o nmero i a rotao de 90" (no sentido positivo) e portanto o = nmero i2 i i a rotao de 180":

Assim obtemos uma interpretao intuitiva da frmula:

COMPENDIO DE MATEMATICA

4. Diviso de nme~ros comiplexos na forma trigonomtrica. Como j sabido, dados dois nmeros complexos z,, z,, sendo z, # O existe um e um s nmero complexo C tal que

Este nmero Ponhamos

o quociente de z, por z, ou seja

C = z,/z,.

Ento, segundo a regra da multiplicao, (1) equivalia

donde, aplicando o critrio de igualdade (n." 2):

(2)
ou seja

r2p = ri

(YZ

ri
= -r2

a i

(mod 2 T )

(YI

- a, (mod 2 a )

Por conseguinte:

isto :

REGRA. O quociente de z, por z, (supondo z, # 0) tem por mdulo o quociente de I z, I por I Z, e por argumento a diferena entre um argumento de z, e um argumento de z,.

J . SEBASTIAO E SILVA

5. Potncias de nmeros complexos na forma trigonomtrica. A regra da multiplicao estabelecida no n." 3 estende-se imediatamente a produtos de mais de dois factores. Assim, se forem dados n nmeros

tem-se, manifestamente:
Z Z , ,

... Z, = (r, rz ... r,

) E(ai aZ... on )

ou seja

Em particular, os factores podem ser todos iguais:

Designemo-los por z e seja z = r E(o). Ento vir

6. Radiciao no corpo complexo. Suponhamos que dado um nmero complexo z i- 0 e que se procura 5 tal que

Ponhamos

z = r E(a)

= p E(?)

Ento, segundo a regra anterior, tem-se:

C O M P E N D I O D E MATEMATICA

donde, pelo critrio de igualdade, pn=z.++ Ora


pn

pn=rr\ncp-n.

(mod 2 a )

=r

++

$7 (em

IR+)

Por outro lado: n ~ = a (mod 2 n ) + a k ~ Z :n ( p = a + 2 k a

Por conseguinte, as solues da equao (1) em todos os nmeros dados pela frmula

sero

com k

0 s valores possveis de k sero pois 0, 1, +. 2, -f 3,. . . no so todos distintos. Mas os valores assim obtidos para Com efeito, consideremos dois inteiros relativos k,, k, e seja

Ento
Ql

- Qz = k,- n k2

2a

(92 mltiplo inteiro de 2 a, sse k, Isto mostra que (p1 mltiplo inteiro de n. Quer dizer:

- k2

Q,

Q2

(mod 2 a) @ k, I kz (mod n)

J . SEBASTIAO E SILVA

Por conseguinte, se forem g1 e fz os valores de g correspondentes a k, e k, segundo (2), ser

Ora, qualquer inteiro relativo k congruente com um dos nmeros


O, 1 .

- 1

(mod n )

e estes no congruentes entre si (mdulo n). Logo:


A equao (1) tem exactamente n solues. Essas solues (chamadas 'razes de ndice n de z') so dadas pela frmula

atribuindo a k todos os valores inteiros de O a n - I . Se z = 0, claro que z tem uma nica raiz de ndice n, que 0. Fica assim confirmado o que j tnhamos anunciado no 6.0 ano, quanto a existncia e nmero de razes de ndice n de um nmero complexo. EXERCICIOS:
I. Determine as razes quadradas de i, primeiro na forma trigonomtrica e depois na forma algbrica, e represente-as graficamente.

II. Idem para as razes cbicas de

- 8.

III. Idem para as razes sextas e razes oitavas de 1. i fi), primeiro IV. Determine as razes cbicas de 4(1 na forma trigonomtrica e depois na forma algbrica, com a

COMPENDIO DE MATEMATICA

aproximao que lhe permitirem as tbuas de funes naturais. Faa a sua representao grfica. 3+4 i V. Idem para as razes cbicas de - - . -

7.
a

Frmulas trigonomtricas de adio de ngulos.

Sejam

p as medidas em radianos de dois ngulos quaisquer.


Tem-se ento, como vimos,

Ora E(a) = cos e E(a Ponhamos


a

+ i sen

E(@) = cos

+ i sen

+ p) = cos ( a + /3) + i sen + P)


(a

(2)

x=coa

, y=sena

, x'=cosp

yr=Senp i. Ento

Ora ( x de (1) vem cos (a donde cos (a

+ iy) (x' + iy')

= (xx'

- yy')

+ (xy' + x'y)

+ p ) + i sen (a + /3) = (XX' - yy') + (xy' + x'y)

+ p ) = xx'
cos ( a sen ( a

- yy'

, sen ( a

+ p ) = xy' + x'y

ou seja, atendendo a (2)

+ p ) = cos + p) = sen

a
(Y

cos /3 cos p

+ sen /3 cos

- sen a sen /3
a

3. SEBASTIAO E SILVA

p em-p,

Estas so as frmulas do seno e do coseno da soma. Mudando destas se deduzem facilmente as frmulas do seno e do coseno da diferenca: cos (a sen ( a

- p) - p)

= cos a cos = sen a cos

p sen a sen p - sen P cos


=

lembrando que cos (

- p ) = cos p e sen ( - p )

- sen p.

Por outro lado, tem-se

tang (a

+ p) =

sen (a cos
(a!

+ p) + p)

- sen cos

a
(Y

cos cos

p -- sen p cos B - sen /3 sen

a
a

cos

Daqui, dividindo ambos os termos da ltima fraco por cos p, deduz-se facilmente a frmula da tangente da soma:

(2)

tang ( a

+ B) = 1 tang + tang pp - tang tang


a
--

a.

Em particular pode ser a = p e portanto Assim,. de (2) deduzem-se as frmulas:


cos 2 a = cos2a sen2a, sen 2 (Y = 2 sen a cos a,

+ p = 2 a.

tang 2 a =

2 tang a 1 tang2a

que, como as anteriores, convm decorar. claro que, em vez das letras a, p, podemos usar nestas frmulas outras quaisquer, visto que se trata de variveis aparentes (submetidas ao quantificador universal).

COMPENDIO DE MATEMATICA

8. Mltiplos de ngulos e potncias de senos e cosenos. Podemos obter frmulas gerais para sen n a: e cos n a, com n E IN, utilizando a identidade

e a frmula do binmio aplicada ao desenvolvimento


= (cos
tu

+i

sen a)"

Por exemplo, tem-se

+ 3 i2 cos sen2a + iS sen3a: donde, lembrando que E(3 x ) = cos 3 + i sen 3 a :


a a

E(3 a ) = (cos a i sen a)' = cos3a: 3 i C O S ~ ~ sen

+ +

cos 3 a: = cos3a: sen 3 a = 3 sen

-3
a!

sen2a cos cos2a sen3cu

Em muitos problemas, o que interessa no exprimir os senos e os cosenos de mltiplos de ngulos a partir de potncias de senos e cosenos mas exactamente o inverso. Para isso notemos que

yx,lR

{E(x) E(-x)

= c o s x + i sen x = cos x i sen x

visto que cos ( -x) = cos x, sen ( - x ) = sen x. Daqui, por adio e por subtraco ordenada, resultam as frmulas:

a que podemos chamar FORMULAS DE EULER, pelas razes que sero indicadas adiante.

J . SEBASTIAO E SILVA

Destas se deduz, por exemplo:

ou seja

G
c0s2x =

+ cos 2 x
E(0)

li)

senzx= - - [ E ( 2 x ) 4

-2

+ E(-2x)]

ou seja

III)

cos3x = -

1 [E(3 x ) i 3 E(x) 8

+ 3 E(-x) + E ( - 3

x)]

ou seja c0s3x = e assim por diante.


COS

3x

+3
4

COS

x
I

78

COMPENDIO DE MATEMATICA

NOTA. Em matemtica superior, a expresso E(x) identificada com eiX, que tambm se escreve exp(ix) (ler 'exponencial de ix'). Assim, as frmulas (1) assumem a forma
, i x

eix

2i

COS X

sen x =

e com este aspecto que so habitualmente chamadas 'frmulas de Euler', em homenagem ao grande matemtico a quem so atribudas.

9. Frmulas de transformao logartmica. Derivadas das funes circulares. Sobre este assunto, ver o compndio de trigonometria adoptado. Quanto a frmulas de bisseco, basta registar as seguintes, que se deduzem imediatamente das anteriores:
x 1 c0sZ- =

+ cos x
--

x 1 sen?- =

- COS
2

2
x 1 tga - = 2 1

- cos x + cos x

CAPITULO 111

TRANSFORMAES AFINS E APLICAES LINEARES

1. Transformaes de semelhana e isometrias. Sendo r um nmero real positivo, chama-se transformao de semelhana de razo r (ou apenas semelhana de razo r) toda a aplicao biunvoca do espao 8 sobre si mesmo, que transforma cada ,'A ' cujo comsegmento de recta AB num segmento de rectaB primento o produto de r pelo comprimento do primeiro, isto , tal que

IA'B'I = rlABI A transformao de semelhana chama-se uma ampliao, uma reduo ou uma isometria, conforme r > I , r < I ou r = 1. Por exemplo: a) Toda a homotetia de razo p (nmero real, positivo ou negativo) uma semelhana de razo 1 p 1. b) Toda a rranslao uma isometria.

J . SEBASTIAO E SILVA

Estes dois factos podem ser facilmente demonstrados, como exerccios de aplicao do clculo vectorial. Considerem-se trs pontos A, B, M e os respectivos transformados A', B', M'. Por exemplo, na homotetia de centro O e razo p, tem-se

Trata-se de provar: 1.O M e

AB ++ ' s;B M 'A '

2." IA'B'I = J p l .1 ABJ

Para as translaes, a demonstrao mais fcil.


tambm fcil de reconhecer que:

1. O produto de duas semelhanas de razes r e s uma semelhana de razo r S. Por outro lado:

II. A aplicao inversa de uma semelhana de razo r uma semelhana de razo l / r .


Demonstrao: Seja @ uma semelhana de razo r e consideremos dois pontos P e Q quaisquer do espao. Trata-se de provar que e-' transforma o segmento P Q num segmento PQtal que ' ' IP'Q'I = l / r . ] P Q l . Seja pois P' = @-l(P), Q' = @-l(Q). Ento P = @(P'), Q = @(Q') e portanto

@(m)
=

I PQ I = r / P'Q' /

(porqu)

donde

Das propriedades I e II resulta imediatamente que: As transformaes de semelhana de 8 formam u m grupo multiplicativo. Este chamado o grupo das semelhanas (ou grupo euclidiano) .

COMPENDIO DE MATEMATICA

Consideremos, agora, uma semelhana qualquer O de razo r e seja @ uma homoteta de razo l / r (de centro arbitrrio). Se efectuarmos sucessivamente O e e, a aplicao resultante

ser uma semelhana de razo r tria. Ora de (1) vem


= .E O -l

(I = 1, portanto uma isome/r)

(porqu?)

Por conseguinte: Toda a semelhana pode ser obtida por meio de uma homotetia seguida de uma isometria (ou vice-versa). Assim, as homotetias permitem reduzir as semelhanas a isometrias. Por outro lado, das propriedades I e I deduz-se imediata1 mente o seguinte facto: As isometrias do espao formam um grupo multiplicativo, portanto um subgrupo do grupo das semelhanas. Chamar-lhe-emos grupo das isometrias ou grupo mtrico. DEFINIAO 1. Dadas duas figuras e @ (conjuntos de semelhante a e escreve-se sse pontos), diz-se que existe pelo menos uma transformao de semelhana @ que aplica @ sobre isto , tal que = e(@). Desta definio e das propriedades anteriores resulta que:

g,

q-@,

9,

1) V Com efeito, existe pelo menos uma trans(qual ?). formao de semelhana que aplica sobre

a - 7,

q.

2) tal que

@=

. ~ ( q ) ?). (qual

9 - @ - a . Com efeito, se existe uma semelhana (P q = a(@), tambm existe uma semelhana * tal que

J. SEBASTIO E SILVA

ge. Com efeito, se existem seme@ A @ L% 3 3) tais que =a( @ ) e @ tambm existe lhanas n> e I =o(%) (qual ?). uma semelhana o tal que Em concluso:

q-

=*(L%),

A relao de semelhana (expressa pelo sinal - ) uma relao de equivalncia.


Segundo o raciocnio anterior, este facto uma consequncia do facto de as transformaes de semelhana formarem um grupo. Diz-se que duas figuras tm a mesma forma, sse so semelhantes. A forma pois a propriedade das figuras que conservada pelas transformaes de semelhana. DEFINIAO 2. Dadas duas figuras e @, diz-se que -6 isomtrica a @ sse existe pelo menos uma isometria que aplica @ sobre Como as isometrias formam um grupo, conclui-se, tal como para a relao de semelhana, que:

q.

A relao de isometria uma relao de equivalncia.


As isometrias conservam no s a forma, como tambm as dimenses da figura. Convm ainda salientar o seguinte facto: As transformaes de semelhana e as isometrias podem tambm ser definidas, de modo anlogo, como aplicaes biunvocas dum plano a sobre um plano P ou duma recta r sobre uma recta s (podendo ser em particular = /3 ou r = s).

COMPENDIO DE MATEMATICA

Consideremos, por exemplo, dois planos a, p paralelos e um ponto O fora de a e de p. A aplicao que faz corresponder a cada ponto P de a o ponto P' de interseco de OP com p manifestamente uma semelhana de a sobre p - alis restrio duma homotetia espacial ao plano CY ( o caso da projeco de um filme sobre um cran). EXERCICIOS:
I. Considere um ponto P, o seu transformado P' por meio da homotetia de centro O e razo p, e o transformado P" de P'

pela translao definida por u. Exprima P" como funo de P (por clculo vectorial). Proceda depois em ordem inversa, considerando primeiro a translao e depois a homotetia. Que teorema deduz assim?

II. Problema anlogo com duas homotetias de centro O , e razes p p, quaisquer. ,

Oz

III. Prove que a reunio do conjunto de todas as translaes com o conjunto de todas as homotetias um grupo (no comutativo). (Ver respostas no final do nmero seguinte.)

2. Rotaes do plano e do espao. Todos conhecem o seguinte facto, induzido da experincia quotidiana:

J . SEBASTIAO E SILVA

Quando dois pontos distintos A e B dum corpo slido esto fixos, o corpo s pode ter movimentos de uma espcie: os movimentos de rotao. Durante um tal movimento no s os pontos materiais, A, B, mas todos os pontos do slido situados na recta A B (eixo de rotao) se mantm fixos; qualquer outro ponto do slido obrigado a mover-se sobre uma circunferncia situada num plano perpendicular ao eixo e com o centro no eixo. O conceito fsico de movimento de rotao sugere o conceito geomtrico de rotao (caso particular das isometrias). Este, por sua vez, est intimamente relacionado com o de ngulo orientado, que j foi estudado em trigonometria.
Um ngulo no nulo fica orientado quando se estabelece que um dos seus lados precede o outro lado. O lado que precede o lado antecedente (ou primeiro lado); o outro o lado consequente (ou segundo lado). Todo o ngulo nulo se considera orientado. Ser talvez conveniente, daqui por diante, designar pela notao AB o ngulo orientado cujo primeiro lado A e cujo segundo lado OB. Dados dois ngulos orientados no mesmo plano o u em planos paralelos fcil distinguir vista se tm o mesmo sentido ou sentidos contrrios (ngulos no nulos) (I).

Por exemplo, os ngulos orientados AB e ' A ' B ' tm o mesmo sentido, enquanto o ngulo BA tem sentido contrrio: o dos dois primeiros o sentido horrio e o do segundo o sentido anti-horrio (em relao ao leitor).
(I) Abstemo-nos de fazer aqui o estudo rigoroso do sentido dos ngulos orientados (mais difceis que o do sentido dos segmentos orientados).

COMPENDIO DE MATEMATICA

H ainda outro modo intuitivo de distinguir os dois sentidos de rotao no plano:


Por exemplo, um observador colocado sobre a face visvel do plano, junto ao vrtice do ngulo AB, v o segundo lado direita do primeiro. Por isso, o sentido horrio tambm chamado dextrorso (de 'dextra', que significa 'direita'), enquanto o sentido anti-horrio chamado 'sinistrorso' (de 'sinistra', 'esquerda'). Diz-se que dois ngulos orientados, do mesmo plano ou de planos paralelos, so equipolentes, sse tm o mesmo sentido e a mesma grandeza absoluta. Posto isto, podemos comear por definir 'rotaes do plano' (ou 'de u m plano').

Cada rotao @ do plano pode ser dada por um ponto O (centro de rotao) e por um ngulo orientado VMN, do seguinte modo:
a aplicao que deixa fixo o ponto O [isto , @(O) = O] e faz corresponder a cada ponto P do plano distinto de O o ponto P' tal que:

( OP I = 10P'

e PP' equipolente a VMN

Facilmente se reconhece que dois ngulos orientados do plano definem a mesma rotao de centro 0, sse so equipolentes (tambm podemos dizer neste caso que definem o mesmo vector-ngulo).

J. SEBASTIAO E SILVA

Sendo assim, claro que uma rotao @ do plano tambm pode ser definida pelos seguintes dados:

1)
2) 3)

um ponto (centro da rotao); um sentido de rotao considerado como positivo; um nmero real
cp

e uma unidade de medida de ngulos.

Neste caso, @ a rotao de centro 0, definida por qualquer ngulo orientado cuja medida seja Q, relativamente unidade e ao sentido de rotao adoptados. Diremos ento que @ a rotao de Q unidades em torno de O (por exemplo, a rotao de 90, a rotao de - ~ / 3rad., etc.). Em particular, se Q = 0, a rotao reduz-se aplicao idntica e o seu centro torna-se arbitrrio. Tornam-se agora intuitivos os seguintes factos:

I. Toda a rotao do plano uma isometria. II. O conjunto das rotaes do plano com um mesmo centro um grupo multiplicativo, isomorfo ao grupo aditivo das classes de congruncia dos nmeros reais mdulo m # O (por exemplo, m = 27r ou m = 360).
Passemos, agora, s rotaes do espao:

COMPENDIO DE MATEMATICA

Cada rotao @ do espao pode ser definida por uma recta e (eixo da rotao) e por um ngulo orientado MN num plano perpendicular a e do seguinte modo:

a a aplicao que deixa fixos os pontos de e e faz corresponder a cada ponto P fora de e o ponto P' tal que, sendo E a projeco ortogonal de P sobre e, se tem ( I ) :

( EP I = I EPt 1 e PP' equipolente a MN.


Uma rotao @ do espao tambm pode ser definida pelos seguintes dados:

1)

uma recta e (eixo da rotao);

2) um sentido de rotao considerado como positivo (nos planos perpendiculares a e);


3)
um nmero real p e uma unidade de medida de ngulo.

Ento a rotao dada por e e por qualquer ngulo orientado cuja medida seja (p, relativamente unidade e ao sentido de rotao adoptados. Posto isto, tornam-se intuitivos os seguintes factos:

I. Toda a rotao uma isometria do espao. li. O conjunto das rotaes com um mesmo eixo u m grupo multiplicativo (portanto u m subgrupo do grupo das isometrias) isomorfo ao grupo aditivo das classes de congruncia de nmeros reais mdulo m # O (por exemplo m = 2 T ou m = 360). Um tal grupo portanto comutativo.
(I) Chama-se projeco ortogonal de P sobre e o ponto de interseco com e do plano a que passa por P e perpendicular a e.

89

J . SEBASTIAO E SILVA

Veremos mais adiante que o conjunto de todas as rotaes cujos eixos passam por um mesmo ponto O tambm um grupo. Mas esse grupo j no comutativo!

Com efeito, consideremos trs rectas OX, OY, OZ perpendiculares entre si e sejam: @ a rotao em torno de OY que leva ox para 02, e Q a rotao em torno de OX que leva Z para OY. Seja agora P um ponto de OX distinto de O, P' = @(P) e P" = Q(P' ). Tem-se pois P" = (Jl o) (P) Mas Q(P) = P (porqu?) e portanto
(@ Q) (P) = P' # P"

(porqu?)

e assim

a+#%@

(porqu?)

RESPOSTAS AOS EXERCICIOS DO NUMERO ANTERIOR:

I. Uma translao e uma homotetia distintas da identidade nunca so permutveis, mas o seu produto sempre uma homotetia.

COMPENDIO DE MATEMATICA

II. Duas homotetias distintas da identidade e de centros distintos nunca so permutveis entre si; o seu produto uma I homotetia ou uma translao, conforme P ~2 # 1 ou p l pz = 1.

3. Reflexes.

Deslo~ame~ntose

isometrias

negativas.

Comecemos pelo caso do plano: Dada uma recta r, chama-se simetria em relao a r a aplicao <P que deixa fixos os pontos de r e faz corresponder, a cada ponto P do plano fora de r, o ponto P' tal que a recta r a mediatriz do segmento PP'.

As simetrias em relao a rectas tambm se chamam reflexes. evidente que:

Toda a simetria <P em relao a uma recta uma simetria cuja inversa a prpria aplicao @, isto , @ =@-I (ou seja <P2 = I).
Na figura supra est desenhado um tringulo [ABC] e o seu simtrico [A'B'C'] em relao a uma recta r. Mas note-se: o ngulo orientado BC transformado pela simetria no ngulo 'B'C' orientado em sentido inverso ( e o mesmo para qualquer outro ngulo orientado).

3. SEBASTIAO E SILVA

Tal no sucede porm com as translaes e as rotaes: estas no mudam o sentido dos ngulos orientados. DEFINI AO 1 . Uma isometria do plano diz-se positiva ou negativa, conforme conserva ou muda o sentido dos ngulos orientados. As isometrias positivas tambm so chamadas deslocamentos do plano. bem fcil ver que:
I. cativo

- portanto

Os deslocamentos do plano formam um grupo multiplium subgrupo do grupo das isometrias planas.

11. O produto de duas isometrias negativas uma isometria positiva.


e @ do DEFINIAO 2. Dadas duas figuras isomtricas plano, diz-se que so positivamente isomtricas, sse existe pelo menos um deslocamento plano que aplica @ sobre caso contrrio, diz-se que so negativamente isomtricas. Por exemplo, os dois tringulos escalenos da figura anterior so negativamente isomtricos (no plano). Da propriedade I resulta imediatamente que a relao de isometria positiva uma relao de equivalncia. Seja agora @ uma isometria negativa e O uma simetria em relao a uma recta. Ento, segundo II, a aplicao @ = @ 4> uma isometria positiva. Ora

q;

Por conseguinte:

I I I . Toda a isometria negativa o produto duma reflexo por um deslocamento.


Havemos de demonstrar mais adiante que todo o deslocamento plano B uma translao ou uma rotao. Podemos agora passar ao caso do espao 8 :

COMPENDIO DE MATEMATICA

Dado um plano T , chama-se simetria em relao a n a aplique deixa fixos os pontos de n e faz corresponder a cao cada ponto P fora de n o ponto P' tal que o plano mediador do segmento PP'. As simetrias em relao a planos tambm so chamadas reflexes, atendendo a que a imagem de um objecto por reflexo num espelho plano a figura simtrica do objecto em relao ao plano do espelho. Para estender ao espao noes de isometria positiva e de isometria negativa, h que introduzir a noo de triedro orientado: Diz-se que um triedro est orientado, quando as suas faces (que so ngulos) esto orientadas de tal modo que o primeiro lado de cada face coincide com o segundo lado de uma face contgua.

Por exemplo, na figura junta considera-se um triedro orientado, cujas faces so os ngulos orientados AB, BC e OCA. Intuitivamente, podemos dizer que este triedro est orientado no sentido horrio, porque um observador voltado para o vrtice v os pontos A, B, C sucederem-se no sentido horrio ou (o que equivalente) um observador colocado ao longo de qualquer aresta com os ps no vrtice v a face oposta orientada no sentido horrio. Mas consideremos agora, por exemplo, o triedro A' BC, que o simtrico do primeiro em relao ao plano OBC. visvel que esse triedro est orientado no sentido anti-horrio. Assim:

J . SEBASTZAO E SILVA

As reflexes mudam o sentido dos triedros orientados, o que no sucede com as translaes e as rotaes (espaciais).

A partir deste momento, as definies 1 e 2, assim como as propriedades I, II e III podem ser formuladas e estabelecidas de modo anlogo, substituindo o plano pelo espao. Mas convm notar o seguinte:
e @ so geomeDEFINIAO 3. Diz-se que duas figuras tricamente iguais, e escreve-se sse so positivamente isomtricas no espao, isto , sse existe pelo menos u m deslocamento que aplica sobre

qz@, 9.

Por exemplo, dois tringulos escalenos dum plano a, que sejam simtricos entre si em relao a uma recta r de a, so negativamente isomtricos no plano, mas positivamente isomtritricos no espao. Com efeito, prova-se que no existe nenhum deslocamento do plano que transforme um no outro, mas basta a rotao espacial de 180" em torno de r para aplicar um sobre o outro. So dois geometricamente iguais (tambm podemos dizer apenas 'iguais'). Por isso em geometria plana, em vez de 'positivamente isomtrico' e 'negativamente isomtrico', podemos dizer, respectivamente, 'directamente igual' e 'inversamente igual'. Pelo contrrio, dois triedros escalenos que sejam simtricos entre si em relao a um plano - o u mesmo em relao a um ponto, por exemplo o vrtice (triedros verticalmente opostos) so negativamente isomtricos no espao: no so geometricamente iguais.

COMPENDIO DE MATEMATICA

Como se v, a noo de igualdade geomtrica -nos sugerida pela nossa experincia quotidiana com os corpos slidos. Diz-se que um corpo slido (ou rgido), quando no susceptvel de mudar de forma nem de dimenses, mas apenas de posio (em relao a outro slido). Essa mudana de posio realiza-se em movimentos, que so compostos de uma infinidade contnua de deslocamentos, no decorrer do tempo. Deste modo, um slido representa sempre figuras geomtricas iguais nas suas diferentes posies e dois slidos sero iguais, sse puderem ocupar exactamente o mesmo lugar no espao, um aps o outro (ao mesmo tempo impossvel, segundo o PRINCIPIO DA IMPENETRABILIDADE DA MATRIA).

NOTA. preciso no esquecer que, em rigor, no existem corpos slidos, mas apenas corpos a que podemos chamar 'slidos' em determinadas circunstncias, sem que da resulte erro aprecivel. Por exemplo, uma barra de ferro, em condies normais de presso e temperatura, aproximadamente slida. Mas j sabemos que a temperatura ambiente nunca rigorosae o ferro dilata-se ou contrai-se consoante mente constante a temperatura aumenta ou diminui (tal como o mercrio num termmetro). Mais ainda: a barra de ferro no um todo contnuo, mas antes uma espcie de nevoeiro de tomos, em constante movimento uns em relao aos outros, de modo que as suas distncias mtuas aumentam quando a temperatura sobe. Normalmente no nos apercebemos destes factos devido a imperfeio dos nossos sentidos. Por conseguinte, a essa imperfeio que devemos afinal a noo de corpo slido. O mais curioso que tal noo (ilusria at certo ponto, como todas as nossas noes acerca do mundo externo) na realidade valiosissima. como a de um quadro Foi essa viso imperfeita dos objectos que levou o homem a conceber a geometria impressionista euclidiana, cuja utilidade, no seu devido mbito, se manifesta nos mais variados ramos da cincia e da tcnica, incluindo as recentes exploraes csmicas. E vendo bem, foram tambm os corpos slidos, com seus , contornos ntidos e cortantes, que sugeriram ao homem a lgica

J . SEBASTIAO E SILVA

bhalente a lgica do 'ser ou no ser', do 'sim ou no', sem nebulosidades ou esfumaturas. Mas, quando se trata de aplicar a matemtica, h que saber transigir, fazendo um pouco vista grossa, maneira dos artistas isto , h que ter o sentido fsico da aproximao e da contingncia, contrabalanado com o rigor lgico da matemtica pura.

EXERCICIOS I. Desenhe a azul dois tringulos escalenos directamente iguais e determine, se possvel, o centro de uma rotao que transforme um no outro. Em que caso possvel o problema e em que caso no ? E quando no possvel, que , deslocamentos permitem transformar um tringulo no outro?

II. Considere no espao dois tringulos escalenos iguais e prove que sempre possvel transformar um no outro, mediante uma translao seguida de uma rotao. Idem para dois tetraedros iguais.

III. Quantos deslocamentos transformam um tringulo equiItero em si mesmo? E um quadrado? E um rectngulo no quadrado?
IV. Quantas semelhanas permitem transformar um no outro dois tringulos equilteros? E dois quadrados? E dois cubos? E dois crculos? E duas esferas? E duas elipses de excentricidade 1/2?

4. Transformaes afins. Consideremos por exemplo dois planos a, p, no paralelos nem perpendiculares entre si, e seja @ a operao de projeco ortogonal dos pontos de a: sobre os pontos de p. Pem-se trs perguntas:
1)
Ser @ uma aplicao biunvoca de
a

sobre

p?

2)
3)

@ transforma segmentos de recta em segmentos de recta?

Ser @ uma transformao de semelhana?

COMPENDIO DE MATEMATICA

A resposta s duas primeiras perguntas , manifestamente, afirmativa. Quanto terceira, consideremos um segmento qualquer de a; seja P'Q' a sua projeco ortogonal sobre /3 e seja O o ngulo de PQ com /3 isto , o menor dos Bngulos formados pelas rectas PQ e P'Q'. Ento vir (ver figura da esquerda) :

I P'Q' I = I PQJ

= PQ 1 cos 0

Assim, a aplicao @ transforma cada segmento de recta num segmento de recta, cujo comprimento o produto do comprimento do primeiro pelo nmero cos O. Ento @ uma transformao de semelhana? Claro que no. Porqu? Porque o nmero cos O no o mesmo para todos os segmentos. Com efeito, 0 depende da direco do segmento: o seu valor mnimo O (quando a direco paralela a 8 ) e o seu mximo o ngulo o dos dois planos (quando a direco perpendicular anterior). Deste modo, o mximo de cos O 1 e o mnimo cos o. Por conseguinte, a projeco @ produz nos comprimentos uma contraco, cujo coeficiente, cos O, varivel de 1 a cos o. Seja por exemplo OJ = 60".Ento cos OI = 1/2. Consideremos no plano a um quadrado com dois lados paralelos a /3. Ento a projeco do quadrado ser um rectngulo,

J . SEBASTIAO E SILVA

com um dos lados igual aos do quadrado e outro lado igual a metade do primeiro.

Se o quadrado no tiver nenhum lado paralelo a p, a proe ser um losango, jeco ser um paralelogramo no rectngulo se uma das diagonais do quadrado for paralela a p.

Consideremos agora no plano a uma circunferncia. Ento a projeco desta sobre p ser uma elipse, cujo eixo menor metade do eixo maior (podemos prov-lo por meio da geometria analtica). Vimos que @ uma aplicao biunvoca de a: sobre p. Qual a sua inversa? A projeco de p sobre a, segundo a direco perpendicular a p. claro que a-' produz nos comprimentos uma dilatao, cujo coeficiente sec 19, varivel de 1 a sec o. Podamos, mais geralmente, considerar uma projeco de a: sobre p segundo uma direco qualquer, no paralela a nenhum dos planos. As concluses sero anlogas: os comprimentos resultam multiplicados por um nmero positivo, varivel com a direco.

COMPENDIO DE MATEMATICA

Vejamos agora um exemplo relativo ao espao. Suponhamos fixado um referencial cartesiano ortogonal e seja @ a aplicao que faz corresponder a cada ponto P(x, y, Z) O ponto P'(x', y', z') tal que x' = x, y' = y e z' = z/2. Quer dizer: a abcissa e a ordenada so conservadas; a cota reduzida a metade. Facilmente se reconhece o seguinte: uma aplicao biunvoca do espao i!, sobre si mesmo, que transforma cada segmento de recta num segmento de recta, cujo comprimento o do primeiro multiplicado por um nmero varivel de 1/2 a 1. Portanto, tambm neste caso no se trata de uma transformao de semelhana. Por exemplo: Um cubo ser transformado num paraleleppedo, que nem sequer ser rectngulo se no tiver arestas paralelas aos eixos coordenados. Uma esfera ser transformada num elipside de revoluo achatado, sendo 1/2 o coeficiente de achatamento, etc. Estes exemplos conduzem-nos seguinte definio geral: DEFINIAO. Chama-se transformao afim toda a aplicao biunvoca do espao i!, sobre s i mesmo, o u de u m plano a: sobre um plano p (podendo ser a: = p), que transforma segmentos de recta em segmentos de recta. As transformaes afins tambm so chamadas afinidades. Desde logo se reconhece que: So afinidades todas as transformaes de semelhana (em particular, as homotetias, as translaes, as rotaes e as simetrias). Mas, segundo mostram os exemplos anteriores, existem afinidades que no so semelhanas. Essas afinidades produzem deformaes, chamadas deformaes afins.

J . SEBASTIAO E SILVA

Tambm muito fcil provar que:


1. O produto de duas afinidades uma afinidade.

II. A inversa duma afinidade uma afinidade.


Por conseguinte:

O conjunto de todas as transformaes afins do espao u m grupo multiplicativo, de que subgrupo o grupo das semelhanas.
DEFINIAO. Dadas duas figuras e @, diz-se que afim a @, sse existe pelo menos uma transformao afim que aplica @ sobre %. Das propriedades I e II resulta que:

A relao de afinidade, entre figuras geomtricas, uma relao de equivalncia.


Por exemplo, prova-se que as figuras afins a um quadrado so todos os paralelogramos, as figuras afins a uma circunferncia so todas as elipses, etc. O mundo fsico oferece-nos vrias concretizaes do conceito de afinidade: -a sombra produzida no cho por uma figura existente numa janela por onde entra sol (porqu?); -a imagem produzida por certos espelhos cilndricos que tornam as pessoas comicamente mais gordas ou mais magras (ao contrrio dos espelhos esfricos, que aumentam ou diminuem sem deformar sensivelmente, em certas condies); -a compresso ou dilatao dum corpo elstico segundo uma determinada direco; -a deformao de uma rede articulada, etc.

COMPENDIO DE MATEMATICA

5. Efeito das transformaeis afins sobre rectas paralelas


e sobre vectores. tes lemas:

Comearemos por demonstrar os dois seguin-

LEMA 1. Toda a transformao afim transforma rectas em rectas.

Demonstrao:

Seja @ uma transformao afim e r uma recta contida no domnio de a (que pode ser o espao ou um plano). Ponhamos @(r) = r'. Pretende-se provar que r' uma recta. Para isso consideremos dois pontos distintos A, B de r e seja A ' = @(A), B' = @(B). Ento

@(m)A = '-

(porqu?)

Seja agora P um ponto qualquer e ponhamos P' = @(P). Trs casos se podem dar: ou P e AB ou B e AP ou A e No 1 . O caso tem-se P' e A'B', no 2." tem-se B' e A'P' e no 3." tem-se A ' e B'P'. Em qualquer dos casos tem-se P' e A'B' e assim:

O mesmo raciocnio com @-I mostra que, para todo o P' e A'B', existe P e AB, tal que @(P) = P'. Ora este facto, aliado a (I), mostra que @(r) = A'B' = r' que portanto r' uma recta.

J . SEBASTIAO E SILVA

LEMA 2. Toda a transformao afim do espao transforma planos em planos.

Demonstrao*: Seja @ uma transformao afim do espao e seja a um plano. Consideremos duas rectas concorrentes a, b contidas em a: e seja a' = @(a), b' = @(b). Ento a' e b' tambm so concorrentes (porqu?). Seja agora P um ponto qualquer de a e P' = @(P). Ento existe pelo menos uma recta de a que passa por P e encontra a e b em dois pontos distintos (porqu?). Seja s uma tal recta e s' = @(s). Ento s' encontra a' e b f em dois pontos distintos e portanto P' pertence ao plano (Y' definido por a' e b'. O mesmo raciocnio com @-I mostra que, para todo o P' e a' existe P s (Y tal que @(P) = Pf. Portanto transforma o plano a: num plano a. ' Destes dois lemas deduz-se: TEOREMA 1. Toda a transformao afim transforma rectas paralelas em rectas paralelas. Demonstrao: Seja @ uma afinidade. Consideremos duas rectas paralelas r, s contidas no domnio de @ e ponhamos rt=@(r), s'=@(s). Pretende-se provar que r'//sr. Se r = s, tambm r' = s' e a tese est provada. Seja agora r # s . Ento r, s so complanares e r 0 s = Logo rf, s' tambm so complanares (porqu?) e r ' n s' =

+. +.

COMPENDIO DE MATEMATICA

Com efeito, se existisse pelo menos um ponto P' e r ' n s', o ponto P = W1(P') pertenceria a r n s e, deste modo, seria r n s # 4, contrariamente hiptese. COROLARIO. Toda a afinidade transforma segmentos orientados equipolentes em segmentos orientados equipolentes.

Demonstrao: Consideremos uma afinidade @. Sejam [A, B], [C, D] dois segmentos orientados equipolentes contidos no domnio de G e seja A' = @(A), B' = @(B), C' = @(C) e D' = G(D). Pretende-se provar que [A', B ' ] equipolente a [C', D']. Trs casos se podem dar:

1.O caso. A = B. Ento C = D, A ' = B', C' = D' e assim a tese fica provada. 2.O caso. A # B e AB # CD. Ento A ' # B', A'B' # C'D' e, como AB//CD, AC//BD, tambm A ' B'//Cf D', A'C'//B'Df, o que mostra que [A', B'] aquipolente a [C', D']. 3." caso. A # B e AB = CD. Reduz-se ao anterior, considerando um terceiro segmento [M, N ] equipolente a [A, B] e tal que MN # AB. Assim o corolrio fica demonstrado. Este pode ainda enunciar-se do seguinte modo:
Uma transformao afim transforma todos os segmentos
3

orientados representativos de um mesmo vector u nos segmentos


3

orientados representativos de um mesmo vector v.

J. SEBASTIAO E SILVA Por conseguinte, toda a transformao afim @ determina deste modo uma correspondncia unvoca u-v entre vectores. Designaremos esta aplicao por ao.Ter-se- pois, por definio:
3 3

-I

@JAB) = A'B' = @(B)

- @(A)

para todo o par de pontos A, B do domnio de @. Ento, se for + . ) + u = AB, ser B = A u e portanto:

6. Aplicaes lineares. Consideremos agora um plano a, uma recta d no paralela a a e seja @ a aplicao que faz corresponder a cada ponto P do espao a sua projeco P' sobre a, paralelamente a d. claro que se trata de uma aplicao do espao em si mesmo, mas no de 8 sobre 8: o contradomnio da aplicao o plano a. Alm disso, a aplicao @ no biunvoca: todos os pontos de uma recta que seja paralela a d so transformados por @ num nico ponto de a. Porm, fcil ver que @ transforma segmentos de recta em segmentos de recta, tal como as transformaes afins. No podemos dizer que transforma rectas em rectas, porque transforma em pontos as rectas paralelas a d. Mas, exceptuado este caso, transforma rectas paralelas em rectas paralelas.

COMPENDIO DE MATEMATICA

Ento, raciocinando como na demonstrao anterior, v-se que @ transforma segmentos orientados equipolentes em segmentos orientados equipolentes: a nica diferena est em que pode transformar segmentos no nulos (paralelos a d) em segmentos nulos. Podemos chamar afinidades degeneradas s aplicaes @ nestas condies. Tal como as transformaes afins (bijectivas ao contrrio desta), @ determina uma aplicao @o sobre vectores:
_j

@( B ,A )

= A'B'

+
+

= @(B)

- @(A)

Diremos que o vector u ' = A'B'


. )

---+

u = AB sobre o plano a paralelamente a d. J vimos que se designa por o conjunto dos vectores O do espao. Designaremos por g b conjunto dos vectores do plano a. Tanto (% como (%, so espaos vectoriais sobre IR (ver pg. 44). Portanto ao uma aplicao de (% sobre qZ. Mas esta aplicao tem duas propriedades importantes que vamos estudar. Consideremos dois vectores u, v e as suas projeces

a projego do vector

J . SEBASTIAO E SILVA

Se tomarmos
3

u = AB

+
V

= BC,

ser u isto :

+ + v = AC e +C ' A'

= A'B'

+ B'C'

= u ' + v'

A projeco da soma u projeces.


Simbolicamente:

-+

+v
-3

igual 2 soma u'

-+

+ ':

das

Consideremos, agora, um vector u e um nmero real a. Seja

Ento, aplicando o TEOREMA DE THALES, v-se que A'C' = a A'B' = a U'

.+

COMPENDIO DE MATEMATICA

isto :
A projeco do produto de um escalar a por um vector u
3 3

igual ao produto de a pela projeco de u (I).

Simbolicamente:

Pois bem, exprimem-se as propriedades I e II, dizendo que a aplicao ao respeita a adio de vectores e a multiplicao de vectores por escalares; ou ainda, dizendo que ao uma aplicao linear. Dum modo geral: DEFINIAO. Dados dois espaos vectoriais S e S' sobre IR, diz-se que uma aplicao f de S em S' linear sse tem as duas seguintes propriedades (2):

1)

f ( u + v ) =f(u) +f(v)

, Vu, v s s

(Mais geralmente ainda, podamos considerar, em vez de IR, um corpo K qualquer.) Desde logo se reconhece que, se f uma aplicao linear de S sobre S ', ento:

3)

f ( a u + bv) =af(u)

+ bf(v)

, Va, beIR; u, v e S

Tem-se, com efeito: f(au

+ bv) = f (au) + f (bv) = af(u) + bf(v)

(I) Recordemos que, quando se trata do um espao vectorial S sobre um corpo K, os elementos de S chamam-se vectores, enquanto os de K se chamam escalares. Neste caso, os escalares sao os ntimeros reais. (2) Sempre que no haja risco de confuso, podemos deixar de usar setas sobre letras que representam vectores.

J . SEBASTIAO E SILVA

Mais geralmente, tem-se, na mesma hiptese:

quaisquer que sejam ul ,..., u, s S e a, ,..., a, e IR. TEOREMA. Toda a afinidade @ determina uma aplicao linear ao (bijectiva) no conjunto dos vectores situados no domnio de o. Demonstrao: a) Seja uma transformao afim de espao 8. Ento, como vimos no nmero anterior, <f> determina uma aplicao de 9 em 9 segundo a frmula: Qo(AB) = @ ( B ) - @ ( A )
claro que

VA, B e 8

ao bijectiva, tendo-se
(AB) = o-' (B)

- o-' (A)
3

Para simplificar a escrita, vamos pr ao= f e omitir as setas sobre as letras u, v,. . ., o que no traz perigo de confuso. Consideremos dois vectores u, v quaisquer e seja u = AB,
3

v = BC, A' = @(A), B' = @(B), C' = @(C). Ento: f(u e como A'C' = A'B'

+ v)

= A'C'

- + - - - +

+ B'C'

= f(u)

+ f(v),

vem

Em particular, se v = portanto

- u,

tem-se f ( u

+ v) = f(0) = O e
= -f(u)

(2) f(u) + f ( - u )

= O ou seja f ( - u )

COMPENDIO DE MATEMATICA

Consideremos agora um vector u e um nmero real a. Se a = O ou u = 0, tem-se obviamente f(au) = af(u) = O. Se a # O e u # 0, verifica-se um dos seguintes casos:

I." caso: a um nmero natural n. Se n = 1, tem-se obviamente f (au) = af (u). Se n > 1, tem-se
au = u

+ ... + u

( n vezes)

e, aplicando (1) repetidamente, vem f(au) = f(u)

+ .. . + f ( u )

( n vezes) e portanto f(au) = af(u).

2." caso: a um nmero fraccionrio com m, n E IN e ponhamos

> O.

Seja a = m/n,

Ento u = n v,

a u = m v donde

e portanto

3." caso: a um nmero irracional > 0. Seja w = au, u' = f(u), w' = f ( w ) . Ento w f colinear com u' (porqu) e existe portanto um nmero a' tal que w' = a'u'.

J. SEBASTIAO E SILVA
Sejam agora r, s dois nmeros racionais quaisquer tais que (2) r < a < S. Ento r l u l < a l u l < s l u I Daqui se deduz ou seja rlul<lwI<sIuI

OU

seja r / u' (

< a' I u' I < s 1 u' 1,

donde

Daqui e de (2) resulta que 1 a a' I < s r. Como s - r pode ser to pequeno quanto se queira, tem-se necessariamente a = a' e portanto f (au) = a f ( u ) .

4 "caso: a negativo. Ento au = I a I ( - u) e, como I a I> 0, . estamos num dos casos anteriores. Portanto

donde, atendendo a (2): f (au) =

- 1 a I f (u)

= af (u)

Assim, em qualquer dos casos, verifica-se a condio (2) da definio anterior de aplicao linear. Logo f (ou seja ao) uma aplicao linear do espao vectorial 9 sobre s i mesmo. b ) Seja agora G uma afinidade dum plano a sobre um plano p (podendo ser a = P ) . Demonstra-se como anteriormente que G determina uma aplicao linear ao (biunvoca) de 9, sobre g8.

COMPENDIO DE MATEMATICA

7. Determinao da todas as possveis afinidades entre Vamos comear por estudar o dois planos ou do espao. seguinte
PROBLEMA. So dados: 1) dois planos a, /3 (distintos ou coincidentes); 2) trs pontos A, B, C no colineares de a; 3 ) trs pontos A', B', C' no colineares de p. Determinar uma afinidade @ de a sobre p que transforme A em A', B em 6' e C em C'. Recordemos (ver Cap. 1, n." 16) que, para todo o ponto P de a: existe um par (x, y) de nmeros reais tais que

P=A+x

(B-A)+y

(C-A)

Ento, se @ uma afinidade de

a:

sobre

p, vir

@(P) = @(A)

+ a 0 [ x ( B - A) + y ( C - A ) ] = @ ( A ) + x@,(B - A ) + y ao(C - A)

em que aplicao linear definida para @. Logo, se existe uma afinidade @ que transforma A em A', B em 6' e C em C', s pode ser a que dada pela frmula

(1)

P'=A'+x(B'-A')

+y(C'-A'),

sendo Pf=@(P).

(Por exemplo, na figura seguinte, tem-se x = 3/2, y = 1/2)

J . SEBASTIAO E SILVA

Vamos agora ver que a frmula (1) define realmente uma afinidade P P' de CY sobre P, que transforma A em A', B em B ' e C e m -? . C Em primeiro lugar, @ bijectiva. Com efeito, @ resulta das aplicaes bijectivas P +(x, y ) e (x, y) -3 P' respectivamente de CY sobre IR2 e de IR2 sobre P. Em segundo lugar, fcil ver que @ ( A ) = A' ( x = y = O), @(B) = B'(x = 1, y = O), @(C) = C' ( x = O, y = 1). Resta provar que @ transforma segmentos de recta em segmentos de recta. Sejam M, N dois pontos quaisquer de a e M', N' os seus transformados por @. Ento

Ora @(P) = @ ( M ) ou seja P' = M' Portanto P = M 4- t ( M

+ t a o ( M - N)

(porqu?)

+ t(M' - N')
P' = M'

- N)
-

em ++P'~M'N'
o que significa que @(MN) = M'N',

+ t(M' - N'),

donde

q.e.d. Assim, como se v, o problema sempre possvel e determinado, isto : TEOREMA 1. Dados dois planos ros no colineares (A, B, C)
CY,

e dois ternos de pon-

(A', B', C')

COMPENDIO DE MATEMATICA

respectivamente em (Y e em 8, existe sempre uma e uma s afinidade que transforma (A, B, C) em (A', B', C'). Essa afinidade a aplicao que faz corresponder a cada ponto P de (Y o ponto P' de 8 cujas coordenadas no referencial (A', B', C') so idnticas s coordenadas de P no referencial (A, B, C), isto :

bem fcil estender este teorema ao caso de afinidades espaciais:

TEOREMA 2. Dados em pontos no complanares

dois quaternos ordenados de

, (A, B, C D) , (A', B', C', D') existe sempre uma e uma s afinidade espacial que transforma (A, B, C, D) em (A', B', C', D'). Essa afinidade a aplicao 4> que faz corresponder a cada ponto P=A+x(B-A) o ponto P'=A'+x(B'-A') +y(C'-A') +z(D'-A') +y(C-A) +z(D - A )

Deixamos a demonstrao ao cuidado do leitor NOTA SOBRE A TERMINOLOGIA. evidente que, sendo f uma aplicao qualquer de um conjunto D num conjunto E , chamamos transformado de um par ordenado (a, b) por f (sendo a, b E D) O par ordenado (f (a), f(b)). E analogamente para ternos ordenados, quaternos ordenados, etc. -dum modo geral para sequncias quaisquer. Nesta ordem de ideias, sendo n um nmero natural qualquer e R um subconjunto de D" (relao n-ria), chamaremos transformada de R por f e representaremos por f(R), o conjunto dos transformados de todos os elementos de R por f.

3. SEBASTIAO E SILVA

At aqui temos chamado figuras geomtricas apenas aos conjuntos de pontos. Mais geralmente, podemos chamar figuras geomtricas a sequncias, a conjuntos de sequncias de pontos, a conjuntos de conjuntos de pontos ou de sequncias de pontos, etc., etc. Por exemplo, uma recta orientada (ou um segmento orientado), ser uma figura geomtrica, pois pode ser considerada como um conjunto de pares ordenados (a relao de ordem definida na recta). Analogamente, um vector ser uma figura geomtrica, pois pode ser considerado como um conjunto de segmentos orientados. Aos conjuntos de pontos chamaremos lugares geomtricos (ou simplesmente lugares), para os distinguir das outras figuras geomtricas. Assim, por exemplo, o conjunto das geratrizes de uma superfcie cnica (conjunto de tipo 2) ser uma figura ao passo que a geomtrica, mas no um lugar geomtrico superfcie cnica ser o lugar geomtrico correspondente, isto , a reunio de todos os conjuntos de pontos constituda pelas geratrizes.

EXERCCIO. Marque a azul no papel dois ternos ordenados de pontos (A, B, C) e (A', B', C') tais que I A B I = 3 cm

, IACI=4,5 ,

cm cm

, ABLAC , A'B'LA'C'

I A'B' I = 6

cm

I A'C' I = 9

Represente a tracejado e a preto as rectas AB, AC, A'B', A'C' e construa (tambm a tracejado e a preto) dois quadriculados constitudos pelas referidas rectas e outras paralelas a estas, dispostas entre si s distncias mnimas de 0,5 cm e de 1 cm, respectivamente. Os quadriculados devem ter respectivamente a dimenso 5 cm X 5 cm e 10 cm X 10 cm. Posto isto, desenhe a azul uma figura simples (imitando um mapa) que cubra grande parte do 1." quadriculado, e desenhe em seguida a vermelho (aproximadamente) a imagem dessa figura pela afinidade que transforma (A, B, C) em (A' B', C'). Que relao verifica entre as duas figuras?

COMPENDIO DE MATEMATICA

Feito isto, marque num outro papel (a azul) um terceiro terno ordenado (A", B", C") tal que

e desenhe a vermelho a imagem da primeira figura, pela afinidade que transforma (A, 6, C) em (A'f, B", C"). Que relao verifica entre estas duas figuras? (Observao: Para melhor distinguir as rectas auxiliares a tracejado, use algarismos escritos margem, para as rectas com uma das direces, e letras a, b,.. . para as rectas com a outra direco, pondo alm disso plicas nos algarismos e letras correspondentes, relativas 2."e 3.qiguras.)

8. Determinao de todas as possveis semelhanas, isometrias e deslocamentos, entre dois planos ou do espao. Para melhor compreenso do que vai seguir-se, aconselhvel comear por resolver o exerccio anterior. Posto isto, considerem-se dois ternos ordenados de pontos no colineares, (A, B, C) e (A', B', C'), respectivamente em dois planos CI e /3 (podendo ser = P). Pergunta-se: A que condio devem obedecer estes dois ternos, para que a afinidade @ que transforma o primeiro no segundo seja uma semelhana?
Uma condio necessria evidentemente a seguinte: Os dois ternos devem ser semelhantes. Esta condio pode ser traduzida simbolicamente, de trs modos diversos, equivalentes entre si:

(1 )

I A'B' I - I A'C'
IABI

( - I B'C' (

IACl

l BCl

J . SEBASTIAO E SILVA

Pergunta-se agora:
esta condio suficiente para que a afinidade 4, seja uma

semelhana? Vamos ver que sim. Suponhamos verificada esta condio e consideremos dois pontos de a:

assim como os seus transformados por @:

P' = A '

* * + x . A'B' + y . A'C'

, Q' = A'

* + u . A'B' + v . A'C'
_j

Trata-se de provar o seguinte:

(1)

I P'Q' 1 - I A ' B ' I I PQ I IABI

I A'C'
IACl

Se v = y, tem-se evidentemente

e portanto PQ I = I u x I I AB I, I P'Q' ( = I u - x 1 1 A'B' I, donde se conclui (1). Analogamente, se x = u. Seja agora x < u A y > v. Ento, as rectas que passam respectivamente por P e Q e so paralelas a A C e AB encon-

COMPENDIO DE MATEMATICA

tram-se num ponto M, e tem-se, evidentemente:

donde

e analogamente

Daqui se deduz, por um lado:

1 M P 1 - 1 M Q 1 - I A'B' I - I A ' C ' 1 I MPI I MQ l IABI 1ACl


Por outro lado, como y v >O e u x > O, v-se que os ngulos MQP e BC tm os lados paralelos e orientados no mesmo sentido, sendo portanto equipolentes, e que o mesmo sucede com os ngulos M'Q'P' e 'B'c'. Logo os ngulos convexos PMQ e P ' M ' Q ' so iguais e assim, por semelhana de tringulos, verifica-se (1 ), isto :

Se x > u A y < v, basta trocar os papis de P e Q. Se x > u A y > v ou x < u A y < v, a demonstrao anloga, com a diferena de que os ngulos MQP e BC so suplementares. E como no resta nenhuma outra hiptese a considerar, fica provado o seguinte:

TEOREMA 1. Dados dois ternos ordenados de pontos no colineares (A, B, C) e (A', B', C'), respectivamente em dois

J. SEBASTIAO E SILVA
planos a e p, a afinidade que transforma o primeiro no segundo uma semelhana, sse os dois ternos so semelhantes. Deste teorema se deduz imediatamente, como corolrio, uma condio necessria e suficiente para que a afinidade considerada seja uma isometria: que os dois ternos ordenados de pontos sejam isomtricos, isto , que

Se, alm disso, os dois planos coincidem (isto , se a = p ) , uma condio necessria e suficiente para que a afinidade seja um deslocamento que os dois ternos ordenados de pontos sejam positivamente isomtricos, isto , que 1 A'B' ( z I AB 1,

I A'C' I 1 AC I e os ngulos orientados BC e 'B'C' r equipolentes. O teorema 1 estende-se facilmente a 8:


TEOREMA 2. Dados dois quaternos no complanares (A, B, C, D) e (A', B', que transforma o primeiro no segundo os dois quaternos so semelhantes, isto ,

sejam

ordenados de pontos C', D'), a afinidade uma semelhana, sse sse

I A'B' I IABI

j A'C'
IACI

- I A'D'

I - I B'C' 1 - I B'D' I - I C'D' I IADI l BC l IBDI ICDI

Quanto a isometrias e deslocamentos, as consideraes so anlogas s que fizemos no caso dos planos. EXERCICIOS. Atendendo aos teoremas anteriores e s concluses a que conduzem os exerccios do n." 3, prove os seguintes factos:

I. Todo o deslocamento do plano uma rotao ou uma translao.


II. Um deslocamento do plano uma translao, sse no deixa fixo nenhum ponto ou deixa fixos todos os pontos do plano.

III. Uma semelhana negativa do plano que deixe fixos dois pontos distintos A, B s pode ser a simetria em relao a AB.

COMPNDIO DE MATEMATICA

IV. Um deslocamento do plano que deixe fixos dois pontos distintos s6 pode ser a aplicao identidade. V. Todo o deslocamento do espao pode ser obtido como produto de uma rotao por uma translao, que pode ser sempre escolhida com direco paralela ao eixo de rotao. VI. Uma semelhana negativa do espao que deixe fixos trs pontos A, B, C no colineares s pode ser a simetria em relao ao plano ABC. VII. Um deslocamento do espao que deixe fixos trs pontos A, 6, C no colineares s pode ser a aplicao identidade. VIII. Um deslocamento do espao que deixe fixo um ponto A uma rotao em torno de um eixo que passa por A. IX. O produto de duas reflexes do plano uma rotao ou uma translao. Reciprocamente, toda a rotao ou translao do plano pode ser obtida como produto de duas reflexes. X. Idem para o espao.

9. Aplicaes afins*. Tornemos ao exemplo anterior da projeco @ dos pontos do espao 8 sobre um plano a paralelamente a uma recta d (no paralela a a). Vimos que @ uma que transforma aplicao de 8 em 8 (mas no sobre i?), segmentos de recta em segmentos de recta, mas que transforma as rectas paralelas a d em pontos. Dissemos que se trata de uma afinidade degenerada.

J. SEBASTIAO E SILVA Sejam A, B, C D quatro pontos de 8 no complanares e , A', B', C', D' respectivamente as suas projeces sobre e paralelamente a d. evidente que A', B', C', D' so complanares, embora no colineares (porqu?) e, a cada ponto

de

8,

corresponder o ponto P' = A'

+ + x .A'B' + y .A'C' + z . AIDI


_j

de

(e portanto de 8 ) .

Dum modo geral, chamaremos aplicao afim do espao em si mesmo toda a aplicao da forma

em que O e O' so pontos arbitrrios de

complanares de trrios de 8.

(elementos de

g) e

8, e, f, g + + +

+++

vectores no

e', f', g' vectores arbi-

Em particular, se e', f', g' so no complanares, a aplicao @ bijectiva e portanto uma transformao afim (ou afinidade). Mas, se e', f', g' so complanares, a aplicao @ j no bijectiva e diz-se uma afinidade degenerada. Nesta hiptese, ainda h a distinguir dois casos:

+ + +

+ + +

Os vectores e', f', g' no so colineares (embora sejam complanares). Neste caso, o contradomnio de (r, um plano, como no exemplo anterior.

I.".

contradomnio de (r, uma recta. Exemplo: a projeco de 8 sobre um plano a, seguida da projeco de a sobre uma recta r c a .

2 " Os vectores e', f ', g ' so colineares. Neste caso, o ..

+ + +

COMPENDIO DE MATEMTICA
claro que a definio anterior se estende ao caso de planos ou rectas. Por exemplo:

Dadas duas rectas r, s (distintas ou coincidentes) chama-se aplicao afim de r em s toda a aplicao @ da forma

+
3

em que O e O' so pontos arbitrrios respectivamente de r e s, e um vector no nulo de r e e' um vector qualquer de
3
3
3

S.

Se

e' = 0, claro que o contradomnio de

se reduz ao ponto 0'.

Se e'# 0, bijectiva e podemos chamar-lhe uma transformao afim (ou afinidade). Mas facilmente se v que, neste caso, @ uma semelhana de r sobre S. Assim:
No caso unidimensional (aplicaes entre rectas) no h distino entre afinidades e semelhanas.

CAPITULO IV

REPRESENTAAO ANALITICA DE APLICAES LINEARES E TRANSFORMAOES AFINS

1. Aplicaces tineare's e matrizes. Consideremos o con junto %a dos vectores de um plano a. J sabemos que g,

um espao vectorial sobre IR. Sejam colineares de gm.

?
j,

k dois vectores no

Ento, como vimos, a frmula

estabelece uma correspondncia bijectiva u-(x,

-+

vectores u e gae os pares (x, y ) e IR. Posto isto, seja F uma aplicao linear do espao vectoria19, em si mesmo, isto , uma aplicao de % em (%a tal que

y) entre os

3. SEBASTIAO E SILVA

Ento, aplicando F a ambos os membros de ( I ) , vem

ou seja, pondo F(u) = u

Reciprocamente, sendo j',

'2Pg, a

aplicao F que faz corresponder a cada vector u dado


3

por (1) o vector u' dado por (2) linear. Com efeito, se considerarmos dois vectores

tem-se
3

ul e, portanto,

+ uz = (xl + x2)j + (yl + yz)k + +) u.


= (xl

F(ul

Analogamente se prova que F(a u) =a F(u) , V a e IR, u eg,. Suponhamos agora dadas as componentes dos vectores
$ 3 j', k'

na base (j, k ) . Seja: T=aj+bk

3 3

ou, abreviadamente,

+,

~(i) , =t

F(k) = k':

k' dois vectores arbitrrios de


3

+ x d+ + (y1 + Y.)? j'

3 - ? + , k ' = c j + dk,

COMPENDIO D E M A T E M T I C A

Procuremos ento as componentes do vector

na base (j, k), Tem-se:

++

= (ax

+ + c y )+ + (bx + dy)k j
?+

Por conseguinte, se designarmos por x', y ' ordenadamente as componentes de u' na base (I, k), isto , se pusermos
s,

U'

= x'j

+ y'k

vir, por comparao com (3), (porqu?)

Assim, dar a aplicao linear : , u ' F:

de

ga em ga

(x', y') de (R2 em IR2, equivale a dar a aplicao (x, y) definida pelo sistema (4). Por sua vez, dar este sistema de equaes equivale a dar o quadro dos seus coeficientes, assim indicado

_ ,

Chama-se matriz quadrada de ordem 2 todo o quadro deste tipo. Os pares ordenados (a, c) e (b, d) so as linhas da matriz: respectivamente a 1." linha e a 2." linha.

3. SEBASTIAO E SILVA

0 pares ordenados (a, b) e (c, d) so as colunas da matriz: s respectivamente a 1." coluna e a 2.a coluna representativas dos
vectores 7, ; . j

Reciprocamente, sendo a, b, c, d nmeros reais arbitrariamente dados, a matriz (4) define uma aplicao linear F de ga C29,, por intermdio do sistema (5). sendo em

Em concluso: TEOREMA 1. Adoptada uma base (j, k ) em tema (4) estabelece uma correspondncia bijectiva
3 3

ga., O

sis-

F-[b
que transforma os vectores

(i]

entre as aplicaes lineares F de g, em 9 e as matrizes qua, dradas de ordem 2 de nmeros reais. Neste Caso F a aplicao

f + respectivamente nos vectores j, k

Estas consideraes podem generalizar-se ao espao vectoria1 9 , constitudo pelos vectores do espao pontual i ! . Chama-se matriz quadrada de ordem 3 todo o quadro do tipo

com 3 linhas (a, a', a"), (b, b', b") e (c, c', c"), respectivamente 1." 2."e 3.a linhas, e trs colunas (a, b, c), (a', b', c'), (a", b", c"), respectivamente 1." 22 e ema colunas. Os smbolos a, b, c, a', ... podem designar entes das mais diversas naturezas (elementos da matriz). No estudo que vamos fazer, interessam-

COMPENDIO DE MATEMATICA

-nos apenas matrizes reais, isto , matrizes cujos elementos so nmeros reais. Posto isto, sejam j, k, m trs vectores no complanares de 9.Como sabemos, a frmula
3 + 3

estabelece uma correspondncia bijectiva u os elementos u de

e os elementos (x, y, z) de IR3. Posto isto,


3

(x, y, z) entre

e ponhamos u' = F(u), seja F uma aplicao linear de % em ? + + + = F(m). Ento, raciocinando como no 3 j' = F(j), k' = F(k), m' caso do plano, v-se que

+=

dados Reciprocamente, sendo 1 , k f , m' trs vectores de arbitrariamente, a aplicao F, que faz corresponder a cada vector
dado por (6) o vector u' dado por (7), linear. Seja agora

'

(8)

I i'

= a'j

+ + b'k + c'm

Ento, fcil ver, como no caso anterior, que


Xf

(9)

y'
1 '

+ a'y + a"z = bx + b'y + b"z = cx + c ' y + c"z


= ax

J . SEBASTIAO E SILVA

E chega-se agora ao seguinte


TEOREMA 2. Adoptada uma base (j, k, m ) em tema (9) estabelece uma correspondncia bijectiva

3, o

sis-

entre as aplicaes lineares F de 9 em 9 e as matrizes quadradas reais de ordem 3. Neste caso F a aplicao linear de

9em 9que transforma os vectores


mente nos vectores7'.

Y',

de base j, k, m respectiva-

++

m' dados por (8).

vector representativo do nmero complexo 3 4i -?, . Posto isto, determine a matriz da aplicao e seja k ' = i j por
3

7o '

I. Sendo (j, k) uma base ortogonal no plano, designe

+ +

linear que transforma (j, k ) em (j', k) ' inversa.


II. Dada uma base (j, k, m ) de

++

++

e a matriz da aplicao

9e

os vectores

+ 3 -> determine as componentes dos transformados de u, v, w pela aplicao linear F de matriz

Que relao verifica entre os vectores obtidos? Qual ento o contradomnio de F?

COMPENDIO DE MATEMATICA

2. Representao analtica das afinidades de um plano ou do espao. Consideremos num mesmo plano T dois referenciais cartesianos (0, j, k), (O', j', k'). Portanto O e O' so dois pontos quaisquer do plano, ( j , k) e , k') dois pares quaisquer de vectores no colineares (bases de g,).
3 + 3 + + 3

+ +

Segundo o estabelecido no Captulo III, n." 7 (pg. 111). existe uma e uma s afinidade @ do plano que transforma (O, e, f ) em (O', e', f') Ento

+ ++

+ + +

(I).

Seja P um ponto qualquer do plano.

@(P) = @(O) (1) P' = O'

+ ao (P - O)
*

ou seja ou ainda

+ a0(P)

(2)

O'P' = a o ( 0 P )

qx. Suponhamos

em que P' = @(P) e @ a aplicao linear definida por @ em , agora que se tem, no I." referencial:

P*(x,

Y)

P' = @(P)-(x',

y')

(I)

claro que, em vez dos ternos (0, j.

+9

k), (O', j', k'), podemos consi-

++

derar dois ternos de pontos (0, A, B), (O', A', B'), tais que OA = j, OB = k,
3

++

3 3 3 O'A' = j', O'B' = k'.

J . SEBASTIAO E SILVA

Ento, pelo que se viu no nmero anterior, a frmula

a
(3)
ou seja

a (OP)

equivale ao sistema de equaes

(4)
Ser esta pois a representao analtica da transformao considerada. Como se v, esta definida pela matriz

[b :]

representativa de

a,

e pelo par ordenado (p, q), representativo do vector 00' (que define uma translao de O para 0 ' ) . Assim, a afinidade a aparece decomposta numa afinidade que deixa fixo o ponto O e na translao que leva O para 0'. A primeira pode ser identificada com a aplicao linear ao visto que, uma vez escolhida a origem 0, cada ponto P do plano pode
ser identificado com o seu vector de posio OP. Estas consideraes estendem-se imediatamente ao espao 8. Consideremos dois referenciais:
4

(O, j, k, m) e (O'.;'.

++ +

k'. m')

-3

Ento a afinidade @ que transforma o primeiro no segundo definida pelo sistema de equaes
X'

= ax y ' = bx

+ a'y + a"z + p + b'y + b"z + q cx + c ' y + c"z + r

COMPENDIO DE MATEMATICA

em que se tem, relativamente ao 1." referencial: (a, b, c)(x, y, 2)-P

, (a, b , c
,

)k

, (a", b", c")=@(P)

m'

(x', y', z').+Pf

O problema da representao analtica das afinidades equivale de certo modo, como vamos ver, ao PROBLEMA DA MUDANA DE COORDENADAS, quando se passa de um referencial para outro. Comecemos pelo caso do plano:

Dadas no plano as coordenadas x, y dum ponto P num referencial (0, j, k), determinar as coordenadas x', y' do mesmo ponto num outro referencial (O', Ento

++

-?, +r J k

).

Procuram-se x', y' tais que

Sejaj'=aj+bk Ento (6) equivale a

, k'=cj+dk

, O'=O+pj+qk

J . SEBASTIAO E SILVA

donde, por comparao com (5):

(7)

+ cy' + p y = bx' + dy' + q


x = ax'

Assim, como se v, as equaes que do a mudana de coordenadas tm a mesma forma das equaes (4), mas com as variveis trocadas. No problema anterior tratava-se de coordenadas de dois pontos P e P' no primeiro referencial. Agora trata-se de coordenadas de um mesmo ponto P em dois referenciais diferentes. Mas note-se ainda: Para determinar as novas coordenadas x', y' a partir das primitivas x, y, h que resolver o sistema (7) em relao a x', y'. Analogamente para o espao 8. U m problema inteiramente anlogo o da mudana de base num espao vectorial.

I. Considere a afinidade a dada no plano pelo sistema de equaes:


x' = 3x y' = 4x

- 4y - 1

+ 3y + 1
dos pontos

relativamente a um referencial ortonormal. Posto isto: a) Determine os transformados por

b) Desenhe o tringulo [ABC] e o seu transformado por @. Que espcie de afinidade @? c) Dada a recta r de equao x i 2y = 1, ache uma equao da recta r' = @(r). (Sugesto: convm resolver o sistema anterior em relao a x, y.) d) Represente analiticamente
@-I.

COMPENDIO DE MATEMATICA

~2

II. Determine as transformadas das figuras de equao ~2 = r2 (com r E IR) pelas afinidades da forma (I)
x' = ax y'=

+ by bx + ay

com a2

- b2 = 1

III. Dada a equao

num referencial ortonormal, achar a equao correspondente num referencial em que os novos eixos coincidam com as assmptotas da hiprbole representada por aquela equao. (Sugesto: no novo referencial as equaes das assmptotas devero ser x' = 0 , y' = 0, enquanto no primeiro so mx ny = O, mx ny = 0).

3. Produto interno de dois vedores. Para poder decidir se uma afinidade representada analiticamente uma isometria ou uma semelhana, o processo mais elegante e mais cmodo baseia-se na noo de produto interno de dois vectores.
Consideremos, por exemplo, num plano dois vectores u, v e seja

++

relativamente a um referencial ortonormal do plano. Posto isto, procuremos relacionar o quadrado do mdulo da soma u com os mdulos de u e v. Como
3

+v

+
u

++ v4(x + x',

+ y'),

(I) Este exemplo tem especial interesse por estar intimamente relacionado com a teoria da relatividade.

J . SEBASTIAO E SILVA

tem-se

= (x2
e portanto

+ y2) + (xP2+ yt2) + ~ ( x x + yy') '

(1)
donde

I u + vI2 = (ul"
3 3

+ v I 2 2(xxP

+ yy')
- I v IZ)
3

xx'

+ yy'

= - (1 u

I + + ' + v l2- 1 u ( 2 2

O 2." membro mostra que o valor da expresso xx' yy' no depende da base adoptada (desde que esta seja ortonormal!),

mas apenas dos vectores u e v. Esse valor (nmero real) chamado produto interno de u por v e representado por qualquer das notages u v ou u 1 v (ler Ter-se- pois, por definio:

+ +

++

) interno

v ').

Em particular, se u = v, vem

o que induz a escrever, mais simplesmente,

u2 em vez de ( u 1"

COMPENDIO DE MATEMATICA

Assim, a frmula (1) assume o aspecto sugestivo:

Como se v, a expresso cartesiana do produto interno num referencial ortonormal do plano

I
+

+ +

u v = XX' m

+ yy'

Analogamente se v que no espao

supondo u -(x, y, z) e v(x', y', z') num referencial ortonormal. Desta expresso cartesiana (ou da definio adoptada), imediatamente se inferem as seguintes PROPRIEDADES DO PRODUTO INTERNO

I. Comutatividade: u v = v

+ +

+ +

. u,

V u v Eg

+ +

II. Distributividade: u m( v + w ) = u m v + u m w , Vu, v, w e g

+ + +
3
3

+ + + +
3 3

+ + +
E ~ ,

III. Homogeneidade: (a U) . v = a ( u . u), VU, IV.

+ +
V

Esta ltima propriedade. muito importante (PROPRIEDADE DO ANULAMENTO DO PRODUTO INTERNO), deduz-se facil-

.. i SEBASTIAO E SILVA

mente da frmula (3), quer no caso em que um pelo menos dos vectores nulo, quer no caso em que so ambos no nulos
e perpendiculares entre si (u

L v).

Com efeito, neste caso, a definio de soma u TEOREMA DE PITAGORAS do imediatamente


3
3
9

+v

5 ,

e o

(U +V)"

u2 + V "

donde u - v = O

NOTA SOBRE A TERMINOLOGIA. Em matemtica moderna, costume chamar 'operao interna' (ou 'lei de composio interna') num conjunto A, a toda a operao binria @ que faz corresponder, a cada par ordenado (a, b) de elementos de A (a que se possa aplicar) um elemento a @ b, tambm de A. Ora, segundo esta definio, a operao de produto interno no uma
3 3

operao interna, pois faz corresponder a cada par (u, v) de vectores normalmente elementos de 9 um escalar (isto , um nmero real) e no um vector. Como, no entanto, a tradio j tinha consagrado a designao 'produto interno' para este caso, continua a ser usada essa designao, embora no seja coerente com a terminologia moderna da lgebra geral. Muitas vezes, em vez de 'produto interno' diz-se 'produto escalar', atendendo a que o resultado da operao um escalar.

4. Nova definio geomtrica de produto interno. Procuremos agora um significado geomtrico da noo de produto interno, que faa intervir o ngulo dos vectores dados. Para isso,
consideremos um plano
7

em que os dois vectores u, v possam

COMPENDIO DE MATEMATICA
3 3

ser representados e adoptemos a uma base ortonormal (j, k ) tal que u seja colinear com

i ,
j

e do mesmo sentido (se u f O).

Ento, se pusermos
+

j
= X J

+yk

, v = x'j

+ y'k,

ter de ser y = O e x

>O

(porqu?). Logo

Para determinar x' designemos por 9 o ngulo dos vectores


3

u, v, isto , o ngulo convexo formado por duas semi-rectas

quaisquer com as direces e sentidos de u e v (se um dos vectores nulo, considera-se 0 arbitrrio). Ento 9 tambm o ngulo que v forma com o vector

ir
j

e portanto

donde, por substituio em (1):


+ 3 U .V

= ( u ((

V ( COS

(u, V )

r)

J . SEBASTIAO E SILVA

onde cos(u, v) = cos 6. Esta frmula a que se adopta habitualmente para definir 'produto interno' (em vez da frmula (2) do nmero anterior) e aplica-se em inmeras questes de fsica.

++

Por exemplo, quando se tem uma fora aplicada a um objecto material, diz-se que a fora produz trabalho, sempre que se desloca o seu ponto de aplicao. Ora, se o deslocamento rectilneo e a fora se mantm constante em direco, sentido e intensidade, o trabalho produzido pela fora , por definio, a grandeza escalar dada pela frmula

sendo f o vector correspondente fora, AB o vector correspondente ao deslocamento e 6 o ngulo dos dois vectores. A medida do trabalho, w, depende evidentemente do sistema de unidades adoptado: por exemplo, se a fora expressa em quilogramas e o deslocamento em metros, o trabalho vem expresso em quilogrmetros (trabalho produzido por um quilograma-fora, cujo ponto de aplicao se desloca um metro na direco e no sentido da fora). Ao aplicar a frmula (3) trs casos se podem dar: 1) ? # ~ & # $ A 0 < 6 < 9 0 0 . positivo (ou potente). Ento w > 0: trabalho

r)

-+

2) A # O A 900 < 0 balho negativo (ou resistente).


3 3 3 +

7 #e 3

< 180".

Ento w

<

0: tra-

3)

f = O V AB = O V 6 = 90". Ento w = 0: trabalho nulo.

COMPENDIO DE MATEMATICA

O significado geomtrico do produto interno segundo a frmula (3) tem ainda uma aplicao importante em trigonometria:

Consideremos um tringulo qualquer [ABC] e designemos, como hbito, a medida de cada um dos seus lados, pela letra minscula correspondente letra maiscula que designa o vrtice oposto, e cada ngulo interno do tringulo pela mesma letra que designa o vrtice (I). Ento, aplicando a frmula (3) do nmero anterior, vir, por exemplo:

Mas BC2 = a2 , B Por outro lado


4

A b ~, A C ~ c 2 = 2

BA AC =
=

- AB . * AC
3

(porqu?)

- bc cos

(AB, AC)

e assim, por substituio em (4):

Como se v, esta frmula generaliza o teorema de Pitgoras (correspondente ao caso A = 900) e pode ser traduzida do seguinte modo, em linguagem comum:
(I) Trata-se, e claro, de um abuso cmodo de escrita, que se pode usar quando no haja perigo de confuso.

J. SEBASTIAO E SILVA

TEOREMA DO CO-SENO (ou TEOREMA DE CARNOT). Em qualquer tringulo, o quadrado de cada u m dos lados igual soma dos quadrados dos outros dois menos o dobro do produto desses dois lados pelo co-seno do ngulo oposto ao primeiro. Um outro teorema importante de trigonometria o TEOREMA DOS SENOS, que o aluno encontrar exposto e demonstrado no seu Compndio de Trigonometria (tem interesse ver a demonstrao deste teorema). nestes dois teoremas, bem como nas frmulas trigonomtricas deduzidas atrs (Captulo 11). que se baseia a resoluo de tringulos obliqungulos. As respectivas frmulas resolutivas, adaptadas a clculo logartmico, encontram-se no s no referido Compndio, como ainda nas prprias tbuas de logaritmos mais conhecidas. Basta pois ter uma ideia de como se utilizam essas frmulas, cujo interesse principal reside nas aplicaes Topografia.

5. Aplicaes do produto interno em geometria analtica. Da frmula (2) do nmero anterior (definio clssica de produto interno) deduz-se:

cos (u, V) =

+ +
3

U.V

i:i
+
3

I:]

sendo u, v dois vectores no nulos. Suponhamos que se tem


3

u-

(x, y), v -

(x', y'),

relativamente a um referencial orto-

normal no plano. Ento o co-seno do ngulo 6 de u com v ' dado pela frmula: xx'
i X 2

(1)

cos 8 =

+ yy'
iX'2

+ y2 .

+ yte

COMPENDIO DE MATEMATICA

Em particular tem-se
3

( 2)

uIv++xx'

+ yy'
3

=O
3 3

claro que, se um pelo menos dos vectores u, v for nulo,

tambm ser xx'+yy'=O.

Por comodidade de linguagem, diz-se

ainda neste caso que os vectores u, v so perpendiculares (ou ortogonais). Portanto a frmula (2) exprime a condio necessria e suficiente de ortogonalidade de dois vectores, quando se adopta u m referencial ortonormal do plano. Analogamente, no espao, o ngulo 8 de dois vectores no nulos dado pela frmula xx'

(3)

cose=

+ yy' + zz'
22.

\/x2

+ y2 +

v'

x'2

+ y'2 +

2'2

e, em particular, tem-se a condio de ortogonalidade


3
3

(4)

u'

xx'

+ yy' + zz'

=O

que vlida mesmo no caso em que um, pelo menos, dos vectores nulo, segundo a conveno anterior. Estas frmulas (que podem sem dificuldade ser generalizadas ao caso de referenciais cartesianos no ortonormais) prestam-se comodamente a muitas aplicaes em geometria analtica:
I. Suponhamos, por exemplo, que so dados no plano trs pontos distintos, pelas suas coordenadas (num referencial ortonormal):

Ento, a amplitude 0 do ngulo BC ser dada pela frmula

J . SEBASTIAO E SILVA

Analogamente para o espao, aplicando a frmula (3).

II. Consideremos agora o problema:


Conduzir por um ponto Po

cular a um vector no nulo u4(a,

(xo, yo) uma recta perpendi. b).

Seja P

Ento o vector Po P perpendicular a u (ou nulo). Tem-se pois sempre

(x, y) um ponto qualquer de recta.

o que, segundo (2), se traduz analiticamente por

Ser pois esta uma equao da recta pedida. Reciprocamente: Dada uma recta qualquer de equao

os coeficientes a, b, respectivamente de x e y, so as componentes de um vector no nulo perpendicular recta.

COMPENDIO DE MATEMATICA

Com efeito, o vector (a, b) no nulo (porqu?) e, se (xo, y o ) for um determinado ponto da recta, j sabemos que a equao (5) equivalente seguinte:

Ora isto mostra que, sendo (x, y) um ponto de r distinto de (xo, y,), o vector (x-xo, y-yo) perpendicular ao vector (a, b) e portanto este perpendicular a r. Como sabido, chama-se ngulo de duas rectas do plano menor das amplitudes dos ngulos em que as rectas dividem o plano (se so concorrentes) ou o ngulo nulo (se so paralelas). Nestas condies, o ngulo 6 de duas rectas r, s, de ' equaes

a'x

+ b'y + c' = O

ser igual ao ngulo dos vectores (a, b) e (a', b'), normais s rectas, ou igual ao suplementar desse ngulo. Tem-se, pois, em qualquer dos casos: aa'
=
v a 2

COS

+ b2

. da'? + bt2 /

+ bb'

Esta frmula d, portanto, o ngulo 8 das duas rectas definidas pelas equaes anteriores. Em particular, ser

Ls

aa' 4- bb' = O

Recordemos que, por outro lado, se tem r // s ab'

- a'b

=O

3. SEBASTIAO E SILVA

Isto tambm pode escrever-se:

no caso em que a' i O A bf # O. E poderemos usar esta frmula, mesmo no caso em que um dos denominadores nulo, convencionando que, nesse caso, o numerador correspondente tambm ter de ser nulo (I).

III. Estes resultados so facilmente generalizveis ao espao. Assim:


O plano que passa por um dado ponto (xo, yo, z o ) e perpendicular a um dado vector (a, b, c) no nulo, definido pela equao:
a(x-xo)

+ b ( y - y o ) + c(z-zo)

=O

Reciprocamente, dada a equao de um plano qualquer

esta pode sempre escrever-se sob a forma

E claro que se trata aqui apenas de uma regra pratica. Quando s8o (I) nulos os dois termos duma fraco, esta reduz-se a um smbolo de indeterminao e, portanto, no verifica em rigor a igualdade indicada.

COMPENDIO DE MATEMATICA

sendo (x,,

y,, 2) ,

um ponto qualquer do plano. Portanto os


3

coeficientes a, b, c so as componentes de um vector u no nulo normal ao plano. Isto permite, por exemplo, achar o ngulo 0 de dois planos 7, p de equaes

a'x

+ b'y + c'z + d'

=O

Com efeito, Q ser um ngulo do 1." quadrante, igual ao ngulo dos vectores (a, b, c), (a', b', c') ou suplementar desse. Tem-se pois: aa'
COS

Q =

\ a 2

+ b+

+ bb' + -cc' _ cc". 1 at2 + b'2 +


/--

~ '

I
2

Em particular, tem-se a CONDIAO DE PERPENDICULARIDADE:

?r

L p # aa'

+ bb' + cc'

=O

Por outro lado, j sabemos que se tem a CONDIAO DE PARALELISMO:

em que se mantem a conveno anterior: quando um dos denominadores for nulo, o numerador correspondente ter de ser tambm nulo.

J. SEBASTIAO E SILVA

IV.

Suponhamos agora dados um plano ax+by+cz+d=O

; i

de equao

e um vector no nulo u -(a',

b', c').

Ento, se designarmos por ngulo de u com o vector, v


3

o ngulo de u com

e por O o

(a, b, c), normal ao plano, ser

Em qualquer dos casos: sen


r,

= 1 cos O

I
dado pela frmula

Portanto o ngulo do vector u com o plano aa'


\ a 2

+ bb' + cc'
\ ' T + b ' z + F L l

+ b2 + c2 ,

Em particular, tem-se:
3

u //

++ aa' + bb' + cc'


a

=O

b C uIx'L+=-=--a' b' c'

COMPENDIO DE MATEMATICA

A frmula (6) permite achar o ngulo de uma recta AB . com o plano n Com efeito, sendo A e B pontos distintos, o ngulo da recta AB com o plano T igual ao ngulo do vector AB ou do vector BA com r. Portanto, se tivermos

bastar, na frmula (6), tomar

Analogamente para as condies (7) de paralelismo e perpendicularidade.

V. Dum modo geral, a recta que passa por dois pontos distintos A (XO, y ZO) e B , (x,, yl, z,), definida pela equao vectorial P=A

+ t ( B - A),

onde t um parmetro, varivel em IR. Esta equao traduz-se analiticamente pelo sistema de equaes paramtricas da recta:

Eliminando t e pondo a=xl-x, vem

, b=y,-y,

(8)

--

X-x,
-

y-y,
-

z-z,
C

que so equaes cartesianas da recta que passa pelos pontos A e B (ou que passa pelo ponto A e tem a direco do vector AB). Note-se que a frmula (8) fornece no mximo duas equaes independentes.

J. SEBASTIAO E SILVA

Reciprocamente, sempre possvel reduzir forma (8) u m sistema de equaes de uma recta no espao. Seja por exemplo O sistema

Resolvendo ambas as equaes em ordem a x, vem

Portanto, o sistema equivalente dupla equao:

A recta representada passa pois pelo ponto (0, e tem a direco do vector (1, 2, - 1/3). Seja, agora, o sistema

- 1,

2/3)

Este pode ser considerado equivalente a dupla equao

pois que, segundo a conveno anterior, o ltimo denominador 5 = O. Trata-se, pois, da recta que passa pelo obriga a ser z 3, - 5) e tem a direco do vector (1, 2, 0 ) (recta ponto (0, de nvel).

COMPENDIO DE MATEMATICA

VI. Como ltima aplicao do produto interno, vamos deduzir uma frmula que d, no plano, a distncia de um ponto P(x,, y,) a uma recta r de equao

Seja M o ponto de r mais prximo de P e seja P, -(x,, um ponto arbitrrio de r. Ento a distncia procurada ser e a equao (10) ser equivalente a a(x Ora (11)

y ) ,

I PM I

- x,)

+ b ( y - y,)

=O

(c =

- ax, - by,)

I PM I = / P,P I cos
---+
3

O,

onde 0 a amplitude do ngulo P,PM, do vector P P com o vector n , ngulo. Ser pois

que igual ao ngulo ou ao suplementar desse

_, (a, b)

donde, por substituio em (11 ) e notando que I n I = \' aZ -i-b2: (PMI =

, -

I a ( x l - xo) + ~
--

\' a2

+ b2

( Y I yo)

3. SEBASTIAO E SILVA

Finalmente, lembrando que - ax, mula que d a distncia 6 procurada:

- by,

= c, obtemos a fr-

Analogamente se v que a distncia de um ponto P+(x,, y,, z,) do espao a um plano de equao ax by cz d = O dada pela frmula

+ + +

6 =

1 ax,

+ by, + cz, + d 1 \ ' a2 + b2 + c2

Com as frmulas anteriores podem resolver-se comodamente diversos tipos de problemas de geometria analtica, no plano o u no espao, relativos a rectas e a planos.

6. Representao analtica das isometrias e das semelhanas. Comecemos pelo caso bidimensional. Consideremos num mesmo plano dois referenciais

J sabemos que existe uma e uma s afinidade @ que transforma o primeiro no segundo e que definida analiticamente pelo
sistema de equaes:

onde (a. ,) b j'. (c. d) k', (p. ,) q O', (x, ,y ) P e (x', y') P' (no primeiro referencial), sendo P um ponto qualquer do plano e P' = @ ( P ) .

+-

,
3

COMPENDIO DE MATEMATICA

Mas, para que [D seja uma isometria, necessrio (e suficiente) que o segundo referencial seja isomtrico ao primeiro, isto , que
=

1Cl = l i

, cos

(7. k+r ) = c o s

(j, I<)

+ +

ou seja, em termos de 'produto interno':

Em particular, se o primeiro ortonormal, o segundo tambm o deve ser, isto , as condies ( 2 ) reduzem-se a

(3)

-? ],2=;2=1

, 1 .k -0 ? +,-

Por sua vez, estas traduzem-se analiticamente pelas seguintes:

Assim, na matriz quadrada

devem ser iguais a 1 as somas dos quadrados dos elementos em cada coluna e igual a zero a soma dos produtos dos termos homlogos das duas colunas (veremos depois que o mesmo facto se verifica para as linhas). Seria natural exprimir este facto dizendo que a matriz ortonormal, mas estalebeceu-se infelizmente o hbito de dizer, neste caso, que a matriz ortogonal e no iremos aqui contra o uso. Tambm se pode indicar o mesmo facto dizendo que a matriz unitria, o que j mais coerente. Em concluso: TEOREMA 1. Condio necessria e suficiente para que a afinidade representada pelo sistema ( I ) , em referencial ortonormal, seja uma isometria, que a matriz do sistema seja ortogonal ( o u unitria).

J. SEBASTIO E SILVA
Analisemos, agora, mais de perto o significado geomtrico das matrizes ortogonais de 2."ordem. Para isso comecemos por observar o seguinte: LEMA.

vector u o produto interno de u pelo vector de base relativo a essa componente.

Em referencial ortonormal, cada componente de um


-3

Seja com efeito u = x j

+ y k. Ento vir
3

u.j=xj2+y(k-j) donde u
-

+ +

+ +

(porqu?)

.?= x
j

(porqu?)

-> Analogamente se v que u Em particular:

. lc = y.
3

Se u unitrio, cada componente de u o co-seno do ngulo de u com o vector de base relativo a essa componente

(chamado 'co-seno director' de u). Com efeito, se u unitrio, tem-se

e analogamente para u

.->k.

COMPENDIO DE M A T E M T I C A

Posto isto, consideremos novamente a matriz

e suponhamos que esta ortogonal (sendo ortonormal o primeiro referencial). Ento, designando por a, p, y, 6, respectivamente, os ngulos de j' com j e com k, e de k' com

-?
j

e com k, tem-se:

Por outro lado fcil ver que

donde cos p = sen U. e cos 6 = sen 7. Posto isto, dois casos se podem dar:
1.O caso: os dois referenciais so positivamente isomtricos (caso da figura). Ento y = 90" tr e portanto

cos y =

- sen

, sen y =

COS tu

Assim cos
a a

- sen

sen

cos a _

Portanto, neste caso, a isometria a, definida por ( I ) , um deslocamento, composto da rotao a, de amplitude a em torno de O e da translao 00'. 2." caso: os dois referenciais so negativamente isomtricos. Neste caso tem-se, como fcil ver, cos a sen n
4

- cos

"I
a

V-se ento que c~ uma isometria negativa, composta de um deslocamento (como o anterior) e de uma simetria.

J. SEBASTIAO E SILVA

Vejamos, agora, como se determina a transformao inversa da afinidade @, definida pelo sistema:

Este o equivalente ao seguinte

o qual, resolvido em relao a x, y conduz a um sistema equiva-

lente, da forma:
x = af(x'

(5)

Y = b'(x'

- p) - p)

+ c'(y'

+ d'(yf

- q) - q)

Resta pois determinar os coeficientes a', b', c', d', pois que os -b'p-d'q. Mas claro termos independentes so -a'p-c'q,
-3

que a', b' so agora as componentes do vector j na base (j', k'), enquanto c', d' so as componentes do vector k na referida base. Ora, sendo uma isometria e sendo os referenciais ortonormais, estas componentes esto automaticamente determinadas. Com efeito, tem-se:

cos (J, J ) = cos ( J , J ) = a


cos (k, j') = cos (4 , k ) = b j
3
+

-5' ? '

-t, -?

cos (1, k') =tos (k', J ) = c


, cos (k, k') = cos (k', k ) = d

+ +
-3

+i*

+ +

COMPNDIO DE M A T E R I A T I C A

A situao est evidenciada no quadro da pgina anterior, em


que, nas colunas, se indicam as componentes de rencial e, nas linhas, as componentes de j, k no 2." referencial. Em concluso, tem-se na referida hiptese:

++

7,k' no I: refe-

isto : a matriz do sistema (5) resulta da matriz do sistema (4), trocando alternadamente linhas com colunas. Exprime-se este facto dizendo que a 2 . m a t r i z a transposta da 1 . q e vice-versa). Por conseguinte: TEOREMA 2. Quando se adoptam referenciais ortonormais, a matriz da transformao inversa, a-', de uma isometria 9, a transposta da matriz de @. Em particular, verifica-se o facto j enunciado: COROLARIO. A transposta de uma matriz ortogonal ainda uma matriz ortogonal. Assim, no caso anterior, ter-se-:

como consequncia das relaes anlogas entre colunas. Note-se que estas consideraes se aplicam, na sua essncia, ao problema equivalente de mudana de coordenadas. J vimos como o sistema

I
++
+ +

x = axt+ cyr+ p
y = bx'

+ dy' + q

permite passar das coordenadas x, y de um ponto P no referencial (0, j, k ) para as coordenadas x', y' do mesmo ponto no referencial (O', j', k'). Se ambos os referenciais so ortonormais,

J . SEBASTIO E SILVA

o problema simplifica-se, visto que a matriz do sistema ortogonal: a matriz do sistema inverso simplesmente a transposta da primeira. Passemos, agora, ao caso das transformaes de semelhana. Como vimos atrs, a afinidade @ que transforma o referencial k') uma semelhana, sse o 2." referencial semelhante ao primeiro. Ora, se este ortonormal, o segundo ser semelhante ao primeiro, sse verificar as condies
j',

(O, j, k ) no referencial (O',

3 3

73

(sendo r a razo de semelhana) ou o que equivalente:

Mas isto equivale a dizer que a matriz

ortogonal ( o u unitria). Chama-se produto de uma matriz A por um nmero r, e representa-se por r A, a matriz que resulta de A multiplicando cada um dos seus elementos por r. Podemos ento escrever:

e concluir:

TEOREMA 3. Condio necessria e suficiente para que uma afinidade s seja uma semelhana de razo r que a sua matriz seja igual ao produto de r por uma matriz unitria.

COMPENDIO DE MATEMATICA

Em particular, se que vimos atrs, [a b


C ~

uma semelhana positiva, ter-se-, pelo

-[

a S a:

-sen a ]

sen

cos

ai

sendo ai o ngulo de 3, com 3 Neste caso, segundo o exposto J j. no Captulo II, a semelhana ao pode ser identificada com o nmero complexo r E ( @ ) = r (cos
0

+ i sen

a:)

Finalmente, as consideraes anteriores podem ser estendidas sem dificuldade ao caso tridimensional. Consideremos dois referenciais cartesianos
3 3 3
+

(O, j, k, m )

(O',

i', k',

m')

e a afinidade @ que transforma o primeiro no segundo. Ento, se tivermos, relativamente ao 1.O referencial,

+
a,ti .( b. C)

Zt4

(at, br, C'),


q, s)

+
'-"'c_? (a", b", c")
, ot_,(p,

a aplicao @ transforma cada ponto P -(x, P'+ (x', y', z') tal que
X'

y, z) no ponto

(6)

y'
2'

+ a'y + a"z + p = bx + b'y + b"z + q = + c'y + c"z + s


= ax
CX

A matriz deste sistema

J . SEBASTIAO E SILVA

diz-se ortogonal (ou unitria), sse

aa'

+ bb' + cc'

= aa"

+ bb" + cc"

= a'a"

+ b'b"

4- C'C" = 0

Como no caso bidimensional, conclui-se o seguinte: TEOREMA 4. Se o 1 . O referencial ortonormal, ento uma isometria, sse o 2." referencial tambm for ortonormal, o ortogonal. Ento que equivale a dizer que a matriz de a aplicao inversa, a-', definida, em relao ao 2.0 referencial, pelo sistema

- p ) + b (y' - q ) + c (z' - s) y = a' (x' - p) + b ' (y' - q) + c ' (z' - s) z = a"(xr - p) + b"(yr - q) + c"(zr - s)
x = a (x'

sendo a sua matriz a transposta da matriz de a. claro que este teorema se aplica, mutatis mutandis, ao problema da mudana de coordenadas. Por outro lado: TEOREMA 5. Na mesma hiptese, uma semelhana de razo r, sse a sua matriz igual ao produto de r por uma matriz unitria. Resta ver como, no caso tridimensional, se consegue averiguar analiticamente se uma dada isometria ou semelhana positiva ou negativa. Para isso est naturalmente indicado o conceito de determinante, de que vamos tratar, em estreita ligao com o de produto externo de dois vectores.

7. Produto externo de dois vectores do plano*. Suponhamos adoptado no plano um sentido positivo de rotao, por exemplo o sentido anti-horrio. Posto isto, chama-se produto

COMPENDIO DE MATEMATICA

externo de dois vectores u, v do plano, e representa-se por u A v (ler 'u externo v') o nmero real assim definido
3 3

3 4

u Aqui, sen
ci,

/\

v =1u

1 1VI

sen (u, V ) naturalmente, o seno do

(u, v )
3

representa,

ngulo orientado de u e v - portanto positivo ou negativo, conforme este ngulo tiver o sentido positivo (anti-horrio) ou o negativo. Para interpretar geometricamente a definio anterior, convm distinguir dois casos:

1." caso: os vectores u, v so colineares. Ento sen O = O


e portanto u A v = 0.
2.O

+ +

caso: os vectores u, v no so colineares.

3 3

Tomemos ento trs pontos A, B, C tais que u = AB, v = A C 3 e3 e seja D = B v = C u. Ento I u I medida de um dos lados

+ 3

-+

do paralelogramo [ABCD] e 1 v 1 1 sen O 1 a medida da altura do paralelogramo relativamente a esse lado. Por conseguinte:
3

u A v a medida da rea do paralelogramo, com o sinal

conforme o ngulo de u com v positivo ou negativo (positivo no caso da figura, adoptando o sentido anti-horrio).

+ ou -

J . SEBASTIAO E SILVA

Convm desde j notar que a noo de produto externo pode ser dada a partir da de produto interno, utilizando nmeros imaginrios.

Tem-se, com efeito ( i u ) . v = ( i u l l v I cos ( i u , v )


C

-3

-3

como l i u l = l u 1 , cos ( i u , V ) = sen (u, v), twn-se

+ +

u A v = (iu) . v

Posto isto, bem fcil estabelecer as seguintes propriedades do produto externo, em que, para comodidade de escrita, se omitem as setas sobre as letras:

PROPRIEDADES DO PRODUTO EXTERNO

I. u A v = - V A U
II.
III.

Vu,veq,
, Vii, v,

uA(v+w) =uAv+uAw uA(av) = a ( u A v ) uAv =O


U,

weg,

Vu, vsq9,;

aeIR

IV.
V.

so colineares
(I).

j A k = I , se (j, k ) uma base ortonormal

( 1 Quando nada se diz em contrrio, subentende-se que a base adoptada tem o sentido positivo, neste caso o sentido anti-horrio ou sinistrorso (isto , k deve estar a esquerda de j).

COMPENDIO DE MATEMATICA

As propriedades 1, III, IV e V so consequncia imediata da definio. Quanto propriedade 11, resulta imediatamente de (1) e da propriedade correspondente para o produto interno. Como se v, o produto externo, ao contrrio do produto interno, no comutativo (ou simtrico). Exprime-se a propriedade I, dizendo que o produto externo anti-simtrico. De I e II deduz-se imediatamente que o produto externo no s distributivo esquerda ( o que se indica em II), como tambm distributivo direita. Por sua vez, de I e III, deduz-se que tambm:

111'.

(au) A v = a ( u A v )

, Vu, v e q n ; aelR

A conjuno da distributividade (bilateral) com as propriedades III e III' exprime-se dizendo que o produto externo u A v bilinear (isto , linear direita e esquerda) (I). Suponhamos agora fixado no plano uma base ortonormal (j, k) e seja

Procuremos a expresso analtica de u A v. Tem-se (aj

+ bk) A (cj + dk) = aj A (cj + dk) + bk A (cj + dk)


(porqu?) (porqu?)

=ac.jAj+ad.jAk+bcmkAj+bdmkAk
Mas j A j = k A k = o Logo

, j A k = - k A j = l

Ao mesmo tempo, v-se que a operao de produto externo fica completamente determinada pela conjuno das suas propriedades I-V. (I) Note-se que o produto interno tambm e bi'linear. Mas enquanto este simtrico, o produto externo anti-simtrico.

J. SEBASTIAO E SILVA

O produto externo u A v (no plano) tambm chamado determinante dos vectores u, v, por esta ordem, e escreve-se
u A v = det(u, v) =

I; ,I

c (na base adoptada)

Uma primeira aplicao do produto externo encontra-se no clculo de reas de figuras polgonais do plano.

Por exemplo, se tivermos, relativamente a um referencial ortonormal,


o
0

, IB

( ~ 1 ,y1)

, ,,,, x ( C

y,)

sendo A, B, C no colineares, a rea do tringulo [ABC] ser


metade do rndulo de ABA

z .
- xo

Como

X,

Y1-Yo

x,-x, yz-yo

1
s

segue-se que a rea do tringulo

Uma outra aplicao refere-se ao estudo da isometria definida por um sistema

COMPENDIO DE MATEMATICA

transformando o referencial ortonormal (0, j, k) num referencial ortonormal (O', j', k'). claro que:
O segundo referencial positivamente isomtrico ao primeiro, sse j' A k' > O relativamente ao 1.0 referencial. isto , sse

Ser, pois, esta uma condio necessria e suficiente para que @ seja um deslocamento. Alis temos neste caso (e s neste):

Ib d J = l

cos sen

-sen cos

a
a

= sen2a i c0s2a = 1 -

Diz-se que este o determinante do sistema (2), ou o determinante da respectiva matriz (ou ainda, o determinante de @ no 1." referencial). Analogamente se reconhece se uma dada semelhana (ou mesmo uma afinidade qualquer) positiva ou negativa.

8. Produto externo de dois vectores do espao. Suponhamos fixado no espao 8 um sentido positivo para triedros normalmente o sentido horrio ou dextrorso (ver pg. 93) (I). Posto

isto, chama-se produto externo de dois vectores u, v, e representa-se por u A v, o vector p que verifica as seguintes condies:

+ +=

2) se u, v no so colineares, p perpendicular a ambos


os vectores u, v e o seu sentido tal que o terno (u, v, p) tem

++

+ ++

(I) O contrrio do que sucede no plano, em que o sentido adoptado normalmente o sinistrorso.

J . SEBASTIAO E SILVA

o sentido positivo, isto , v fica direita de u em relao a p (se o sentido adoptado for, como habitualmente, o sentido horrio ou dextrorso) .

Na prtica, pode usar-se neste caso a seguinte regra intuitiva: Se, na mo esquerda, o dedo mdio representa u e o polegar o vector v, ento o indicador d o sentido de u A v. Como se v, o produto externo de dois vectores do espao um vector do espao e no um nmero. Por isso o produto externo de dois vectores do espao tambm chamado produto vectorial. Trata-se pois de uma operao interna em C)Q, ao contrrio do que sugere a designao (j atrs apontmos o desacordo entre a terminologia tradicional e a moderna). As PROPRIEDADES FORMAIS DO PRODUTO EXTERNO NO ESPAO so idnticas s do conceito correspondente no plano, excepto a ltima (omitimos as setas para simplificar):
-3

+ +

II. u A ( v + w ) = U A V + U A W ,
III. u A ( a v ) = a ( u A v )

VU,

V,

w e q

, Vu, v e g ; a e I R

IV.

uAv =O jAk=m

u colinear com v

V.

, kAm=j
(I).

, jAm=-k

se (j, k, m)

uma base ortonormal

(I) Quando nada s e diz em contrrio, subentende-se que o sentido da base positivo (normalmente dextrorso).

COMPENDIO DE MATEMATICA

Todas estas propriedades so consequncia imediata da definio, excepto a segunda. Quanto a esta, comecemos por notar que a conjuno das propriedades II e III equivale a dizer A v linear, para todo o u e 9 . Daqui que a aplicao v-u A v tame de I deduz-se imediatamente que a aplicao u-u bm linear. E a conjuno destes dois factos exprime-se dizendo que o produto externo u /\ v bilinear.

Seja ento u um vector qualquer do espao. Para demonstrar A v linear, consideremos um plano n que a aplicao v-u perpendicular a u e seja:

v a projeco ortogonal do vector v sobre o plano '

r;

v" o vector de T que se obtm dando a v' uma rotao de 90" no sentido positivo (dextrorso, na figura) em relao ao vector u; w o produto de 1 u 1 por v". Facilmente se reconhece ento que:
1)

I v ' I = l v l Isen 01 , sendo 0 o ngulo v; I w l = l u 1 ( v ] Isen 91; o terno (u, v, w ) tem o sentido positivo.

2)

3)

Logo w = u A v. Por outro lado, fcil ver tambm que cada uma das aplicaes V-V' (projeco ortogonal sobre T), v ' ~ v "(rotao

J . SEBASTIAO E SILVA

de 90" no plano a, no sentido positivo em relao a u ) e v" +w (multiplicao por I u ) so todas trs lineares. Logo, a aplicao composta destas, = u Av, v-w

tambm linear, como se pretendia demonstrar. Posto isto, suponhamos fixada no espao uma base ortonormal (j, k, m) e seja u = aj

+ bk + cm

, v = a'j

+ b'k + c'm

Procuremos a expresso cartesiana de u A v . Visto que o produto externo bilinear, vir ento:

+ bk + cm) A (a'j + b'k + c'm) = = abf .jAk + ac'. jAm + a'b. k A j + bc'. k A m + a'c + b'c . m A k,
(aj visto que j A j = k

mAj

Ak

= m /\m = 0.

Por outro lado, como j A k = m m A j = k


, j A m = - k ,

, k A j = - m

, k A m = j

m A k = - j

(porqu?), vir finalmente m

u A V = (bc'

-b'c) j - (ac' -alc) k + (ab' -a'b)

ou seja, usando determinantes:

Como mnemnica, convm notar que estes determinantes se deduzem da matriz rectangular

suprimindo, respectivamente, as colunas 1, 2 e 3.

COMPENDIO DE MATEMATICA

A noo de produto externo no espao tem numerosas aplicaes em fsica. Mas encontra, igualmente, vrias aplicaes interessantes em matemtica pura, nomeadamente em geometria analtica. Por exemplo, se tivermos, num referencial ortonormal,

sendo A, B, C no colineares, a rea do tringulo [ABC] ser metade do mdulo de AB A AC. Ora, as componentes deste produto externo so
3

e a rea do tringulo ser pois,

Analogamente se determinam as reas de paralelogramos e de outras figuras poligonais. Outros exemplos de aplicao:

I. Por um ponto dado (x,, y, , perpendicular a duas rectas dadas:


x-x1 a

z,),

conduzir uma recta

y-Yl
b

2-21
C

x-x2 -- y-y, -- a' b'

2-22 --

c'

*
U-

Visto que as rectas tm a direco dos vectores


(a, b, c)

, v-(a',

b', c'), a recta pedida dever ter

J . SEBASTIAO E SILVA

a direco do vector u A v. Logo, esta recta ser representada analiticamente pelas equaes:

-9

X-Xo

bc'

b'c

Y-Yo

Z -.Zo

a'c -ac'

ab' -a'b

II. Por um ponto dado (xo, yo, zo) conduzir um plano perpendicular a dois planos dados:
ax

+ by + cz + d = O

, a'x

+ b'y + c'z + d = 0.

fcil ver que o plano pedido tem por equao

Analogamente se resolvem os seguintes problemas:

III. Por um ponto, conduzir uma recta perpendicular a uma recta dada e paralela a um plano dado.
IV. Por um ponto, conduzir um plano perpendicular a um plano dado e paralelo a uma recta dada. V. Determinar analiticamente o plano que passa por trs pontos dados. NOTA SOBRE AS PROPRIEDADES DO PRODUTO EXTERNO NO ESPAO. Como vimos, para cada par (u, v) de elementos de 9existe sempre um e um s elemento de 9, se chama que produto externo de u por v e se representa por u A v. Logo o par ( g A ) um grupide. Pergunta-se: ,

1)

Ser este grupide comutativo? Ser associativo? Ter elemento neutro?

2)
3)

COMPENDIO DE MATEMATICA

Facilmente se reconhece que as respostas a estas trs perguntas so negativas. Para reconhecer, por exemplo, que a operao A no associativa, basta notar que, sendo (j, k, m) uma base ortonormal, se tem

Vimos tambm que o produto externo distributivo e mesmo bilinear. Mas o terno ( 9 , , A ) no um anel. Porqu? f

res

det(u, v, w ) o nmero ( u A v)

+ + + u, v, w + + +

9. Pmd,uto misto". Chama-se produto misto de trs vecto(ou determinante de u, v, w ) e representa-se por w.

+ + + + + +

Tem-se pois, por definio:

fcil encontrar o significado geomtrico do produto misto,

quando u, v, w no so complanares.

+ + +

Consideremos quatro pontos A, B, C, D, tais que

J. SEBASTIAO E SILVA

e seja

9 o paraleleppedo que admite AB, AC e como arestas. + + Ento u A v d-nos a rea da face de 9 que admite e
(representada na figura por

como lados. Por sua vez, a altura de

ngulo de w com u A v. Logo o volume de

+ +

m) igual a I + 1 cos w

$0 relativa a esta face


Q ,

sendo

dado por

Quanto ao sinal do produto misto, ser i ou -, conforme


o terno (u, v, w ) for positivo ou negativo. Para obter a representao analtica do produto misto, consideremos uma base ortonormal (j, k) e seja
-3

+ + +

u -(an

b, c)

, v4(a',

b', c')

, w -(a",

b", c")

Ento fcil ver atendendo a (I), que

o que tambm se escreve abreviadamente do seguinte modo:

Esta ltima expresso chamada determinante de 3." ordem (com 3 linhas e 3 colunas). A frmula (2) d o desenvolvimento do determinante segundo os elementos da 3.voluna. Da definio e do significado geomtrico deduzem-se as seguintes

COMPENDIO DE MATEMATICA

PROPRIEDADES DO PRODUTO MISTO:

1. O produto misto linear em relao a cada um dos factores. Por exemplo:

det(au, v, w ) = a det(u, v, w )

(a e IR)

li. O produto misto anti-simtrico, isto , toma o valor simtrico quando se trocam entre si dois quaisquer dos factores. Por exemplo:

As propriedades I e II exprimem-se dizendo que o produto misto uma forma trilinear anti-simtrica. Da propriedade II (ou da prpria definio de 'produto misto') resulta que o produto misto nulo, se dois dos factores so iguais. Por exemplo:

claro que as propriedades anteriores podem ser traduzidas em termos de colunas, para determinantes. Por exemplo:

Trocando entre si duas colunas de um determinante, este toma o valor simtrico. Se duas colunas de um determinante so iguais, o determinante nulo. Etc.

J . SEBASTIAO E SILVA

Por outro lado, fcil ver que:

O valor de u m determinante no muda quando se trocam ordenadamente as suas linhas com as suas colunas, isto :
a b
C

a' bf
C'

a" bf'
C"

a = a'

b b' b"

c c' c"

Com efeito, desenvolvendo um e outro segundo os elementos da 3.a coluna, obtm-se: (bc' b'c)aU = (a'b" - aUb')c = abfc'f+ a'b"c

- (ac' - a'c)bU + (ab' - a'b)cV = - (ab" - ar'b)c' + (ab' - a'b)c" = + awbc' - avb'c - ac' b" - a 'bc"

Este facto permite traduzir as propriedades anteriores em termos de linhas, para determinantes. Chama-se menor complementar de um elemento qualquer de um determinante ao determinante que dele se obtm suprimindo a linha e a coluna que cruzam nesse elemento. E chama-se complemento algbrico dum elemento dum determinante ao seu menor complementar multiplicado por em que r e s so os nmeros de ordem da linha e da coluna a que pertence esse elemento. Das propriedades anteriores resulta que:

O valor de um determinante igual soma dos produtos dos elementos de uma fila qualquer (linha o u coluna) pelos respectivos complementos algbricos. Por exemplo:

COMPENDIO DE MATEMATICA

A noo de produto misto tem vrias aplicaes. Vamos indicar as principais, em geometria analtica.
Em primeiro lugar, o produto misto permite calcular facilmente o volume de um paralelipipedo (segundo o significado geomtrico atrs indicado), bem como de outros domnios polidricos. Por outro lado, o produto misto permite saber se uma isometria @ definida por um sistema

'i

+ a'y + a"z + p y = bx + b'y + b"z + q z = cx + c'y + cl'z + r


x = ax

positiva ou negativa. Supondo que @ transforma um referencial ortonormal (0, j, k, m) num referencial ortonormal (O', j', k', m'), claro que:
O segundo referencial positivamente isomtrico ao primeiro, sse det(j', k m') > O relativamente ao 1." referencial ' , isto , sse

Alis fcil ver, atendendo propriedade III (aplicvel agora 2.a base) que o valor do determinante neste caso precisamente 1. Analogamente se reconhece se uma dada semelhana (ou mais geralmente uma afinidade) positiva ou negativa.

10. Nmero de dimenses de um espao vectorial*. A noo geral de espao vectorial- que j foi atrs definida tem uma grande importncia em matemtica moderna e nas suas aplicaes, nomeadamente fsica, engenharia, estatstica e economia (por exemplo, na programao linear).

J. SEBASTIAO E SILVA

Seja V um espao vectorial qualquer sobre um corpo I< e suponhamos que existe uma sequncia U,)

( ~ 1 , Uz,...,

de n vectores de V , que verifica as seguintes condies:

1 ) todo o vector u de V se pode exprimir como combinao linear dos primeiros, isto , existem n elementos al,.. a ., , de K tais que

2) os vectores u,,. . . u, so linearmente independentes, isto , so todos no nulos e nenhum deles se pode exprimir como combinao linear dos restantes (I). , Diz-se ento que a sequncia (u,, u . . ., u,) uma base do espao V e prova-se que qualquer outra base de V tem o mesmo nmero de elementos. Esse nmero n chamado o nmero de dimenses (ou simplesmente a drmenso) do espao vectorial V. Por exemplo, o conjunto 9, dos vectores duma recta r um espao vectorial (real) com uma dimenso, o conjunto gx dos vectores dum plano T um espao vectorial com duas dimenses, o conjunto 9 dos vectores do espao ordinrio um espao vectorial com trs dimenses (reais). Outros exemplos: O cojunto IRn de todas as sequncias de n nmeros reais, com as definies de 'soma' e de 'produto por escalares' introduzidas nas pginas 54 e 55, um espao vectorial (real) com n dimenses, qualquer que seja o nmero natural n. Por exemplo, uma das bases do espao IR4 constituda pelos vectores

(I) Se n = 1, a sequncia reduz-se ao vector u e diz-se linearmente , independente, sse u, f- O.

COMPENDIO DE MATEMATICA

Com efeito, estes vectores so linearmente independentes, como facilmente se verifica, e tem-se

Analogamente se reconhece que o conjunto C" de todas as sequncias de n nmeros complexos um espao vectorial (complexo) com n dimenses. Por sua vez, o conjunto de todos os polinmios com x

relativos a um corpo K qualquer e de grau n -1 (isto , podendo ser ai 1 0 ou a = 0 ) um espao vectorial sobre K , com n dimenses e facilmente se v que uma das suas bases precisamente a sequncia de n polinmios

<

Convenciona-se ainda dizer que um espao vectorial V sobre um corpo K tem zero dimenses (ou dimenso nula) sse V se reduz ao vector nulo, 0, isto , sse V = { O ) . Quando V no tem dimenso nu!a e no existe uma sequncia (finita) de vectores que verifique as condies I ) , 2) atrs indicadas, diz-se que V tem uma infinidade de dimenses (ou dimenso infinita). Mas, mesmo neste caso, existe uma definio que generaliza as anteriores e que atribui a cada espao vectoria1 V, um determinado nmero cardinal infinito v , chamado o nmero de dimenses de V. Por exemplo, o conjunto dos polinmios em x de coeficientes reais e de todos os graus possveis , como se v facilmente, um espao vectorial real de dimenso infinita, E, segundo a referida definio (que no vale a pena reproduzir aqui), o seu nmero de dimenses o cardinal x,. Uma base deste espao precisamente a sucesso de polinmios

J. SEBASTIAO E SILVA

Por sua vez, o conjunto IR , constitudo por todas as sucesses X = ( ~ 1 , XZ,. . ., X,,,. . .) de nmeros reais (aplicaes de IN em IR) tambm um espao vectorial de dimenso infinita; mas, segundo a referida definio, o nmero de dimenses de IR O" a potncia do contnuo e no a do numervel. Mas j tem dimenso X , o subespao de IR a ' constitudo pelas sucesses de nmeros reais que se anulam todos a partir de certa ordem (ordem esta varivel de sucesso para sucesso). Alis, fcil ver que este ltimo espao isomorfo ao espao dos polinmios em x reais de todos os graus (isto , existe uma aplicao linear biunvoca de um dos espaos sobre o outro). Consideraes anlogas para o espao C". Finalmente, note-se que o conjunto de todas as funes reais definidas num intervalo I da recta tambm um espao vectorial real de dimenso infinita (relativamente s noes usuais de 'soma de duas funes' e de 'produto de uma funo por um nmero real'). O nmero de dimenses de a potncia do e o mesmo sucede com o subespao de consticontnuo tudo por todas as funes reais contnuas em I. (Por que razo este conjunto um subespao vectorial de Leia a nota final deste nmero.) Deve-se registar por ltimo o seguinte facto:

00

q,

9,

q,

q,?

As consideraes relativas a espaos vectoriais de dimenses infinitas intervm hoje cada vez mais nas aplicaes da matemtica fsica (nomeadamente fsica do tomo), bem como a outros domnios. NOTA. Seja V um espao vectorial sobre um corpo K. Diz-se que um subconjunto U de V um subespao vectorial de V , quando constitui ainda um espao vectorial sobre K, relativamente s operaes de 'soma' e de 'produtos por escalares' do espao V, restringidas a elementos de U. Em particular, U ser, neste caso, submdulo de V. Facilmente se reconhece o seguinte teorema:

COMPENDIO DE MATEMTICA

U m subconjunto U de V um subespao vectorial de V , sse verifica as duas condies seguintes:

11. Noo geral de espao afim. Seja K um corpo qualquer (na prtica, K geralmente o corpo real ou o corpo , complexo). Chama-se espao afim sobre K todo o conjunto E constitudo por elementos a, b, ... de natureza qualquer (a que se convenciona chamar 'pontos') ao qual est associado um espao vectorial V sobre K, de modo a serem verificadas as seguintes condies:

AI. A cada par ordenado (a, b ) de elementos de E (pontos) corresponde um e um s elemento u de V (vector) que
designaremos por ab.
4

A2.

ab =

A3. ab bc = ac , Va, b, c e E A4. Dados um ponto a em E e um vector u em V, existe um e um s ponto b em E tal que ,

-+

4 - ba
-3

, Va, b e E

O ponto b que verifica esta condio chamado 'soma de a com u', e escreve-se

tor ab) a diferena entre b e a, escrevendo-se ento:

Na mesma hiptese se diz que o vector u (ou seja o vec-

J. SEBASTIAO E SILVA O nmero de dimenses do espao vectorial V tambm chamado nmero de dimenses do espao afim E a que V est , associado. Desde logo se reconhece que o espao 8 usual um espao afim (real) com trs dimenses, visto que lhe est associado, de harmonia com as condies AI-A4, o espao vectorial real que tem 3 dimenses. Analogamente: um plano um espao afim real bidimensional; uma recta um espao afim unidimensional; um conjunto reduzido a um ponto um espao afim com zero dimenses (correspondendo-lhe o espao { o Note-se que faz sentido falar de 'soma de dois vectores', mas no de 'soma de dois pontos' (apenas de 'diferena de dois pontos'). O conjunto de todos os possveis instantes (ou pocas) relativos a um dado lugar, o conjunto de todos os possveis potenciais elctricos num dado ponto, etc. so espaos afins reais de dimenso 1. Com efeito, as diferenas entre dois instantes so elementos de um espao vectorial com uma dimenso ( o espao dos tempos decorridos entre os instantes considerados); mas os instantes no so propriamente vectores, pois no faz sentido falar da 'soma de dois instantes': estes so apenas pontos de um espao afim (e analogamente para potenciais) (I).

g,

1).

A TEORIA DA RELATIVIDADE RESTRITA apresenta-nos um exemplo interessantssimo de espao afim real com 4 dimenses: o espao-tempo de Minkowski. Cada ponto deste espao um acontecimento elementar, cujas coordenadas x, y, z, t, definem, respectivamente, a posio (x, y, z) e o instante t em que se verifica o acontecimento, relativamente a um dado referencial de espao e tempo (constitudo por exemplo por um ponto e trs vectores no complanares, fixos em relao a um dado slido ou sistema rgido, e por um relgio, fixo no mesmo sistema, que pode ser por exemplo a Terra, uma carruagem, uma nave espacial, etc.). Alis, na teoria da relatividade, espao e tempo so
( ) Note-se que o espao afim dos instantes est naturalmente orientado, no sentido do passado para o futuro; e que, por isso, os tempos so mais do que vectores: so grandezas relativas.

COMPENDIO DE MATEMATICA

propriedades relativas dos acontecimentos, e no inteiramente discernveis entre si. Note-se tambm desde j o seguinte facto: Todo o espao vectorial V pode ser considerado como espao afim, desde que se faa corresponder a cada par ordenado (u, v) de elementos u, v de V o vector v u de V, que poderamos tambm designar por uv. Com efeito, facilmente se reconhece que, deste modo, so verificadas as condies A1 -A4, estando V simultaneamente no papel de E e de V . Nesta ordem de ideias, os elementos de V podem ser chamados 'pontos' em vez de 'vectores'. Por exemplo, os elementos de IRn (sequncias de n nmeros reais) podem ser chamados 'vectores' ou 'pontos', conforme estivermos a considerar IRn como espao vectorial ou como espao afim. Mas note-se que a recproca da proposio anterior no verdadeira, como mostram os exemplos precedentes. Um facto anlogo se verifica na distino entre 'grandeza' e 'nmero real'. Todo o nmero real uma grandeza, mas h grandezas de muitas espcies (p. ex. os comprimentos, os volumes, as massas, os tempos, etc.) que no podem ser considerados naturalmente como nmeros reais (porqu?).

-+

12. Noes de recta, plano, conjunto convexo, etc. num espao afim qualquer*. Consideremos um espao afim E sobre um corpo K e seja V o espao vectorial que lhe est associado. Diz-se que um subconjunto D de E um subespao afim de E,
sse o conjunto de todos os vectores ab definidos por pontos a, b de D um subespao vectorial U de V. Por outros termos, o conjunto D um subespao afim de E, sse existe um subespao vectorial U de V tal que:
4

J . SEBASTIAO E SILVA
claro que, neste caso (e s neste), o conjunto D constitui

um espao afim, relativamente aplicao (a, b) -ab restringida a pares de pontos de D (por isso mesmo se lhe chama o subespao afim de E). O espao vectorial que lhe est associado o subespao U de V. Entre os subespaos afins de E figuram sempre os de dimenso nula, isto , os que se reduzem a pontos. Chamam-se rectas e planos de E os subespaos afins de E de dimenses 1 e 2 respectivamente (quando existam). Mas note-se que, se a dimenso de E superior a 2, existem subespaos afins de E de dimenso >3, que no so portanto rectas nem planos. Em particular, se E tem dimenso finita, n, chamam-se hiperplanos de E os subespaos afins de E de dimenso n - I (I). Das condies A1 -A4 (consideradas como axiomas) deduzem-se as seguintes proposies (neste caso teoremas): Dados dois pontos distintos a, b de E existe sempre uma recta de E, e uma s, a que pertencem os pontos a, b. Essa recta definida pela equao paramtrica p =a

+ t ( b -a)

, sendo t varivel em K

Dados trs pontos a, b, c de E no colineares (isto , no pertencentes a uma mesma recta), existe sempre um plano de E, e um s, a que pertencem a, b, c. Esse plano definido pela equao paramtrica p=a

+ t(b-a) + u(c-a)

, com t, u s K

E ainda se pode definir a relao de paralelismo entre duas rectas, entre dois planos, entre um plano e uma recta, ou, mais geralmente, entre dois subespaos afins quaisquer de E, e generalizar a este caso as habituais proposies de paralelismo. Suponhamos, a partir de agora, que K o corpo real.
(I)

A nogo de hiperplano pode ser estendida a espaos de dlmens6o

infinita.

COMPENDIO DE MATEMATICA

Chama-se segmento de recta de extremos a, b, e representa-se por b, o conjunto dos pontos p de E tais que

sendo t um nmero real do intervalo [0,1]. Posto isto, diz-se que um subconjunto M de E convexo, sse verifica a condio:

Desde logo se reconhece que todo o subespao afim de E um conjunto convexo. Tambm fcil ver o seguinte:

A interseco de conjuntos convexos, em nmero finito ou infinito, sempre um conjunto convexo. ( J o mesmo no sucede com a reunio!) Seja ento A um subconjunto qualquer de E (convexo ou no). Existe pelo menos um conjunto convexo que contm A: o prprio espao E. Designemos por a interseco de todos os conjuntos convexos que contm A. Segundo a proposio anterior, um conjunto convexo: precisamente o conjunto convexo mnimo que contm A. Pois bem, diz-se que o invlucro convexo de A.

Na figura junta indica-se, a tracejado, um conjunto de pontos do plano que no convexo; para obter o invlucro convexo, necessrio juntar-lhe o conjunto que se indica a ponteado (fronteira includa).

J. SEBASTIAO E S I L V A claro que, num espao afim E, real ou complexo, podemos definir semi-recta, semiplano, ngulo convexo, tringulo, polgono convexo, poliedro convexo, etc., tal como no espao usual. Por exemplo, sendo a, b, c trs pontos no colineares de E, o invlucro convexo do conjunto { a, b, c ) o tribngulo de vrtices a, b, c sendo a, b, c, d quatro pontos no complanares, o ; invlucro convexo de {a, b, c, d ) o tetraedro de vrtices a, b, c, d, etc. (I). J no 6.0 ano foi salientada a importncia do conceito de conjunto convexo em PROGRAMAAO UNEAR.

NOTAS: I. A noo de conjunto convexo estende-se, de modo anlogo, a espaos afine complexos. II. Pode-se definir 'espao afim real', tomando como primitivas as noes de 'recta' e de 'situado entre' (ou, o que equivalente, a de 'segmento de recta') e adoptando um sistema de axiomas, semelhantes aos axiomas da geometria elementar que envolvem apenas essas noes. Neste caso, a noo de 'vector' poder ser definida exactamente como fizemos no caso elementar, a partir da relao de equipolncia entre segmentos orientados. A diferena essencial em relao ao caso elementar refere-se ao nmero de dimenses, que pode agora ser qualquer. Um conjunto D de pontos de E um subespao afim de E, sse, quaisquer que sejam os pontos a, b de D, sendo a # b, a recta ab est contida em D.

13. Noes gerais de espao mhtrico euclidiano e de espao mtrico*. Seja V um espao vectorial real com n dimenses. Diz-se que V um espao mtrico euclidiano (vectorial), sse, a cada par ordenado (u, v) de vectores de V, est associado um nmero real, que se chama produto interno de u por v e se

(I) Aqui 'trilngulo' designa portanto um conjunto convexo e no a reunio de 3 segmentos de recta. Analogamente para o 'tetraedro'.

COMPENDIO DE MATEMATICA

representa por u v (ler 'u interno v'), de acordo com as seguintes condies:

El. E2.

E3. E4. E5.

u . v = v . u , Vu, v e V ( u + v ) - W = U - W + V ~ W, V U , ~ ,w e V (au) - v = a(u v) , V a eIR; u, v e V u.u>,O , VueV u.u=O+U=O

Portanto u v uma funo real dos vectores u, v. Segundo E l , esta funo simtrica (ou comutativa). De E1 e E2 resulta ainda que tal funo bilinear. Ora todos estes factos (funo real simtrica e bilinear) exprimem-se dizendo que u v uma forma bilinear simtrica (real). A conjuno das propriedades E4 e E5 com as primeiras exprime-se dizendo que a forma bilinear u v definida positiva (I). Posto isto, podemos definir mdulo de um vector u do espao mtrico euclidiano V, mediante a frmula

em que 1 u 1 designa o 'mdulo de u' (tambm chamado 'norma de u'). De E4 e E5 deduz-se desde logo:

N1. N2.

lu1>0 luJ=O

VueV u=O

Por outro lado, convencionando escrever uZ como abreviatura de u u, tira-se de E1 e E2:

( ) Se fosse sempre u u <O, e, alm disso, fosse verificada a condio u u=O u = 0, diramos que a forma era definida negativa. Se fosse umas vezes u u 0, outras u u O e outras u u = 0, diriamos que a forma 0, podendo ser era indefinida. Se fosse sempre u u > O ou sempre u u u u = O com u # 0, diramos que a forma era semidefinida, respectivamente positiva ou negativa.

+ . >

. <

<

3. SEBASTIAO E SILVA

Alm disso, demonstra-se que

Esta frmula importante (chamada desigualdade de Cauchy-Schwarz) permite definir ngulo 8 de dois vectores u, v de V, mediante a frmula umv cos e = lul IvI Diz-se que u ortogonal a v, e escreve-se u L v, sse 8 = ~ / 2 ou um, pelo menos, dos vectores u, v nulo. Por sua vez, de (2) e (3) deduz-se facilmente

Finalmente, de E3 resulta:

N4.

l a ~ l l a Ilu I

Va6lR, u

Chama-se base ortonormal de V toda a base de V constituda por vectores unitrios (isto , de mdulo 1 ) e ortogonais entre si. Por exemplo, no espao IR4, uma das definies de produto interno de dois vectores x = ( ~ 1 ,X z , x3, x4) , y = (y,, y , y , y,)

a dada pela frmula

Ento o mdulo de x ser

e uma das bases ortonormais de IR4 ser8 constituda pela sequancia de vectores (1, O,O,O)
r

(O. 1, 0 . 0 )

(O, O. 1,O)

(O, O, 0, 1 )

COMPENDIO DE MATEMATICA

Analogamente para IR5, para IR6, etc. Seja agora E um espao afim real com n dimenses. Diz-se que E um espao mtrico euclidiano (pontual), sse o espao vectorial V que lhe est associado um espao mtrico euclidiano (vectorial) (I). Nestas condies, chama-se distncia de dois pontos a, b de E, e representa-se por S(a, b), o mdulo do vector ab, isto , em frmula
3

Das propriedades N1 -N4 dos mdulos e da funo anterior deduzem-se as seguintes propriedades da funo 'distncia': M1. S(a, b) > O
,

Va, b e E

M3.

S(a, b ) =S(b, a)

, Va, b s E

Esta ltima frmula chamada desigualdade triangular, por estar relacionada com uma conhecida propriedade dos tringulos. Mais geralmente ainda: Diz-se que um conjunto S, constitudo por elementos a, b... de natureza qualquer, um espao mtrico, sse, a cada par (a, b) de elementos de S, associado um nmero real S(a, b ) (distncia entre a e b), de modo que sejam verificadas as condies M1- M4. Convm desde j notar que um espao mtrico no necessariamente euclidiano. Por exemplo, seja S uma superfcie esfrica e convencionemos chamar distncia entre dois pontos a e b de S o menor dos comprimentos dos arcos de crculo mximo de
(I) Em particular, segundo uma observao do n.0 1 1 , todo o espao mtrico euclidiano vectorial pode ser considerado como espao mtrico euclidiano pontual. Mas a reciproca no verdadeira.

J . SEBASTIAO E SILVA

extremos a, b. Ento bem fcil que S um espao mtrico, mas no um espao mtrico euclidiano (no sequer um espao afim). Num espao mtrico euclidiano, podemos definir medida de um ngulo convexo bc, como sendo igual do ngulo dos vectores ab e ac. Se a medida de bc r/2 (em radianos), o ngulo bc diz-se recto e as rectas ab, ac dizem-se perpendiculares entre si. Daqui decorrem imediatamente as noes de tringulo rectngulo, de quadrado, etc. exactamente como no caso elementar. O teorema de Pitgoras e, mais geralmente, o teorema de Carnot, so vlidos em qualquer espao mtrico euclidiano. E o mesmo para qualquer outro teorema da geometria euclidiana elementar em que no intervenha o facto de o espao 8 ter trs dimenses. Note-se que as noes de circunferncia, de crculo, de cnica, de esfera, etc., etc. se generalizam a qualquer espao mtrico euclidiano, onde alis nos aparecem novas noes (por exemplo a de hipercubo, a de hiperesfera, etc., etc.) e portanto novos teoremas. Dados dois espaos mtricos S, S' e um nmero real r > 0, chama-se semelhana de razo r entre S e S' toda a aplicao biunvoca f de S sobre S', tal que 8(f(a), f ( b ) ) = r 6(a, b )

* +

, Va, b e S

Chamam-se isometrias as semelhanas de razo 1. Em particular, se S e S' so espaos mtricos euclidianos de dimenso superior a 1, prova-se que toda a semelhana entre S e S' uma afinidade, isto , uma aplicao biunvoca de S sobre S' que transforma segmentos de recta em segmentos de recta (e, por isso, rectas em rectas, planos em planos, subespaos afins de S em subespaos afins de S', conjuntos convexos em conjuntos convexos, etc.). Se S e S' so espaos euclidianos !) no h unidimensionais (portanto isomorfos s rectas de i?, distines entre semelhanas e afinidades.

COMPENDIO DE MATEMATICA

NOTAS:
I. Geralmente, por comodidade, diz-se apenas 'espao euclidiano' em vez de 'espao mtrico euclidiano', embora haja uma distino a fazer entre os dois conceitos (alis de pouca importncia na prtica). Por exemplo, o espao usual 8 um espao euclidiano ( mesmo o prottipo dos espaos euclidianos) mas no um espao mtrico, por no estar nele definida, naturalmente, a noo de distncia como nmero. Com efeito, no faz sentido dizer, por exemplo, que a distncia entre dois pontos do espao 3 a no ser que se tenha fixado previamente uma unidade de comprimento, cuja escolha , como se sabe, arbitrria. No entanto, como se v, o espao 8 torna-se um espao mtrico, e portanto um espao mtrico euclidiano, desde que se adopte uma unidade de comprimento.

II. A noo do 'produto interno de dois vectores' pode ser estendida a um espao vectorial V, real ou complexo, com qualquer nmero de dimenses (finito ou infinito). Se V um espao vectorial complexo, as nicas modificaes a fazer na definio anterior so as seguintes:
1) O produto interno u m uma funo complexa dos v vectores u v. 2) Em vez de E1 tem-se a condio:

em que v . u representa o conjugado do nmero complexo v . u (se u m real, tem-se v . u = v . u = u m v v). Nestes termos, deduz-se de E3:

e j no podemos dizer que a funo u v bilinear ( no entanto distributiva, direita e esqeurda). Diz-se agora que u v uma forma hermtica definida positiva e o espao V diz-se hermtico ( ainda um espao mtrico). Em particular, se V um espao

J . SEBASTIAO E SILVA

hermtico real e tem um nmero finito de dimenses, ento V euclidiano. Entre os espaos hermticos com uma infinidade de dimenses, reais ou complexas, merecem especial meno os ESPAOS DE HILBERT, que desempenham um papel fundamental em mecnica quntica e, de modo geral, em toda a fsica do tomo.

III. No ESPAO -TEMPO DE MINKOWSKI, que designaremos aqui por define-se uma noo de produto interno que no uma forma definida positiva, mas sim indefinida, como vamos ver.

h,

Suponhamos dado um referencial de espao (0, j, k, m), ortonormal, fixo num sistema rgido S, por exemplo a Terra, e um relgio fixo no mesmo sistema. Fica assim definido um referencial de espao e tempo (0, j, k, m, e) em S. Segundo a TEORIA DA RELATIVIDADE, a distncia entre dois pontos materiais, assim como o tempo decorrido entre dois acontecimentos, dependem do sistema S (e at da posio do relgio em S). Distncia e tempo decorrido so pois propriedades relativas (e no propriedades absolutas), pois que variam com o sistema S em que so medidos (no so por exemplo os mesmos na Terra ou em Marte), supondo, claro, que se adoptam as mesmas unidades de comprimento e de tempo. Seja agora u um vector do espao -tempo, isto , um elemento do espao vectorial associado a /n. Dar um tal vector equivale a dar os 4 nmeros reais x, y, z, t, que so, por exemplo, as componentes do vector no referencial de espao e tempo fixado em S. Ter-se- ento
3

++++

++ +

u=xj+yk+zm+te

Posto isto, consideremos a funo de u dada pela expresso:

em que c a medida da velocidade da luz no vazio, relativamente ao sistema de unidades adoptado (aproximadamente 300 000, se

COMPENDIO DE MATEMATICA

a unidade de comprimento o quilmetro e a unidade de tempo o segundo). Ora, em RELATIVIDADE RESTRITA, o valor desta expresso invariante, isto , no muda quando se passa de S para outro sistema S', animado de movimento de translao rectiIneo e uniforme em relao a S. Isto sugere que se chame qua-

drado do mdulo de u e se represente por I u l2 (ou simplesmente


por u2) O valor de (1 ) . Nesta ordem de ideias, natural definir produto interno de dois vectores de espao -tempo
3

mediante a frmula
3 3
U V

XX'

+ yy' + zz'
+

- c2tt'

Facilmente se v que, neste caso, u v uma forma blinear simtrica (real). Mas esta forma no definida positiva. Com efeito, por exemplo: quando u = j, tem-se u
3 3

3.3
3

- c2 < 0; quando u = c j + e, tem-se u . u = c2 - c2 = 0.


quando u = e, tem-se u u =

. u = x2 = 1 > 0; +
.
3

+ +

A forma pois indefinida: h vectores u tais que u2 > 0, vectores u tais que u2 O e vectores u no nulos tais que = 0. Por conseguinte, /n no um espao mtrico euclidiano: diz-se que um espao pseudo-mtrico euclidano ou um espao pseudo-euclidiano. Sejam agora a e ,f3 dois acontecimentos definidos por dois ponrespectivamente A_,, (x, y, z, t ) e B (x', y', zp, t') tos de -h?, no referencial adoptado; isto :

<

z2

J . SEBASTIAO E SILVA

J sabemos que a distncia entre os dois pontos propriamente ditos (x, y, z) e (x', y', z'), bem como o tempo decorrido entre os instantes t e t', dependem geralmente do sistema S e, portanto, do referencial de espao-tempo adoptado. Mas, em RELATIVIDADE RESTRITA, invariante o mdulo do vector B -A, ou seja

I B-A I

=\I(x-x')z+

(y-y')l

+ (z-zt)2-c?

(t-t')"

A este nmero natural chamar distncia relativista entre os pontos A e B (ou entre os acontecimentos u e B) (I). Mas, pelos exemplos anteriores, desde j se v que a distncia relativista entre dois acontecimentos pode ser real (positiva), imaginria ou nula (mesmo que os acontecimentos sejam distintos). Isto basta para ver que o espao- tempo /n, com tal noo de 'distncia', no um espao mtrico, segundo a definio anterior. Deve ainda notar-se que muitos autores chamam quadrado de
um vector u (x, y, Z, t ) ao valor da expresso c2t2-x2 y2-z2, e no ao da expresso x2 y2 z2 c2t2, simtrica da primeira. claro que isto altera a definio de 'distncia relativista', mas indiferente uma ou a outra definio, para caracterizar a geometria do espao pseudo-euclidiano /n. Primeiro que tudo, deve notar-se que o grupo das isometrias de /n o mesmo com qualquer das definies (chamando 'isometria' a toda a aplicao biunvoca de sobre si mesmo que conserva as distncias). Entre as isometrias de /n tm especial importncia as transformaes de Lorentz, que formam um subgrupo do anterior (grupo de Lorentz). Concretamente, interpretadas como mudanas de coordenadas de espao e tempo, as transformaes de Lorentz so as mudanas que permitem passar das coordenadas relativas a um referencial de espao -tempo fixo num sistema rgido S, para as coordenadas relativas a um referencial fixo num sistema S', animado do movimento de translao rectilneo e uniforme em relao a S (em dinmica relativista, exige-se que os sistemas
3

+ + -

(I)

Os fsicos chamam-lhe habitualmente intervalo entre a e B.

COMPENDIO DE MATEMTICA

considerados sejam de inrcia, isto , que 'no rodem em relao ao conjunto das estrelas'). Nestas mudanas, o tempo pode converter-se parcialmente em espao e vice-versa. O grupo de Lorentz est na base de toda a fsica relativista. O fsico LORENTZ chegou s transformaes que tm o seu nome, procurando interpretar o resultado negativo das experincias de MICHELSON e MORLEY, que, juntamente com outros factos, conduziam a esta concluso, aparentemente absurda:

A luz ( e mais geralmente todas as ondas electromagnticas) propaga-se no vazio com a mesma velocidade em relao a todos os corpos, apesar de estes estarem em movimento uns em relao aos outros. Consideremos, por exemplo, um raio luminoso e uma partcula atmica que se move na mesma direco e em sentido contrrio ao da luz, com a velocidade de 100 000 km/s em relao Terra (no vazio). Ento a velocidade da luz em relao partcula deveria ser, ao que parece,

Mas no: a velocidade da luz em relao partcula sempre a mesma (300 000 km/s), qualquer que seja a velocidade da partcula bem como a sua direco e sentido (em relao Terra ou a qualquer outro sistema de referncia). Isto mostrou que era preciso abandonar os conceitos tradicionais, ilusrios, de espao absoluto e de tempo absoluto, e, em particular, a frmula clssica de composio de velocidades:

quando alguma destas se aproxima da velocidade da luz. O grupo de Lorentz define, precisamente, a geometria do espao -tempo, que no s explica a invarincia da velocidade da luz relativamente aos diferentes referenciais, como ainda, mais geralmente, permite fundar uma nova mecnica, compatvel com as leis do electromagnetismo (ao contrrio do que

J. SEBASTIAO E SILVA
sucede com a mecnica clssica). A nova mecnica, fundada por EINSTEIN, conduz a concluses revolucionrias, como por exemplo a LEI DA EQUIVALNCIA ENTRE A MASSA E A ENERGIA, que est na base da produo da energia nuclear. Segundo esta lei, deixa de haver uma distino ntida entre matria e energia:

1 g de matria equivale a cerca de 25 000 000 kwh.

CAPITULO V

ALGEBRAS DE APLICAES LINEARES E ALGEBRAS DE MATRIZES

O assunto de que vamos tratar da mxima importncia em matemtica moderna. As suas aplicaes fsica, qumica, engenharia, a estatstica, economia, etc., so cada vez mais frequentes.

Isomorfi~rn~os vec1. Produto de duas aplicaes lineare,~. toriais. Comearemos por provar o seguinte facto:
O produto de duas aplicaes lineares sempre uma aplicao linear. Mais precisamente, vamos provar o seguinte: TEOREMA 1. Sejam U, V, W trs espaos vectoriais sobre u m mesmo corpo K. Se f uma aplicao linear de V em W e g uma aplicao linear de U em V, ento fg ('aplicao composta' ou 'produto' de f por g) uma aplicao linear de U em W. Demonstrao
(I)

Suponhamos verificada a hiptese e sejam u, v dois vectores quaisquer de U. Ento ser S ( U + V) = g(u)

+ g(v)

(porqu?)

(I) A tcnica desta demonstrao, bem como de outras que se seguem, e muito semelhante as que foram usadas, no 6.0 ano, para as demonstraes de teoremas sobre isomorfismos.

J. SEBASTIAO E SILVA
donde

(1

Mas f ( g ( u + v ) ) = ( f g ) ( u + v ) r f ( g ( u ) ) = (fg) ( u ) (porqu?) e, portanto, de ( 1 ) vem


r

f ( g ( v ) ) = (fg) (v)

Seja agora a u m elemento qualquer de K (escalar) e u u m vector qualquer de U. Ento g(a u) = a g ( u ) donde f(g(a u ) ) =f(a g(u)) donde finalmente
=a

(porqu?)

f(g(u))

(porqu?)

(3)

(fg) ( a u) =a(fg) (u)

(porqu?)

Ora a conjuno de (2) e (3) significa, precisamente, que fg uma aplicao linear (de U em W). Vamos agora provar o seguinte:

A inversa de uma aplicao linear biunvoca ainda uma aplicao linear.


Mais precisamente: TEOREMA 2. Sejam U e V dois espaos vectoriais, sobre u m mesmo corpo K . Se f d uma aplicao linear biunvoca de U sobre V, ento f-' uma aplicao linear (biunvoca) de V sobre U .

COMPENDIO DE MATEMATICA

Demonstrao: Seja f uma aplicao linear biunvoca de U sobre V. Ento f-' uma aplicao biunvoca de V sobre U. Queremos provar que f-' tambm linear. Sejam u, v dois elementos quaisquer de V e ponhamos u' = fV1 (u), V' = f-I ( V ) . Ento

e portanto

(porqu?) Ora daqui deduz-se f-l ( U ou seja (1) Seja agora f-' ( u
a

+ v)

U'

+vf

+ v) = f-'

(u)

+ f-I (v)

um elemento qualquer de K. Ento

e portanto
a U

= f(a! u'),

donde f-' (a U ) = a ou seja


U'

(2)

fV1 (a U) =

f-' ( u )

A conjuno de (1) e (2) significa, precisamente, que f-' linear.

J . SEBASTIAO E SILVA

DEFINIO. Sendo U e V dois espaos vectoriais sobre um corpo K, chama-se isomorfismo de U sobre V toda a aplicao linear biunvoca de U sobre V. Diz-se que U isomorfo a V, sse existe pelo menos um isomorfismo de U sobre V. Tudo o que foi dito no vol. 1, 2." tomo, para isomorfismos entre grupides, entre anis, etc., estende-se agora, mutatis mutandis, a espaos vectoriais. Em particular, chama-se automorfismo dum espao vectorial U toda a aplicao linear biunvoca de U sobre si mesmo. Dos teoremas I e 2 resulta o seguinte COROLARIO: Os automorfismos de um espao vectorial U formam um grupo multiplicativo.

EXEMPLOS:

1.

O conjunto cp(x)

a de todas as funes
sen x

cp

na forma

= a cos x + b

, com a, b E IR,

um espao vectorial sobre IR, relativamente s operaes usuais de 'soma de duas funes' e de 'produto de uma funo por um nmero real'. Suponhamos agora fixada num plano a uma base 3 .+ + 2 3 (j, k ) . Ento, se fizermos corresponder, a cada vector u=a j + b k do plano 7, precisamente a funo cp(x) G a cos x + b sen x, fica
definida uma aplicao linear biunvoca, u cp de 9% sobre (prove por analogia com Captulo IV, n." 1). Logo estes dois espaos vectoriais so isomorfos. Por outro lado, se fizermos corresponder a cada funo cp(x) E a cos x b sen x, a funo *(x)-. b cos x a sen x, ficar definido um automorfismo (9do espao
3

q.

II. O conjunto

9, todos de

os polinmios em x reais

COMPNDIO DE MATEMATICA

de grau 2 (a $.O ou a = 0) um espao vectorial real, relativamente s operaes usuais de 'soma' e de 'produto por um isomorfo ao espao ~2 vectores dos nmero real'. Prove que do espao ordinrio.

<

9,

NOTA. Dados dois espaos afins E F sobre um mesmo , corpo, chama-se aplicao afim de E em F toda a aplicao f de E em F que determina uma aplicao linear, fo, do espao vectoria1 associado a E no espao vectorial associado a F, segundo a frmula
-9

f,(ab)

=f(b) -f(a)

, Va, b e E

fcil ver que o produto de duas aplicaes afins tambm uma aplicao afim e que a inversa de uma aplicao afim biunvoca tambm uma aplicao afim. Os conceitos de isomorfismo, automorfismo, etc. estendem-se de modo trivial aos espaos afins.

2. Soma de duas aplicaes lineares. Sejam U e V dois espaos vectoriais sobre um mesmo corpo K. O facto de estar definida uma noo de 'soma de dois vectores' em V (assim como em U) permite-nos definir 'soma de duas aplicaes lineares de U em V':
DEFINIAO. Dadas duas aplicaes lineares f, g de U em V , chama-se soma de f com g, e representa-se por f g, a aplicao h de U em V assim definida

Ter-se-, pois, por definio:

J . SEBASTIAO E SILVA

TEOREMA 1. A soma de duas aplicaes lineares tambm uma aplicao linear.


Demonstrao: Sejam f, g duas aplicaes lineares de U em V e ponhamos h=f g. Queremos provar que a aplicao h linear. Sejam u, v dois elementos quaisquer de U. Ento

h(u+v) =f(u+v) +g(u+v)


= [f(u) + f ( v ) I

(porqu?) (porqu?)

+ [g(u) + g ( v ) l

donde h(u +v) = [f(u) + g ( u ) ] (2)

+ [f ( V ) + g ( v ) ]

e portanto (porqu?)

h(u+v) =h(u) +h(v)

Seja agora a um escalar qualquer. Ento h ( u) = ~ ( C Y ~ u)

+g ( ~ = tvf(u) + L Y ~ ( U ) = o.[f(u) + g ( u ) ]
LI)

(porqu?) (porqu?) (porqu?)

donde

De ( 2 ) e (3) conclui-se o que se pretendia. Posto isto, designemos por L o conjunto de todas as aplicaes lineares de U em V. Vamos demonstrar o seguinte:

O conjunto L um grupo comutativo a respeito da adio (portanto u m mdulo).

TEOREMA 2.

COMPNDIO DE MATEMTICA

Demonstrao: Da definio (1) resulta imediatamente que a adio universal e unvoca em L. Portanto (L, + ) um grupide. Provemos que este comutativo. Sejam f, g dois elementos quaisquer de L (aplicaes lineares de U em V ) e seja u um elemento arbitrrio de U. Ento: f(u)

+ g(u)

= g(u)

+ f(u)

(porqu?)

e, como u arbitrrio, tem-se

donde

e portanto f + g = g + f (porqu?)

Analogamente se prova que o grupide (L, + ) associativo e portanto um semigrupo. Alm disso (L, + ) tem elemento neutro, que a aplicao nula, ou seja, a aplicao f definida por

(faz corresponder a todo o vector u de U o vector nulo de V ) . Podemos design-la ainda pelo smbolo 0. Finalmente, qualquer que seja f e L, a aplicao (p tal que ~ ( u= )

- f(u)

V u e U,

simtrica de f, isto , tem-se

Q f = 0, como facilmente se reconhece, e podemos ento escrever (p = - f. E assim fica provado tudo o que se pretendia.

J. SEBASTIAO E SILVA

NOTA. Sendo E e F dois espaos afins sobre o mesmo corpo (por exemplo, E = 8 e F = 8 ou E = 8 e F um plano n) no se pode definir em geral 'soma de duas aplicaes afins de E em F', precisamente porque no faz sentido, em geral, falar de 'soma de dois pontos de F'.

3. Produto de uma aplicao linear por umt escalar. Consideremos novamente dois espaos vectoriais U e V sobre um corpo K.
DEFINIAO. Sejam dados um escalar CY (isto , um elemento de K ) e uma aplicao linear f de U em V . Chama-se produto de a por f , e representa-se por CY f, a aplicao h de U em V assim definida

Ser pois, por definio:

TEOREMA 1. Se f uma aplicao linear de U em V, o produto de um escalar CY qualquer por f ainda uma aplicao linear de U em V . Deixamos a demonstrao ao cuidado do leitor, como exerccio. Continuemos a designar por L o conjunto de todas as aplicaes lineares de U em V. J vimos que L um mdulo. Mas podemos dizer mais do que isso: TEOREMA 2. O conjunto L um espao vectorial sobre K (relativamente s operaes definidas de 'soma' e de 'produto por um escalar').
claro que para demonstrar este teorema resta s provar as seguintes propriedades:

COMPENDIO DE MATEMATICA

Todas essas demonstraes so muito simples e podem ficar ao cuidado do leitor.

4. Anel das aplicaes lineares de um espao vectorial em si mesmo. Temos at aqui designado por L o conjunto das aplicaes lineares de U em V, sendo U e V espaos vectoriais sobre um mesmo corpo K, distintos ou coincidentes. Daqui por diante vamos supor U = V. Assim, L designar o conjunto das aplicaes lineares do espao vectorial U em si mesmo. Segundo o que vimos no nO 2 est definida em L uma . adio. Por outro lado, segundo o estabelecido no n." 1, tambm est definida em L uma multiplicao, que a composio de aplicaes no sentido usual. Em virtude do teorema 1 do n." 1, o produto de dois elementos de L isto , de duas aplicaes lineares de U em U ainda um elemento de L (neste caso tem-se U = V = W). Surge agora a pergunta:

Ser (L,

+ , .)
+)

um anel?

Ora j vimos que:


1)

(L,

um mdulo.

Por outro lado, fcil ver que:

2) (L,

. ) um semigrupo. .

Com efeito, j ficou provado que (L, ) um grupide (em virtude do teorema 1 do n." 1). Alm disso, a multiplicao

J. SEBASTIAO E SILVA

associativa, por se tratar da composio de aplicaes no sentido usual. Logo (L, ) de facto um semigrupo. Resta provar que:

3)

A multiplicao distributiva a respeito da adio em L.

Comearemos por provar a distributividade a direita. Sejam f. g, h elementos arbitrrios de L e u um elemento arbitrrio de U. Ento Ef(g

+ h)]

(u) = f [ ( g

+ h)ul

(porqu?) (porqu?) (porqu?) (porqu?) (porqu?)


(S) (I)

= f [g(u)

+ h(u)l

= f (g(u))
= (fg) (u)

+ f(h(u))

(2)

+ (fh) (u)

= (fg

i- fh)(u)

Por conseguinte [f(g

+ h)]

(u) = (fg

+ fh)(u)

V u e U,

o que significa que f(g

+ h) = fg + fh

(porqu?)

Fica assim provada a distributividade direita:

f(g

+ h) = fg + fh

V f , g, h 6 L

(I) (2)
(3)

Por definio de 'soma de aplicaes lineares'. Porque f uma aplicao linear. Por definio de 'soma de aplicaes lineares'.

COMPENDIO DE MATEMATICA

Demonstremos agora a distributividade a esquerda. Sejam ainda f , g, h elementos arbitrrios de L e u em elemento arbitrrio de U . Ento
[(f

+ g)hl

(u) =

+ g)(h(u)) = f(h(u)) + g(h(u)) = (fh)(u)+ (gh)(u)


(f

(porqu?) (porqu?) (porqu?) (porqu?)


(I)

= (fh

+ gh)(u)
,

Por conseguinte [(f +g)hl (u) = (fh+gh)(u) V u e U

Fica assim provada a distributividade a esquerda:

, ) de facto e portanto 3 ) , o que acaba de provar que ( L , u m anel. Convm, desde j, notar o seguinte: O operador identidade, I, obviamente uma aplicao linear do espao U em si mesmo e portanto elemento unidade do anel L. Assim, em concluso:

+ .

TEOREMA. O conjunto L das aplicaes lineares de um espao vectorial em si mesmo u m anel, relativamente as operaes de soma e produto de aplicaes lineares atrs definidas. Este anel tem elemento unidade que a aplicao I . Veremos mais adiante que o anel L no comutativo, excepto no caso trivial em que o espao U tem dimenso 1. Pode ainda perguntar-se:
Ser L um anel de diviso, tal como, por exemplo, o anel dos quaternies?
(I)

Por definio de 'soma de aplicaes lineares'.

J . SEBASTIAO E SILVA

Como sabido (vol. 1, 2." tomo, pg. 93, n." 7) dizer que L um anel de diviso equivale a dizer que toda a aplicao linear no nula de U em U bijectiva. Ora isto s verdade, se U for unidimensional. Note-se finalmente que o grupo dos automorfismos de U (aplicao linear biunvoca de U sobre U) no um anel, mesmo a no ser que o espao U que lhe juntemos a aplicao nula seja unidimensional.

5. Conceito de lgebra. Seja ainda U um espao vectoria1 sobre um corpo K e seja L o conjunto das aplicaes lineares de U em si mesmo. Acabmos de ver que L um anel relativamente s operaes e definidas. Mas j no n." 3 tnhamos visto que L tambm um espao vectorial sobre K . Assim, em resumo:

+ .

1 ) L um espao vectorial sobre K ( a respeito das operaes de 'soma de duas aplicaes lineares' e de 'produto de um escalar por uma aplicao linear'). 2) L um anel ( a respeito das operaes de 'soma' e de 'produto de duas aplicaes lineares'). 3) As operaes de 'produto de duas aplicaes lineares' e de 'produto de um escalar por uma aplicao linear' tm as seguintes PROPRIEDADES DE ENLACE:

Ora exprime-se a conjuno de todos estes factos, dizendo que L uma lgebra sobre K. Dum modo geral: DEFINIAO. Diz-se que um conjunto @ de elementos a, b,. . . de natureza qualquer uma lgebra sobre um corpo K (ou um sistema hipercomplexo sobre K), sse so verificadas as seguintes condies: A I . Esto definidas operaes de 'soma de dois elementos de @' e de 'produto de um elemento de K por um elemento de @ ', a respeito dos quais @ um espao vectorial sobre K .

.. i SEBASTIAO E SILVA

A2. alm disso definida uma operao de 'produto de dois elementos de 9$ ', de tal modo que @ um anel a respeito da adio e da multiplicao definidas. A3. As operaes de 'produto de dois elementos de 9$' e de 'produto de um elemento de K por um elemento de 9$' satisfazem s seguintes CONDIES DE ENLACE (I):

Assim, em particular: TEOREMA. O conjunto L das aplicaes lineares do espao U em si mesmo uma lgebra sobre K , munida de elemento unidade. Podem dar-se inmeros outros exemplos importantes de lgebras. Assim, o corpo C dos nmeros complexos , em particular, uma lgebra comutativa sobre IR (ou sobre C); o conjunto IH dos quaternies de Hamilton uma lgebra no comutativa sobre IR (ou sobre C); etc. com a operao do Note-se que, no espao vectorial g, produto externo definida no n." 8 do Captulo IV (pg. 163), s falta uma propriedade, para que seja uma lgebra sobre IR: a associatividade do produto.

I. Diga se uma lgebra sobre IR, a respeito das operaes usuais:

de todos os polinmios em x reais de a) o conjunto grau inferior a 3; dos polinmios em x reais de todos os b) o conjunto graus; c) o conjunto dos polinmios em x reais de todos os graus que se anulam para x = 0.

9,

9 ,

(I) Tambm poderiamos chamar-lhes 'propriedades associativas das duas multiplicaes entre si'.

J . SEBASTIAO E SILVA

Indique quais das lgebras consideradas so comutativas e quais tm elemento unidade.

II. Sendo U um espao vectorial sobre um corpo K e sendo L a lgebra das aplicaes lineares de U em U, considere a aplicao ~ & L Y I deKemL
Mostre que esta aplicao: 1) biunvoca; 2) respeita as operaes de 'soma' e 'produto'. Podemos assim identificar o corpo K a uma sublgebra L * de L, escrevendo a = a I , V LY e K. Em que caso L * = L? NOTA SOBRE A TERMINOLOGIA. O termo 'lgebra' tem sido usado com diversas acepes, o que por vezes pode dar lugar a equvocos. Primeiro que tudo, aparece-nos a lgebra, como ramo da matemtica que tem evoludo ao longo dos sculos e que, em nossos dias, definida como sendo o estudo das estruturas algbricas (grupides, semigrupos, grupos, quase - grupos, anis, corpos, lgebras de Boole, espaos vectoriais, lgebras, etc.). Por outro lado, tambm se usa algumas vezes o termo 'lgebra' com significado de 'estrutura algbrica' (sinnimo de 'sistema algbrico' e 'espao algbrico'). Mas, em sentido restrito, o termo 'lgebra' tem hoje, habitualmente, o significado que foi atrs definido (sinnimo de 'sistema hipercomplexo'). E cada vez mais importante o estudo das lgebras, nesta acepo. Mas preciso notar que as lgebras de Boole no so lgebras segundo esta definio. Basta lembrar que as lgebras de Boole no so anis, nem sequer mdulos, como se viu no Captulo VI, vol. 1, 2 . O tomo.

6. Soma de duas matrizes quadradas. Neste nmero e nos seguintes vamos ocupar-nos exclusivamente de matrizes quadradas de 2." ordem com elementos reais. Mas as nossas concluses estendem-se facilmente a matrizes quadradas de qualquer ordem e com elementos num corpo K qualquer.

COMPENDIO DE MATEMTICA

Consideremos uma matriz quadrada de ordem 2:

A =

1: 3

com a, b, c, d e R e suponhamos fixada em

Seja r um plano qualquer


3 3

(I)

g,

uma base (j, k ) . Ento, como sabemos, a matriz A define uma aplicao linear f do espao em si mesmo, dada pelo sistema:

g,

A aplicao f faz precisamente corresponder a cada vector


U-(x, y ) o vector 3-(x< yr).

Consideremos agora outra matriz

B = [a' bf

d'

"1,
X"

com a', bf, c :

df e IR

Ento B define uma aplicao linear g do espao si mesmo, dada pelo sistema
= a'x

gr em

y"

+ c'y = b'x + d'z


3

e que faz corresponder a cada vector u-(x,


3

y) o vector

ul'-

(xf', y").

(I) Estamos a referir-nos a planos do espao usual f . Mas 7 pode ser qualquer espao afim real com 2 dimenses (Capitulo IV, n.0 11). Por sua vez, no lugar de Qx podemos considerar qualquer espao vectorial real com 2 dimenses (Capitulo IV, n.0 10). Com efeito, todos esses espaos afins, ou os respectivos espaos vectoriais so isomorfos entre si. Como prottipo de espao vectorial (ou afim) real de dimenso 2, podemos tomar o espao IR2.

J . SEBASTIAO E SILVA

Ora a aplicao f vector


3 U'

+ g faz corresponder ao vector 3 u


.j

(x, y )

+ u " ~ ( x '+ x",

y'

+ y")

e , portanto, dada pelo sistema

Deste modo, a matriz que representa f

+ g ser

Ser, pois, natural chamar a esta matriz a soma das matrizes A e B, e design-las por A B. Teremos, pois, por definio:

[a b

c]+ d

[a' b'

c'] d'

- [,+a'
b+b' d+d'

Mas j vimos no Captulo IV, n." 1 (teorema 1, pgs. 126-127) entre as aplicaes lineares f e as que a correspondncia f-A, matrizes A que as representam, bijectiva. Daqui e da definio de soma de matrizes conclui-se que:

O conjunto das matrizes quadradas reais de ordem 2 um mdulo, isomorfo ao mdulo das aplicaes lineares do espao 9, em si mesmo. Representaremos o conjunto dessas matrizes por &, e o conjunto destas aplicaes lineares por d,. Note-se que, em particular, a matriz nula a matriz

de elementos todos nulos; e que a simtrica da matriz A a matriz

COMPENDIO DE MATEMATICA

7. Produto d e um! escalar por uma matriz. Suponhamos que se mantm todas as convenes e as hipteses anteriores. Como se disse, f a aplicao linear definida pelo sistema
X'

y'

+ cy = bx + dy
= ax

(com a, b, c, d

IR)

Seja agora r um nmero real qualquer. Ento rf, produto do escalar r pela aplicao linear f e 1,(ver n." 3. pg. 200), a aplicao que faz corresponder a cada vector u+(x, vector rf(u) , =: r '

y) o

(rx', ryf) dado pelo sistema rx' = (ra)x i (rc)y -

r' = (rb)x -i-(rd)y y


Deste modo, a matriz que representa a aplicao rf ser

E, portanto, natural chamar a esta matriz produto de r por A e design-la por rA. Assim, por definio:

Por outro lado, atendendo mais uma vez a que a correspondncia f-A 6 bijectiva e h concluso do nmero anterior, conclui-se:

O conjunto das matrizes quadradas reais de ordem 2, um espao vectorial sobre IR, isomorfo ao espao vectorial d2, das aplicaes lineares do espao gxem si mesmo.

Mz,

J . SEBASTIO

E SILVA

8. Produto de duas matrizes. Consideremos novamente duas matrizes quadradas reais de 2." ordem

e suponhamos fixado, num plano T, uma base (j, k). Ento A representa a aplicao linear f (de gr: em que faz corres-

y)

ponder, a cada vector u ,

(x, y), o vector

2,

(x', y') dado por

Por sua vez, a matriz B representa a aplicao linear g (de

gT g p ) em

o vector

z, "

que faz corresponder ao vector u'dado por

(x', y')

(x", y")

Ora a aplicao gf transforma directamente o vector u no vector u". portanto dado pelo sistema que se obtm, substituindo x', y' em (2) pelas respectivas expresses dadas por (1 ):
. )

c,

x" = a'(ax y" = b'(ax


ou seja
X"

+ cy) + ~ ' ( b x+ dy) + cy) + df(bx + dy)

= (a'a

y" = (b'a

+ c'b)x + (a'c + c'd)y + d'b)x + (b'c + dfd)y

210

COMPENDIO DE M A T E M A T I C A

Como se v, a aplicao gf (produto de g por f ) representada pela matriz

L
-

a'a b'a

+ c'b + d'b

b'c C d'd a'c c'd

1
a'c b'c

portanto natural chamar a esta matriz produto de B por A

e represent-la por BA. Assim, por definio: a'a b' d' b d b'a

+ c'b + d'b

+ c'd ] + d'd

Como se v, o produto de B por A obtido por meio da seguinte REGRA: O elemento de BA situado na linha r e na coluna s a soma dos produtos que se obtm, multiplicando ordenamente os elementos da linha r em B pelos elementos da coluna s em A. Esta tcnica de clculo abreviadamente designada pela expresso 'multiplicar linhas por colunas'. Analogamente ser aa' ba'

Por exemplo, o produto da linha (b, d ) de A pela coluna (a', b') de 6 d o elemento ba' db' da linha 2 e da coluna 1 de AB. Mas convm, desde j, notar que no se tem necessariamente

Por exemplo

r-:

:1

r-:

21

b'

d'

+ cb' + db'

bc' ac'

+ dd' cd'

J . SEBASTIAO E SILVA

Portanto

Por conseguinte: a multiplicao de matrizes quadradas reais de ordem 2 no comutativa. Diz-se que duas matrizes A e B so permutveis sse AB = BA (e analogamente para as respectivas aplicaes lineares). Finalmente, atendendo mais uma vez a que a correspon bijectiva, conclui-se: dncia f *A

O conjunto &, das matrizes quadradas reais de 2." ordem uma lgebra (no comutativa): isomorfa lgebra J , das apliem si mesmo. caes lineares do espao gz Em particular, o elemento unidade desta lgebra - a aplica dada pelo sistema o I

ao qual corresponde a matriz

natural chamar-lhe matriz unidade, visto ser o elemento

unidade da lgebra

/nz:

Chama-se matriz escalar toda a matriz da forma

COMPENDIO DE MATEMATICA

em que r um nmero real qualquer (I). De acordo com o que se pede para provar no exerccio II do n." 5, a aplicao

biunvoca e respeita s operaes de 'soma' e de 'produto'; alm disso, faz corresponder ao nmero 1 (elemento unidade do corpo IR) a matriz E (elemento unidade da lgebra Por conseguinte:
As matrizes escalares formam uma sublgebra de que isomorfa ao corpo IR e que podemos identificar a este corpo, escrevendo r E = r , V reIR

Az).

A,

Nesta ordem de ideias, ser lcito escrever tambm

Convm notar que a aplicao linear correspondente matriz rE precisamente a multiplicao por r, isto , a aplicao u r ,
3 3

u do espao

em si mesmo, definida pelo sistema

A este corresponde efectivamente, como se v, a matriz escalar rE, que se identifica ao escalar r.

EXERCICIO. aplicao

Mostre que, sendo a e b nmeros reais, a

(I) Tal como se disse logo no inicio do n.0 6, todas estas consideraes se estendem a matrizes quadradas de qualquer ordem e com elementos num corpo K qualquer.

J . SEBASTIAO E SILVA

u m isomorfismo do corpo C sobre uma sublgebra C * de


transformando o nmero 1 na matriz unidade. Depois disto, note que

-A2,

Como vimos, a matriz unidade, E, pode ser identificada ao nmero 1. Por sua vez, a matriz

representa a aplicao linear definida pelo sistema: x' = - y', y' = x. Ora esta aplicao linear a rotao de 90" n o sentido positivo, representada pelo nmero i. Assim, o facto demonstrado e a frmula ( 1 ) permitem-nos fazer a identificao

Podemos ento escrever

Note-se, porm, que existe uma infinidade de outras sublgebras de &,, que so corpos isomorfos a C . A que indicmos aqui precisamente constituda pelas matrizes que representam semelhanas positivas do plano.

a,

Continuaremos a designar por o conjunto das aplicaes lineares do espao 9, em si mesmo ( I ) . Vimos que 2, uma lgebra isomorfa lgebra das matrizes quadradas reais de ordem 2. U m elemento f de 1, regular, sse tem inverso no anel J,, ou ( o que equivalente) sse f uma aplicao biunvoca do espao 9, sobre si mesmo.

9. Inverso de matrizes.

A,

(I)

Convem rever a nota do n.0 6 a propsito de OJz.

214

COMPENDIO DE MATEMTICA

Na mesma hiptese se diz que a matriz A correspondente a f regular. Portanto a matriz A regular, sse existe uma matriz X tal que

em que 'I' designa a matriz unidade (tambm designada por 'E'). Mas, se existe pelo menos uma matriz X que verifica ( I ) , s existe uma (porqu?) e essa matriz designada por A - ' . Seja

Ento A representa a aplicao linear f definida pelo sistema

que transforma cada vector u-3

-3

(x, y ) na vector

A aplicao inversa, se existe, transforma o vector uf+

3 ,

(x' y f ) .

(x', y')

no vector u (x, y ) . Como obter ento o sistema de equaes 9 que define essa aplicao inversa? (Pense, antes de ler o que vem a seguir.) claro que se trata simplesmente de resolver o sistema (2) em relao as variveis x, y, como funes de x', y'. J sabemos que:

Quaisquer que sejam x', y' e IR, o sistema ( 2 ) de equaes em x, y possivel e determinado, sse ad - bc # O. Neste caso tem-se
. --

dx'
-

ad
--

- cy' - bc
-

--

ay' ad

--

- bx' - bc
--

J. SEBASTIAO E SILVA

Por conseguinte, nesta hiptese (e s nesta), tem-se

o que significa que f uma aplicao biunvoca do espao q , sobre si mesmo. A aplicao inversa (tambm linear) definida, segundo ( 3 ) , pelo sistema:

Por outro lado, se ad - bc = 0, fcil ver, pelo estudo feito no 6." ano, que o sistema de equaes (2) em x, y umas vezes impossivel e outras vezes indeterminado, conforme os valores de x', y'. Portanto f no elemento regular de J,, se ad - bc = 0. Tambm j sabemos que se escreve, por conveno, ad

- bc = det A = ' a
- bc # O,
x'

I d/
o sistema (4) assume
C

Ento, no caso em que ad o aspecto d b

det A
y =

- -Y' det A
+
a det A
-

det A

x'

Y'

A matriz correspondente ser portanto


C

det A b det A

det A a det A

Mas esta a matriz inversa de A (porqu?).

216

COMPENDIO DE MATEMATICA

Por conseguinte: TEOREMA. A matriz A regular, sse der A # O. Nesta hiptese, tem-se

EXERCICIO. Verificar directamente que a matriz (3) a inversa de A, multiplicando-a esquerda e direita por A (supondo det A # O). NOTAS

I. A matriz

chamada a adjunta de A (matriz cujo produto por A det A

. E).

II. O conceito de 'determinante' pode ser generalizado a matrizes quadradas de ordem qualquer e com elementos em qualquer corpo. Bastar saber que se mantm -com forma inteiramente anloga s que foram indicadas para determinantes de 3.a ordem (Captulo IV, n." 8, pgs. 161-167) -a noo de 'complemento algbrico' e a regra do desenvolvimento dum determinante segundo os elementos de uma fila qualquer. Deste modo, por exemplo, o clculo de um determinante de 4.a ordem pode ser reduzido ao clculo de determinantes de 3.a ordem (h no entanto processos mais simples para o clculo dos determinantes). Posto isto, chama-se adjunta de uma matriz A, e designa-se por adj A, a matriz que se obtm, substituindo cada elemento de A pelo seu complemento algbrico e transpondo depois a matriz obtida (isto , trocando nesta, ordenadamente, as linhas com as colunas). Ora o teorema anterior, que demonstramos para matrizes quadradas reais de 2." ordem, estende-se a matrizes quadradas

S SEBASTIAO E SILVA .
de qualquer ordem e com elementos num corpo K qualquer, bastando substituir a frmula (4), pela frmula mais geral

A-' =

1 det A

adj A

III. A frmula anterior, para inverso de matrizes quadradas, tem grande interesse terico, mas diminuto interesse prtico, quando se trata de aplic-la directamente inverso de uma matriz quadrada de ordem muito elevada. Neste caso, os mtodos habituais para resoluo de sistemas de equaes lineares (mtodo da substituio, mtodo da reduo, etc.) deixam de ser aplicveis e tm de ser substitudos por mtodos de aproximaes sucessivas (ou mtodos de iterao). Alis, estes mesmos mtodos s podem ser geralmente aplicados mediante computadores electrnicos, que invertem matrizes quadradas com grande aproximao - permitindo por vezes calcular os elementos da matriz inversa com 12 algarismos decimais exactos. A inverso de matrizes de ordem elevada um problema que se pe com frequncia a computadores (por exemplo em questes de programao linear). A potncia de um computador costuma ser avaliada, precisamente, pela rapidez com que inverte uma matriz de ordem elevada. Antes de existirem os computadores electrnicos, era geralmente impossvel inverter, por exemplo, uma matriz quadrada de ordem 100. Basta lembrar que uma tal matriz tem 1002(=10 000) elementos e que o clculo de cada um desses elementos por si s laboriosssimo.

10. Matrizes singulares. Recordemos as noes de 'elemento singular' e 'divisor de zero', num anel A qualquer: Diz-se que um elemento a de A singular sse a no regular. Diz-se que a divisor de zero, sse a # O e existe b # 0 tal que ab = O V ba = 0. Vimos que todo o divisor de zero um elemento singular (cf. 1 .O vol., 2." tomo, teorema 1, pg. 92). Mas a recproca no verdadeira, mesmo se nos limitarmos a elementos singulares no nulos:

COMPENDIO DE MATEMATICA

Consideremos por exemplo o conjunto @ de todas as funes reais definidas e contnuas em IR. Ento @ um anel (comutativo) relativamente s operaes usuais de 'soma' e 'produto'. Ora a funo x, por exemplo, um elemento singular deste anel (porqu?) (I); mas este elemento de @ no um divisor de zero. Com efeito, seja f uma funo tal que

Ento x # O f ( x ) = O (porqu?). Assim, f ( x ) = O para todo o x # O e, como f contnua em IR, tambm f ( 0 ) = O (porqu?). Logo f = O, o que prova que a funo, ,x x no um divisor de zero (embora seja um elemento singular de @). No entanto prova-se o seguinte:
N o anel ( e , mais geralmente, em qualquer anel de matrizes), todo o elemento singular no nulo divisor de zero. No demonstraremos este teorema. Limitar-nos-emos a dar um exemplo, que contm a ideia da demonstrao. Consideremos a matriz singular

M,

que representa a aplicao linear f definida pelo sistema

(I) A funo real l/x no definida em IR

3. SEBASTIAO E SILVA

Ora esta aplicao transforma os vectores de base j, k, respectivamente nos vectores neares
j

- (1, 2). +, k

4 4

(2, 4) que so coli-

(por isso mesmo a matriz A singular). Ento f transforma cada vector u = x j -i-y k no vector
+ 3 3

Portanto f transforma todo o vector u e q , num vector u'


colinear com j' ( o contradomnio de f no pois ento?). Consideremos agora a matriz
3

g,; qual

que representa a aplicao linear definida pelo sistema

Esta transforma o vector 7 j (1, 2) no vector nulo: foi escolhida precisamente com essa finalidade. portanto fcil ver a priori que

BA=O

, embora seja A # O e B # O

Isto alis pode ser confirmado efectuando o clculo. Note-se entretanto que

AB # O

, apesar de ser BA = 0.

COMPNDIO DE MATEMATICA
Mas, seja como for, ficou provado que a matriz A B um divisor de zero, de acordo com a definio geral de 'divisor de zero', atrs recordada.

Analogamente, sendo A = tem-se, como fcil verificar AB=O,

[: 43

s=[-:

-21

com A # O e S+O,

mas B A # O

Como se v, as lgebras de aplicaes lineares ou de matrizes, alm das aplicaes prticas importantssimas que oferecem, constituem um manancial de exemplos sugestivos e variados, aptos a ilustrar a teoria geral das estruturas algbricas. Fica ao mesmo tempo confirmado o interesse da teoria abstracta das estruturas algbricas, que permite uma extraordinria economia de pensamento. Este grande poder de sntese um dos caracteres essenciais dos mtodos axiomticos da matemtica moderna, que se tornaram indispensveis, precisamente, para se poder hoje dominar a imensa variedade de teorias, muitas delas isomorfas entre si, que comearam a surgir desde o sculo passado. Em poder de condensao, a matemtica moderna est para a matemtica de h 10 anos, como esta se apresentava em relao matemtica de PEDRO NUNES. O Livro de Algebra de Pedro Nunes, que, no seu gnero, foi um das obras mais notveis da Europa, era um volumoso tratado, supra-sumo da cincia algbrica desse tempo, que no a contudo alm da equao do 2 . O grau (I). Mas o facto de no se ter introduzido ainda o mtodo simblico da lgebra, bem como a relutncia do Autor em aceitar a existncia dos nmeros

Pouco depois deram-se as descobertas dos grandes algebristas ita(I) lianos relativas as equaes do 3.0 e do 4.0 graus. Pedro Nunes refere-se a este facto num aditamento ao tratado.

J. SEBASTIO E SILVA

relativos, e ainda a ausncia de uma teoria simples dos nmeros irracionais, obriga-o a expor em numerosas pginas, de leitura que se pode hoje apredifcil, a teoria da equao do 2." grau sentar, com perfeito rigor, e sem dificuldade, em breves pginas, a alunos do ensino secundrio.

EXERCICIO. Sendo f, g duas aplicaes lineares dum espao vectorial U em si mesmo, indique uma condio necessria e suficiente para que seja fg = O. [Obs.: chama-se ncleo de f o conjunto dos vectores u de U tais que f ( u ) = O ] .

ndice
PAgs

Capitulo l .

INTRODUAO A O CALCULO VECTORIAL

1. Relao 'situado entre' 2.

. . . . . . . . . . . . . . . . . . . . . . . .

Relaes de ordem . . . . . . . . . . . . . . . .

12 14 15 16 18 19 20 25 28 30
38

3 . Conjuntos ordenados . Isomorfismos

4 . Relaes de ordem lata

. . . . . . . . . . . . . . 5 . Relaes de ordem parcial . . . . . . . . . . . . . 6 . Relao 'situado entre' associada a uma relao de ordem . 7 . Relaes de ordem subordinadas a relao 'situado entre' numa recta . . . . . . . . . . . . . . . . . . .
8.
Projeces paralelas . Extenso do conceito de sentido Soma de um ponto com um vector
. . . . .
. . . . . . .
. .

9. Conceito de vector .

. . . . . . . . . . . . . . .
. .

10.

11. Soma de dois vectores 12. Translaes . 14. Homotetias . 16.

.
.

.
.
.

.
.
.

.
.
.

.
.
.

.
.
.

.
.
.

13. Produto de um nmero real por um vector

41 45 48 55

. . . . . . . . . . . . . . . . . .
. . . . . .

15. Vectores colineares e vectores complanares Referenciais cartesianos em forma vectorial .

Capitulo II .
1.

NMEROS COMPLEXOS EM FORMA TRIGONOMeTRICA 59 61 66 71 72 72

Representao geomtrica dos nmeros complexos . . . .

2 . Representao trigonomtrica dos nmeros complexos

. . .
. . . .

3.

Interpretao geomtrica da multiplicao de nmeros complexos

4 . Diviso de nmeros complexos na forma trigonomtrica 5. Potncias de nmeros complexos na forma trigonomtrica
6.

Radiciao no corpo complexo . . . . . . . . . . . .

SEBASTIAO E SILVA

Frmulas trigonomtricas de adio de ngulos .

. . . . .

Mltiplos de ngulos e potncias de senos e co-senos circulares

. . .

Frmulas de transformao Iogartmica . Derivadas das funes

. . . . . . . . . . . . . . . . . . .

Capitulo III. TRANSFORMAES AFINS E APLICAES LINEARES


1. Transformaes de semelhana e isometrias . . . . . . .

2. Rotaes do plano e do espao . . . . . . . . . . . 3. Reflexes . Deslocamentos e isometrias negativas . . . . .


4 . Transformaes afins

. . . . . . . . . . . . . . .

5. Efeito das transformaes afins sobre rectas paralelas e sobre


vectores . . . . . . . . . . . . . . . . . . . . Aplicaes lineares

. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .

Determinao de todas as possiveis afinidades entre dois planos ou do espao Determinao de todas as possiveis semelhanas. isometrias e deslocamentos. entre dois planos ou do espao Aplicaes afins *

. . . . . . . . . . . . . . . . . . . .

Capitulo IV. REPRESENTAAO ANALITICA DE APLICA6ES LINEARES E TRANSFORMAES AFINS Aplicaes lineares e matrizes . . . . . . . . . . . . Representao analtica das afinidades de um plano ou do espao Produto interno de dois vectores .

. . . . . . . . . .
. . . . .

Nova definio geomtrica de produto interno .

Aplicaes do produto interno em geometria analtica

. . . Representao analtica das isometrias e das semelhanas . . Produto externo de dois vectores do plano * . . . . . .
Produto externo de dois vectores do espao Produto misto *
. . . . . .

. . . . . . . . . . . . . . . . . Nmero de dimenses de .um espao vectorial * . . . . . Noo geral de espao afim . . . . . . . . . . . .


Noes de recta. plano. conjunto convexo. etc . num espao afim qualquer

' . . . . . . . . . . . . . . . . .

Noes gerais de espao mtrico euclidiano e de espao mtrico '

. . . . . . . . . . . . . . . . . . . .

COMPENDIO DE MATEMATICA

Capitulo V.

ALGEBRAS DE APLICAOES LINEARES

E ALGEBRAS DE MATRIZES
Produto de duas aplicaes lineares. Isomorfismos vectoriais Soma de duas aplicaes lineares Produto de uma aplicao linear por um escalar mesmo

. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Anel das aplicaes lineares de um espao vectorial em si

. . . . . . . . . . . . . Conceito de lgebra . . . . . . . . . . Soma de duas matrizes quadradas . . . . . Produto de um escalar por uma matriz . . . Produto de duas matrizes . . . . . . . . Inverso de matrizes . . . . . . . . . . Matrizes singulares . . . . . . . . . . .
. .

Composto e impresso na Imprensa Portuguesa

- Porto

e concluiu-se

em Outubro de 1975