Caderno de Apoio 10º Ano

METAS CURRICULARES PARA O ENSINO SECUNDRIO MATEMTICA A
Caderno de Apoio
10. ANO
Antnio Bivar, Carlos Grosso, Filipe Oliveira, Lusa Loura, Maria Clementina Timteo
INTRODUO
Este Caderno de Apoio constitui um complemento ao documento Metas Curriculares de
Matemtica do Ensino Secundrio Matemtica A. Na elaborao das Metas Curriculares
utilizou-se um formato preciso e sucinto, no tendo sido includos exemplos ilustrativos dos
descritores. Neste documento apresentam-se vrias sugestes de exerccios e de problemas,
comentrios relativos a algumas opes tomadas no documento principal e informaes
complementares para os professores.
Procurou-se realar os descritores que se relacionam com contedos e capacidades
atualmente menos trabalhados no Ensino Secundrio embora se tenham includo tambm
outros de modo a dar uma coerncia global s abordagens propostas. Estas escolhas no
significam, porm, que se considerem menos relevantes os descritores no contemplados.
Longe de se tratar de uma lista de tarefas a cumprir, as atividades propostas tm um carter
indicativo, podendo os professores optar por alternativas que conduzam igualmente ao
cumprimento dos objetivos especficos estabelecidos nas metas. Aos exemplos apresentados
esto associados trs nveis de desempenho. Os que no se encontram assinalados com
asteriscos correspondem a um nvel de desempenho regular, identificando-se com um ou dois
asteriscos os exemplos que correspondem a nveis de desempenho progressivamente mais
avanados.
Para alm das sugestes de exerccios e problemas a propor aos alunos entendeu-se
incluir tambm textos de apoio para os professores. Destinam-se a esclarecer questes de
ndole cientfica que fundamentam os contedos do Programa e que podero ajudar seleo
das metodologias mais adequadas lecionao.
Caderno de Apoio 10. ano Introduo
Pgina 1
10. ANO
Nveis de Desempenho
Lgica e Teoria dos Conjuntos LTC10
Descritor
Texto de Apoio
1.3
1.4
1.5
1.6
1.7
1.8
Comentrio
Nos descritores 1.3 e 1.8 introduzem-se a equivalncia e a implicao como operaes
binrias, cada uma delas transformando um par de proposies numa nova proposio, a
exemplo do que noutros descritores (1.6 e 1.7) sucede com a conjuno e a disjuno e, de
modo anlogo, com a negao (cf. 1.4), neste caso aplicada apenas a uma proposio
(operao unria). Todas essas operaes so definidas de tal modo que sempre possvel
determinar o valor lgico do resultado conhecendo o valor lgico dos operandos; em
particular, no considerando agora o caso mais trivial da negao, a caracterizao de cada
uma delas permite sempre construir uma tabela de dupla entrada (caso particular de tabela
de verdade), com duas linhas e duas colunas, na qual se pode ler o valor lgico do resultado
de aplicar a operao a um par de proposies em que o primeiro elemento tem o valor lgico
indicado na linha e o segundo o valor lgico indicado na coluna.
Conjuno
Disjuno
Equivalncia
Implicao
Utilizando propriedades simples das diversas operaes (cf., por exemplo, os descritores 1.5,
1.10, 1.11 e 1.13) conclui-se que qualquer delas pode ser substituda, sem que se altere o valor
lgico do resultado, por aplicao sucessiva de operaes de negao e de disjuno, ou, em
alternativa, de negao e de conjuno, ou ainda de negao e de implicao; ou seja, no que
respeita aos valores lgicos dos resultados, poderamos restringir as operaes apenas
negao e a uma das trs operaes de conjuno, disjuno ou implicao. Por exemplo, em
funo da negao e da conjuno, dadas proposies e ,
equivalente a
equivalente a
equivalente a
;
.
Fica assim patente que, do ponto de vista estritamente lgico, no haveria razo para distinguir
as operaes de equivalncia e implicao das restantes, no que diz respeito ao uso dos
respetivos smbolos na linguagem matemtica corrente. No entanto, comeando pela
equivalncia, de notar que a caracterizao desta operao particularmente simples,
resumindo-se a estabelecer que o resultado uma proposio verdadeira ou falsa consoante as
proposies operandas tenham ou no o mesmo valor lgico; assim, afirmar a veracidade de
uma equivalncia outro modo de exprimir a identidade dos valores lgicos das proposies
operandas. Como uma afirmao deste tipo ocorre frequentemente em Matemtica, torna-se
particularmente til abreviar a respetiva escrita; por esse motivo convenciona-se que a
afirmao de que determinada equivalncia verdadeira pode ser expressa escrevendo muito
simplesmente essa equivalncia, quando fique claro, do modo como a frase est redigida, que
Caderno de Apoio LTC10
Pgina 2
no h outra interpretao possvel. Desta forma, comum, dadas proposies e , escreverse simplesmente
para significar que a proposio
verdadeira, ou seja, que
e tm o mesmo valor lgico, e exprime-se esse facto dizendo-se que equivalente a
ou e so equivalentes. O abuso de linguagem consiste em substituir uma afirmao
acerca de proposies formais, entendidas como objetos matemticos que pretendem modelar
aspetos do nosso discurso (no quadro de uma teoria matemtica que pode ser designada por
Clculo Proposicional) ou seja, uma afirmao em linguagem corrente acerca de
determinados objetos matemticos (neste caso, por exemplo, as proposies e tm o
mesmo valor lgico), por um desses objetos (neste caso,
), porque esse objeto-proposio interpretado intuitivamente como uma afirmao do nosso discurso, que por
isso mesmo se considera verdadeira ao ser simplesmente enunciada; por outras palavras:
mistura-se linguagem matemtica, neste caso interna ao Clculo Proposicional, com meta-linguagem. Na redao dos descritores 1.5, 1.12, 1.13, e 1.14, por exemplo, utilizou-se esta
conveno.
No caso da implicao, a caracterizao uma vez mais muito simples, pois uma implicao s
falsa se o antecedente for verdadeiro e o consequente falso. Assim, a veracidade de uma
implicao significa que a situao anterior no tem lugar, ou seja, que no se tem
simultaneamente o antecedente verdadeiro e o consequente falso. Na prtica, a implicao
muitas vezes utilizada em situaes em que se desconhecem partida os valores lgicos do
antecedente e do consequente; nesses casos, a informao de que a implicao verdadeira
permite prever que, se estabelecermos a veracidade do antecedente, ficaremos
automaticamente com a certeza da veracidade do consequente, mas a veracidade da
implicao em conjunto com a afirmao da falsidade do antecedente, s por si, nada permite
dizer acerca do valor lgico do consequente, j que uma implicao de antecedente falso tanto
verdadeira se o consequente for verdadeiro como se for falso. Esta descrio do papel da
implicao revela que esta operao lgica traduz o que em linguagem corrente tambm se
pode exprimir na forma se., ento, nos referidos casos em que no se pressupe o
conhecimento dos valores lgicos do antecedente e do consequente. Afirmaes deste tipo
tambm tm um papel crucial em Matemtica, o que evidencia a utilidade de se usar a prpria
implicao, sem mais, para, integrada em determinado discurso, indicar a respetiva veracidade.
Trata-se, de novo, de um abuso de linguagem no sentido j referido, utilizado por exemplo no
descritor 1.8.
O estudo destas operaes uma oportunidade para rever a abordagem iniciada no Ensino
Bsico da noo de condio necessria e condio suficiente e do uso do smbolo de
implicao (cf. Programa e Metas Curriculares - Ensino Bsico Matemtica, GM9-1.5).
eu
1.10
1.11
1.12
1.13
1.14
1.15
Comentrio
Os resultados expressos neste conjunto de descritores podem ser demonstrados recorrendo a
tcnicas muito semelhantes, elaborando, por exemplo, tabelas de verdade, embora tambm se
possam utilizar argumentos que envolvam apenas diretamente as caracterizaes apresentadas
das operaes, ou ainda, em certos casos, recorrendo a propriedades j verificadas
previamente. No ser pois necessrio trabalhar exaustivamente as provas associadas a cada
um destes descritores, devendo-se no entanto garantir que os alunos conhecem estes
resultados bem como as tcnicas base que levam respetiva justificao. As tabelas de verdade
a utilizar em situaes envolvendo mais do que duas proposies podero consistir em quadros
com uma coluna para cada proposio e, em seguida, uma coluna para cada uma das
operaes sucessivamente a efectuar com as proposies, at se chegar expresso final que
pretendemos testar ou at ser possvel, por inspeo, concluir a equivalncia, em todos os
Pgina 3
casos, de determinadas proposies; tais tabelas devero ter tantas linhas quantas as
necessrias para contemplar todas as possibilidades de sequncias de valores lgicos para as
proposies operandas (portanto
linhas, sendo o nmero de proposies operandas). Por
exemplo, para estabelecer a propriedade distributiva da conjuno relativamente disjuno
podemos utilizar a seguinte tabela:
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
V
F
V
V
V
F
F
F
F
F
V
V
F
F
F
F
F
F
V
F
V
F
F
F
F
F
V
V
V
F
F
F
F
F
Para preencher cada coluna relativa a uma operao limitmo-nos a utilizar o conhecimento da
tabela de verdade dessa operao e os valores lgicos das proposies operandas constantes,
nessa mesma linha, das colunas anteriores que lhes correspondem. A identidade dos valores
lgicos representados em cada linha nas quinta e oitava colunas revela que as proposies
e
tm sempre o mesmo valor lgico, ou seja, so sempre
equivalentes. No assim necessrio completar a tabela com uma coluna relativa proposio
(
)
(
); tal coluna seria, evidentemente, inteiramente preenchida
com o smbolo V, ou seja, a expresso a que se refere o que se chama uma tautologia, por
ser verdadeira independentemente dos valores lgicos das proposies
e .
Em lugar de utilizarmos a tabela de verdade, para demonstrarmos esta propriedade poderamos
argumentar de modo mais discursivo, fazendo notar, por exemplo, que a proposio
, tratando-se de uma conjuno, verdadeira se e somente se e
forem ambas
verdadeiras. Basta-nos ento verificar que o mesmo se passa com a proposio
; ora, por um lado, esta proposio obviamente verdadeira se e
o
forem ambas, pois, nesse caso, ou verdadeira e portanto
tambm o , ou, caso
contrrio, verdadeira (j que
o ) e ento
verdadeira. Assim pelo menos uma das
proposies
ou
tem de ser verdadeira, ou seja,
verdadeira.
Reciprocamente, se
for verdadeira, uma pelo menos das conjunes
ou
verdadeira; assim, em qualquer caso, verdadeira ( operanda de ambas as
conjunes) e uma das proposies ou tambm tem de o ser (cada uma delas operanda
numa das conjunes). Mas nesse caso verdadeira tambm a disjuno
. Assim, como
pretendamos, a proposio
verdadeira se e somente se e
o forem
ambas, tal como a proposio
; trata-se assim de proposies equivalentes.
1.16
1. Considere proposies e tais que falsa e

de cada uma das seguintes proposies:
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
1.7.
verdadeira. Indique o valor lgico
Pgina 4
2. Considere proposies e . Simplifique as seguintes expresses que definem proposies

e indique, sempre que possvel, o respetivo valor lgico.
2.1.
2.2.
2.3.
]
2.4. * [
]
2.5. * [
3. *Determine o valor lgico das proposies
3.1
falsa.
3.2
verdadeira.
4. *Sabe-se que
de , de e de ?
2.1
e sabendo que a proposio:
uma proposio verdadeira. Qual o valor lgico
Informao Complementar para o professor

As condies mais primitivas que permitem a construo dos conjuntos bsicos que intervm
nas teorias matemticas envolvem variveis representadas por letras e que, intuitivamente,
representam objetos genricos da Matemtica os quais no constituem, partida, um
conjunto. Desta forma, nesses casos, as variveis podem ser substitudas por quaisquer
termos (expresses representando objetos matemticos), sem que se limite partida essa
substituio a elementos de um conjunto pr-fixado, e tal substituio conduz sempre a uma
expresso admissvel, trate-se ou no de uma proposio verdadeira. Por exemplo, a condio
, negao da condio
, permite definir o chamado conjunto vazio (no sentido
expresso no descritor 2.10) e, sendo j dados dois conjuntos e , a condio
permite definir o conjunto unio de e . A possibilidade de construir um conjunto atravs de
uma dada condio com uma varivel fica regulada pelos axiomas utilizados para a Teoria dos
Conjuntos, sendo certo que nem todas as condies admissveis permitem definir um conjunto
no sentido acima referido (cf. o Comentrio aos descritores 2.10 e 2.11). medida que se vo
definindo conjuntos atravs de condies progressivamente mais elaboradas e introduzindo as
habituais abreviaturas da linguagem matemtica depois usual utilizar condies em cuja
formulao fica explcito ou implcito que todos os objetos que a transformam numa
proposio verdadeira, por substituio da varivel por um termo representando um desses
objetos, pertencem a determinado conjunto j definido; uma tal condio pode assim
considerar-se associada a determinado conjunto que pode ser designado por universo dessa
condio e que se sabe a priori conter todos os objetos que satisfazem a referida condio. Do
mesmo modo, nas condies utilizadas na linguagem comum, habitualmente considera-se
implcita ou explicitamente que a varivel representa um objecto genrico de determinado
domnio de variao que se supe fixado.
2.2
2.4
Comentrio
Como notaes alternativas para os quantificadores, utilizam-se tambm, por exemplo, as
seguintes:
e
e
e
Pgina 5
Uma variante tambm por vezes utilizada desta ltima notao consiste em colocar o
diretamente abaixo do smbolo de quantificador, em vez de o colocar em ndice. Quando se
utilizam as duas primeiras notaes tambm usual colocar entre parntesis a expresso que
se pretende quantificar, como por exemplo em
, ou seja, no se considera
a prioridade das operaes lgicas relativamente aos quantificadores que est implcita na
notao utilizada nos descritores deste objetivo geral.
O facto de se introduzirem smbolos para os quantificadores no significa, evidentemente, que
em textos de Matemtica se abuse da utilizao desses smbolos ou dos smbolos das
operaes lgicas. Em muitos casos dever utilizar-se a linguagem comum para exprimir da
maneira mais clara possvel os contedos matemticos que se pretende transmitir.
2.3
2.5
1. Considere as condies
,
,
,
,
e
.
1.1. Indique as que so universais, as que so possveis e as que so impossveis.
1.2. *Tendo em conta a alnea anterior, para cada uma das seguintes condies, indique se
possvel, impossvel ou universal:
1.2.1.
1.2.2.
1.2.3.
1.2.4.
1.2.5.
2. *Mostre que a disjuno de qualquer condio com uma condio universal uma
condio universal, que a disjuno de qualquer condio com uma condio possvel
uma condio possvel e que a conjuno de qualquer condio com uma condio
impossvel uma condio impossvel.
2. 6
Comentrio
Neste descritor indica-se, sem partida se exigir qualquer justificao, como se relacionam os
quantificadores universal e existencial atravs da negao. No entanto estas relaes traduzem
propriedades intuitivas que podem ser motivadas pela anlise de exemplos concretos de
utilizao dos quantificadores na linguagem corrente (cf. exemplos no texto de apoio ao
descritor 2.9). Qualquer destas equivalncias pode tambm informalmente justificar-se
interpretando a proposio que resulta de aplicar o quantificador universal (respetivamente
existencial) a uma condio
como o resultado de se unir por conjunes (respetivamente
disjunes) todas as proposies
( um objeto arbitrrio), notando que pela
comutatividade e associatividade da conjuno (respetivamente da disjuno), podemos
intuitivamente atribuir significado a estas operaes generalizadas sobre proposies. Deste
modo as referidas equivalncias podem ser interpretadas como extenses das primeiras Leis de
De Morgan a estas conjunes e disjunes generalizadas.
Embora tal no seja requerido, fcil concluir que uma das propriedades pode ser deduzida da
outra, ou seja, admitindo, por exemplo, que, dada uma condio
, (
)
, (
(
) podemos provar que, dada uma condio
)
(
), e,
reciprocamente, admitindo esta propriedade podemos provar a primeira. Para provar que
verdadeira a segunda equivalncia, dada uma condio
, basta aplicar a primeira
equivalncia condio
e em seguida o facto de uma equivalncia entre duas
proposies ser verdadeira quando e apenas quando as proposies tm o mesmo valor lgico,
para alm de se utilizar o princpio da dupla negao. Obtemos assim sucessivamente:
Pgina 6
, que equivalente a (
(
)
)
portanto a (
)
(
), tambm equivalente, obviamente, a (
(
), como pretendamos. A recproca pode ser provada de modo idntico.
e
)
Uma formalizao plena do tratamento dos quantificadores fica fora do mbito deste estudo
introdutrio da Lgica, mas a aceitao sem demonstrao de uma das equivalncias expressas
neste descritor corresponde a tom-la como axioma.
2.7
2.8
Comentrio
O quantificador universal frequentemente utilizado em Matemtica em conjunto com as
operaes de implicao e de equivalncia, por exemplo a propsito da resoluo de equaes
e inequaes. Muitas vezes pretende-se estabelecer uma cadeia de implicaes ou de
equivalncias entre condies provando-se que cada uma dessas implicaes ou equivalncias
uma condio universal em determinado conjunto, partindo-se da condio que exprime a
equao ou inequao a resolver at se chegar a uma que se considera como suficientemente
simples para a partir dela se poderem tirar concluses acerca das solues da inicial. Por
exemplo, no conjunto
, cada uma das seguintes equivalncias uma condio universal:
pretendendo-se, com esta apresentao, indicar a conjuno de todas as equivalncias

representadas. Pode utilizar-se a mesma conveno com conjunes de implicaes ou mesmo
de equivalncias e implicaes.
Em primeiro lugar h que notar que se se tratar de uma cadeia de implicaes apenas
poderemos concluir que as solues da equao ou inequao inicial so solues tambm da
ltima, ou seja o conjunto-soluo da primeira est contido no conjunto-soluo da ltima (cf.
o descritor 2.15). Este processo apenas circunscreve o conjunto no qual deveremos ainda
procurar as solues pretendidas, testando-se, para o efeito, por algum processo (uma a uma,
por exemplo, se se tratar de um conjunto finito), quais so efetivamente solues da equao
ou inequao inicial ( o caso de algumas equaes com radicais). Se se tratar de uma cadeia de
equivalncias, j poderemos garantir que os conjuntos-soluo da primeira e ltima condies
so iguais (cf. o descritor 2.11) e a ltima condio ento o que muitas vezes se designa por
soluo da equao ou inequao inicial, de acordo com o que requerido para cada tipo de
problema.
Por vezes comete-se o abuso de linguagem que consiste em omitir o quantificador universal
quando se pretende exprimir que uma implicao ou equivalncia entre duas condies
universal em determinado conjunto, o que admissvel se no houver perigo de ambiguidade
com este procedimento. Ou seja, estando entendido, por exemplo, que estamos a considerar
como nmero real, escreve-se por vezes apenas:
com o significado de:
Pgina 7
de salientar a importncia do uso correto da implicao e da equivalncia, em conjunto com o

quantificador universal, no contexto da resoluo de equaes e inequaes. Apresenta-se em
seguida um exemplo que pode ser utilizado como ilustrao.
1. Complete com
e
as seguintes condies (substituindo as reticncias por um destes
smbolos), de modo que sejam universais em :
1.1
1.2
1.3
1.4
|
1.5 |
Comentrio
As propriedades das operaes de conjuno e disjuno relativas a condies universais,
possveis e impossveis referidas nos descritores 2.3, 2.5 e 2.6 estendem-se, mutatis mutandis,
ao caso de condies universais, possveis e impossveis num dado conjunto (cf. texto de
apoio ao descritor 2.9, exemplos 4 e 5). Apresenta-se, em seguida, um exemplo de aplicao
dessas propriedades.
2. Para cada uma das condies

,
e
indique se universal,
possvel ou impossvel em e o que da pode concluir, a esse mesmo respeito, acerca das
condies:
2.1
2.2
2.3
2.4
2.9
1. Escreva afirmaes equivalentes negao das seguintes proposies, utilizando as

segundas leis de De Morgan:
1.1 Existe um colega na minha turma que no tem irmos;
1.2 Todas as pessoas que esto nesta sala esto a usar um chapu.
{
} e seja
2. Considere o conjunto
a condio nmero primo e
a
condio mltiplo de .
2.1 Indique o valor lgico de cada uma das proposies:
,
.
2.2 Para cada uma das proposies consideradas na alnea anterior, escreva uma
proposio, comeando com um quantificador, equivalente respetiva negao,
traduzindo-a tambm em linguagem corrente.
2.3 Quanto a cada uma das condies
e
indique se
possvel, impossvel ou universal em .
3. Mostre que as seguintes afirmaes so falsas, apresentando um contra-exemplo:

3.1 Todos os quadrilteros do plano tm diagonais iguais.
3.2 Todos os nmeros mpares so primos.
3.3 Todos os nmeros primos formados por dois algarismos tm os algarismos
distintos.
Pgina 8
4. *Dado um conjunto e uma proposio

, escreva, na forma de uma implicao
quantificada, a proposio
e utilize as segundas Leis de De Morgan para
determinar uma proposio equivalente respetiva negao, escrevendo-a tambm na
forma abreviada.
5. *Dado um conjunto e uma proposio
, mostre que se
for uma proposio
universal em , ento
uma condio impossvel em e se
for uma
proposio impossvel em , ento
uma condio universal em .
6. **Dado um conjunto mostre que a disjuno de qualquer condio com uma condio
universal em uma condio universal em , que a disjuno de qualquer condio com
uma condio possvel em uma condio possvel em e que a conjuno de qualquer
condio com uma condio impossvel em uma condio impossvel em .
2.10
2.11

O descritor 2.11 exprime a ideia intuitiva de que dois conjuntos so iguais quando e apenas
quando tm os mesmos elementos, estabelecendo assim o princpio essencial para o uso dos
smbolos de igualdade ( ) e de pertena (
, que representam as duas relaes bsicas
da Matemtica; deste modo, a notao {
} introduzida em 2.10 fica associada a um
conjunto bem determinado, no sentido em que se existir um conjunto tal que
ento qualquer conjunto tal que
ser igual a . A relao
traduz a ideia intuitiva de que os smbolos
e
representam o mesmo objeto, e nesse
sentido que podemos dizer que fica bem determinado pela condio (em )
. Resulta deste princpio que a igualdade de dois conjuntos e definidos em
compreenso respetivamente pelas condies
e
significa que universal a condio
.
No enunciado do descritor 2.10 no se pressupe que, fixada uma condio
, exista
sempre um conjunto com a propriedade nele referida. Com efeito, embora no se pretenda
aqui desenvolver aspetos mais delicados dos fundamentos da Teoria do Conjuntos, h que ter
em conta que, em formalizaes habituais desta teoria surgem condies
para as quais
no existe nenhum conjunto tal que
, ou seja, nesses casos no existe o
conjunto {
}: diz-se nesta situao que a condio
no coletivizante. Um
exemplo famoso a condio
, que d origem ao chamado Paradoxo de Russel,
enunciado por Bertrand Russel no incio do sculo XX e que ps em causa os fundamentos
apresentados por Gottlob Frege para a Teoria dos Conjuntos; com efeito, se existisse um
conjunto
{
} teramos
, pelo que teria de ser
verdadeira, em particular, a proposio que resulta de substituir por em
, ou seja, teria de ser verdadeira a proposio
, o que no possvel, pois
uma proposio e a respetiva negao no podem ter o mesmo valor lgico. No entanto, em
tudo o que se segue, sempre que for definido um conjunto atravs de uma condio,
pressupor-se-, evidentemente, que tal conjunto existe, no sentido em que, numa formalizao
adequada da Teoria dos Conjuntos, essa existncia poderia ser provada (ou, em particular, seria
um axioma).
2.12
Comentrio
Neste descritor fixa-se a nomenclatura habitual ( um elemento do conjunto ) para
referir um objeto quando se pretende indicar que se verifica a relao
e introduz-se a
} ) para representar em extenso um conjunto cujos
notao corrente ( {
Pgina 9
elementos sejam exatamente determinados objetos

, ou seja, quando pode ser
definido pela condio
. importante notar que desta definio
}, ao contrrio da sequncia
resulta imediatamente que o conjunto {
, no
depende da ordem pela qual os respetivos elementos so indicados nem do nmero de vezes
que um dado elemento do conjunto aparece nesta notao; assim por exemplo temos:
{
Embora, evidentemente, as sequncias

distintas.
2.19
2.20
},
e
sejam, duas a duas,

No 9. ano abordaram-se algumas noes acerca da axiomatizao das teorias matemticas,
que podem ser revistas a propsito destes tpicos do programa do 10. ano (cf. Metas
Curriculares do Ensino Bsico de Matemtica, GM9, objetivo geral 1). Introduziram-se nessa
altura alguns termos usuais nesse contexto, como teorema, hiptese, tese,
demonstrao, bem como o smbolo de implicao e as noes de condio necessria e
de condio suficiente. Em muitos casos a demonstrao de um teorema pode ser entendida
como a verificao de que determinada implicao verdadeira ou, mais propriamente, que
uma condio universal, o que pode ser traduzido indicando que determinada condio
suficiente para uma outra ou que esta condio necessria para a primeira; noutros casos
trata-se de verificar que uma implicao falsa ou, mais propriamente, que no uma
condio universal. Nestes descritores apresentam-se determinadas equivalncias envolvendo
implicaes quantificadas e exploram-se os processos de demonstrao de certos teoremas
que delas resultam, introduzindo-se designaes adequadas para esses processos. Muitas
vezes designa-se por demonstrao por absurdo uma dada demonstrao por contrarecproco, pois podemos verificar que
provando que, para um genrico,
falsa a proposio
(equivalente negao da implicao inicial) e por vezes
esta concluso resulta de se poder deduzir a negao de algum teorema j conhecido supondo
que verdadeira uma das proposies
, o que se traduz dizendo-se que se
chegou a um absurdo. Ou seja, pressupondo que certo satisfaz a condio
(hiptese do
teorema) e a negao da condio
(tese do teorema), o que equivalente negao da
proposio que se pretende demonstrar, chega-se a um absurdo, porque desse pressuposto
se deduz uma proposio que sabemos ser falsa. No entanto, em certo sentido, este processo
de demonstrao por absurdo formalmente distinto do mtodo dito de contrarecproco, pois, de facto, consiste em considerar a Teoria que se obtm acrescentando a
negao da proposio a demonstrar aos axiomas da Teoria em que se insere e mostrando que
essa nova teoria contraditria, deduzindo da nova axiomtica um determinado teorema e a
respetiva negao.
1. Justifique que as seguintes proposies so falsas:
1.1. Qualquer nmero natural que seja mltiplo de 5 mltiplo de 10;
1.2. Qualquer quadriltero que tenha os quatro lados iguais um quadrado;
1.3. Qualquer quadriltero que tenha os ngulos iguais tambm tem os lados iguais.
2. Escreva os contra-recprocos das proposies indicadas no exerccio anterior.
3. Demonstre por contra-recproco que se o quadrado de um dado nmero natural
mpar.
Pgina 10
mpar,
4. Demonstre por contra-recproco que se, em dado plano, uma reta paralela a outras duas
retas e , ento e so paralelas entre si.
5. *Considere condies
e
so equivalentes as proposies
(
) e
6. Considere condies
.
. Mostre que so equivalentes as proposies
.
e
3.1
. Utilizando as segundas Leis de De Morgan, mostre que
1. Indique o valor lgico das seguintes proposies:

1.1
um nmero primo e no um nmero primo;
1.2 Tanto como so nmeros irracionais;
1.3
mltiplo de e de ;
1.4
mltiplo de ou de ;
1.5
um nmero primo ou
mltiplo de .
2. Indique o valor lgico de cada uma das seguintes proposies:
2.1. igual a
ou a
;
2.2.
um nmero mltiplo de ou de ;
2.3.
2.4.
um nmero primo e par;
2.5. um nmero irracional maior que ;
2.6.
3. Considere as proposies
: um nmero irracional;
:
;
:
.
3.1. Indique o valor lgico de cada uma delas.

3.2. Traduza em linguagem corrente, sem utilizar a palavra no, as seguintes
proposies e indique o respetivo valor lgico:
3.2.1.
3.2.2.
3.2.3.
4. Identifique as operaes lgicas e as proposies elementares envolvidas em cada uma das
seguintes proposies e escreva-as em linguagem simblica.
(por exemplo, Se
simbolicamente por
ento ou (
sendo
(
,
)
)
pode traduzir-se
e
4.1. 5163 mltiplo de 3 se e s se a soma do valor dos algarismos desse nmero for um
mltiplo de 3.
4.2. *Nem 102 um nmero mpar nem um nmero racional.
4.3. * Como 3400 termina por dois zeros ento mltiplo de , de e de .
Pgina 11
5. ** Considere as proposies
: Est a chover;
: O Carlos sai de casa;
: O Carlos tem aulas.
Utilizando operaes lgicas entre , e , escreva a seguinte proposio em linguagem
simblica:
O Carlos no sai de casa quando est a chover, a menos que tenha aulas.
6. ** Considere uma operao , dita ou exclusivo ou disjuno exclusiva, tal que, dadas
proposies e , verdadeira quando e apenas quando e tm valores lgicos
distintos e resolva as seguintes questes:
6.1 Dadas proposies e , construa uma proposio equivalente a partindo
de e e utilizando apenas as operaes
e .
6.2 Indique, justificando, se, dadas proposies e , algumas das seguintes
proposies sempre verdadeira:
a.
b.
c.
d.
3.2
1. Considere as seguintes condies definidas em :

: um nmero primo
: mltiplo de
: divisor de
: inferior a
Defina em extenso cada um dos seguintes conjuntos:
{
}
{
}
{
}
{
}
2. Considere os seguintes conjuntos de nmeros reais:
{
},
{
{
}.
}e
Defina, sob a forma de intervalo, ou de unio de intervalos disjuntos, os seguintes
conjuntos, considerados como subconjuntos de :
2.1
2.2.
2.3.
2.4.
2.5.
2.6.
2.7.
2.8.
2.9.
4.
5.
6.
3. Considere os seguintes conjuntos:

{
{
}
{
};
Defina em extenso os conjuntos
},
Pgina 12
4. Indique se, para qualquer concretizao das variveis no conjunto , se obtm, das
seguintes condies, implicaes verdadeiras, e escreva as respetivas contra-recprocas.
4.1
(
).
4.2
(
).
4.3
.
4.4 Se um tringulo retngulo ento no equiltero ( o conjunto dos tringulos
de um dado plano).
4.5 Se um tringulo issceles ento no tem ngulos internos retos ( o conjunto
dos tringulos de um dado plano).
4.6 Se um losango tem as diagonais iguais ento um quadrado ( o conjunto dos
losangos de um dado plano).
4.7 Um tringulo tem um ngulo externo agudo quando obtusngulo ( o
conjunto dos tringulos de um dado plano).
4.8
.
4.9
.
5. Demonstre, por contra-recproco que se um nmero natural
no divisvel por .
no divisvel por , ento
Pgina 13
lgebra ALG10
Descritor
1.1
1.2
Texto de Apoio
1. Sendo e dois nmeros reais tais que

1.1 Prove que
e que
1.2 *Prove que se para um dado
,
.
se tem
, ento
Observao: O mtodo de induo ser tratado no 11. ano. Contudo, este tipo de atividade
em que se demonstra que a propriedade hereditria, pode constituir uma introduo a esse
mtodo de raciocnio.
2.*Sabe-se que dados nmeros e reais tais que
e um nmero natural , se tem
. Mostre que se
,
se for mpar e
se for par.
[Sugesto: considere os nmeros positivos e .]
1.4
1. Seja
um nmero natural par e e nmeros reais positivos tais que

.
1.1 Prove que
1.2 *Mostre que, para alm de
e de , no existem outras solues da equao
.
[Sugesto: Comece por observar que qualquer soluo ter o mesmo sinal que
uma das duas solues j conhecidas, seja ela , e, nesse caso, justifique que no
pode ser menor nem maior do que .]
1.6
1.7
Comentrio
Os reconhecimentos pedidos na parte final dos descritores, uma vez que ainda no se dispe
do mtodo de induo, podem consistir na observao de que a propriedade
, quando
, d origem a ( )
e que, multiplicando ambos os
membros desta equao repetidas vezes por , vamos obtendo sucessivamente

, ( )
( )
, etc.. Estas observaes, no consistindo propriamente numa
demonstrao formal, preparam a utilizao do mtodo de induo matemtica que ser
introduzido no 11. ano. A exemplo do que foi sugerido no texto de apoio aos descritores 1.1 e
1.2 pode elaborar-se um exerccio em que se pea aos alunos que demonstrem que a
propriedade que se pretende provar hereditria.
1.11
Comentrio
Embora o processo a que se refere este decritor se designe habitualmente por racionalizao
de denominadores o que se pretende, mais propriamente, dada uma frao (no sentido geral
de representao do quociente de dois nmeros reais), transform-la numa equivalente com
denominador natural e numerador dado pelo produto do numerador original por uma soma em
que cada parcela ou inteira ou dada pelo produto de um nmero inteiro por um produto de
razes de nmeros inteiros. Ou seja, pretende exprimir-se a diviso original (pelo nmero
representado no denominador) de uma forma que, para alm da diviso por um nmero
natural, se reduza a multiplicar o numerador original por uma expresso envolvendo apenas
somas cujas parcelas so razes de nmeros inteiros multiplicadas por nmeros inteiros. Esta
racionalizao de denominadores facilita em muitos casos obter mentalmente valores
aproximados adequados de determinados nmeros reais, conduzindo portanto a uma forma
mais til de os representar, e pode ter interesse terico em situaes em que se pretende
efectuar determinado tipo de estimativas.
Caderno de Apoio ALG10
Pgina 14
Para alm dos casos mais usuais de racionalizao de denominadores (considerados neste
descritor), possvel considerar, mais geralmente, fraes com denominadores da forma
e
). Podem reduzir-se facilmente, utilizando as
(
propriedades algbricas das potncias e razes, ao caso
. Esses casos podem ser
tratados, utilizando uma identidade algbrica que s por si interessante (cf. Texto de apoio ao
descritor FRVR11-7.11, onde se apresenta outra aplicao deste resultado):
Esta frmula generaliza um dos chamados casos notveis da multiplicao (caso

) e
pode comear por ser verificada para
e
, o que permite facilmente conjeturar o
resultado geral, que poderia ser demonstrado por induo e pode ser justificado analisando as
parcelas que resultam da aplicao da propriedade distributiva no segundo membro da
igualdade.
A ttulo de ilustrao, apresenta-se o seguinte exemplo de aplicao:
( )
( )
( )
( )
onde se utilizou a identidade acima referida com
Note-se que esta igualdade permite, por exemplo, obter facilmente o enquadramento
que , partida, pouco evidente. Este clculo, como sugerido no exerccio seguinte,
corresponde naturalmente a um nvel de desempenho muito elevado, no estando
contemplado no descritor 1.11, embora possa ser proposto a alunos particularmente
motivados.
Quando o ndice da raiz uma potncia de (como na alnea 1.7 abaixo), o processo pode
simplificar-se, bastando utilizar sucessivas vezes o acima referido caso notvel da multiplicao
(dito diferena de quadrados).
1. Racionalize os denominadores das seguintes fraes:

1.1.
;
1.2.
1.3.
1.4.
1.5. *
1.6. *
1.8 **
1.7. **
Pgina 15
2.1
Comentrio
Reconhecer esta propriedade crucial, para que, no descritor seguinte, se possa definir
adequadamente a potncia de expoente racional
. De facto, a definio, para
,
tem
s faz sentido se se souber a
, se
1. Mostre que
2. *Prove que, sendo

, se tem
2.2
que para uma outra representao
, para qualquer nmero real positivo .

um nmero real positivo e ,
.
nmeros naturais tais que
1. Considere um nmero no negativo . Pretende-se dar uma definio de potncia de base

e expoente racional positivo por forma a estender o conceito de potncia de base e
expoente natural e que permanea vlida a propriedade ( )
para e racionais
positivos. Admitindo que tal definio pode ser dada de modo coerente, ou seja, de modo
que o valor obtido seja independente da frao que representa o nmero racional no
expoente, resolva as seguintes questes:
1.1 Qual deve ser necessariamente o valor de
?
(Sugesto: Calcule utilizando a propriedade acima referida.)
1.2 Qual deve ser, mais geralmente, o valor de:
1.2.1
1.2.2
, para
tambm que
? [Sugesto: No caso em que
tem de ser um valor no negativo, observando que a
propriedade ( )
garante que
quadrado de um nmero.]
pode sempre ser escrito como o
1.3 Qual deve ser necessariamente o valor de

?
[Sugesto: utilize 1.2 e a propriedade acima referida com
1.4 Qual deve ser, mais geralmente, o valor de:
1.4.1
1.4.2
par verifique
.]
?
, para
2. **Justifique que, dado um nmero real

e um nmero racional no negativo (
se
),
pode ser definido de modo coerente como
onde e so quaisquer
nmeros inteiros tais que
,
e
, sendo a definio tambm coerente com
a j conhecida no caso em que ou um nmero natural, e que esta a nica extenso
possvel a expoentes racionais positivos da definio de potncia de expoente natural e
base no negativa, que permite obter, para quaisquer
nas condies acima
de tal
modo que continue a valer, para expoentes racionais positivos, a propriedade
.
2.3
1. Seja
( ,
nmeros naturais) e
um nmero real positivo. J vimos que
encontra definido de modo coerente como sendo igual a .

Qual deve ser a definio de
se se pretender que a propriedade
lugar para todos os racionais e ?
(Sugesto: Considere
na igualdade anterior.)
Pgina 16
se
tenha
2.4
1. Sejam e nmeros reais positivos. Mostre, utilizando as propriedades estudadas das

operaes com radicais e a definio de potncia de expoente racional, que
1.1
1.2
1.3 *
, ,
nmeros naturais
1.4 ( )
1.5
1.6
1.7
2.5
1. Simplifique as seguintes expresses:
1.1
1.2
1.3 (
1.4
1.6
1.5
1.7
)(
1.8
, onde
1.9 *
2. *Justifique cada uma das seguintes igualdades:

2.1
2.2
3. **Escreva cada uma das seguintes expresses na forma:

3.1
3.2
4. **Simplifique a expresso
nmero inteiro .
, com
, verificando que se trata de um
Pgina 17
5.
3.1
Escreva na forma de potncia de base
a seguinte expresso .
Apresentam-se alguns problemas relacionando radicais com contedos geomtricos estudados

no ensino bsico. O professor poder utilizar alguns destes exemplos como ilustrao das
propriedades dos radicais estudadas neste domnio de contedos.
1. Um quadrado est inscrito numa circunferncia de raio unidades. Determine a medida do
lado do quadrado e apresente o resultado final na forma ,
.
2. *Um tetraedro regular est inscrito num cubo tal como
sugere a figura. Sabendo que a aresta do cubo mede
unidades, prove que a rea de cada face do tetraedro
igual a
unidades quadradas.
3. Fixada uma unidade de comprimento, considere um cubo de

aresta e de volume .
3.1. Exprima em funo de
3.2. Exprima a medida da rea da superfcie do cubo na forma
nmero natural e um nmero racional.
, onde
um
4. Considere um prisma quadrangular regular reto em que a rea da base mede

ea
altura igual ao qudruplo da medida do comprimento da aresta da base.
4.1. Exprima a medida do volume do prisma na forma
, onde um nmero
natural e um nmero racional.
4.2. Determine o valor de sabendo que o volume do prisma igual a 32
.
5. Uma esfera est inscrita num cubo de volume . Exprima, em funo de :
5.1. o raio da esfera.
5.2. o volume da esfera.
6. **Um cubo est inscrito numa superfcie esfrica de volume . Exprima, em funo de , a
medida da aresta do cubo.
7. *Num trapzio issceles [
] a base menor igual aos lados no paralelos e mede
. Um dos lados no paralelos forma com a base maior um ngulo de
de
amplitude. Prove que o permetro do trapzio igual a

8. Verifique que os nmeros:
8.1.
e
8.2.
so razes da equao
so solues da equao
9. *Considere, dado um nmero natural

Determine para que valor de
e de .
se tem que
e para
e a rea igual a
, a expresso
, independentemente dos valores de
Pgina 18
4.2
1. Considere os polinmios
e
.
1.1. Determine, na forma reduzida, o polinmio
, indicando o respetivo
grau.
1.2. Qual o grau do polinmio
, se se tiver agora
e
, onde
e
? Qual a relao entre o grau de
,
o grau de
e o grau de
?
2. *Dados
nmeros
inteiros
no
negativos
e
considere
os
polinmios
,
com
(
e
(
,
e
.
Ao efetuar o produto de polinmios
, quantas parcelas da forma
iro aparecer formalmente aps uma primeira aplicao da propriedade distributiva? Qual
destes monmios tem maior grau? Justifique que o grau de
igual soma dos
graus de
e de
.
4.5
e
, onde
,
.
Verifique que os polinmios obtidos aplicando a regra de Ruffini a estes polinmios so de
facto o quociente e o resto da diviso inteira de
por
2. *Considere os polinmios
e
,
onde
,
e
.
Verifique que os polinmios obtidos aplicando a regra de Ruffini a estes polinmios so de
facto o quociente e o resto da diviso inteira de
por
4.11
1. Considere o polinmio
Sabendo que o polinmio
ordens de multiplicidade,
.
admite as razes
eventualmente com diferentes
determine o polinmio
sem zeros tal que
, identificando os valores de
e .
2. *Considere que os nmeros reais , e , distintos entre si, so as nicas razes de um

polinmio de stimo grau
. Sabe-se ainda que
tem multiplicidade e
tem
multiplicidade .
2.1. Justifique que no pode ter multiplicidade superior a .
2.2. Indique, justificando, qual a multiplicidade de .
3. Seja
um polinmio de grau
3.1 **Prove
que
.
admite
uma
,
(
)e
no tem razes.
3.2 Justifique que
nicas razes de .
5.1
fatorizao
onde
e que os nmeros
da
,
forma
,
, so as
1. Utilizando o algoritmo da diviso inteira de polinmios, determine o quociente e o resto da

diviso de
por
.
Pgina 19
2. Utilizando a regra de Ruffini determine o quociente e o resto da diviso de

por cada um dos seguintes polinmos:
2.1.
.
2.2.
.
2.3.
.
2.4.
.
2.5. **
.
3. Determine, utilizando o teorema do resto, o resto da diviso de
por
.
4. Determine o polinmio
cujo resto da diviso por
de quarto grau que admite os zeros simples

igual a .
5. Sabe-se que
e escreva-o na forma
divisvel por
.
6. *Determine para que valores reais de e

divisvel por
e o resto da diviso por
7. *Prove que o polinmio
divisvel por
. Determine as razes de
o polinmio
igual a
.
se
for mpar.
8. Considere o polinmio
, onde
.
8.1. *Prove que para todo
se tem
.
8.2. **Prove que
, justifique que
e calcule o grau de multiplicidade de .
5.2
5.3
e e
so zeros de
por
e resolva a
e
1.1. Verifique que uma das razes de
.
1.2. Determine as outras razes de
e fatorize este polinmio.
1.3. Resolva a inequao
.
1.4. Fatorize o polinmio
e resolva a inequao
.
2. Considere a equao
.
2.1. Tendo em conta que
substitua na equao
equao do segundo grau assim obtida.
2.2. Determine os valores de que satisfazem a equao dada.
3. *Resolva a equao biquadrada
4. *Sabe-se que
um polinmio de terceiro grau tal que
]
[. Resolva cada uma das seguintes condies:
4.1.
;
4.2.
;
4.3.
.
Pgina 20
Geometria Analtica GA10

Descritor
Texto de Apoio
1.2
1. Considere, num referencial ortonormado do plano, os pontos

e
.
1.1. Represente os pontos e e trace as retas paralelas aos eixos coordenados que
contm ou , por forma a construir um retngulo do qual [ ] uma diagonal.
1.2. Determine a distncia entre os pontos e utilizando o teorema de Pitgoras.
2. *Considere, num plano munido de um referencial ortonormado, os pontos
2.1. Designe por

e as projees ortogonais no eixo das abcissas respetivamente
dos pontos e . Exprima, em funo de e de
a medida da distncia entre
e .
2.2. Designe por
e
as projees ortogonais no eixo das ordenadas,
respetivamente, dos pontos e . Exprima, em funo de e de
a medida
da distncia entre
e .
2.3. Exprima a medida da distncia entre e em funo de e de e justifique
que igual a
.
3. **Demonstre, dado um plano munido de um referencial ortonormado e pontos
e
pertencentes a esse plano, que a medida da distncia entre e ,
, igual
a
, tomando por unidade de comprimento a unidade comum dos
eixos coordenados.
1.3
1. Considere, na reta numrica, os pontos ,

Prove que
de abcissas, respetivamente, ,
2. *Considere, na reta numrica, os pontos e de abcissas, respetivamente, e .

2.1. Indique, utilizando e , uma expresso da medida da distncia entre e .
2.2. Seja o ponto mdio de [ ]. Apresente, utilizando e , uma expresso da
medida da distncia entre e .
2.3. Apresente, utilizando e , uma expresso para a abcissa de sem recorrer ao
smbolo de valor absoluto.
Nota: Este segundo exerccio foi identificado como tendo um nvel de desempenho superior
uma vez que no pressupe, contrariamente ao que indicado no descritor, o conhecimento
prvio da expresso da abcissa do ponto mdio de [ ].
1.4
1. Considere, num plano munido de um referencial cartesiano, os pontos de coordenadas

,
e
1.1 Determine as coordenadas do ponto mdio do segmento de reta [ ].
1.2 Considere a reta paralela ao eixo das ordenadas que passa pelo ponto e a
respetiva interseo com o segmento de reta [ ]. Justifique, utilizando o
Teorema de Tales, que o ponto mdio de [ ] e indique a abcissa de .
1.3 Calcule a ordenada de .
Caderno de Apoio GA10
Pgina 21
2. *Considere um referencial ortonormado em dado

y
plano e trs pontos
desse plano, bem
como as respetivas projees ortogonais,
respetivamente
no eixo dos
, e
, no eixo dos .
2.1. Sabe-se que o ponto mdio de
[ ]. Prove que os pontos
e
so, respetivamente, os pontos mdios
dos segmentos de reta [
] e
[
].
2.2. Sabendo que
e
, determine as coordenadas de
1.9
1. Considere, num plano munido de um referencial

ortonormado e dado
, a elipse de focos
e
e de eixo maior
(
) . Seja o ponto
de interseo da elipse com o semi-eixo positivo das
ordenadas.
1.1. Justifique que .
1.2. Indique, justificando, a medida comum de
e .
1.3. Conclua que
.
x
.
y
2. *Dada uma elipse de focos e e de eixo maior

em determinado plano, resolva as
seguintes questes:
2.1 Prove que a mediatriz de [ ] interseta a elipse exatamente em dois pontos e
situados em semiplanos opostos de fronteira
e interseta a reta
no ponto
mdio do segmento [ ], que coincide com o centro da elipse.
se tem
2.2 Prove que tomando
, onde
.
1.10
1. Considere, num plano munido de um referencial ortonormado, os pontos

e
.
1.1. Qual o valor que deve tomar o nmero real por forma que um ponto
pertena elipse de focos e e semieixo maior ,
quando e apenas
quando
?
1.2. *Considere que

.
Mostre que um ponto
pertence elipse referida na alnea anterior quando
e apenas quando
.
1.3. Tendo em conta a alnea 1.2, calcule as coordenadas dos pontos
e
em que a
elipse interseta o eixo das abcissas, as coordenadas dos pontos e
em que a
.
elipse interseta o eixo das ordenadas e o eixo menor
a semidistncia
1.4. Verifique, neste exemplo, que
, onde
focal.
2. **Considere num plano munido de um referencial ortonormado, dois nmeros reais e
(
) e os pontos
e
.
2.1. Justifique que a equao
a equao da
elipse de focos e e de semieixo maior .

2.2. Mostre que a equao da alnea anterior equivalente a
.
2.3. Escreva a equao da alnea anterior utilizando no primeiro membro apenas as
constantes e , onde representa o semieixo menor da elipse.
Pgina 22
1.11
1.12

O tratamento adequado dos semiplanos em Geometria analtica plana pressupe, como
evidente, que se dispe de uma definio de semiplano. Essa definio pode pressupor que
est fixado um dado plano, ainda que esta hiptese seja dispensvel no caso da Geometria a
mais de duas dimenses. Embora nestes descritores apenas se pretenda um reconhecimento a
nvel elementar, recorrendo intuio geomtrica, descreve-se em seguida como se poderiam
justificar as propriedades neles expressas com base numa possvel definio de semiplano.
Dada uma reta e um ponto fora de , podemos definir o semiplano aberto de fronteira
determinado pelo ponto como o conjunto constitudo por e pelos pontos do plano que
contm a reta e o ponto , tais que o segmento de reta [ ] no interseta e o semiplano
fechado de fronteira determinado pelo ponto como a unio com do acima referido
semiplano aberto.
Estas definies introduzem um critrio simples para verificar se um dado ponto de um plano
est ou no em certo semiplano (aberto ou fechado) de de fronteira e determinado por um
ponto de no pertencente a . Note-se, no entanto, que carece de demonstrao a afirmao
segundo a qual um semiplano (aberto ou fechado) de fronteira fica determinado por qualquer
um dos seus pontos, o que, como veremos, resulta de se poder encarar os semiplanos abertos
com dada fronteira como classes de equivalncia; uma vez estabelecido esse facto, torna-se
fcil concluir, por processos anlogos, que existem exatamente dois semiplanos (abertos ou
fechados) num plano com uma dada fronteira .
Vejamos ento, mais precisamente, como da definio dada se pode deduzir que existem
exatamente dois semiplanos abertos de fronteira no plano , que esse semiplanos so
disjuntos e que a respetiva unio coincide com
; para o efeito podemos comear por
verificar que de equivalncia a relao binria definida para pontos
de
por
se e coincidirem ou se o segmento de reta [ ] no intersetar .
A reflexividade e simetria so imediatas e a transitividade, no caso em que os pontos
e
no so colineares, nico no trivial, pode ser considerada uma das formas do axioma de Pasch,
pois o que se pretende provar que, se
e so pontos de no colineares que no
pertencem a e [ ] e [ ] no intersetam , ento [ ] tambm no interseta ; ora o
contra-recproco desta propriedade equivalente afirmao de que se a reta interseta o
lado [ ] do tringulo [
] e no interseta nenhum dos respetivos vrtices, ento tem de
intersetar um dos outros dois lados do tringulo, o que uma das formas mais usuais do
axioma de Pasch.
Este axioma, ou outro semelhante, indispensvel a uma formalizao adequada da Geometria
elementar (euclidiana ou no), o que s foi detetado por Pasch em finais do sculo XIX, embora
fosse implicitamente admitido at ento em diversas demonstraes de Geometria euclidiana
ou mesmo no euclidiana, sem que tivesse sido antes observada a impossibilidade de ser
deduzido dos restantes postulados.
Sendo relao de equivalncia agora fcil concluir que o semiplano aberto de de
fronteira determinado por um ponto de
no mais do que a classe de equivalncia de
para a relao ; em particular, um dado semiplano de fronteira fica determinado por
Pgina 23
qualquer dos seus pontos, pelo que podemos design-lo, sem ambiguidade, por semiplano
(aberto ou fechado) do plano de fronteira contendo o ponto . A forma como est
definida permite tambm concluir que existem no mximo duas classes de equivalncia, pois
fixado um ponto em
, dados dois pontos e de
que no so equivalentes a
fcil concluir que so equivalentes entre si, pelo que no mximo existir mais uma classe de
equivalncia para a relao contendo todos os eventuais pontos no equivalentes a .
Provemos ento, nesta situao, que
, ou seja, que no interseta [ ]; por definio de
, [ ] e [ ] intersetam ambas , j que, por hiptese, e no so equivalentes a ; a
nica situao que merece ser analisada aquela em que
e no so colineares, j que a
outra trivial (um ponto no pode estar simultaneamente estritamente situado entre
quaisquer dois de trs pontos colineares, pelo que no pode tambm intersetar [ ]). Nesse
caso interseta dois dos lados do tringulo [
], no intersetando os respetivos vrtices,
pelo que no pode intersetar o terceiro (propriedade cuja demonstrao tambm envolve o
axioma de Pasch), o que significa que no interseta [ ], ou seja
, como pretendamos
provar.
A existncia de pelo menos dois pontos no -equivalentes e portanto exatamente de dois
semiplanos abertos de fronteira resulta simplesmente do facto de que dado um ponto de
(que existe sempre, j que o plano no se reduz a uma reta) e um ponto de existe
sempre um ponto distinto de tal que fica situado no segmento de reta [ ] (o
segmento [ ] pode prolongar-se em qualquer dos sentidos). Esta propriedade resulta de
qualquer axiomtica da Geometria euclidiana e garante portanto a existncia de um ponto
de
no -equivalente a , ou seja, fora do semiplano de fronteira contendo .
Como acima foi referido, o reconhecimento que pedido neste descritor e no seguinte pode
ser feito, a nvel elementar, apenas recorrendo intuio geomtrica, mas, correspondendo a
um nvel de desempenho elevado, poderia ser levado a cabo com base na definio de
semiplano acima indicada. Para o efeito h que dispor tambm de um critrio claro para
identificar analiticamente os pontos de um segmento de reta [ ], dados
,
distintos num plano munido de um referencial ortonormado. Sendo j conhecida a equao da
reta
, resta identificar o domnio de variao para as abcissas (ou para as ordenadas, no caso
de uma reta vertical) que corresponde aos pontos do segmento [ ]. Ora no difcil concluir
que as abcissas dos pontos de [ ] variam entre e e as ordenadas entre e ; para o
efeito basta notar que as retas paralelas aos eixos que intersetam o segmento [ ] intersetam
os eixos a que no so paralelas em pontos dos segmentos de extremos respetivamente de
abcissas (no eixo respetivo)
e
. Este facto resulta da seguinte propriedade
geomtrica:
dadas duas retas paralelas e dois segmentos de reta, cada um deles com uma extremidade em
cada uma das duas retas, ento se uma terceira reta paralela s outras duas e interseta um
dos segmentos de reta tem de intersetar tambm o outro;
a demonstrao deste resultado pode ser obtida muito simplesmente aplicando uma ou duas
vezes o axioma de Pasch (consoante os segmentos partilhem ou no uma das extremidades).
Dos resultados expressos neste descritor e no seguinte, ou seja, da identificao analtica de
dois conjuntos de pontos que constituindo semiplanos de fronteira dada por uma reta da qual
se conhece a equao e determinados por qualquer dos respetivos pontos, resulta
imediatamente que, fixada uma reta num dado plano, existem exatamente dois semiplanos
abertos nesse plano com fronteira coincidente com essa reta, para alm de que so
Pgina 24
obviamente conjuntos disjuntos e com unio igual ao complementar da reta no plano. Ou seja,
o que acima foi justificado com argumentos geomtricos acaba por deduzir-se da
caracterizao analtica referida destes descritores. claro que o axioma de Pasch, acima
utilizado, acaba por estar explcita ou implicitamente na base da introduo rigorosa das
tcnicas de Geometria analtica de que aqui se tira partido.
Apresentam-se em seguida duas atividades em que se exploram analiticamente as
propriedades geomtricas, caractersticas dos semiplanos, acima descritas. Embora o exemplo
esteja redigido para conduzir justificao da inequao cartesiana dos semiplanos, de acordo
com a definio geomtrica acima apresentada, podem utilizar-se apenas algumas alneas para
ilustrar uma ou outra propriedade que se pretenda focar, de modo mais informal.
I
Seja a reta de equao
os conjuntos
{
a.
b.
c.
d.
e.
num dado plano munido de um referencial ortonormado. Considere

} e
}.
Seja
e
. Verifique que
e que
. Calcule as coordenadas do ponto de
interseo das retas e
e conclua que o segmento de reta [ ] no interseta .
Seja
Verifique que
e que o segmento de reta [ ] interseta .
Considere dois pontos
e
; mostre que se pertencerem ambos a ou ambos a
] no interseta mas que se um deles pertencer a e o outro
ento o segmento de reta [
] interseta e determine as coordenadas do ponto de
a ento o segmento de reta [
interseo.
Considere dois pontos
e
tais que
e seja
um ponto do
]:
segmento de reta [
d1. Utilizando a equao da reta
ou, diretamente, o teorema de Tales, mostre que
[ ].
e
para determinado
d2. Deduza da alnea anterior que
e
para
[ ] e conclua que se e pertencerem ambos a (respetivamente
determinado
] est
a ) ento
(respetivamente
) e portanto o segmento de reta [
contido em (respetivamente em ), logo no interseta .
] interseta ,
d3.Utilizando 1.4.1. conclua que se
e
ento o segmento de reta [
determinando o valor de correspondente ao ponto de interseo.
Conclua das alneas anteriores que e so exatamente os semiplanos abertos de fronteira
do plano dado.
II
Seja
{
e
a.
b.
c.
a reta de equao
}.
. Considere os conjuntos
} e
Dados dois pontos e de (ou de ), justifique que o segmento de reta [ ] no interseta a

reta .
Dados dois pontos
e
, mostre que o segmento de reta [ ] interseta r.
Conclua que e so os dois semiplanos definidos pela reta .
Pgina 25
1.13
2.1
1. Considere um plano munido de um referencial

ortonormado e uma circunferncia de raio
e de
centro
Considere ainda um ponto
do plano.
em
1.1. Exprima a medida da distncia
funo de , , e .
1.2. Justifique que pertence parte interna da
circunferncia quando e apenas quando
.
1.3. Justifique que o crculo de centro
e raio se
define pela condio
.
1. Represente geometricamente cada um dos conjuntos de pontos do plano determinados

pelas seguintes condies.
1.1.
;
1.2.
;
1.3.
;
1.4.
;
1.5.
;
1.6.
;
1.7.
;
1.8. *
;
1.9. *
;
1.10. **
.
2. Identifique as figuras geomtricas planas definidas pelas seguintes condies:
2.1.
2.2.
2.3. *
2.4. *
2.5.
2.6. *
2.7. *
2.8.
2.9.
2.10.
| |
3. Identifique e defina analiticamente, utilizando equaes e inequaes cartesianas, os

seguintes conjuntos de pontos do plano:
3.1. Pontos que distam igualmente dos pontos
e
.
3.2. Pontos cuja distncia ao ponto
no excede unidades.
3.3. *Pontos cuja medida da distncia ao ponto
o dobro da medida da
distncia ao ponto
.
3.4. Pontos cuja soma das medidas das distncias aos pontos
e
igual a .
3.5. Pontos que distam duas unidades da reta de equao
.
Pgina 26
3.6. *Pontos que distam igualmente da origem do referencial e do ponto

e
que pertencem circunferncia centrada em e tangente aos eixos coordenados.
3.7. Pontos mdios dos segmentos de reta cujos extremos so:
3.7.1. o ponto
e cada um dos pontos da circunferncia centrada em e de
raio 2.
3.7.2 **o ponto
e cada um dos pontos da reta
.
4. *Num referencial ortonormado do plano, os pontos
e so vrtices de um tringulo
equiltero. Sabendo que
, determine a ordenada de sabendo
que a abcissa
.
5. Sabe-se que o ponto
valor de .
3.1
3.2
3.3
3.4
equidistante dos pontos
. Determine o

Diversas propriedades da relao de equipolncia entre segmentos orientados de um plano
foram introduzidas no 8. ano, mas no foi dada uma definio formal de relao binria nem
de vetor, tendo-se apenas indicado que um vetor, objeto indefinido, fica associado ao
conjunto de todos os segmentos orientados equipolentes a um dado segmento orientado (ou
seja, com o mesmo comprimento, direo e sentido que esse segmento orientado) e que se
consideravam distintos vetores associados a segmentos orientados no equipolentes (cf.
Programa de Matemtica do Ensino Bsico, homologado em 17/7/2013, e Metas Curriculares
do Ensino Bsico de Matemtica, NO6-3 e GM8-3). Como foi referido no Caderno de Apoio do
3. ciclo possvel interpretar a noo de vetor como classe de equivalncia para a relao
de equipolncia, ficando assim provada a possibilidade de definir um objeto matemtico com
as propriedades que se requeriam aos vetores na introduo feita no 8. ano. Para uma
reviso destes conceitos, aplicaes, propriedades, e respetivas justificaes geomtricas
podem consultar-se as referidas Metas curriculares e os Cadernos de Apoio do 2. ciclo, NO63, e do 3. ciclo, GM8-3.5 a 3.18 e o Texto Complementar de Geometria do 3. ciclo, 8. ano,
3.1 a 3.16. Em particular importa ter presente o critrio de equipolncia de segmentos
]e[
], tais
orientados, de acordo com o qual dois segmentos orientados no nulos [
]
que [ ] e [ ] no tm a mesma reta suporte, so equipolentes se e somente se [
for um paralelogramo. No caso de terem a mesma reta suporte, podemos estudar a
propriedade de equipolncia utilizando uma mesma reta numrica que os contenha e a
equipolncia traduz-se na igualdade da diferena entre as abcissas da extremidade e da
origem dos segmentos orientados.
Por outro lado, tambm se associou um vetor a uma translao, entendida como aplicao de
um plano em si prprio. Entendendo um vetor como classe de equivalncia possvel
comparar os dois objetos, ou seja, um vetor e a translao por ele definida. Das definies
conclui-se que o grfico de no mais do que o conjunto dos pares ordenados
tais
, ou seja, tais que o segmento orientado [
] est na classe de equivalncia que
que
constitui o vetor . Note-se que no Ensino Bsico tambm no foi dada uma definio formal
de segmento orientado, noo introduzida no 6. ano, dizendo-se apenas que o segmento
] fica definido quando no segmento de reta [ ] se fixa um dos extremos para
orientado [
origem e o outro para extremidade, ou seja, no fundo, quando se ordenam os extremos; essa
noo foi alargada no 8. ano ao caso em que e coincidem. Como fcil perceber, uma
possvel definio formal de segmento orientado pode consistir muito simplesmente em
Pgina 27
] com o par ordenado

identificar [
, uma vez que os pontos e determinam o
segmento de reta que os tem por extremos, e, reciprocamente, um segmento de reta
determina os respetivos extremos, e podemos fixar a origem e a extremidade escolhendo o
primeiro elemento do par para origem e o segundo para extremidade. Com esta definio
conclui-se ento que e o grfico de so exatamente o mesmo objeto matemtico; se
identificarmos a translao com o respetivo grfico, o que natural para uma aplicao com
domnio e conjunto de chegada coincidentes com o plano todo, podemos ento tambm dizer
mais simplesmente que os vetores so exatamente as translaes.
No 8. ano (GM8-3.10 a 3.17) introduziu-se a soma de vetores num plano e as respetivas
propriedades bsicas, geomtricas e algbricas, que conveniente agora recordar. Comeou-se
por definir o que a soma
de um ponto com um vetor : trata-se muito simplesmente
. No caso em que
, este ponto pode ser
do nico ponto do plano tal que
] representante de
construdo a partir do ponto e de qualquer segmento orientado [
), utilizando, por exemplo, o critrio do paralelogramo para a
(ou seja, tal que
equipolncia de segmentos, ou seja, construindo o vrtice desconhecido do paralelogramo
[
]; note-se que se pode sempre supor, sem perda de generalidade, que o ponto no
est na reta
, construindo em primeiro lugar, se necessrio, pelo mesmo processo, um
] com outra reta suporte.
segmento orientado equipolente a [
Definiu-se em seguida a translao como a aplicao do plano em si prprio que associa a
cada ponto do plano o ponto
.
Finalmente, definiu-se a soma de vetores e como o vetor tal que
, ou seja,
tal que
, para qualquer ponto do plano, mostrando-se que pode ser

obtido a partir de e atravs da regra do tringulo ou, no caso de se tratar de vetores no
colineares, atravs da regra do paralelogramo; em particular tem-se, para quaisquer pontos
e do plano,

sendo esta igualdade por vezes referida como identidade de Chasles.

Como tem sido referido, a propsito de outros contedos, para uma reviso destes conceitos e
propriedades pode consultar-se, para alm dos acima referidos descritores das Metas
curriculares do 8. ano, o Caderno de Apoio do 3 ciclo, GM8-3.10 a 3.18 e o Texto
Complementar de Geometria, 8. ano, 3.10 a 3.16. Limitemo-nos aqui a recordar como fica
estabelecida a coerncia da definio de soma de vetores, atravs da verificao de que a
composio de translaes uma translao. Da prpria definio de translao e de
composio de aplicaes resulta que, se
for uma translao, ter de ser determinada
por um vetor que pode ser obtido de e pela regra do tringulo; com efeito, fixado um
ponto do plano, e sendo
, se
)
(
for uma
translao de certo vetor , ter de ser

, ou seja,
.
Resta ento apenas provar que, para qualquer ponto
do plano,
, o que pode ser
justificado utilizando a construo geomtrica ao lado

(ilustra-se o caso em que os vetores e no so
colineares e o ponto no est na reta
, onde
, nem na reta , podendo os restantes casos
ser tratados de modo anlogo). Pelo critrio do
paralelogramo para a equipolncia de segmentos
] e [
] so
orientados sabemos que [
paralelogramos e pretendemos provar que

] tambm um paralelogramo.
, ou seja, que [
Pgina 28
]e[
] serem paralelogramos tem tambm como consequncia
Ora, o facto de [
e portanto [
] um paralelogramo,
que
e
, pelo que
], que , portanto, de facto, um paralelogramo
tratando-se do mesmo quadriltero que [
e assim, como pretendamos provar,

.
Outro conceito bsico introduzido no 8. ano (GM8-3.9) foi o de vetor simtrico de um dado
vetor; o simtrico
de um vetor o vetor que tem o mesmo comprimento e direo que
) e, para
mas sentido oposto (em particular, para quaisquer pontos e do plano,
alm das propriedades comutativa e associativa da adio de vetores, tambm se verificou que
, consequncia imediata de ( )
, para quaisquer
pontos
do plano.
No presente objetivo geral introduzem-se novas operaes com vetores, nomeadamente o

produto de um vetor por um escalar e a subtrao de vetores. Na definio de produto de um
no nulo por um escalar
vetor
, para alm de se definir sem qualquer
ambiguidade a direo e sentido do vetor produto (direo igual e sentido igual ou oposto ao
do vetor , consoante positivo ou negativo), a respetiva norma dada, partida, para uma
unidade de medida de comprimento pr-fixada. No entanto, facilmente se conclui que o vetor
produto no depende da unidade de comprimento escolhida, pois a definio dada de tal
modo que | | igual ao quociente entre a norma do vetor produto e a norma do vetor ; ora
as normas so, por definio, medidas de comprimento de segmentos de reta e como o
quociente de duas medidas de comprimento no depende da unidade de medida comum (cf.
GM7-7.2), se um dado vetor produto tiver norma com a propriedade enunciada na definio,
para uma dada unidade de medida (equivalente ao quociente pela norma de ser igual a | |),
o mesmo se passar para qualquer unidade de medida. Por outras palavras, os vetores
produto obtidos considerando-se, na respetiva definio, diferentes unidades de
comprimento, e que tm partida direo e sentido bem determinados, tm todos tambm o
mesmo comprimento, ou seja, trata-se sempre do mesmo vetor.
de um vetor
Outro modo de justificar a coerncia da definio de produto

no nulo por um escalar , comear por notar que o vetor produto pode ser materializado
(atravs de um dos seus representantes) na reta numrica
, tomando para semirreta dos
nmeros no negativos e
para unidade de comprimento; sendo o ponto dessa reta
numrica de abcissa , imediato, a partir da definio de
(para esta unidade de medida de
comprimento) que este vetor deve identificar-se com . Fixada qualquer outra unidade de
comprimento e sendo a medida do comprimento do segmento [ ] nessa nova unidade,
uma vez que o quociente das medidas de comprimento de dois dados segmentos
independente da unidade de medida comum (cf. mais uma vez GM7-7.2) sabemos que o
comprimento de [ ] na nova unidade ser igual a | | , ou seja, a norma de
ser dada por
| | , qualquer que seja a unidade de comprimento fixada para o clculo das normas. Assim,
o vetor
no depende, de facto, da escolha da unidade de comprimento.
A definio de produto de um vetor por um escalar, no caso de se tratar do escalar
, conduz,
obviamente, ao simtrico do vetor, j que, por definio de produto por um escalar, o vetor
com a mesma norma e direo mas sentido contrrio ao vetor dado, o que tambm a
definio de vetor simtrico.
Pgina 29
A propriedade expressa no descritor 3.3 pode ser facilmente justificada. Por um lado,
imediato, a partir da definio do produto de um vetor por um escalar, que
colinear a .
Reciprocamente, considerando um vetor colinear a , se existir um nmero real
tal que
, temos
| |
| |
pelo que, considerando o nico nmero real de
mdulo (valor independente da unidade de comprimento fixada para o clculo das normas,
como acima ficou estabelecido) que positivo se os vetores e tiverem o mesmo sentido,
negativo se tiverem sentidos opostos e nulo se for nulo, tem-se, por definio de produto de
vetor por escalar,
e este o nico escalar para o qual tem lugar esta igualdade, j
que, quando no nulo, tem mdulo e sinal bem determinados.
O escalar pode ainda ser materializado utilizando segmentos orientados com extremos numa
mesma reta numrica e origens coincidentes com a origem dessa reta numrica e que
representem os dois vetores colineares dados. Com efeito, Se e forem colineares (
),
fixemos um ponto arbitrrio para origem da reta numrica e o ponto
, para ponto
de abcissa ; ento, sendo
, um ponto da reta
, j que e tm a mesma
direo (e portanto as retas
e
, no podendo ser retas paralelas distintas, tm de
coincidir). e Ento, como atrs se concluiu a propsito da coerncia da definio de produto de
um vetor por um escalar, sendo a abcissa de , teremos
.
Quanto subtrao, a definio do vetor diferena
de determinados vetores e
reproduz a definio habitual de diferena quando em dado conjunto est definida uma
operao de adio comutativa. Dados vetores e , fcil, neste caso, justificar a existncia
de um e apenas um vetor tal que
, pois, a existir um tal vetor, adicionando
a
ambos os membros desta igualdade obtemos:
Ou seja, o nico vetor que pode satisfazer igualdade requerida o vetor

e fcil
verificar que, de facto, a respetiva soma com igual a , utilizando mais uma vez a
propriedade associativa da adio de vetores e a propriedade algbrica caracterstica do
simtrico. Assim, a diferena de vetores est sempre bem definida e igual soma do aditivo
com o simtrico do subtrativo, tal como para nmeros reais:
.
Para alm desta justificao algbrica, poder aproveitar-se a ocasio para rever os conceitos
acima referidos, construindo geometricamente a diferena de vetores em casos concretos ou
num caso geral e comparando com a construo da soma de um vetor com o simtrico de
outro. Apresentam-se abaixo dois possveis exerccios com esses objetivos.
1. Na ilustrao figuram dois segmentos orientados que
representam vetores e .
1.1. Reproduza, no caderno, dois segmentos orientados com
a mesma origem que representem, respetivamente,
os vetores e e, utilizando a regra do paralelogramo
ou a regra do tringulo, construa o vetor tal que
.
1.2. Construa o vetor soma de com
e justifique que
igual a .
Pgina 30
2. **Dados vetores e , prove, recorrendo a uma construo geomtrica e utilizando

diretamente as definies de diferena e de soma de vetores, bem como e a de simtrico de
um vetor, que
3.5
Esta propriedade trivial se

e pode ser facilmente justificada se
, por exemplo,
recorrendo mais uma vez a uma reta numrica de origem qualquer e o ponto de abcissa
coincidente com
. Sabemos ento (cf. texto de apoio ao descritor 5.2) que
,
e
so respetivamente os pontos dessa reta numrica de abcissas , e
e, efetuando a adio dos vetores
e , aplicando a regra do tringulo a partir do
ponto , o ponto que se obtm para extremidade do segmento orientado de origem que
representa o vetor soma exactamente o que tem abcissa
, pela definio geomtrica
conhecida de adio de nmeros representados numa reta numrica (cf. Metas Curriculares do
ensino bsico, NO6-3.3 e NO8-2.7).
,
3.6
1. *Considere dois vetores e

no
colineares e
; pretendemos provar
que
. Para o efeito,
fixado um ponto
do plano, seja
,
e
,
como se ilustra na figura junta.
1.1. Justifique que
.
1.2. Sendo
e
utilizando o Teorema de Tales,
justifique que as retas
e
so paralelas.
1.3. Conclua da alnea anterior que
.
1.4. Justifique que as semirretas e tm o mesmo sentido e conclua, utilizando
tambm as alneas anteriores, que

. [Sugesto: para comparar os
sentidos das referidas semirretas note que, por construo, os pontos
numa mesma semirreta de origem no ponto da reta
.]
1.5. Conclua finalmente que
esto
2. **Utilizando uma construo idntica do exerccio anterior, prove que, dados dois vetores
e no colineares e
,
.
; fixando um ponto do plano, e sendo
3. *Considere vetores e colineares,
,
, considere uma reta numrica
de origem .
3.1. Justifique que um ponto da reta
.
3.2. Demonstre a igualdade
traduzindo-a numa equao

envolvendo as abcissas dos pontos e na referida reta numrica.
e nmeros reais e ; prove que
4. Considere um vetor
, comparando
as normas, direces e sentidos dos dois vetores, a partir da definio de produto de um
vetor por um escalar.
Pgina 31
4.1
4.2
1. Na figura junta representa-se um plano

munido de um referencial ortonormado de
]
origem e dois segmentos orientados [
] onde
e[
,
,
e
. Considere os pontos
,
e
os vetores (da base cannica do espao
e
vetorial dos vetores do plano)
.
1.1. Sendo
,
determine,
utilizando
uma
construo
geomtrica, um vetor
com a
direo de e um vetor com a
direo de tais que
.
1.2. Quantas solues diferentes existem para a alnea anterior? Justifique.
1.3. Conclua que existe um e somente um par ordenado de nmeros reais
tais
que
, designando este par como coordenadas do vetor , e
determine-o.
, resolva uma exerccio idntico ao das alneas anteriores,
1.4. Sendo
substituindo por .
, resolva uma exerccio idntico ao das alneas 1.1 a
1.5. Sendo
e
1.3, substituindo por .
1.6. Justifique que as coordenadas dos pontos
,
e
e tm de ser
iguais s coordenadas respectivamente dos vetores , e (ditos vetores
posio dos referidos pontos) e represente estes vetores atravs de segmentos
orientados de origem .
2. *Considere um plano munido de um referencial ortonormado de origem , os pontos
,
, os vetores (da base cannica do espao vetorial dos vetores do plano)
e
e um vetor desse plano.
2.1. Fixado um ponto nesse plano e sendo
mostre, utilizando a regra do
tringulo, que existe um e somente um ponto tal que se for igual soma de
um vetor com a direo de com um vetor
com a direo de ento
e
.
2.2. Conclua da alnea anterior que existe um e somente um par ordenado de
nmeros reais
tal que
, designando este par por
coordenadas do vetor .
2.3. Justifique que as coordenadas do ponto
so iguais s coordenadas do
vetor (dito vetor posio do ponto ).
4.3
4.4
4.5
4.6
1. Considere um plano munido de um referencial ortonormado, vetores

e
,
um nmero real , os pontos
,
e os vetores (da base cannica do espao
e
.
vetorial dos vetores do plano)
1.1. Justifique que
e que
.
1.2. Utilizando as propriedades algbricas conhecidas das operaes com vetores,
conclua que o vetor
(respetivamente
) tem coordenadas
(respetivamente
), que o vetor tem
coordenadas
e que o vetor simtrico do vetor
tem
coordenadas
, comeando por determinar expresses para estes
vetores como combinaes lineares dos vetores da base cannica.
Pgina 32
1.3. Suponha que e no so nulos e justifique que so colineares se e somente se

as respetivas coordendadas forem todas no nulas e os quocientes das
coordenadas correspondentes forem iguais, ou as primeiras ou segundas
coordenadas de ambos os vetores forem nulas.
2. Considere um plano munido de um referencial ortonormado de origem e pontos
e
desse plano.

.
2.1. Justifique que
2.2. Atendendo alnea anterior e ao que se sabe acerca das coordenadas do vetor
posio de um ponto e das coordenadas da diferena de dois vetores, justifique
que o vetor tem coordenadas
.
2.3. Dado um vetor
e utilizando a alnea anterior mostre que o ponto
tem coordenadas
, comeando por designar essas
.
coordenadas por
e notando que, por definio,
3. Fixado um plano munido de um referencial ortonormado e dado um vetor
tomando por unidade de comprimento a unidade comum dos eixos coordenados, mostre
que
, utilizando o Teorema de Pitgoras.
6.1
1. Considere, fixado um plano munido de um referencial cartesiano, os vetores

e
. Determine as coordenadas do vetor
1.1.
.
1.2.
tal que
], os
2. Na figura est representado um paralelogramo [
pontos mdios
e dos lados [ ], [ ], [ ] e
[ ] respetivamente e os vetores e . Sabe-se,
fixado um certo referencial ortonormado, que
e indique as
que
coordenadas de .
2.2. *Determine as coordenadas dos pontos
e .
e determine as coordenadas dos vrtices do
2.3. *Justifique que
].
paralelogramo [
2.1. Justifique
3. Num plano munido de um referencial cartesiano os pontos

e
so vrtices
consecutivos de um losango e o ponto
o ponto de interseo das respetivas
diagonais. Determine as coordenadas dos outros dois vrtices.
4. *Considere, num plano munido de um referencial cartesiano, trs pontos no colineares
,
e
.
Seja o ponto mdio do segmento de reta [ ]. Relembrando que o baricentro do
, verifique que o
tringulo [
] o ponto do segmento de reta [
] tal que
baricentro coincide com a interseco das mediatrizes do tringulo determinando
sucessivamente:
4.1. as coordenadas de ;
4.4. as coordenadas de .
Pgina 33
6.2
1. Num plano munido de um referencial cartesiano, sabe-se que os pontos

e
so vrtices de um paralelogramo. Determine as possveis coordenadas
do quarto vrtice do paralelogramo.
2. Num plano munido de um referencial cartesiano, determine, se existir, um nmero real
tal que os vetores
e
sejam colineares e com o mesmo sentido.
3. Considere um plano munido de um referencial ortonormado e o vetor
as coordenadas do vetor colinear a , de sentido contrrio e de norma 15.
. Determine
4. Num plano munido de um referencial ortonormado, os pontos

,
e
so
vrtices de um trapzio, cujas bases so os segmentos de reta[ ] e [ ].
.
4.1. *Determine todas as coordenadas possveis do vrtice sabendo que
4.2. *Considere
Prove que o quadriltero definido pelos pontos mdios dos
] um paralelogramo.
lados do trapzio [
6.3
1. Considere, num plano munido de um referencial cartesiano, as retas

respetivamente por
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
definidas
e{
Determine os pontos em que a reta interseta os eixos coordenados.

Determine a ordenada do ponto da reta que tem abcissa .
Justifique que o ponto
pertence reta .
Indique, para cada uma das retas, um vetor diretor.
Escreva a equao reduzida da reta .
Indique, de entre , e , eventuais pares de retas paralelas.
2. Considere,
num
interseta o eixo
referencial cartesiano do plano, a reta

definida por
. Determine a equao reduzida da reta , paralela a , que
no mesmo ponto que a reta de equao
3. *Determine para que valores reais de

.
o ponto
4. **Num referencial ortonormado do plano as retas

contm dois lados iguais de um tringulo que medem
coordenadas dos vrtices desse tringulo.
pertence reta de equao
e
unidades. Determine as possveis
5. **Considere, num plano munido de um referencial cartesiano, a circunferncia definida

pela equao
e o ponto
. Determine a equao reduzida de cada
uma das retas que, passando por , so tangentes circunferncia.
Pgina 34
6. Considere, num plano munido de um

referencial cartesiano, um ponto
, a
circunferncia de centro
definida pela
equao
, os
pontos e de interseo da circunferncia
com o eixo
e o ponto de interseo da
circunferncia com o eixo
e de ordenada
superior do ponto .
6.1. Determine as coordenadas de
e .
6.2. Determine a equao reduzida da
reta
.
].
6.3. Calcule a rea do tringulo [
7. Considere, num plano munido de um referencial

cartesiano, a circunferncia que passa nos
pontos
e tais que [ ] est contido na
bissetriz dos quadrantes mpares e [ ] est
contido na bissetriz dos quadrantes pares. Sabese ainda que a ordenada de igual a da
ordenada de .
7.1. *Determine as coordenadas de e de
sabendo que a rea do tringulo
[
] igual a
unidades de rea.
7.2. Justifique que [ ] um dimetro da
circunferncia e escreva uma equao
dessa circunferncia.
7.3. Escreva uma equao cartesiana da reta
7.3
Comentrio
Ao abordar-se a Geometria Analtica plana no Ensino Bsico definiram-se referenciais
cartesianos gerais, ou seja, no necessariamente ortogonais nem monomtricos (cf. Metas
Curriculares para o Ensino Bsico, OTD5-1.1); nesse contexto, cada coordenada de um dado
ponto obtida atravs da interseo com um dos eixos da reta paralela ao outro eixo que
passa pelo ponto (cf. ibid. OTD5-1.2). Verifica-se facilmente que, no caso em que o referencial
ortogonal (e apenas neste caso), o mesmo resultado pode ser obtido considerando as
projees ortogonais do ponto em cada um dos eixos coordenados. Na generalizao que aqui
feita ao espao da noo de referencial cartesiano, uma vez que apenas se consideram
referenciais ortogonais, esta caracterizao que se adota para estender ao espao a noo de
coordenadas de um ponto relativamente a um referencial dessa natureza; com efeito, essa
opo permite simplificar o estudo destes referenciais, por facultar uma utilizao mais direta
das propriedades geomtricas conhecidas da noo de perpendicularidade.
No entanto, para referenciais cartesianos no espao mais gerais, nomeadamente se os eixos
no forem dois a dois perpendiculares mas simplesmente no complanares, as cooordenadas
de um ponto poderiam ser definidas, analogamente ao que foi feito no caso do plano,
comeando por considerar a interseo de cada eixo com o plano contendo o ponto e
paralelo ao plano determinado pelos outros dois eixos; as abcissas desses pontos no respetivo
Pgina 35
eixo seriam exatamente as coordenadas de nesse referencial. Provar-se-ia depois facilmente

que as coordenadas poderiam ser obtidas comeando por considerar a interseo da reta
passando por e paralela a um dos eixos, com o plano determinado pelos restantes dois eixos;
as coordenadas do ponto assim obtido num dos planos coordenados, relativamente ao
referencial constitudo pelos eixos que determinam esse plano, seriam exactamente duas das
coordenadas do ponto no referencial espacial inicialmente fixado.
7.5
1. *Considere um referencial ortonormado do espao e um terno ordenado de nmeros reais

.
1.1. Justifique que o conjunto dos pontos do espao cuja projeo ortogonal sobre o
eixo
um dado ponto o plano perpendicular a
e que passa em .
1.2. Considere o plano perpendicular ao eixo
e que contm o ponto
eo
plano perpendicular ao eixo
e que contm o ponto
. Justifique que
e so perpendiculares e caracterize, atravs das abcissas e ordenadas, os
pontos da respetiva reta interseo.
1.3. Considere o plano perpendicular ao eixo
e que contm o ponto
.
Justifique que o plano interseta a reta num nico ponto e que esse o nico
ponto do espao de coordenadas
.
7.6
1. * Considere um referencial ortonormado e um ponto

ortogonal no plano
, de projeo
1.1. Considere o ponto , projeo ortogonal do ponto no eixo . Justifique que

o plano definido pelos pontos
perpendicular ao eixo .
1.2. Justifique que a reta
perpendicular ao eixo
e conclua que a abcissa de
igual a .
1.3. Utilizando um raciocnio anlogo ao utilizado em 1.1. e 1.2., conclua que a
ordenada do ponto igual a , que as coordenadas de so
e que,
no plano
, tem coordenadas
.
8.3
1. Considere um paraleleppedo retngulo como o que est representado na figura e tal que
numa dada unidade,
,
e
.
1.1. Determine, utilizando o teorema de Pitgoras,
uma expresso para a medida de , em funo de
e de .
1.2. Justifique que
perpendicular a AC e prove
que
.
Pgina 36
1.3. *Definiu-se um referencial ortonormado do espao, tal que o eixo

, o eixo
paralelo a
e o eixo
paralelo a .
Tem-se ainda
e
G
, tal como
representa a figura junta.
1.3.1. Justifique que:
|
|,
|
|
|.
e
paralelo
1.3.2. Conclua que a distncia

entre os pontos e
dada por:
9.1
9.2

A extenso ao espao da definio da relao de
equipolncia entre segmentos orientados no
oferece dificuldade, uma vez que dois segmentos
orientados equipolentes, por definio, esto
associados a segmentos de reta pertencentes a
um mesmo plano e serem equipolentes no
espao significa serem equipolentes no plano
determinado por esses segmentos de reta.
No descritor 9.2 exprime-se de modo informal o facto de se identificar um vetor do espao
com a classe de equivalncia de um dado segmento orientado para a relao de equipolncia,
analogamente ao que foi feito no Ensino Bsico para a noo de vetor no plano.
Para se verificar que a relao de equipolncia de equivalncia, a nica propriedade que
carece de nova demonstrao, para alm do que j era conhecido num plano, a
transitividade, no caso de trs segmentos orientados no complanares. Assim, basta
], [
]e[
] tais que so
demonstrar que se forem dados trs segmentos orientados [
]e [
] ento tambm paralelogramo o
paralelogramos os quadrilteros [
]. Ora, que as retas
quadriltero [
e
so paralelas resulta imediatamente da
transitividade do paralelismo, j que por um lado
e
e por outro
e
so paralelas
por hiptese. Por outro lado, que
e
so paralelas resulta do paralelismo dos planos
e
(so paralelos porque as retas concorrentes
e
do primeiro plano so
respetivamente paralelas s retas concorrentes
e
do segundo, por hiptese); com
efeito, as retas
e
so paralelas porque resultam da interseo desses dois planos
paralelos com o plano
, j que os pontos e so obviamente pontos da interseo dos
planos
e
, o ponto est na interseo do plano
com o plano
e o ponto ,
por um lado est obviamente no plano
e por outro tambm tem de estar no plano
,
j que pertence nica paralela reta
que passa pelo ponto .
Definida esta relao de equivalncia entre segmentos orientados do espao, agora fcil
estender ao espao a noo de vetor, simplesmente identificando os vetores do espao com as
classes de equivalncia para a relao de equipolncia, o que, com acima foi referido, fica
expresso de modo informal no descritor 9.2.
Pgina 37
Tambm fcil agora estender do plano ao espao a definio de norma de um vetor (fixada
uma unidade de comprimento), de adio de um ponto com um vetor, de translao de um
dado vetor e as operaes de subtrao de dois pontos, de adio e subtrao de vetores, de
multiplicao de um vetor por um escalar e as respetivas propriedades geomtricas e
algbricas.
Por exemplo, a coerncia da definio de soma
de dois vetores pode ser justificada exatamente
com os mesmos argumentos utilizados, para o
caso de vetores de um plano, no comentrio
acima aos descritores 3.1 a 3.4, utilizando a
mesma figura (reproduzida ao lado), onde agora
], [
], [
]e
os segmentos orientados [
[
] no so necessariamente complanares.
10.1
10.2
1. Considere um referencial ortonormado de origem no espao, os pontos

,
,
os vetores (da base cannica do espao vetorial dos vetores do espao)
,
e
e um vetor .
1.1 *Como exemplificado na figura junta,
considere um ponto do espao, e
seja
. Suponha que
, onde
tem a
direo de ,
tem a direo de e
tem a direo de .
Utilizando a regra do tringulo para a soma
de
com , mostre que sendo
ento tem
um ponto tal que
de pertencer reta paralela ao eixo
que passa no ponto .
1.2 **Com as notaes da alnea anterior e utilizando a regra do paralelogramo para
a soma
e a regra do tringulo para a soma de
com mostre que
sendo um ponto tal que

e
, ento est na interseo
da reta com o plano normal reta que passa pelo ponto , ou seja, a
projeo ortogonal do ponto no plano paralelo ao plano
que passa no
ponto .
1.3 *Conclua da alnea anterior que existe um e somente um terno ordenado de
nmeros reais
tal que
, designando este terno
por coordenadas do vetor .
1.4 Justifique que as coordenadas do ponto
so iguais s coordenadas do
vetor (dito vetor posio do ponto ).
11.1
1. Fixado um referencial ortonormado do espao, os pontos

,
e
trs dos vrtices de uma das bases de um prisma quadrangular regular [
altura .
1.1. Indique as coordenadas do ponto , quarto vrtice da base.
Pgina 38
so
] de
1.2. Defina analiticamente:

] do prisma.
1.2.1. O plano que contm a base [
1.2.2. O plano mediador da aresta [ ].
1.2.3. A reta
sabendo que o vrtice tem a mesma abcissa e ordenada de .
1.2.4. O plano mediador de [ ].
1.2.5. A aresta [ ] sabendo que a projeo ortogonal do vrtice no plano
.
1.2.6. O conjunto dos pontos do espao cuja distncia ao ponto igual a .
1.3. Determine o volume do prisma.
2. Considere, fixado um referencial cartesiano do espao, a superfcie esfrica de equao
2.1. Indique o centro e o raio da superfcie esfrica.
2.2. Determine expresses analticas que definam a interseo da superfcie esfrica
com cada um dos seguintes conjuntos de pontos:
2.2.1. O eixo .
2.2.2. O plano de equao
2.2.3. O plano de equao
.
2.3. Prove que o ponto
pertence superfcie esfrica e determine a
inequao reduzida da esfera de centro e raio .
3. Considere, fixado um referencial cartesiano do espao, os pontos
Determine:
3.1. as coordenadas do ponto
tal que o ponto mdio [
3.2. a inequao reduzida da esfera de dimetro [ ].
].
4. Considere, fixado um referencial cartesiano do espao, a superfcie esfrica de equao

.
4.1. Determine uma expresso analtica para a interseo da superfcie esfrica com
o plano
.
4.2. Determine analiticamente para que valores reais de o plano de equao
tem interseo no vazia com a superfcie esfrica .
4.3. *Determine para que valores reais de a interseo de com o plano
uma circunferncia de raio .

5. *Fixado um referencial ortonormado do espao considere os pontos
e
. Identifique analiticamente o conjunto dos pontos do espao equidistantes de
e .
11.2
1. Considere, fixado um referencial ortonormado do espao, os pontos
e o vetor
. Determine as coordenadas de:
1.
1.2.
1.3.
1.
)
(
1.5. um vetor colinear a e de norma .
sabendo que
.
Pgina 39
2. Considere, fixado um referencial cartesiano do espao, um prisma quadrangular regular

[
] tal que os vrtices
e
pertencem a uma das
bases e o vrtice
pertence outra base, como ilustra a figura junta.
2.1. Seja o ponto mdio da aresta [ ]. Determine
as coordenadas do vetor
2.2. *Determine os nmeros reais
e tais que
.
.
2.3. Determine as coordenadas do vetor
2.4. Escreva as equaes paramtricas da reta que
passa em e paralela ao eixo .
3. Considere, fixado um referencial ortonormado do espao, o ponto

e o vetor
.
3.1. Escreva as equaes paramtricas da reta que tem a direo de e passa no
ponto .
3.2. Mostre que o ponto
pertence reta
3.3. Utilizando as equaes obtida em 3.1., determine as coordenadas do ponto ,
interseo da reta com o plano
.
3.4. Os pontos e
so as extremidades de um dimetro de uma esfera de
centro . Determine as coordenadas de e o raio dessa esfera.
3.5. Indique as coordenadas de um ponto que no seja colinear com e .
4. Fixado um referencial ortonormado do espao
considere os pontos
,
e
]
vrtices do cubo [
ilustrado na figura junta.

] tem as
4.1. Justifique que o tetraedro [
arestas todas iguais (ou seja, que um
tetraedro regular).
4.2. Determine as coordenadas dos restantes
vrtices do cubo.
4.3. Determine equaes paramtricas da reta .
4.4. Defina analiticamente o segmento de
reta [ ].
5. *Fixado um referencial ortonormado do espao e para um dado valor real de , os vetores
e
so colineares. Determine .
6. Fixado um referencial ortonormado do espao foi representada
uma pirmide quadrangular regular de vrtice
e base
[
] . Um plano paralelo base interseta a pirmide
] Sabe-se ainda que
definindo o quadrado [
e
.
6.1. Determine as coordenadas dos vrtices e e do
vetor .
6.2. *Sabendo que a rea da base da pirmide igual a
unidades quadradas, determine as coordenadas de
e do ponto .
Pgina 40
Funes Reais de Varivel Real FRVR10

Descritor
1.1
rr
Texto de Apoio
Comentrio
1.2
No Ensino Bsico introduz-se a noo de funo de um dado conjunto em dado conjunto
sem se explicitar de que objeto matemtico, de facto, se trata, mas impondo-se que uma
funo fica bem determinada quando, para alm dos conjuntos e se indica, para cada
elemento de qual o elemento (nico) de que lhe fica associado, o qual se representa por
. Introduziram-se algumas noes bsicas relativas a este conceito, em particular a de par
ordenado e a de grfico. pois de toda a convenincia efetuar a reviso destes conceitos a
propsito deste objetivo geral (cf. Metas Curriculares do Ensino Bsico, FSS7-1.1 a 1.7).
Resulta da caracterizao dada no ensino bsico de funo e de grfico que uma funo
fica determinada pelos conjuntos e e pelo respetivo grfico e que um conjunto
de pares ordenados
com
e
(ou seja, como agora podemos escrever,
) grfico de uma funo de em se e somente se para todo o
existir
um e somente um elemento
tal que
. Assim, embora tal no seja requerido,
poderamos identificar uma funo
de grfico como o terno ordenado (
)
o que estaria de acordo com as propriedades impostas no Ensino Bsico noo de funo.
1.11
1.12
1.13
1. Considere a funo
definida por
.
1.1. Justifique que bijetiva e apresente uma expresso para
1.2. Mostre que para todo o
e
2. *Considere a funo bijetiva
Calcule, utilizando a definio de
justifique que
e que
.
,
para
3. *Sejam
,
funes:
3.1. Suponha que
3.1.1. bijetiva e
.
3.1.2.
e
.
3.2. Suponha que
e
3.2.1.
3.2.2. bijetiva e
2. 6
; prove que:
; prove que:
.
Comentrio
Convm recordar a conveno introduzida no Ensino Bsico (Metas curriculares de Matemtica
para o Ensino Bsico, FSS7-1.9) de acordo com a qual se designa tambm apenas por grfico
de , quando esta designao no for ambgua, um grfico cartesiano de uma funo real de
varivel real , ou seja, o conjunto dos pontos de um plano munido de um referencial
cartesiano, cujas coordenadas so exatamente os pares ordenados elementos do grfico de
propriamente dito, ou seja, os pares
com em .
Caderno de Apoio FRVR10
Pgina 41
1. Considere a funo definida, em , por

e o respetivo grfico representado
num plano munido de um referencial ortogonal.
1.1. Seja
. Indique as coordenadas dos seguintes pontos do grfico de :
- o ponto de abcissa ;
- o ponto de abcissa .
1.2. Prove que o ponto mdio de [ ] pertence ao eixo das ordenadas.
1.3. Justifique que o eixo das ordenadas perpendicular ao segmento de reta [ ].
1.4. Conclua que o eixo das ordenadas eixo de simetria do grfico de .
2. *Considere uma funo par definida em
e o respetivo grfico representado num
plano munido de um referencial ortogonal.
2.1. Seja
e
um ponto do grfico de . Indique as coordenadas do
ponto do grfico de de abcissa .
2.2. Mostre que qualquer ponto do eixo das ordenadas equidistante de e de .
2.3. Conclua que o eixo das ordenadas eixo de simetria do grfico de .
3. *Considere uma funo de varivel real
cujo grfico, num plano munido de um
referencial ortogonal, simtrico relativamente ao eixo das ordenadas. Mostre que par.
2. 7
1. Considere a funo definida, em , por

num plano munido de um referencial cartesiano.
1.1 Mostre que uma funo mpar.
1.2 Mostre que os pontos do grfico de de abcissas respetivamente iguais a e a
so simtricos relativamente origem do referencial.
1.3 *Mostre que o grfico de simtrico relativamente origem do referencial.
2. *Considere uma funo mpar definida em
num referencial ortogonal.
2.1 Seja
e
um ponto do grfico de . Indique as coordenadas do
2.2 Prove que o ponto mdio de [ ] o ponto , origem do referencial.
2.3 Conclua que a imagem do grfico de pela reflexo central de centro coincide
com o prprio grfico.
3. *Considere uma funo de varivel real
cujo grfico , num plano munido de
um referencial cartesiano, simtrico relativamente origem , isto , a imagem de
pela reflexo central de centro coincide com . Mostre que impar.
2. 8
1. Considere a funo
definida por
1.1. Justifique que uma funo bijetiva e determine uma expresso analtica para
,
. Represente, num plano munido de um referencial ortonormado,
os grficos das funes e
.
1.2. Determine a imagem dos pontos e do grfico de de abcissas respetivamente
iguais a
e pela reflexo axial de eixo de equao
e verifique que se
trata de pontos do grfico de
.
1.3. *Mostre que a imagem do grfico de
grfico de
.
pela reflexo de eixo de equao
Pgina 42
2. **Considere uma funo

[
bijetiva e um ponto
,
ainda a funo
[
[ [
, e o ponto do grfico de
abcissa
[ [
[
. Considere
[ inversa de
que tem por
Prove que qualquer ponto

da reta
equidistante de e de e conclua que os grficos de

e de
so simtricos relativamente bissetriz
dos quadrantes impares.
3.** Fixado um plano munido de um referencial cartesiano, mostre que a imagem de um

ponto
pela reflexo de eixo de equao
o ponto
e conclua, dada uma
funo bijetiva , que os grficos de e de
so simtricos relativamente a esse eixo.
2.9
Comentrio
Esta questo foi abordada no ensino bsico (cf. Metas Curriculares de Matemtica para o
Ensino Bsico, FSS8-1.2), pelo que pode consultar-se, a este propsito, o texto no Caderno de
Apoio ao 3. ciclo relativo ao referido descritor.
1. Considere as funes e
definidas em por
e
. Considere
ainda, num plano munido de um referencial cartesiano, os grficos destas duas funes e o
1.1. Determine as coordenadas do ponto , imagem de pela translao de vetor
e justifique que pertence ao grfico de .

1.2. Justifique que a imagem de qualquer ponto do grfico de pela translao
referida na alnea anterior um ponto do grfico de .
1.3. Inversamente, justifique que todo o ponto do grfico de a imagem de um
ponto do grfico de pela translao referida na alnea 1.1.
2. Considere duas funes reais e definidas em

e tais que para todo o
, onde
. Considere ainda, num plano munido de um
referencial cartesiano, os grficos destas duas funes e o ponto do grfico de de
abcissa
.

2.2. Considere um ponto do grfico de . Prove que a imagem de um ponto do
grfico de pela translao de vetor .
2. 10
1. Considere a funo definida por

.
1.1 Qual o domnio da funo definida pela expresso
?
1.2 Justifique que o ponto

pertence ao grfico de . Qual a imagem de pela
translao de vetor
? Mostre que se trata de um ponto do grfico de .
1.3 *Mostre que a imagem do grfico de pela translao de vetor o grfico de .
Pgina 43
2. *Considere duas funes reais e definidas, respetivamente, em e

{
},
onde
, e tais que, para todo o
,
. Considere ainda, num
referencial cartesiano, os grficos destas duas funes e o ponto do grfico de de
abcissa
.

2.2. Considere um ponto do grfico de . Prove que a imagem de um ponto do
grfico de pela translao referida na alnea anterior.
2.11
2.12
Comentrio
O estudo das transformaes geomtricas de grficos cartesianos associadas a translaes e
homotetias nas variveis dependente e independente de uma dada funo pode ser ilustrado
com recurso calculadora grfica ou outros meios tecnolgicos para obter representaes
grficas de funes. Alm disso, especialmente no caso das homotetias (cf 2.11, 2.12, 2.13 e
2.14), interessante recorrer a funes com domnios finitos, como no exemplo seguinte, o
que pode tambm facilitar a compreenso do resultado geral.
{
1. Seja
1.1.
1.2.
1.3.
1.4.
} o grfico de uma dada funo .

Represente
Represente as imagens dos pontos do grfico cartesiano de pela transformao
que ao ponto
do plano associa o ponto
.
} definida por por
Considere a funo , de domnio {
.
Relacione o grfico cartesiano de com a transformao e com o grfico
cartesiano de .
Represente de novo o grfico cartesiano de e as imagens dos respetivos pontos
pela transformao
que ao ponto
1.5. Obtenha uma expresso analtica para funo cujo grfico cartesiano a
imagem do grfico cartesiano de pela transformao .
2.13
2.14
1. Seja
} o grfico de uma dada funo .

1.1 Represente
1.2 Represente as imagens dos pontos do grfico cartesiano de pela transformao
que ao ponto
1.3 Considere a funo
, de domnio {
} definida por
Relacione o grfico cartesiano de com a transformao e com o grfico

cartesiano de .
1.4 Represente de novo o grfico cartesiano de e as imagens dos respetivos pontos
pela transformao que ao ponto
.
1.5 Obtenha o domnio e uma expresso analtica para funo cujo grfico
cartesiano a imagem do grfico cartesiano de pela transformao .
Pgina 44
4.6

A propriedade expressa neste descritor pode ser demonstrada considerando trs pontos
arbitrrios
do grfico cartesiano de uma funo real de
(
)e
varivel real definida num dado intervalo e tais que
e notando que se pretende
estudar o sentido da concavidade do grfico de comparando as ordenadas de e do ponto
. Comecemos ento por calcular
;
(
) do segmento de reta [ ] tal que
atendendo s equaes paramtricas do segmento de reta [ ] temos:
[
{
Mas
, pelo que
hiptese
],
, tendo-se, de facto,
], atendendo
. Ento:
portanto a desigualdade
equivalente a:
ou seja, designando por
o declive de uma reta
A equivalncia que acabmos de estabelecer pode ser expressa informalmente dizendo que
partindo de determinado ponto do plano e percorrendo da esquerda para a direita uma reta no
vertical, quanto maior for o respetivo declive maior ser a ordenada do ponto atingido com
determinada abcissa pr-fixada, e reciprocamente. finalmente, portanto, esta ltima
desigualdade, verificada para quaisquer pontos , e nas condies acima, que pretendemos
provar que equivalente ao grfico de ter a concavidade virada para cima.
Ora esta ltima condio exprime-se atravs da desigualdade:
ou seja:
Provemos ento que, para quaisquer pontos , e nas condies inicialmente estabelecidas,
pode ser escrito como uma mdia pesada de
e
, ou,
dito de outra forma, no tringulo [
e
. Para isso basta notar que:
Onde
] o declive de
[, atendendo a que
uma mdia pesada dos declives de
,e
Pgina 45
Acabmos ento de provar que:
] [) e pretendemos demonstrar a equivalncia, para quaisquer , e nas

(para certo
condies acima, entre
e
, o que geometricamente bvio (j que
est sempre no intervalo de extremos
e
) e resulta imediatamente da equao acima:
,
e:
.
Para se obter o resultado relativo aos grficos de funes quanto propriedade de terem a
concavidade voltada para baixo, basta aplicar o resultado anterior s funes .
4.8
1. Considere a funo definida em pela expresso

.
1.1 Calcule as ordenadas dos pontos , e do grfico de , sabendo que as
respetivas abcissas so , e .
1.2 Compare o declive das retas
e
.
1.3 Repita o exerccio da alnea anterior escolhendo trs pontos arbitrrios , e
do grfico de , de abcissas respetivamente
e conclua quanto ao
sentido da concavidade do grfico de .
2. *Considere a funo definida, em , pela expresso
,
Considere ainda
pontos
e pertencentes ao grfico de e tais que, num referencial cartesiano, as
respetivas abcissas verificam a condio:
.
2.1 Exprima em funo das abcissas de e de o declive da reta
.
2.2 Exprima em funo das abcissas de e de o declive da reta
.
2.3 Considere
e compare os declives das retas
e
.
2.4 Considere
e compare os declives das retas
e
.
2.5 Conclua qual a relao entre o sinal de e o sentido da concavidade do grfico de .
6.1
1. Represente sob a forma de intervalos ou unies de intervalos os conjuntos-soluo das

seguintes condies em :
1.1.
1.2.
1.3.
1.4.
1.5.
1.6. |
|
|
1.7. |
|
1.8. |
|
1.9. |
|
|
1.10.
1.11. | |
| |
|
1.12. |
|
1.13. |
.
Pgina 46
2. Para cada valor real de

e de , a expresso
define uma funo
quadrtica.
2.1. Considere
e
e determine o contradomnio de .
2.2. *Para que valores reais de e de o contradomnio da funo definida por
|
| diferente de [
[?
3. Para cada valor real de a expresso
define uma uma funo .
3.1. *Indique, justificando, o valor lgico de cada uma das seguintes proposies:
(I)
(II) Se
( );
, o contradomnio de
];
(III) Se
ento
( ).
3.2. Determine para que valores reais de a equao
impossvel em .
4. *Existe uma nica reta paralela reta de equao

que interseta a parbola de
equao
num nico ponto. Determine as coordenadas desse ponto.
5. *Determine para que valores reais de a reta de equao
interseta a parbola
de equao
num nico ponto e, para cada valor de , determine as
coordenadas do ponto de interseo da reta com a parbola.
6.2
1. Resolva as seguintes equaes, simplificando tanto quanto possvel as expresses que

representam as respetivas solues:
1.1.
;
1.2.
;
1.3.
;
1.4.
;
1.5.
.
2. Represente sob a forma de intervalos ou unies de intervalos os conjuntos-soluo das
seguintes condies:
2.1.
;
2.2.
;
2.3. *
.
6.3
1. Averigue se as funes definidas no maior domnio possvel pelas seguintes expresses so

pares ou mpares.
1.1. | |
1.2.
;
1.3. | |;
1.4. ;
1.5.
;
1.6.
2. O grfico de uma funo afim interseta o eixo

em
ordenada .
2.1 Determine:
2.1.1 a forma cannica de
2.1.2 os zeros da funo definida por
2.1.3 o contradomnio da funo definida por
2.2 Esboce o grfico da funo definida por
e o eixo
;
|
no ponto de
.
Pgina 47
3. Considere uma funo de domnio e de contradomnio [

das funes definidas pelas seguintes expresses:
3.1.
;
3.2.
;
3.3.
;
|
|.
3.4.
4. Considere
] Indique o contradomnio
funo
definida por
e representada na
figura num referencial cartesiano.
O quadriltero [
] um retngulo,
sendo A o ponto interseo do grfico de
com o eixo , um ponto do grfico de
e um ponto do eixo
4.1. Determine as coordenadas dos
vrtices
.
4.2. Determine a rea do retngulo
[
].
4.3. Considere a funo
tal que
4.3.1. Determine o ponto de
interseo do grfico de g
com o eixo
e designe-o
por .
] de forma anloga ao construdo na figura e
4.3.2. Construa o retngulo [
calcule a respetiva rea.
] e [
] e relacione a
4.3.3. Compare as reas dos retngulos [
concluso com a contrao que transforma o grfico de no grfico de .
4.4. Considere a funo tal que
.
4.4.1. Determine o ponto de interseo do grfico de com o eixo , designe-o
] de forma anloga ao construdo na
por , construa o retngulo [
figura e determine a respetiva rea.
]e[
] e relacione a concluso
4.4.2. Compare as reas dos retngulos [
com a contrao que transforma o grfico de no grfico de .
4.5. *Considere a funo definida por
( ). A partir do grfico de e, de
]. Indique a
forma anloga ao das alneas anteriores, construa um retngulo [
rea do retngulo e identifique as transformaes no grfico de que justificam o
valor obtido para a rea.
6.4
1. Considere as funes e definidas por

e
.
1.1. Defina as funes

e
, indicando os respetivos domnios e uma expresso
analtica tanto quanto possvel simplificada para cada uma das funes.
1.2. Tendo em conta a alnea anterior, o que pode afirmar acerca da comutatividade
da composio de funes?
2. Diz-se que duas funes e so permutveis quando
.
2.1. Mostre que as funes definidas em por
e
so
permutveis.
2.2. * D exemplo de duas funes afins e cujos grficos se intersetem num ponto
da bissetriz dos quadrantes mpares. Mostre que e so permutveis.
Pgina 48
3. *Considere a funo afim que, para dados valores reais

e , definida por
. Determine a expresso analtica da funo inversa de e indique em que
condies se tem
. Interprete geometricamente esta igualdade.
4. *Dados
,
considere a funo quadrtica definida por
4.1 Mostre que admite um nico extremo absoluto.
4.2 Prove que, se a funo tiver dois zeros, a abcissa do vrtice da parbola (isto , o
ponto do grfico de que corresponde ao respetivo extremo absoluto) de
equao
igual mdia aritmtica dos zeros.
5. Um cone reto tem altura igual ao triplo do raio da base e volume
5.1. Designando por o raio da base, exprima em funo de .
5.2. Determine para que valor de , a rea da base igual a
6. *Na figura est representada, num referencial
ortonormado, parte do grfico da funo
definida por
e que interseta o
eixo
no ponto .
O ponto pertence ao grfico da funo e
um ponto do eixo
tal que e de
abcissa superior abcissa de .
Representando a abcissa do ponto por , exprima em funo de a rea do tringulo
[
] e determine para que valor de a rea do tringulo igual a .
7. Considere a funo
definida por:
{
7.1. Calcule
7.2. Averigue se a funo
.
tem zeros.
8. Um projtil lanado verticalmente e a respetiva altura (em metros acima do solo)

dada, em funo de , (em segundos aps o instante inicial
) por
.
8.1. Qual a altura do projtil no instante em que foi lanado?
8.2. Qual a altura mxima atingida pelo projtil?
8.3. Quanto tempo esteve o projtil a uma altura superior a
metros?
8.4. Ao fim de quanto tempo o projtil atingiu o solo? Indique o resultado em segundos
arredondados s dcimas.
9. Considere as funes
e
definidas, respetivamente, por
em
[
[ e
em .
9.1. Esboce o grfico das funes e .
9.2. Determine os zeros de .
9.3. Utilizando a calculadora grfica, determine valores aproximados s dcimas das
solues da equao
, justificando por que razo existem exatamente
duas solues.
10. O raio
de uma superfcie esfrica de rea
definido pela expresso
Utilizando esta expresso,

10.1. Determine o raio de uma superfcie esfrica de rea igual a
Pgina 49
10.2. Mostre que o volume da esfera de raio
pode ser definido pela expresso
.
10.3. Determine para que valor de
respetiva superfcie esfrica.
o volume da esfera igual a metade da rea da
11. Na figura junta est representada, num plano

munido de um referencial ortonormado, parte do
grfico da funo definida por
e o ponto de coordenadas
.
Considere a funo que associa a cada a
distncia entre e o ponto do grfico de de
abcissa .
11.1. Prove que para todo ,
.
11.2. Sabendo que existem exatamente dois

pontos do grfico de que distam uma
unidade de , indique o valor exato da
abcissa de um deles e utilize a
calculadora grfica para obter um valor
aproximado s dcimas da abcissa do
outro, explicando o procedimento
utilizado.
11.3. Existe um ponto em que os grficos de e de se intersetam. Determine-o por
mtodos analticos e interprete geometricamente o resultado obtido.
6.5
1. Nas figuras esto representadas duas funes
e .
1.1. Indique o domnio de cada uma das funes.

1.2. Indique o domnio da funo
e calcule
1.3. Indique o domnio de
e calcule

e
2.1. Determine o domnio de cada uma das funes e .

2.2. Determine o domnio da funo
e determine os zeros de .
2.3. Determine
( )

Determine o domnio da funo .
Pgina 50
Estatstica EST10
Descritor
Texto de Apoio
1.1
1.2
1.3
1.4
Comentrio
A incluso destes descritores como prembulo ao bloco de estatstica do 10. ano tem como
objetivo, nomeadamente, dar agilidade aos alunos na manipulao de somatrios para que lhes
venha a ser mais fcil demonstrar as principais propriedades da mdia e do desvio padro de
uma amostra.
1. Proponha uma expresso analtica para o termo geral da sequncia (6, 9, 12, 15, 18,
21, 24) e, utilizando o smbolo de somatrio, represente a soma dos respetivos termos.
2. Sabendo que
, exprima em funo de
e de
o valor de
.
2.1
Comentrio
Aps nove anos de contacto com o tpico de organizao e tratamento de dados, a
classificao de uma varivel estatstica como sendo de tipo quantitativo ou qualitativo , no
10. ano, um conhecimento que se considera como adquirido. As variveis de tipo quantitativo
(de contagem, de medio, financeiras, ou outras) so as que permitem um mais elevado nvel
de complexidade na modelao e anlise estatstica e, por isso, se dedica, no programa de 10.
ano, uma especial ateno a este tipo de variveis.
2.2
Comentrio
O resultado do processo de recolha de uma amostra , de dimenso , de uma certa populao
e registo do valor observado da varivel estatstica de interesse em cada unidade estatstica
de , pode ser formalizado matematicamente, como um conjunto onde os elementos so pares
ordenados cujas coordenadas so a unidade estatstica e o respetivo valor da varivel de
interesse. No entanto, de modo a normalizar uma notao que permita apresentar frmulas de
clculo para as diversas caractersticas amostrais que iro ser trabalhadas neste tpico da
Estatstica, comea-se por numerar as unidades estatsticas (de 1 a ) representando-se em
seguida por o valor da varivel no i-simo elemento de . Obtm-se assim o conjunto de
dados {
} que, matematicamente se pode identificar com a sequncia
e que aqui se representar por . Designa-se ento
por
amostra da varivel estatstica ou, simplesmente por amostra, sempre que no houver
ambiguidade.
2.3
2.4
Comentrio
Os descritores 2.3 e 2.4 tm por objetivo a fixao de notao no que se refere frmula de
clculo da mdia. No caso de dados organizados em tabelas de frequncia (dados agrupados)
situao comum quando se est perante dados de contagem, o conjunto dos valores que
surgem na amostra representado por . Note-se que no conjunto dos valores da amostra no
surgem elementos repetidos. Por exemplo, o conjunto dos valores da amostra
Caderno de Apoio EST10
Pgina 51
{
}. Os elementos de so denotados por
, onde o total de valores da
amostra, e a frequncia absoluta de denotada por
No exemplo dado poderemos
escrever
e
2.5
2.6
Comentrio
O descritor 2.6 tem por objetivo ilustrar de forma rpida quo pouco resistente a mdia como
estatstica de localizao. A interpretao fsica da mdia como o centro de gravidade de um
objeto simblico constitudo por um segmento da reta real com pesos nas localizaes de cada
um dos valores distintos da amostra, sendo a massa desses pesos igual frequncia de cada um
desses valores, permite criar uma imagem visual da localizao da mdia e dar exemplos de
como um nico valor muito maior (menor) que todos os restantes consegue arrastar a mdia
de modo a que a esta seja superior (inferior) a todos os valores da amostra menos um.
0
10
20
30
40
50
Com esta representao fsica ilustra-se ainda a seguinte propriedade:

a mdia situa-se sempre entre o mximo e o mnimo da amostra e no pode ser igual ao
mnimo sem ser tambm igual ao mximo, o que acontece se e somente se a amostra for
constante.
1. * Considere a amostra
{
1.1.
1.2.
1.3.
1.4.
e seja
} e
}.
Justifique que
e que
Conclua que se tem
.
Mostre que se
ou
ento a amostra constante.
Conclua da alnea anterior que se algum valor da amostra for superior a
pelo que s se tem

se a amostra for constante.
3.1
ento
Comentrio
O desvio de cada valor da amostra relativamente mdia elemento nuclear na definio do
mais importante indicador estatstico de disperso dos valores da amostra, o desvio-padro. A
demonstrao de que nula a soma desses desvios recorre unicamente a uma manipulao
simples dos somatrios e pode por isso considerar-se como exerccio.
3.2
Comentrio
Nas cincias experimentais das reas da biologia e da sade, uma das mais utilizadas
metodologias estatsticas de comparao de resultados de experincias, realizadas em
condies de aplicao diferentes, a chamada Anlise de Varincia ou simplesmente ANOVA.
Esta metodologia foi formalmente apresentada pela primeira vez por Sir Ronald Fisher em 1918
mas s ficou mais largamente conhecida depois da publicao, em 1925, do seu livro
Statistical Methods for Research Workers. Ora, a Anlise de Varincia recorre
Pgina 52
fundamentalmente a propriedades das somas dos quadrados dos desvios em relao mdia
pelo que, dado que muitos alunos iro certamente utiliz-la ao prosseguirem estudos no ensino
superior e uma vez que a partir dessas somas de quadrados que se define a varincia, incluiuse este descritor onde se fixa notao e se estabelece uma frmula de clculo equivalente e de
mais fcil manipulao.
3.3
Comentrio
Este descritor tem por objetivo dar a conhecer uma importante propriedade de
que se
traduz, essencialmente, em dizer que somente
das suas parcelas so independentes pois
a parcela restante fica determinada pelo facto de ser nula a soma dos desvios em relao
mdia (ver descritor 3.1). Note-se que, alm disso, menos do que
parcelas de
no
determinam o valor das restantes.
1. Para uma certa amostra
para
, conhecem-se os desvios
:
,
,
,
1.1. Determine o valor de .
1.2. Calcule a soma dos quadrados dos desvios,
.
1.3. Sabendo que
, identifique a amostra
e calcule o valor da respetiva
mdia.
2. Justifique as sucessivas passagens na seguinte sequncia de igualdades:
3.5
1. Registou-se a altura, em cm, de
para metros. Calcule

2. *Dado
um
nmero
e
real
raparigas e obteve-se a seguinte amostra:

. Seja a amostra das alturas das 5 raparigas, convertidas
e verifique que
= 10000
.
,
considere
as
amostras
. Utilizando a frmula de clculo de
somatrios, mostre que

.
e propriedades dos
3. Uma certa balana tem um desvio positivo sistemtico de . Pesaram-se nessa balana
laranjas, uma de cada vez e registou-se o seu peso em gramas. Obteve-se a amostra
. Seja a amostra dos verdadeiros pesos de cada uma das 4
laranjas. Calcule
e
e mostre que
=
4. *Considere as amostras
nmero real. Utilize a frmula de clculo de

mostrar que
.
onde
um
e propriedades dos somatrios para
Pgina 53
Comentrio
Dado que a soma dos quadrados dos desvios em relao mdia tanto menor quanto mais
prximos da mdia estiverem os valores da amostra, a soma dos quadrados dos desvios em
relao mdia fornece, por isso, uma medida da disperso ou variabilidade da amostra.
Como propriedades da soma dos quadrados dos desvios em relao mdia, destaca-se o facto
de s ser nula se todos os valores da amostra forem iguais entre si, no se alterar perante
translaes e alterar-se perante uma mudana de escala ou de unidade de medida.
3.6
1. Considere a amostra
1.1. Calcule
utilizando a definio.
1.2. Organize os dados numa tabela de frequncias e verifique que, sendo
frequncias de cada um dos valores da amostra,

=
.
2. Considere uma amostra

amostra .
Justifique que
de dimenso
3.9
os
as
valores da
Comentrio
Como j foi referido, a soma dos quadrados dos desvios em relao mdia fornece uma
medida da disperso da amostra mas, por ir aumentando medida que se incluem novos
elementos, no um bom indicador da variabilidade existente nos valores da varivel
estatstica de interesse na populao de onde se recolheu a amostra.
3.11
Comentrio
Independentemente da dimenso da amostra , o par
d uma informao relevante
acerca da distribuio da amostra. Mais precisamente, fornece-nos uma estimativa (por

excesso) da percentagem de unidades estatsticas que tm valores da varivel de interesse
fora de intervalos fechados centrados na mdia da amostra.
De facto, decorre de um resultado devido a Chebycheff (1867) que, sendo
o nmero de
unidades estatsticas cujos valores da varivel de interesse esto fora do intervalo [
], ento
sempre inferior a
estatsticas cujos valores da varivel

sempre superior a
. De igual modo, sendo
pertencem ao intervalo [
o nmero de unidades
], ento
Pgina 54
Exemplo:
De uma certa populao recolheu-se a amostra de unidades estatsticas e registou-se os
valores da varivel de interesse. Obteve-se como mdia da correspondente amostra o
valor
e como desvio padro
. Fazendo
no resultado apresentado neste
descritor, estas duas caractersticas amostrais permitem-nos dizer que no h mais de 25% das
unidades estatsticas de com valores fora do intervalo [
]. Assim, 25% uma estimativa,
por excesso, da percentagem de unidades estatsticas que tm valores fora do intervalo [
].
Podemos tambm dizer que igual a 75% uma estimativa, por defeito, da percentagem de
unidades estatsticas de cujos valores pertencem ao intervalo [
].
Embora no se estude o referido teorema de Chebycheff, no exemplo seguinte apresenta-se

uma demonstrao direta do resultado expresso neste descritor.
1. ** De uma certa populao recolheu-se a amostra , de dimenso , de unidades

estatsticas e registou-se os valores da varivel de interesse. Sem perda de generalidade,
admita que numera as unidades estatsticas de modo a que sejam atribudos os nmeros de
a aquelas cujos valores da varivel esto fora do intervalo [
], onde o
desvio padro da amostra.
1.1. Justifique que, para
, se tem |
|
, pelo que, tambm,
.
1.2. Conclua da alnea anterior que
.
1.3. Justifique que tambm se tem
, onde a dimenso da
amostra.
1.4. Tendo em conta a frmula de clculo da varincia, conclua que a desigualdade
anterior equivalente a
, pelo que tambm se tem
, ou seja,
desde que no seja nulo.
1.5. Considere agora o intervalo na forma geral [
] e deduza que, nesse

caso, a ltima desigualdade passa a ter a forma
4.1
Comentrio
No ensino bsico os alunos j tiveram de recorrer ordenao de conjuntos de dados,
nomeadamente para calcular as respetivas mediana e quartis. Este descritor fixa a notao para
os termos de uma amostra ordenada.
Por
exemplo,
dada
amostra
onde, por exemplo,
amostra
ordenada
Pgina 55
4.2
4.3
Comentrio
Tome-se, a ttulo de exemplo, a amostra
referente aos pesos,
em gramas, de 5 mas. Como foi anteriormente referido, a ordem por que surgem os valores
na sequncia pressupe que de alguma forma foi escolhida uma primeira ma para ser pesada
e registado o respetivo peso, em seguida ter-se- escolhido uma segunda ma que, mais uma
vez, foi pesada e registado o seu peso e, assim sucessivamente, at estarem pesadas todas as
mas e registados todos os pesos.
110
150
180
200
150
Ordenando as mas pelo peso respetivo, obtm-se a amostra de mas (unidades estatsticas)
ordenada de acordo com os valores da varivel de interesse (o peso).
110
150
150
180
200
Por sua vez, no que respeita varivel peso, a amostra ordenada
De modo a clarificar a noo de percentil, considere-se o caso concreto do percentil 30. De

acordo com a definio, uma vez que
, o percentil 30 o valor de ordem [ ]
da amostra ordenada, ou seja,
(gramas). J o percentil 80, por exemplo, uma
vez que
(inteiro), dado por
gramas.
Note-se que o percentil no tem, obrigatoriamente, de ser um dos valores da amostra. , no

entanto, um valor que verifica o seguinte:
Dada uma amostra de uma certa populao e uma varivel estatstica de interesse, a
percentagem de unidades estatsticas de que tm valores inferiores ou iguais a , pelo
menos
e a percentagem de unidades estatsticas que tm valores superiores a , quando
muito,
.
No exemplo dado, podemos ento dizer que, pelo menos 80% das mas tm pesos inferiores
ou iguais ao percentil 80 (190 gramas) e que, no mximo, 20% das mas tm pesos superiores
ao percentil 80. Como facilmente se confirma, tem-se, neste caso, exatamente 80% das mas
com peso inferior ou igual a 190 gramas (4 mas em 5) e temos exatamente 20% com peso
superior a 190 gramas (1 ma em 5). No entanto, se analisarmos o caso do percentil 30, as
afirmaes, sendo verdadeiras, esto longe de fornecer limiares precisos. De facto, verdade
que pelo menos 30% das mas tm peso inferior ou igual a 150 gramas, no entanto a
percentagem das que verificam esta condio 60% (3 mas em 5). Tambm verdade que,
no mximo, 70% das mas pesam mais do que 150 gramas, mas este caso concreto mostra
Pgina 56
que essa percentagem , apenas, de 40% (2 mas em 5). Discrepncias desta natureza nos
limiares dados pelos percentis ocorrem em amostras onde haja duas ou mais unidades
estatsticas com valores idnticos e, por esse motivo, a descrio de uma amostra atravs de
percentis especialmente apropriada no caso das variveis de natureza contnua (como o
caso da altura e peso de bebs, onde a referncia aos percentis j de uso comum).
4.4
A definio de percentil para dados organizados em classes pode ter como suporte visual o
histograma. Recorde-se que o histograma um diagrama de reas para o qual h uma relao
de proporcionalidade direta entre a rea de cada retngulo e a frequncia (absoluta ou
relativa) da respetiva classe. Quando uma amostra de dimenso est organizada em classes
de igual amplitude
consegue-se esse objetivo tomando para altura do retngulo, ou a
frequncia absoluta
, ou a frequncia relativa
. Quando as classes tm diferentes
amplitudes, a altura de cada retngulo tem de ser corrigida adequadamente dividindo a

frequncia (absoluta ou relativa) pela amplitude da respetiva base.
O descritor 4.4 apresenta uma forma de se obter o percentil de ordem para dados
organizados em classes que corresponde a determinar o ponto do eixo das abcissas para o qual
a rea acumulada igual a
da rea total. Admite-se apenas o caso de organizao em
classes de igual amplitude mas a abordagem facilmente generalizvel a casos em que as
classes tenham amplitudes diferentes.
Observe-se que, no caso em que as classes tm igual amplitude e em que se toma como altura
de classe a frequncia absoluta, a rea total do histograma . Pretende-se ento encontrar o
ponto tal que a rea do histograma, desde o limite inferior do primeiro intervalo de classe at
esse ponto , seja igual a
A figura seguinte ilustra a localizao do percentil 70. De facto, tendo em conta que as classes
tm igual amplitude e que a rea de cada retngulo a assinalada nas etiquetas respetivas,
podemos concluir que a rea total igual a 40, pelo que a rea correspondente ao percentil 70
28. Acumulando sucessivamente as reas dos retngulos a partir do primeiro, verifica-se que
a soma das reas dos dois primeiros retngulos estritamente inferior a 28 mas que ao
adicionar a rea do terceiro retngulo esse valor excedido. Assim, o percentil 70 localiza-se no
intervalo [ [ , mais precisamente, de modo a verificar-se a igualdade
. Resolvendo esta equao obtm-se
, ou seja,
Pgina 57
5.1
1. Contou-se o nmero de folhas em cada uma de

plantas do tabaco (Havano). Os
resultados esto registados na Tabela a seguir apresentada.
Nmero de Folhas
17
18
19
20
21
22
23
24
Nmero de Plantas
3
22
44
42
22
10
6
1
Calcule a mdia, a soma dos quadrados dos desvios em relao mdia, a varincia e o
desvio padro do nmero de folhas destas plantas.
2. Num estudo sobre a resistncia individual ao esforo fsico, submeteram-se dois grupos de
indivduos a dois aparelhos diferentes (bicicleta-ergmetro e passadeira rolante), medindose o tempo (em minutos) at ao consumo mximo de oxignio. Os resultados foram os
seguintes:
Bicicleta : amostra
Passadeira: amostra
2.1 Calcule e e, com base nestes valores e na dimenso das duas amostras, calcule
a mdia da amostra conjunta .
2.2 Calcule
e
, indique os respetivos graus de liberdade e verifique que
.
2.3 Para qual dos aparelhos foi observada uma maior variabilidade nos tempos at ao
consumo mximo de oxignio?
ordenada, (
), e admita que se substitui o
mximo da amostra por um valor

com
. Determine o menor valor de
que faz com que a mdia da nova amostra fique superior a
Considera que neste caso
a mdia traduz bem a localizao central da amostra? Justifique.
3. *Considere uma amostra
4. De acordo com dados histricos, a amostra das temperaturas mnimas dirias em Lisboa
durante os meses de janeiro dos anos 2000 a 2010 tem uma mdia igual a 10 o e um desvio
padro igual a 3o. Indique um limite superior para a percentagem de dias em que a
temperatura mnima foi inferior a 0o.
Comentrio
As seguintes atividades permitem ilustrar junto dos alunos, de uma forma heurstica, duas
importantes propriedades da mdia enquanto estimativa do correspondente parmetro da
populao. Quando se est interessado em conhecer a mdia dos valores que uma certa
varivel estatstica assume quando se considera a totalidade das unidades estatsticas de uma
populao (mdia populacional) partindo, para tal, de uma amostra e dos respetivos
valores na varivel , importante ter-se a noo de quais os fatores que condicionam a maior
ou menor aproximao da mdia amostral mdia populacional.
Pgina 58
Para ilustrar que a mdia amostral converge, em certo sentido, para a mdia populacional
medida que aumenta da dimenso da amostra, basta recorrer a uma lista de nmeros pseudo-aleatrios e a uma regra de correspondncia entre cada um destes nmeros e cada uma das
unidades estatsticas da Populao. Desta forma ser possvel conduzir a seguinte experincia:
- Selecionam-se ao acaso amostras de dimenso , calcula-se a mdia de cada uma delas e
representa-se graficamente num diagrama de pontos.
- Repete-se o procedimento, considerando agora uma dimenso > para qualquer das
amostras , calculam-se as mdias e representam-se no mesmo grfico em que se representou
as mdias do passo anterior. As mdias do grupo de amostras de maior dimenso iro localizarse tendencialmente mais perto umas das outras e tambm mais perto da mdia populacional, o
que significa que a mdia ganha preciso medida que a dimenso da amostra aumenta.
Para se mostrar empiricamente o impacto da disperso populacional, mais precisamente, do
valor do desvio-padro obtido a partir dos valores da varivel estatstica em todas as unidades
estatsticas da populao, necessrio partir-se de duas populaes para as quais faa sentido
medir (na mesma unidade) alguma varivel estatstica de interesse comum e que tenham
valores dos respetivos desvios-padro suficientemente diferentes. De cada uma das populaes
selecionam-se amostras de uma mesma dimenso e representam-se graficamente as
respetivas mdias. Ilustrar-se- assim uma outra propriedade da mdia segundo a qual ela
to mais precisa quanto menor for o desvio padro populacional.
5. D um nmero de 1 a N a cada aluno da sua turma (N o total de alunos) e registe numa

lista a altura de cada um deles.
5.1. Utilizando a calculadora, selecione aleatoriamente 5 alunos da turma e calcule a
mdia das alturas respetivas. Repita o procedimento 10 vezes e represente num
diagrama de pontos cada uma das mdias obtidas e tambm a mdia das alturas
de todos os alunos da turma.
5.2. Aumente a dimenso das amostras recolhidas para 12 e, tal como no item
anterior, repita o procedimento 10 vezes calculando em cada passo a mdia das
alturas dos alunos selecionados. Compare o novo diagrama de pontos com o
anterior e tire concluses.
6. Fez-se um estudo acerca do peso de 50 bbs do sexo masculino no momento do
nascimento e obtiveram-se os seguintes dados:
3,217
3,986
2,822
3,465
4,075
3,749
4,083
3,383
3,683
3,262
3,337
3,235
3,088
3,473
3,537
3,238
3,446
3,601
3,223
2,641
3,510
3,643
4,061
2,861
4,075
3,434
2,876
3,478
3,766
3,173
3,404
3,187
3,006
3,473
3,730
3,229
3,696
3,130
3,822
2,649
3,568
3,991
3,770
3,219
3,754
3,558
2,117
3,185
2,806
3,608
6.1. Registe estes dados numa folha de clculo e atribua-lhes um nmero de ordem.
6.2. Determine a mdia populacional e o desvio-padro.
Pgina 59
6.3. Utilizando os nmeros de ordem atribuidos em 6.1., selecione uma amostra

aleatria de
dados, determine a mdia amostral e o desvio-padro amostral e
compare-os com a mdia e desvio padro da populao.
(A folha de clculo Excel tem uma funo
que
permite gerar aleatoriamente nmeros compreendidos entre dois nmeros
dados e . (a=1 e b=10). Se arrastar a clula onde obteve o primeiro nmero,
para outras linhas ou colunas, obtm mais valores.)
6.4. Selecione agora aleatoriamente uma amostra de
dados, determine a mdia
amostral e o desvio-padro amostral e compare estes valores com os obtidos na
alnea anterior e com os relativos populao.
5.2
1. Os seguintes dados referem-se durao, em minutos, do percurso casa-escola realizado

num dado dia por uma amostra aleatria de 32 alunos de uma escola secundria.
12
9
23
45
7
32
21
7
44
20
8
19
16
62
41
37
22
18
36
65
12
29
15
6
11
35
49
18
5
13
17
44
1.1. Ordene os dados da amostra e determine os percentis 50, 25 e 75.

1.2. Determine, dos 30% percursos com maior durao, aquele que tem menor
durao.
1.3. A que percentil pertence o percurso com 36 minutos?
2. Na seguinte tabela esto representados dados relativos ao peso (kg) de 60 crianas do sexo
masculino com 20 meses de idade e acompanhadas num determinado centro de sade.
8,3
11,9
10,2
14,7
9,2
15,1
12,1
15,7
13,0
12,6
9,5
9,9
10,4
10,9
15,1
11,4
10,1
11,6
14,5
16,2
14,8
8,9
9,1
12,9
12,1
10,3
11,6
9,9
14,4
15,7
15,3
9,6
12,7
8,1
15,0
2.1
2.2
2.3
2.4
2.5
2.6
Agrupe os dados em classes de amplitude 2.

Construa o respetivo histograma.
Utilizando o histograma, determine os percentis de ordem 10, 15, 50, 75 e 85.
Identifique a que percentil pertence o dado 11,4.
Quantas crianas deste estudo tm peso inferior ao percentil 75?
Qual a criana com peso mais elevado do conjunto das que tm os pesos 20% mais
baixos?
2.7 Compare os valores obtidos com os valores estabelecidos pela organizao
mundial de sade em 2006 e indicados na tabela junta.
percentil
Peso (kg)
0,1
10
15
50
85
97
99,9
8,0
9,2
9,4
9,8
10,1
11,3
12,7
14,0
16,0
Pgina 60

Caderno de Apoio 10º Ano

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Caderno de Apoio 10º Ano

Uploaded by

Copyright:

Available Formats

METAS CURRICULARES PARA O ENSINO SECUNDRIO MATEMTICA A

Caderno de Apoio 10. ano Introduo

Caderno de Apoio LTC10

Caderno de Apoio LTC10

1. Considere proposies e tais que falsa e

Caderno de Apoio LTC10

verdadeira. Indique o valor lgico

2. Considere proposies e . Simplifique as seguintes expresses que definem proposies

e sabendo que a proposio:

uma proposio verdadeira. Qual o valor lgico

Informao Complementar para o professor

Caderno de Apoio LTC10

Caderno de Apoio LTC10

pretendendo-se, com esta apresentao, indicar a conjuno de todas as equivalncias

com o significado de:

Caderno de Apoio LTC10

de salientar a importncia do uso correto da implicao e da equivalncia, em conjunto com o

2. Para cada uma das condies

1. Escreva afirmaes equivalentes negao das seguintes proposies, utilizando as

3. Mostre que as seguintes afirmaes so falsas, apresentando um contra-exemplo:

Caderno de Apoio LTC10

4. *Dado um conjunto e uma proposio

Informao Complementar para o professor

Caderno de Apoio LTC10

elementos sejam exatamente determinados objetos

Embora, evidentemente, as sequncias

sejam, duas a duas,

Informao Complementar para o professor

Caderno de Apoio LTC10

. Utilizando as segundas Leis de De Morgan, mostre que

1. Indique o valor lgico das seguintes proposies:

3.1. Indique o valor lgico de cada uma delas.

Caderno de Apoio LTC10

1. Considere as seguintes condies definidas em :

3. Considere os seguintes conjuntos:

Caderno de Apoio LTC10

Caderno de Apoio LTC10

no divisvel por , ento

1. Sendo e dois nmeros reais tais que

um nmero natural par e e nmeros reais positivos tais que

membros desta equao repetidas vezes por , vamos obtendo sucessivamente

Caderno de Apoio ALG10

Esta frmula generaliza um dos chamados casos notveis da multiplicao (caso

1. Racionalize os denominadores das seguintes fraes:

Caderno de Apoio ALG10

s faz sentido se se souber a

2. *Prove que, sendo

que para uma outra representao

, para qualquer nmero real positivo .

nmeros naturais tais que

1. Considere um nmero no negativo . Pretende-se dar uma definio de potncia de base

? [Sugesto: No caso em que

tem de ser um valor no negativo, observando que a

pode sempre ser escrito como o

1.3 Qual deve ser necessariamente o valor de

2. **Justifique que, dado um nmero real

um nmero real positivo. J vimos que

encontra definido de modo coerente como sendo igual a .

Caderno de Apoio ALG10

1. Sejam e nmeros reais positivos. Mostre, utilizando as propriedades estudadas das

1. Simplifique as seguintes expresses:

2. *Justifique cada uma das seguintes igualdades:

3. **Escreva cada uma das seguintes expresses na forma:

Caderno de Apoio ALG10