Matemática 12 Ano

METAS CURRICULARES PARA O ENSINO SECUNDRIO MATEMTICA A
Caderno de Apoio
12. 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 12. ano Introduo
Pgina 1
12. ANO
Nveis de Desempenho
Clculo Combinatrio CC12
Descritor
Texto de Apoio
1.1
Comentrio
O reconhecimento da primeira propriedade referida neste descritor pode ser efetuado, a nvel
elementar, observando um diagrama de Venn. Uma demonstrao mais formal pode ser
obtida, por exemplo, resolvendo o exerccio seguinte, em que se pretende utilizar
explicitamente a definio de incluso e as propriedades conhecidas das operaes lgicas.
1. *Demonstre sucessivamente os resultados expressos nas seguintes alneas:
)
)
1.1 Sendo e proposies,
equivalente a (
e tambm a (
.
1.2 Dados conjuntos e ,
se e somente se
e se e somente se
.
1.3 O conjunto vazio est contido em qualquer conjunto.
2.1
Informao Complementar para o professor

Inicia-se o objetivo geral relativo aos factos mais elementares da Combinatria enunciando a
relao bsica entre a noo de cardinal de um conjunto e a noo de bijeo, fundamento de
todas as operaes de contagem que constituem o Clculo combinatrio. Ao dizer-se que
dois conjuntos e tm o mesmo cardinal se e somente se existir uma bijeo de sobre
enuncia-se, na linguagem das aplicaes entre conjuntos, um princpio que utilizado
desde que, no primeiro ano de escolaridade, se comearam a introduzir os nmeros naturais e
a efetuar contagens.
A relao de equipotncia assim definida entre conjuntos pode ser interpretada como uma
relao binria num dado domnio e fcil concluir que se trata sempre de uma relao de
equivalncia ( reflexiva porque a aplicao identidade num dado conjunto uma bijeo,
simtrica porque a inversa de uma bijeo uma bijeo e transitiva uma vez que a
composio de bijees uma bijeo); cada classe de equivalncia para uma dessas relaes
num domnio pr-fixado constituda por conjuntos que, por definio, tm todos o mesmo
cardinal.
Note-se que nunca definimos concretamente o que o cardinal de um conjunto e neste
descritor apenas se formaliza finalmente o que significa dois conjuntos terem o mesmo
cardinal, embora esta ideia, como foi referido, j venha a ser utilizada, na prtica e de forma
intuitiva, desde o incio do 1. ciclo do ensino bsico. Se fosse possvel considerar o conjunto
de todos os conjuntos poderamos identificar o cardinal de um dado conjunto como a classe
de equivalncia de para a relao de equipotncia definida para todos os conjuntos; foi essa
a tentativa de formalizao da aritmtica que esteve subjacente a uma primeira verso dos
Principia Mathematica de Alfred North Whitehead e Bertrand Russel (obra publicada em trs
volumes entre 1910 e 1913). Pouco antes da publicao do primeiro volume, Russel apercebeu-se da incongruncia lgica da teoria ingnua dos conjuntos (baseada na obra anterior de
Gottlob Frege), subjacente a esta definio, ao descobrir o clebre paradoxo a que deu o nome
(cf. Caderno de Apoio 10. ano, texto de apoio ao descritor LTC10-2.1), tambm concretizado
no conhecido paradoxo do barbeiro. Ainda a tempo, a obra foi remodelada com a introduo
da teoria dos tipos lgicos, com a qual se procurou ultrapassar as dificuldades inerentes ao
paradoxo de Russel.
Caderno de Apoio CC12
Pgina 2
Outra possibilidade, adotada em algumas das atuais teorias dos fundamentos da Matemtica,
consiste em comear por considerar a relao de equipotncia como uma condio com duas
variveis, embora no exista o conjunto dos pares ordenados que satisfazem essa condio
(caso contrrio existiria, por exemplo, o conjunto das respetivas primeiras coordenadas que
seria o conjunto de todos os conjuntos). Dado um conjunto qualquer, o cardinal de , ,
ento definido a partir da condio (em ) equipotente a , aplicando-lhe o chamado
smbolo de escolha de Hilbert, muitas vezes representado pela letra grega com a varivel da
condio em ndice e cujo resultado, intuitivamente, consiste em escolher ou seja, fixar de
uma vez por todas, um dos objetos que satisfaz a condio a que se aplica o referido smbolo,
se a condio for possvel, ou (em certas formulaes) um objeto sem qualquer restrio se a
condio for impossvel. Assim, por definio teramos:
(
Os nmeros naturais, neste quadro, podem ento ser definidos simplesmente como os
cardinais dos conjuntos finitos no vazios (e o nmero como o cardinal do conjunto vazio),
definindo-se conjunto finito como um conjunto que no equipotente a uma sua parte estrita
(o conjunto dos nmeros naturais, de acordo com esta definio, de facto infinito, ou seja,
no finito, j que, por exemplo, equipotente ao conjunto dos nmeros pares). Note-se que,
com esta formulao, uma vez que o nico conjunto equipotente ao conjunto vazio o prprio
conjunto vazio, como facilmente se prova, temos mesmo:
.
No que diz respeito aos resultados bsicos da combinatria, importa assinalar que o processo
geral para contar o nmero de elementos de determinado conjunto estabelecer uma
correspondncia biunvoca (ou seja, definir uma bijeo) entre o conjunto que se pretende
contar e um conjunto cujo cardinal , de algum modo, j conhecido. Trata-se muito
simplesmente de uma extenso natural dos processos mais elementares de contagem, que
utilizam, para conjuntos-padro, por exemplo, os dedos das mos ou a lista dos nomes dos
nmeros, que se obtm pela memorizao de um conjunto de palavras-base e de regras de
formao dos nomes dos nmeros consecutivos a partir dessas palavras, ou ainda as respetivas
representaes simblicas, utilizando um dado sistema de numerao.
2.2

Uma vez que a adio de nmeros naturais foi introduzida num nvel muito elementar de
escolaridade (de facto logo no 1. ano do Ensino Bsico) e portanto, necessariamente, de modo
informal (ainda que traduzindo as caractersticas essenciais desta operao), este descritor
pode considerar-se como uma possvel definio rigorosa de adio, at para quaisquer
cardinais, embora aqui nos interessem particularmente os finitos, ou seja os que se identificam
com nmeros naturais ou com o zero. Com efeito, dados dois quaisquer conjuntos e fcil
definir conjuntos e respetivamente equipotentes a e a mas agora, garantidamente,
{ }e
{ }; assim, a
com interseo vazia, bastando, por exemplo, tomar
igualdade
(
quando lida da direita para a esquerda, pode ser interpretada como uma definio de soma
do cardinal de com o cardinal de (e portanto, se, em particular, e forem finitos, da
) no
soma de dois nmeros inteiros no negativos). Com efeito, fcil verificar que (
depende da escolha dos conjuntos e , desde que se mantenham as propriedades de serem
respetivamente equipotentes a e a e de terem interseo vazia.
Pgina 3
2.3
Comentrio
Tal como a adio, tambm a multiplicao de nmeros naturais foi introduzida logo na fase
inicial do 1. ciclo do Ensino Bsico (no 2. ano), apresentando-se essencialmente dois
processos para se obter o produto
de um nmero natural por um nmero natural :
considerar a soma de parcelas iguais a ou considerar o nmero de pares que se podem
formar escolhendo um dos elementos do par num conjunto com elementos e o segundo
num conjunto, disjunto do primeiro, com elementos (cf. Metas curriculares de Matemtica
para o Ensino Bsico, NO2-7.1 e 7.3).
No programa do 2. ano de escolaridade (cf. Metas curriculares de Matemtica para o Ensino
Bsico, NO2-7.5) considerou-se a disposio, numa malha retangular, de um certo nmero de
objetos, mostrando-se que esse nmero pode ser calculado como o produto, por qualquer
ordem, do nmero de linhas pelo nmero de colunas; do mesmo modo, cada um dos ns
dessa malha, pode representar um par formado por um objeto associado coluna e por um
objeto associado linha que se intersetam nesse n. Nessa fase consideraram-se conjuntos
disjuntos para se efetuarem os emparelhamentos, por no se dispor ainda da noo de par
ordenado, pelo que os pares aqui referidos eram apenas entendidos como conjuntos com dois
elementos que podiam assim ser materializados pela conjugao, com algum objetivo prtico,
de dois objetos distintos (por exemplo, conjuntos cala-camisola).
Assim, com estas observaes elementares, chegou-se noo de produto de nmeros
naturais e respetiva utilizao para contagens de conjuntos de pares, que podem agora ser
assimilados a conjuntos de pares ordenados, associando primeira posio do par ordenado
um dos conjuntos em que se escolhem os objetos a emparelhar e a segunda posio ao outro
conjunto. Podemos portanto, agora, traduzir os resultados a que se chegou nessa fase inicial do
Ensino Bsico dizendo que o cardinal do produto cartesiano igual ao produto dos cardinais
dos conjuntos fatores.
Esta ltima assero pode mesmo ser tomada como definio do produto de cardinais, finitos
ou infinitos; nesse caso nada haveria a provar quanto ao resultado expresso no descritor 2.3,
que seria o caso particular da definio geral de produto de cardinais em que os conjuntos so
finitos e no vazios.
No entanto, considerando a definio usual algbrica de produto de nmeros naturais acima
referida, ou seja,
como a soma de parcelas iguais a (
), identificando-se
uma soma com uma parcela com a prpria parcela, h que demonstrar o que foi
informalmente justificado no 1. ciclo do Ensino Bsico, a saber que, dados conjuntos finitos
e , se
e
, ento
. Para o efeito, podemos agora utilizar o
Princpio de induo matemtica e propriedades elementares da adio de nmeros naturais (a
prpria definio de produto pode ser formalizada pelo mtodo de recorrncia, caso no se
disponha previamente de uma definio rigorosa de soma de parcelas, a qual tambm
poderia ser dada por recorrncia).
Com efeito, fixado
, o resultado trivial para

, j que, nesse caso, por definio,
e, considerando um conjunto unitrio (i.e. com exatamente um elemento)
{ } e um conjunto qualquer, imediato que os conjuntos
e so equipotentes,
) de
pois obviamente uma bijeo a aplicao de
em que ao par (
associa o
elemento de .
Pgina 4
Para provar que a propriedade hereditria, suponhamos que vale para conjuntos finitos e
tais que
e
e provemos que, nesse caso, vale tambm para quaisquer
conjuntos e tais que
e
. Para isso, dados conjuntos e nessas
{ }; bvio que
{ }
condies, fixemos um elemento qualquer de e seja
{ }
{ }
e que
, pelo que
e portanto
.
)
Podemos assim aplicar a hiptese de induo aos conjuntos e ( (
) e
obtemos:
(
{ })
((
({ }
((
(
onde se utilizou o facto evidente (
porque no elemento de ).
))
({ }
({ }
(nenhum par (
) pode estar em
Nesta demonstrao utilizou-se, em particular, o resultado expresso no descritor 1.5, que

consequncia imediata das propriedades distributivas da disjuno em relao conjuno e
da conjuno em relao disjuno.
Esta propriedade pode naturalmente estender-se a um qualquer nmero de fatores. Com
efeito, comeando por trs fatores:
((
)
Alm disso, podemos representar (
por
identificando cada elemento
)
(
)
(
)
com o elemento
de
. Utilizando uma definio
((
) de
por recorrncia do produto cartesiano de
conjuntos poderia depois demonstrar-se
facilmente por induo o resultado geral para o cardinal desse produto cartesiano:
(
2.4
)
Comentrio
O resultado expresso no descritor 2.4 leva a que se utilize a notao

para representar o
conjunto das aplicaes do conjunto no conjunto . Este conceito tambm se pode
relacionar com o de produto cartesiano; com efeito, o produto cartesiano de conjuntos
(noo referida no final do texto de apoio ao descritor 2.3) pode identificar-se com o
conjunto das sequncias (
para todo o
e, com esta
) tais que
definio, se os conjuntos (para
) coincidirem todos com determinado conjunto
, ento podemos escrever:
{
} em que so exatamente as
j que este ltimo smbolo representa as aplicaes de {
{
}
sequncias (
acaba por representar o produto
) de elementos de . Assim
cartesiano iterado de fatores iguais a que poderia naturalmente tambm ser
representado pela potncia cartesiana
. Esta identificao j permite reconhecer o
resultado expresso neste descritor como caso particular da extenso a fatores do resultado
expresso no descritor 2.3, tambm referida no final do texto de apoio a esse descritor.
Pgina 5
Mais geralmente, dado um conjunto pode introduzir-se a expresso famlia indiciada em

como outro modo de designar os grficos das aplicaes com domnio , e pode representar-se
uma tal famlia com uma notao semelhante das sequncias ou sucesses, ou seja, por
a imagem de pela referida funo. Assim, dada uma famlia de conjuntos
( ) , sendo
( )
podemos definir o produto cartesiano da famlia com sendo o conjunto:
{( )
Deste modo, no caso particular em que os so todos iguais a determinado conjunto , a

notao
representa, coerentemente, o produto cartesiano de uma famlia indiciada em
constantemente igual a .
Apresentam-se em seguida exemplos de exerccios que tambm podem ser utilizados para o
reconhecimento da propriedade expressa neste descritor, com diferentes nveis de
generalidade e profundidade nas abordagens.
1. Conte quantas sequncias diferentes se podem formar inserindo 4 missangas num fio,
sabendo que as missangas tm 3 cores possveis: vermelho, verde e azul.
} e conjunto de chegada { }.
2. Considere todas as possveis funes de domnio {
2.1 Represente-as por diagramas de setas. Mostre que o nmero destas funes pode ser
escrito na forma de uma potncia de base e expoente natural.
2.2 Represente-as utilizando a notao habitual das sequncias.
2.3 Construa uma bijeo do produto cartesiano { } { } { } sobre o conjunto
destas funes.
2.4 *Generalizando o processo utilizado na alnea anterior mostre que, dados nmeros
naturais e existem
funes de domnio {
} e de conjunto de chegada
{
}, ou seja,
}.
sequncias de elementos com valores em {
2.5 *Justifique que, dados objetos, existem exatamente
formas distintas de efetuar
extraes sucessivas de um desses objetos, repondo o objeto escolhido aps cada
uma das extraes.
3. **Fixado um nmero natural , prove por induo matemtica (em ) que para todo o
nmero natural existem exatamente
funes de domnio num dado conjunto com
elementos e de conjunto de chegada com elementos e conclua que dados objetos,
existem exatamente
formas distintas de efetuar extraes sucessivas de um desses
objetos, repondo o objeto escolhido aps cada uma das extraes.
2.5
1. Considere um conjunto
{
} com elementos.
1.1. Determine em extenso todas as partes no vazias de . Quantos subconjuntos tem
?
)
1.2. Mostre que se obtm todas as partes de associando a cada sequncia (
de termos iguais a ou a o subconjunto de constitudo pelos elementos tais
) associa-se o conjunto {
que
(por exemplo, sequncia (
}).
1.3. Justifique que existem exatamente sequncias das referidas na alnea anterior,
sem as construir explicitamente; compare o resultado obtido com o resultado da
alnea 1.1.
1.4. Utilizando argumentos inspirados nas duas alneas anteriores justifique que se um
conjunto tiver
elementos (
) ento ( ) tem
elementos.
Pgina 6
2. *Prove por induo que, para qualquer

subconjuntos.
, um conjunto com
elementos tem
3. Considere um conjunto qualquer e seja ( ) o conjunto das partes de .

3.1. **Mostre que bijetiva a aplicao de ( ) no conjunto das aplicaes de em
{ } que a cada
{ } tal que, para cada
associa a aplicao
:
( )
3.2. *Atendendo alnea anterior, justifique que se

ento ( ) tem
elementos.
tiver
elementos (

O resultado expresso na alnea 3.1 acima mostra que para qualquer conjunto , finito ou
({ } ), onde { } representa o conjunto das aplicaes do conjunto
infinito,
( )
em { }. Ora, podemos estender a noo de potncia a cardinais no necessariamente finitos
tomando, por definio:
(
(demonstra-se que esta definio coerente, ou seja, no depende da escolha dos conjuntos
e mas apenas dos respetivos cardinais, pois fcil construir uma bijeo entre
e
desde que sejam dadas bijees respetivamente entre e e entre e ). Ento podemos
dizer que, para qualquer conjunto ,
( )
({
} )
No difcil concluir que ( ) no nunca equipotente a ; se estendermos a todos os

cardinais a relao de ordem (lata) dos nmeros naturais, considerando que
se for
equipotente a uma parte de , bvio que
( ), j que obviamente equipotente
parte de ( ) constituda pelos subconjuntos de com um nico elemento. Assim, se
provarmos que
( ), teremos sempre
( ), e como consequncia, podemos
concluir que no h um cardinal maior ou igual a todos os outros (existe sempre um cardinal
estritamente superior a um dado cardinal).
Para provarmos que um conjunto no pode ser equipotente a ( ) basta provar que no
pode existir nenhuma aplicao sobrejetiva de sobre ( ); com efeito, dada uma aplicao
{
( )} um
( ), podemos facilmente concluir que o conjunto
elemento de ( ) que no est no contradomnio de . De facto, se existisse
tal que
( )
( ), por definio de teramos
, se tivssemos
, pelo que essa
hiptese conduz a uma contradio. A existir um tal , resta ento apenas a hiptese de se ter
( ) mas nesse caso, mais uma vez por definio de , teramos
, ou seja,
,
nova contradio que mostra finalmente que no pode existir um tal , ou seja, no pode
estar no contradomnio de . Portanto no pode ser sobrejetiva: no existem aplicaes
sobrejetivas de sobre ( ).
2.6
2.7
Comentrio
A definio de pode ser dada por recorrncia, caso no se disponha previamente de uma
definio rigorosa do produto de fatores, neste caso particular representado por
(
) (
)
, definio essa que, evidentemente, tambm pode ser dada
por recorrncia, no caso geral. Neste caso podemos simplesmente apresentar essa definio,
englobando os casos tratados nos descritores 2.6 e 2.7, atravs de:
Pgina 7
(
) tenha lugar
Tal como est expresso no descritor 2.7, para que a igualdade
(
)
tambm para
, obviamente, teremos forosamente
, ou seja a
definio dada de a nica que permite manter aquela igualdade tambm nesse caso.
Que o nmero de permutaes de
elementos pode demonstrar-se por induo ou,
de modo mais informal, notando que, para definir uma permutao de elementos, podemos
simplesmente enumerar os sucessivos termos da referida permutao, os quais, por definio,
devem ser dois a dois distintos, pelo que h hipteses distintas para a escolha do primeiro
termo, em seguida sobram apenas
hipteses para a escolha do segundo, pelo que no
) escolhas possveis para os dois primeiros termos da permutao. De modo
total h (
)(
) escolhas possveis para os trs primeiros termos da permutao e
anlogo h (
)(
)
prosseguindo este raciocnio, conclumos que h exatamente (
escolhas possveis para os termos da permutao, ou seja, h exatamente permutaes de
elementos.
Embora a utilizao do mtodo de recorrncia para definir a sucesso em
, seja
) apenas utilizmos o
intuitivamente fcil de aceitar, uma vez que para definir (
conhecimento pressuposto da mesma expresso para a ordem anterior ( em lugar de
)e
o prprio nmero
, se atendermos formulao desse mtodo apresentada em SUC113.2, a traduo do princpio geral enunciado nesse descritor para este caso particular de
definio por recorrncia no to direta como pode parecer primeira vista. Com efeito, uma
(
) a partir de
vez que a definio de
envolve o produto por
, a
funo utilizada nesta definio por recorrncia no pode aplicar-se simplesmente a
, pois
nesse caso a definio do prprio dependeria tambm de , ou seja, precisaramos de uma
sucesso de funes e no apenas de uma funo. Uma soluo considerar
onde
) ( (
)
) (no fundo um modo de representar a sucesso
e (
) , para cada
de funes ( )
,
dada por ( ) (
, atravs de
apenas uma funo); assim, podemos definir por recorrncia em primeiro lugar a sucesso de
(
), por:
pares ordenados
(
Agora, por definio,
2.8
)
)
.
Comentrio
Trata-se aqui de generalizar o resultado do descritor 2.6, no sentido em que se pretende contar
o nmero de amostras ordenadas com
elementos distintos que possvel recolher de
um conjunto com
elementos, enquanto no descritor 2.6 se considerou apenas o caso
, j que recolher sucessivamente todos os elementos de um dado conjunto corresponde
a considerar uma ordenao particular desse conjunto, ou seja, o que se designou por uma
permutao. Um raciocnio informal como o que foi sugerido no texto de apoio ao referido
descritor 2.6 pode ser utilizado tambm para obter o resultado expresso neste descritor: o
Pgina 8
primeiro termo de uma sucesso particular de elementos distintos de determinado conjunto

com
elementos pode ser escolhido de maneiras distintas, em seguida sobram apenas
) maneiras
objetos para escolher como segundo elemento, ou seja, h no total (
distintas de escolher os dois primeiros elementos da sucesso e reproduzindo este raciocnio
) (
)
at se chegar ao termo de ordem da sucesso haver no total (
maneiras de escolher todos os termos de uma tal sucesso (quando se vai fazer a -sima
escolha j s sobram
(
) elementos no conjunto, j que se fizeram previamente
escolhas), nmero que pode evidentemente ser representado por ( ) . Apresentam-se em
seguida exemplos de exerccios que tambm podem ser utilizados para um reconhecimento
desta propriedade com diversos nveis de profundidade e generalidade.
1.
Dez atletas vo fazer uma corrida. Conte de quantas maneiras diferentes se podero
colocar trs deles no pdio.
2.
*Considere todas as possveis funes injetivas de domnio { } e conjunto de chegada

{
} (sequncias de dois elementos distintos do conjunto {
}).
2.1 Represente-as utilizando a notao habitual das sequncias. Para cada escolha do
primeiro termo de uma dessas sequncias, quantas escolhas possveis sobram para o
segundo termo?
2.2 *Generalizando o resultado da alnea anterior mostre que, dados nmeros naturais
) (
(
)) ( ) funes injetivas de domnio
e ,
, existem (
{
} e de conjunto de chegada {
} , ou seja,
}.
elementos com valores dois a dois distintos em {
2.3 Justifique que, dados objetos, existem exatamente (
sequncias de
formas distintas de
efetuar extraes sucessivas de um desses objetos, sem reposio do objeto

escolhido aps cada uma das extraes.
3.
**Fixado um nmero natural , prove por induo matemtica (em ) que, para todo o
nmero natural
existem exatamente ( ) funes injetivas de domnio num dado
conjunto com elementos e de conjunto de chegada com elementos e conclua que
dados objetos, existem exatamente ( ) formas distintas de efetuar extraes
sucessivas de um desses objetos, sem reposio do objeto escolhido aps cada uma das
extraes.
2.9
Comentrio
A justificao pedida pode muito simplesmente resultar da observao segundo a qual os
subconjuntos com
elementos de um conjunto com
elementos podem ser
encarados como os contradomnios das funes injetivas de {
} em . Com efeito, tais
contradomnios tm elementos, e, para qualquer subconjunto com elementos de ,
existe, por definio, uma bijeo de {
} sobre , que, evidentemente, determina uma
funo injetiva de {
} em , com o mesmo grfico. Esta observao pode ser formulada,
numa linguagem mais intuitiva, em termos de sequncias, que outro modo de designar as
funes de domnio {
} para um dado nmero natural ; ou seja, o que acabmos de
verificar pode exprimir-se dizendo que um subconjunto de com elementos exatamente o
conjunto dos termos de uma sequncia (
) de elementos distintos de . Estas
sequncias so o que se chama arranjos sem repetio de elementos a , de acordo com
o descritor 2.8, sendo os elementos escolhidos em .
Pgina 9
Ora as funes injetivas de {

} em de contradomnio (ou seja, as sequncias de
elementos com valores em , com um dado conjunto de termos distintos) podem ser todas
obtidas de uma delas compondo-a com as diferentes permutaes do conjunto {
} . Com
efeito, dadas duas dessas funes injetivas, considerando as bijees que determinam de
{
} sobre , a composta da inversa de uma com a outra evidentemente uma
permutao de {
}; so portanto em nmero de . Por outras palavras, novamente
numa linguagem mais intuitiva, podemos observar que para cada subconjunto {
} de
com
elementos existem exatamente
sequncias (
) tais que {
}
{
}, cada uma delas resultante de uma permutao dos termos da sequncia
(
): cada subconjunto com elementos de pode associar-se aos arranjos sem
repetio formados com esses elementos.
Assim, para se obter o nmero de subconjuntos de com
elementos basta dividir por
o nmero total de sequncias de termos distintos de elementos de (arranjos sem repetio
dos elementos de
a ), que sabemos ser ( ) (de acordo com o resultado expresso no
descritor 2.8), ou seja, obtemos (
. No caso em que
, o nico subconjunto de
em
questo o vazio e, tambm nesse caso, obtemos o resultado pretendido, pois

.
(
)
Note-se que tambm se provou, indiretamente, que (
um nmero natural, o que pode
no parecer claro partida.

2.10
1. Exprima cada uma das seguintes somas algbricas como uma nica frao e simplifique-a
tanto quanto possvel.
1.1.
1.2.
1.3.
1.4.
, para
1.5.
nmero natural
, para
, para
2. Justifique que
3. Prove, para
nmero natural
nmero natural superior a 1

um nmero natural.
e nmeros naturais tais que
, que
mltiplo de
4. Determine para que valor natural de
4.1.
3.1
se verifica:
4.2 **
1. Considere a experincia de repartir um baralho de

cartas pelo Joo e pela Joana. Ao Joo
do-se
cartas e a Joana fica com as restantes.
1.1. Quantos conjuntos diferentes, de
cartas, pode o Joo receber?
1.2. Quantos conjuntos diferentes pode a Joana receber?
1.3. Justifique que as duas alneas anteriores tm o mesmo resultado e traduza essa
igualdade usando combinaes.
Pgina 10
2. Prove que, dados nmeros naturais e ,

,
, de dois modos distintos:
2.1. Estabelecendo uma correspondncia um a um entre os subconjuntos com elementos
e os subconjuntos com
elementos de um dado conjunto com elementos.
2.2. Atravs da frmula que permite calcular cada um dos membros da igualdade.
3.3
1. Considere um baralho de
cartas.
1.1. Determine quantos conjuntos de cartas se podem constituir.
1.2. Determine quantos conjuntos de cartas tm o Rei de Copas.
1.3. Determine quantos conjuntos de cartas no tm o Rei de Copas.
1.4. Justifique, sem efetuar explicitamente os clculos, que o resultado obtido na alnea 1.1.
igual soma dos resultados obtidos nas alneas 1.2. e 1.3. e traduza essa igualdade
usando combinaes.
2. Prove que, dados nmeros naturais e ,
,
, por dois
processos distintos:
2.1. *Recordando que
o nmero de subconjuntos com elementos de um conjunto
com elementos e interpretando o segundo membro da igualdade que se pretende
provar como o cardinal de uma unio de conjuntos disjuntos, que se pode pr em
correspondncia biunvoca com o conjunto das partes com
elementos de um
conjunto com
elementos.
2.2. Utilizando as frmulas que permitem calcular o valor de cada uma das expresses que
intervm na igualdade a provar como funes racionais de fatoriais de nmeros
conhecidos e, no segundo membro, reduzindo ao mesmo denominador as fraes
assim obtidas.
3.4
Comentrio
Este resultado pode ser demonstrado por induo, mas tambm se pode obter examinando as
) da propriedade distributiva da
diferentes parcelas que ocorrem por aplicao a (
multiplicao em relao adio (ou, mais propriamente, a definio do produto de
polinmios aqui expresso na forma de potncia). Com efeito, aplicando esta propriedade (ou
definio) a esse produto de fatores obtm-se parcelas em que o fator pode ocorrer entre
e vezes; obviamente, quando o fator ocorre vezes, tem de ocorrer
vezes, pois,
no total, cada parcela resultante de se aplicar a propriedade distributiva corresponde ao
produto de fatores, cada um deles igual a ou a . Basta-nos agora contar o nmero de
parcelas iguais a
, para cada
; numerando de at os fatores iguais do
produto inicial, obtm-se cada uma das parcelas correspondentes a determinado escolhendo
dos nmeros naturais de at e tomando, dos correspondentes fatores
, o valor e
dos restantes o valor para, efetuando o produto dos fatores assim fixados, obter uma das
parcelas resultantes da aplicao da propriedade distributiva. Ora o nmero de maneiras
distintas de escolher dos nmeros naturais de at , por definio,
, pelo que esse o
nmero de parcelas iguais a
que se obtm aplicando a propriedade distributiva a
(
) . Portanto, de facto:
(
igualdade que, evidentemente, implica a seguinte (pela comutatividade generalizada da adio

ou, mais propriamente, pela noo de igualdade de polinmios, no sentido em que admitem
uma mesma forma reduzida):
Pgina 11
Apresentam-se em seguida exemplos de exerccios que podem ser propostos aos alunos para
reconhecerem a validade do binmio de Newton, tanto em casos particulares como no caso
geral.
(
) e
(
)
1. Considere os polinmios nas variveis e ,
1.1. Determine formas reduzidas dos polinmios
.
1.2. Indique os valores de
e na seguinte expresso, de modo que se torne
numa igualdade verdadeira entre polinmios:
(
)
1.3. Escreva as formas reduzidas obtidas para
em 1.1 na forma de somatrio.
(
) e
1.4. Determine uma forma reduzida para o polinmio, nas variveis e ,
escreva-a tambm na forma de somatrio.
) . Utilizando a definio de
2. *Considere
e o polinmio nas variveis e , (
produto de polinmios, pretende-se obter uma forma reduzida deste polinmio; para o
efeito resolva as seguintes questes, justificando todas as respostas:
2.1. Ao aplicar-se sucessivamente a definio de produto de polinmios ao produto de
fatores iguais a
, no resultado final qual o grau de cada monmio parcela do
polinmio produto?
2.2. Quais os valores possveis para na expresso
, parte literal de um dos monmios
) ? Para cada um desses valores de que
parcelas de uma forma reduzida de (
valores pode ter ?
) (ou seja,
2.3. Numerando de at os fatores do produto representado por (
} com os termos todos iguais a
considerando a sequncia indiciada em {
)
{
}, existe uma correspondncia biunvoca entre os
mostre que, para cada
} e as parcelas da forma
subconjuntos com elementos de {
que resultam
) .
da aplicao da definio de produto de polinmios a (
) ,
2.4. Conclua das alneas anteriores que se obtm formas reduzidas do polinmio (
expressas nas igualdades:
(
3. ** Prove por induo que:
(
4.1
1. Considere subconjuntos e de um conjunto . Simplifique as seguintes expresses,

nomeando as propriedades aplicadas.
(
)
1.1
)
(
1.2
(
)
1.3
)
) (
1.4 (
1.5 *[
(
)]
Pgina 12
2. Indique, justificando, para cada uma das seguintes igualdades, se verdadeira para
quaisquer conjuntos , e , subconjuntos de um dado conjunto e, caso contrrio,
apresente um contraexemplo.
2.1
)
2.2 (

2.3
3. Um conjunto tem elementos. Determine o nmero de subconjuntos que pode definir a
partir deste conjunto que tenham:
3.1 elementos;
3.2 elementos;
3.3 elementos.
4. Seis jovens, a Ana, a Beatriz, o Carlos, a Dlia, o Eduardo e a Filipa vo concorrer a um
sorteio de seis viagens, a saber, a Barcelona, Berlim, Londres, Madrid, Paris e Roma.
Supondo que cada jovem vai ganhar uma viagem, de quantas maneiras diferentes pode
resultar este sorteio?
5. Os
alunos de uma turma vo participar num torneio de andebol de cinco, sendo
distribudos por cinco equipas, identificadas pelas letras
e . De quantas maneiras
diferentes poder ser feita a distribuio dos alunos pelas equipas?
6. Lanou-se um dado cbico com as faces numeradas de a e um dado octadrico com as
faces numeradas de a e registaram-se os nmeros das faces que ficaram voltadas para
cima. Identifique o nmero de resultados possveis para esta experincia.
7. *Um conjunto tem
elementos?
subconjuntos. Quantos desses subconjuntos tem exatamente
8. **Justifique, sem utilizar o Princpio de induo matemtica, que

.
upas
4.2
1. Determine quantos cdigos de
, qualquer que seja
algarismos possvel formar.
2. Um cdigo formado por sete caracteres dos quais quatro tm de ser algarismos e trs tm
de ser vogais. Quantos cdigos diferentes possvel formar tais que:
2.1. os algarismos e as vogais sejam dispostos de forma alternada?
2.2. os smbolos iniciais e finais sejam algarismos e as vogais estejam juntas?
2.3. as vogais fiquem nos lugares centrais e os algarismos sejam todos mpares?
2.4. *haja unicamente dois algarismos iguais a ?
2.5. *no haja qualquer restrio forma como se dispem?
3. Utilizando os algarismos do conjunto
{
algarismos possvel formar de modo que:
3.1. tenham exatamente dois algarismos iguais a ?
3.2. os nmeros sejam mltiplos de ?
3.3. *o produto dos algarismos seja um nmero par?
} , quantos nmeros de trs
4. **De quantas maneiras se podem colocar 6 fichas distintas em 9 caixas, podendo haver
mais do que uma ficha por caixa, mas no mais de quatro em cada caixa?
Pgina 13
5. Foram extradas sucessivamente e com reposio quatro cartas de um baralho de

Determine de quantas maneiras diferentes possvel obter:
5.1. por esta ordem, um s, duas figuras e um nmero superior a .
5.2. primeiro duas cartas vermelhas e depois duas cartas de espadas.
5.3. um rei e trs cartas pretas, no necessariamente por esta ordem.
{
6. Considere o conjunto
diferentes possvel formar que sejam:
6.1. superiores a
?
6.2. pares?
6.3. mltiplos de ?
6.4. *inferiores a
?
cartas.
}. Quantos nmeros de quatro algarismos
7. A turma da Beatriz tem

alunos dos quais
so rapazes. De quantas maneiras diferentes
pode resultar a eleio do delegado e subdelegado de turma se:
7.1. O delegado for rapariga e o subdelegado for rapaz?
7.2. O delegado e o subdelegado forem do mesmo sexo?
7.3. A Beatriz, for eleita?
8. Um saco contm sete cartes indistinguveis ao tato e numerados de a . Foram extrados
sem reposio trs cartes e dispostos por ordem formando um nmero.
8.1. Quantos nmeros possvel formar?
8.2. Dos nmeros que possvel formar, quantos
a) tm dois algarismos pares?
b) so mpares?
9. Duas prateleiras esto vazias e cada uma tem espao para 12 livros. De quantas maneiras
diferentes possvel dispor 16 livros nas duas prateleiras de forma que fiquem juntos e
encostados a um dos extremos da prateleira e
9.1. *oito em cada prateleira?
9.2. *dez numa prateleira e seis na outra?
10. *Num debate participam pessoas havendo dois representantes por cada uma das quatro
organizaes convidadas. De quantas maneiras se podem dispor numa mesa quadrada se
o moderador ficar num dos lados e os participantes em lados opostos de modo que os
elementos da mesma organizao fiquem juntos e haja o mesmo nmero de pessoas em
ambos os lados?
11. Uma sequncia de letras diz-se um anagrama de uma outra se o nmero de ocorrncias
de qualquer letra for igual em ambas. Quantos anagramas existem da palavra margarida?
12. Considere todos os nmeros que se podem obter alterando a ordem dos algarismos do
nmero
.
12.1. Quantos nmeros possvel formar?
12.2. Quantos desses nmeros so mpares?
13. **Dez livros de Matemtica e cinco de Fsica vo ser dispostos, lado a lado, numa
prateleira. De quantas formas distintas se podero arrumar os livros de modo que no
fiquem dois livros de Fsica lado a lado?
14. De quantas maneiras diferentes podem
lugares disponveis?
automveis ser arrumados num parque com
Pgina 14
15. Considere os pontos (distintos)

,
pertencentes a uma circunferncia. Quantas
cordas existem com extremos nestes pontos?
16. Numa gelataria h oito sabores diferentes, sendo cinco sabores de fruta e ainda sabor a
caf, a chocolate e a amndoa. De quantas maneiras possvel escolher trs sabores
diferentes para um copo, se:
16.2. no houver qualquer restrio?
16.3. unicamente dois dos sabores forem de fruta?
16.4. pelo menos um dos sabores for de fruta?
16.5. o sabor a caf e a kiwi no forem pedidos simultaneamente?
16.6. os sabores a caf e a amndoa forem sempre pedidos em conjunto?
17. De quantas maneiras possvel selecionar cinco cartas de um baralho de 52 cartas de
forma que:
17.2. quatro sejam figuras e uma seja s?
17.3. *duas sejam figuras e trs sejam cartas de espadas?
18. Quantos divisores naturais tem o nmero
19. Considere um prisma hexagonal reto.

19.2. *Quantas retas distintas passam por dois vrtices do prisma e no contm
qualquer aresta do prisma?
19.3. Das retas identificadas na alnea anterior, quantas so paralelas s bases?
19.4. Um vrtice de uma base e dois vrtices da outra base so vrtices de um mesmo
tringulo.
a) *Quantos desses tringulos existem?
b) **Desses tringulos, quantos so retngulos?
19.5. *Pretende-se pintar as faces do prisma de modo que duas faces com arestas
comuns no tenham a mesma cor. Sabendo que existem seis cores disponveis,
de quantas maneiras diferentes possvel pintar o prisma?
B
20. Quantos caminhos existem, seguindo as linhas da
quadrcula, que liguem o ponto ao ponto
passando por e sem andar da direita para a
C
esquerda nem de cima para baixo?
A
4.3
1. Determine os valores possveis de
tais que
2. O sexto e o stimo elementos de uma linha do tringulo de Pascal so iguais. Qual o

elemento central da linha seguinte?
3. Determine
sabendo que
4. *Sabendo que, dados nmeros naturais

e que
, determine
e que
e ,
,
, que
,
.
,
Pgina 15
5. Sabe-se que
). Determine:
5.1.
5.2. *
6. Determine o desenvolvimento das seguintes expresses utilizando a frmula do binmio de

Newton e simplificando tanto quanto possvel cada uma das parcelas assim obtidas.
)
6.1 (
6.2 (
6.3 (
7. Determine, para
, o 6. termo do desenvolvimento pelo binmio de Newton de cada
uma das seguintes expresses e apresente-o na forma mais simplificada.
7.1 (
7.2 * (
)
)
8. *Considere a seguinte expresso ( ) (

) . Determine, relativamente ao
desenvolvimento de ( ) pelo Binmio de Newton, o termo:
8.1 independente de .
8.2 de grau 3.
9. Utilizando o desenvolvimento do binmio de Newton, determine o valor de cada uma das
seguintes expresses, onde um nmero natural.
9.1
9.2
10.**Determine a soma dos coeficientes dos termos de uma forma reduzida do polinmio
(
) , utilizando o Binmio de Newton.
Pgina 16
Probabilidades PRB12
Descritor
Texto de Apoio
1.1
1.10

No Programa optou-se por definir a funo probabilidade em ( ), com finito, e no numa
lgebra de subconjuntos de um conjunto , genrico, com o objetivo de fazer incidir a ateno
dos alunos no novo ente matemtico probabilidade, evitando a introduo, em simultneo,
de mais uma outra noo (lgebra de conjuntos) que pouco desenvolvimento poder ter
num programa que no inclui o tpico de estruturas algbricas.
No entanto, em turmas mais interessadas, no ser de descurar uma discusso que leve
construo de domnios mais variados para a probabilidade , partindo, por exemplo, do
menor possvel e examinando de que maneiras pode ser progressivamente estendido.
De facto, uma vez que interessa que seja possvel formular determinadas propriedades
( ) e
subjacentes ao conceito intuitivo de probabilidade ( ( )
, ( )
(
)
( )
( ), para
disjuntos), facilmente se mostra que, dado um conjunto
(universo de resultados) o mais pequeno domnio onde ser razovel definir uma
probabilidade , a classe de conjuntos A {
}. Se, dos subconjuntos de , s se
conhecer (ou s interessar) a probabilidade de um certo acontecimento (distinto de e de
}. Pode-se ento pedir aos
), ento bastar tomar como domnio de a classe A {
alunos que justifiquem que o mais pequeno domnio, admissvel para uma probabilidade ,
que contm dois subconjuntos
de (distintos entre si e distintos de e de ), :
A
Ou seja, para alm dos complementares, ao domnio de tero tambm de pertencer todas as
unies e intersees de quaisquer dois conjuntos que pertenam a A (atendendo s Leis de
De Morgan para conjuntos, basta exigir que A contenha, para alm de , o complementar de
cada conjunto de A e a unio de cada dois conjuntos de A ou, em alternativa, o
complementar de cada conjunto de A e a interseo de cada dois conjuntos de A).
No caso em que o conjunto infinito, poder conceber-se a possibilidade de determinada
classe A contendo uma infinidade de subconjuntos de constituir o domnio de uma funo
de probabilidade, mas nesse caso as condies a que A deve satisfazer e as prprias
propriedades caractersticas de uma tal funo de probabilidade so mais restritivas do que as
impostas a uma probabilidade no caso em que A finito. Nesse caso, para alm de
complementares e unies e intersees de famlias finitas de conjuntos de A, pretendemos
que seja sempre possvel efetuar unies e intersees de famlias numerveis ( )
de tais
conjuntos (para que A seja o que se designa por -lgebra de subconjuntos de ). Alm
disso exige-se, para alm das propriedades habituais caractersticas das funes de
probabilidade no caso finito, uma propriedade de que, no caso infinito, no se pode deduzir
das restantes. Pretende-se que seja possvel calcular a probabilidade de um conjunto unio
de uma cadeia numervel crescente de conjuntos de A,
por passagem ao
limite da sucesso de probabilidades ( ) dos elementos da cadeia (o que se chama a continuidade de ). A conjuno desta propriedade com a aditividade, que j se impunha a
uma probabilidade no caso finito, equivalente chamada -aditividade, que consiste em
pressupor que a probabilidade da unio de uma famlia numervel de acontecimentos dois a
Caderno de Apoio PRB12
Pgina 17
dois incompatveis pode ser calculada efetuando a soma das probabilidades desses
acontecimentos, entendendo-se esta soma de uma infinidade de parcelas (que o que chama
a soma de uma srie) como o limite da sucesso cujo termo geral a soma das
probabilidades dos primeiros acontecimentos da famlia, previamente ordenados de modo
arbitrrio.
3.1
1. O cdigo de um cofre formado por vogais seguidas de algarismos. Selecionando um

cdigo deste tipo ao acaso, qual a probabilidade de ter:
1.1 pelo menos duas vogais diferentes e os algarismos todos iguais?
1.2 unicamente uma letra e dois algarismos iguais a ?
1.3 *pelo menos um algarismo igual a ?
2. Num saco existem bolas indistinguveis ao tato, das quais cinco so azuis e numeradas de
a e seis so vermelhas e numeradas de a .
2.1. Extrai-se uma bola ao acaso e observou-se a cor e o nmero. Qual a probabilidade de
obter:
2.1.1 uma bola com nmero par?
2.1.2 uma bola azul com nmero mpar?
2.1.3 uma bola vermelha com um nmero primo?
2.2. Extraiu-se uma bola e depois outra bola repondo a primeira e observou-se a cor e o
nmero de cada uma delas. Qual a probabilidade de obter:
2.2.1 duas bolas da mesma cor?
2.2.2 uma bola com nmero par e outra com nmero mpar?
2.2.3 duas bolas iguais?
2.3. Extraiu-se simultaneamente trs bolas e observou-se a respetiva cor e nmero. Qual a
probabilidade de obter:
2.3.1 trs bolas da mesma cor?
2.3.2 duas bolas com nmero par e uma com nmero mpar?
2.3.3 uma bola azul e duas bolas vermelhas, ambas com nmeros pares?
3. Considere todos os nmeros compostos por trs algarismos diferentes. Selecionando um
deles ao acaso, qual a probabilidade de:
3.1. ter todos os algarismos pares?
3.2. ser divisvel por 5?
3.3. *ser superior a 250?
4. A Joana e cinco amigos vo ao cinema e os bilhetes correspondem a seis lugares
consecutivos de uma dada fila. Sabendo que vo distribuir os bilhetes aleatoriamente, qual
a probabilidade de:
4.1. a Joana ficar com um bilhete correspondente a um lugar numa das pontas?
4.2. a Amlia e a Joana terem bilhetes correspondentes a lugares seguidos?
4.3. a Joana e a Lusa no ficarem ao lado uma da outra?
5. Considere uma grelha quadrada com
quadrculas.
Nesta grelha vo ser colocadas aleatoriamente fichas iguais, no mais do que uma por
quadrcula. Qual a probabilidade de:
5.1. as duas diagonais ficarem preenchidas?
5.2. unicamente uma linha ficar totalmente preenchida?
5.3. ficarem preenchidas duas colunas?
Pgina 18
6. Considere um octgono regular.

6.1. Selecionando dois vrtices ao acaso, qual a probabilidade de o segmento por eles
determinado:
6.1.1 corresponder a um lado do octgono?
6.1.2 passar pelo centro do octgono?
6.2. *Selecionando trs vrtices ao acaso, qual a probabilidade de o tringulo por eles
determinado ser retngulo?
7. *Uma urna tem 12 cartes numerados de 1 a 12. Retiram-se sucessivamente dez cartes e
dispem-se lado a lado. Qual a probabilidade de:
7.1. ficarem 5 cartes com nmeros pares, seguidos de 5 cartes com nmero mpares?
7.2. somente os ltimos quatro cartes terem nmeros pares?
7.3. os cartes com os nmeros
e ficarem seguidos?
8. *Escolheram-se aleatoriamente duas das parcelas do desenvolvimento pelo binmio de
) , com
Newton da expresso (
. Determine a probabilidade de que o respetivo
produto seja negativo.
3.2
1. Dado um conjunto finito

( ) tais que ( )
1.1. ( )
1.2. (
)
, uma probabilidade em
, (
)
e ( )
2. Dado um conjunto finito , uma probabilidade

( ), prove que:
)
( )
2.1. (
2.2. ( )
( )
(
)
( )
(
)
( )
2.3. * ( )
)
( )
(
)
2.4. * (
em
( ) e dois acontecimentos
, determine:
( ) e dois acontecimentos
3. Dado um conjunto finito , uma probabilidade em ( ) e dois acontecimentos possveis

)
)
e equiprovveis
( ) tais que (
, (
. Determine:
3.1. ( )
3.2. ( )
3.3
1. Prove, dado um conjunto finito , uma probabilidade em ( ) e dois acontecimentos

( ), ( )
, que ( )
( )
(
).
2. Seja
(
um conjunto finito,
uma probabilidade em ( ) e
( ) tais que
)
)
, ( )
( )e (
.
so disjuntos e exprima (
2.1. Justifique que os acontecimentos
)
em funo de ( ).
2.2. Determine:
2.2.1. ( ).
).
2.2.2. (
3. Seja
um conjunto finito,
uma probabilidade em ( ) e
(
)
)
, ( )
( ) e (
. Averige se
e
independentes.
( ) tais que
so acontecimentos
Pgina 19
4. Seja um conjunto finito, uma probabilidade em ( ) e

Prove que ( )
(
).
( ), ( )
5. * Seja um conjunto finito, uma probabilidade em ( ) e

independente de ento tambm independente de
6. **Seja um conjunto finito, uma probabilidade em ( ) e
no certo.
)
Prove que se independente de se e somente se (
( ). Prove que se
( ),
(
possvel mas
).
7. Duas urnas e tm bolas verdes e pretas. A urna tem bolas verdes e bolas pretas e a
urna tem bolas verdes e bolas pretas.
7.1. Foi retirada uma bola da urna e colocada na urna e, de seguida, foi tirada uma
bola da urna . Determine a probabilidade de:
7.1.1. obter bola verde sabendo que a bola retirada da urna era preta.
7.1.2. obter bola preta.
7.2. Foi selecionada uma urna ao acaso e tirada uma bola dessa urna. Determine a
probabilidade de:
7.2.1. ser bola verde sabendo que saiu da urna A.
7.2.2. ser bola preta sabendo que saiu da urna .
7.2.3. ser bola verde.
7.2.4. ter sado da urna A sabendo que bola preta.
8. Num saco existem duas moedas falsas e cinco moedas verdadeiras. Vo ser tiradas
aleatoriamente duas moedas do saco, uma a seguir outra. Qual a probabilidade de:
8.1. as duas moedas serem verdadeiras?
8.2. pelo menos uma delas ser verdadeira?
8.3. a segunda ser falsa sabendo que a primeira era verdadeira?
9. *O Joo tem duas moedas no bolso, sendo uma equilibrada e a outra viciada. Sabe que a
probabilidade de sair cara na moeda viciada . Ele retira do bolso uma moeda ao acaso e
lana-a, tendo obtido coroa. Qual a probabilidade de ter lanado a moeda viciada?
10. *Uma caixa tem
bolas, das quais so brancas e um saco tem
bolas das quais
algumas so brancas. Ao tirar ao acaso uma bola da caixa e uma bola do saco, a
probabilidade de se obter pelo menos uma bola branca igual a
. Quantas bolas
brancas existem no saco?
11. Uma fbrica utiliza trs mquinas diferentes para produzir um tipo de peas mas que tm
nveis diferentes de eficincia. A mquina produz metade do total da produo e as
mquinas e dividem a restante produo em partes iguais. Cerca de
da
produo da mquina no tem qualquer defeito; a mquina produz cerca de
de
peas defeituosas e a mquina tem uma eficincia de
.
11.1. Selecionando aleatoriamente uma pea desse tipo produzida nessa fbrica qual a
probabilidade de que seja defeituosa?
11.2. Foi selecionada uma dessas peas ao acaso e era defeituosa. Qual a probabilidade
de ter sido produzida pela mquina ?
Pgina 20
Funes Reais de Varivel Real FRVR12

Descritor
Texto de Apoio
1.1
Comentrio
Relativamente a este descritor e aos seguintes deste objetivo geral apresentam-se exemplos
que podem ser propostos aos alunos para chegarem s demonstraes requeridas. Em alguns
casos (como no que se segue) poder chamar-se a ateno dos alunos para a convenincia em
representar graficamente as posies numa reta numrica dos valores auxiliares considerados.
1. Considere sucesses (
de certa ordem,
alneas:
) e ( ) convergentes respetivamente para e tais que, a partir

. Pretendemos provar que
; para o efeito resolva as seguintes
1.1 Suponha que

e, sendo
justifique, recordando a definio de limite de
uma sucesso, que existe
tal que se
ento
.
1.2 Deduza da alnea anterior que, supondo
, existe uma ordem a partir da qual
, ou seja,
e conclua que, nessa hiptese, no se poderia ter
.
1.3 Conclua da alnea anterior que
.
1.2
1.3
1.4
1. Considere sucesses ( ) e ( ) tais que a partir de certa ordem,

.
1.1 Suponha que
, relembrando o que significa esta afirmao. Fixado um
nmero real
, mostre a existncia de uma ordem
tal que, se
,
, e conclua que
.
1.2 Suponha agora que
. O que pode concluir quanto a
?
1. Considere sucesses ( ) e ( ) convergentes com o mesmo limite e uma sucesso (
tal que, a partir de certa ordem,
. Seja
1.1 Utilizando o facto de
, mostre que a partir de uma certa ordem
.
1.2 Utilizando o facto de
, mostre que a partir de uma certa ordem
.
1.3 Conclua quanto existncia e ao valor do limite
.
2. *Considere sucesses ( ) e ( ) convergentes com o mesmo limite e uma sucesso (

tal que, a partir de certa ordem,
. Prove que
.
1.5
1.6
,
,
Comentrio
A demonstrao dos resultados expressos nestes descritores consequncia simples dos
resultados anlogos para sucesses e das definies de limite de uma funo.
2.1

O Teorema dos Valores Intermdios constitui uma propriedade central das funes contnuas.
A respetiva prova, que necessita em particular do princpio do supremo ou de alguma
propriedade equivalente, no requerida neste Programa, sendo aqui apresentada a ttulo
informativo.
Caderno de Apoio FRVR12
Pgina 21
Dada uma funo contnua num intervalo

e tal que ( )
( ) (podemos supor, por
exemplo, que ( )
( ), pois, caso contrrio, a demonstrao seria idntica, mutatis
( ) ( ) e
( )
mutandis), seja
{
}.
O conjunto no vazio (
) e majorado (por ), pelo que admite supremo . Tem-se
, porque majorante de e portanto, por definio de supremo,
e porque,
por outro lado, como
,
.
fcil verificar que existe ento uma sucesso ( ) de pontos de que converge para . Basta
observar que, para cada
, por definio de supremo,
no majorante de , pelo
que existe pelo menos um elemento
desse conjunto tal que
. Pelo teorema
das sucesses enquadradas, a sucesso assim construda converge para e, por definio de ,
satisfaz a ( )
para todo o
.
Assim, por continuidade da funo , passando ao limite na desigualdade (
, ( )
Tem-se ( )
( ), pelo que
. Por outro lado, como majorante de , para todo
o
, estritamente superior a todos os elementos de e portanto no pode ser
elemento deste conjunto, donde, por definio de , ( )
.
Passando ao limite, por continuidade de
em ,
( )
( )
donde resulta que ( )

pelo que um valor tomado por
situado entre e ( no pode ser igual a nem a , j que ( )
num ponto estritamente

( )
( )).
Para uma discusso da legitimidade de se definir uma sucesso como ( ) acima, efetuando
uma infinidade de escolhas de elementos satisfazendo a determinadas propriedades, cf. a
Informao Complementar para o professor na parte final do texto de apoio ao descritor 4.3.
3.1
1. Considere sucesses ( ) ( ) tais que

Indique, justificando, qual o limite de .
para
2. Utilize o teorema das sucesses enquadradas para calcular o limite de cada uma das
sucesses cujo termo geral se indica.
(
2.1
2.2.
2.3.
) [cf. FEL12-4.3 exemplo 8.1 para outra abordagem ao clculo deste
limite]
3. Sabe-se que
e que
. Justifique que
Pgina 22
4. Considere a funo definida por ( )

4.1 Calcule
( )e
( )
4.2 Sabe-se que uma funo
( ).
.
( )
tal que
5. Considere a funo definida por ( )

5.1 Determine funes e tais que ( )
( )
( )
5.2 Justifique que
( )
( ). Indique o valor de
( ) em
e de modo que:
6 *Considere funes
definidas em
tais que
( )
limitada e
Mostre a existncia de uma funo definida em

e de limite nulo tal que
(
)
(
))
( )
( )
( ) e conclua que
.
( ( )
7. Mostre que a sucesso de termo geral
) tende para
8. **Seja, para
, ( ) a parte inteira de , isto , o maior inteiro menor ou igual a ,
( ) ( )
ou seja, o nico nmero inteiro ( ) tal que
.
Calcule o valor de
9.
( )).
*Calcule o limite
10. Considere uma funo

existe
tal que ( )
contnua tal que ( )
e ( )
. Mostre que
11. Sejam e duas funes contnuas num intervalo

,
.
11.1 Mostre que se ( )
( ) e ( )
( ) ento existe
( )
( ).
11.2 Utilize a alnea anterior para mostrar que se ( )
( )e ( )
existe
tal que ( )
( ).
tal que
( ) ento
12. Dada uma funo continua num intervalo

,
, mostre que se ( ) ( )
equao ( )
tem pelo menos uma soluo no intervalo
.
13. D um exemplo de uma funo definida num intervalo
( ) ( )
e, para todo o
, ( )
.
14. D um exemplo de uma funo contnua no intervalo
14.1
no tenha mximo;
14.2
no tenha mnimo;
14.3 * no tenha nem mximo nem mnimo.
15. Considere a funo real de varivel real definida em
( )
tal que:
} por
{
( )
onde
um nmero real.
Pgina 23
, tal que
15.1 *Determine de modo que seja contnua em

.
15.2 **Indique o valor lgico da afirmao: Existe um zero da funo
16. Considere a funo
real de varivel real definida por ( )
no intervalo
Estude a continuidade da funo .

17. *Prove que de todos os crculos de dimetro inferior a
da funo .
definida por ( )
4.3
existe um cuja rea igual a
em ]
]. Determine o contradomnio
Comentrio
Nas condies enunciadas neste descritor ( duas vezes diferencivel num intervalo
,e
tal que ( )
, ( )
),
( )
( )
( )
( )
donde se conclui a existncia de um intervalo da forma
) no qual
Com efeito, caso contrrio, fcil verificar que existiria uma sucesso (
para todo o
que no poderia ter-se
e
(
) de limite , tal que
, o que absurdo j que, nesse caso,

, nem, consequentemente,
positiva.
( )
, pelo
A existncia da sucesso ( ) pode ser justificada, em rigor, da seguinte forma: como estamos
a supor que no existe nenhum intervalo da forma
no qual sempre positiva,
(
),
podemos construir a sucesso
escolhendo, para cada
,
tal que
( )
(existe pelo menos um
nestas condies, j que , por hiptese, no positiva
em todos os pontos do intervalo
). Por construo, ( )
,
,
pelo que, pelo Teorema das sucesses enquadradas,
.
A funo portanto crescente em
( )
( )
pelo que, para todo o
Um raciocnio anlogo esquerda de permite mostrar que ( )

real num intervalo da forma
,
.
A funo
nesse intervalo,
( ) para todo o nmero
admite portanto um mnimo local em .
Note-se que o mnimo estrito, no sentido em que ( )

( ) para qualquer
em
, atendendo a que as monotonias acima referidas para a funo nos intervalos
e
so tambm estritas, o que se pode justificar invocando os sinais da
derivada de em cada um desses intervalos.
Pgina 24

A definio da sucesso ( ) na demonstrao que acabmos de apresentar envolve uma
infinidade de escolhas de elementos satisfazendo a determinadas propriedades (uma escolha
por cada
), mas sem se apresentar um processo construtivo para determinar cada . A
possibilidade de utilizar em Matemtica sucesses assim definidas contestada pelos
matemticos ditos intuicionistas, os quais, por esse motivo, no aceitam as demonstraes
que utilizam estes processos nem os resultados para cuja demonstrao necessrio recorrer a
este tipo de abordagem. A legitimao destes processos pode ser formalizada atravs do
chamado Axioma da escolha; utilizando a definio geral de produto cartesiano introduzida
no texto de apoio ao descritor CC12-2.4, esse axioma pode ser formulado atravs da assero:
no vazio o produto cartesiano de uma famlia no vazia de conjuntos no vazios
Ou seja, se considerarmos um produto cartesiano:
onde
e, para cada
,
, o referido axioma garante a existncia de pelo menos
um elemento desse produto cartesiano, ou seja, de uma famlia ( ) tal que, para cada
,
, o que corresponde ideia intuitiva de que podemos escolher um
(mesmo que e os sejam conjuntos infinitos) e com eles formar a famlia ( )
em cada
(grfico de
uma aplicao de domnio ). No caso em que

este axioma permite justificar a existncia
de sucesses como a que foi definida na demonstrao acima. Nas formulaes da Teoria dos
Conjuntos em que se admite o uso do smbolo de escolha de Hilbert (cf. texto de apoio ao
descritor CC12-2.1) a proposio que designmos por Axioma da escolha um Teorema, ou
seja, pode ser demonstrada, muito simplesmente utilizando as propriedades inerentes ao uso
do referido smbolo de Hilbert.
O raciocnio que utilizmos acima semelhante ao que se utiliza para demonstrar que so
equivalentes as duas definies usuais de limite de uma funo num ponto, ditas Heine (a
adotada no presente Programa) e Cauchy; mais precisamente, para demonstrar que a
existncia de limite Heine implica a existncia de limite Cauchy. Prova-se que, de facto, o
Axioma da escolha ou algum recurso equivalente essencial para que essa implicao tenha
lugar; assim, os matemticos intuicionistas no aceitam a equivalncia das duas definies,
mas apenas que a definio de Cauchy implica a definio de Heine. Segundo Cauchy, diz-se
que uma funo real de varivel real tem limite num ponto aderente ao respetivo
domnio
se para qualquer
existir
tal que, para todo o
,
( )
bastante bvio, atendendo definio de limite de uma sucesso, que, admitida esta
condio, se ( ) for uma sucesso de elementos de
convergindo para , ento ( )
tende para ; ou seja, se uma funo tiver limite em Cauchy ento ter limite em
Heine. J para demonstrar a recproca, utilizando o mtodo de contrarrecproco, supondo
que no tem limite em Cauchy, podemos utilizar o Axioma da escolha para considerar
uma sucesso ( ) de elementos de
(analogamente ao que atrs foi feito) que tende para
mas tal que ( ) no tende para , pelo que no tem limite em Heine. Esta ltima
demonstrao depende assim diretamente do referido Axioma da escolha e prova-se que, de
facto, essa dependncia no fortuita, mas antes que a referida equivalncia das duas
Pgina 25
definies de limite em certo sentido equivalente ao referido axioma (qualquer das duas
proposies pode ser tomada como axioma, excluindo a outra, de modo a obter-se uma
axiomtica equivalente).
4.4
Comentrio
Dada uma funo diferencivel num intervalo e dados quaisquer trs pontos , e
do respetivo grfico, de abcissas em ,
, o Teorema de Lagrange garante
a existncia de pontos
(
( )
tais que
( )
Observando que
, obtm-se assim que o grfico de tem a concavidade virada para
cima (respetivamente para baixo) se for crescente (respetivamente decrescente).
Inversamente, se tem a concavidade virada para cima, dados pontos
do respetivo
domnio e
tal que
, obtm-se, considerando os pontos do grfico de de
abcissas ,
, que
por passagem ao limite quando
, que
( )
( )
( )
(
(
( )
donde se conclui,
( ).
Na verdade, fcil observar que esta desigualdade estrita. Caso contrrio, como j ficou
provado que crescente no sentido lato, seria constante no intervalo
, o que
contradiz, por nova aplicao do Teorema de Lagrange, a hiptese feita sobre o sentido da
concavidade do grfico de .
5.1
1. Mostre que o polinmio ( )

[
tem, no mximo, um zero no intervalo
].
2. Mostre que cada uma das seguintes equaes tem uma nica soluo e determine-a:
2.1
; [Sugesto: estude a funo ( )
]
(
)
2.2
. [Sugesto: estude a funo
]
3. *Um polinmio
de grau tem
4. **Admitindo que
( )
.
zeros distintos. Mostre que
tem 4 zeros.
diferencivel, mostre que para todo o
5. **Admitindo
( )
que
.
diferencivel,
mostre
Utilize este resultado para mostrar que para todo o
que
para
todo
,
.
6. Considere as funes e definidas pelas expresses ( )

(
)e ( )
.
6.1 Justifique que estritamente crescente e que estritamente descrescente,
comeando por determinar os respetivos domnios.
6.2 Justifique que as funes e so bijetivas quando se toma para conjunto de chegada
o respetivo contradomnio, fornea uma expresso para
e
e mostre que
estritamente crescente e que

estritamente decrescente.
6.3 Esboce os grficos de , ,
e
.
Pgina 26
5.2
1. Esboce o grfico das funes definidas pelas seguintes expresses:

1.1 ( )
1.2
( )
1.3
( )
1.4 ( )
5.3
1.5
( )
1.6
( )
Nota: Alguns dos seguintes exerccios s devem ser propostos aos alunos aps o estudo das
funes trigonomtricas, exponenciais ou logartmicas.
1. Mostre que se for um nmero real no negativo ento
se e somente se estiver
situado estritamente entre e . Justifique que existe um e um s nmero positivo que
excede o seu cubo no mximo valor possvel e determine-o bem como esse excesso
mximo.
(medido
2. Considere um tringulo issceles
em que
. Sendo
em radianos), justifique que existe um valor real de para o qual mxima a rea do
tringulo e determine esse valor.
3. **Mostre que de todas as retas de declive negativo que passam pelo ponto (
)
, existe uma que determina com os eixos coordenados um tringulo de rea
mnima. Determine-a, mostre que essa reta paralela reta que passa pelos pontos de
coordenadas ( ) e ( ) e que, consequentemente, a reta e as retas paralelas aos eixos
que passam pelo ponto decompem esse tringulo em quatro tringulos iguais.
4. *Considere a funo definida por ( )
.
4.1 Determine para que valores de a equao ( )
impossvel.
4.2 A condio ( )
tem como conjunto soluo a reunio de trs intervalos disjuntos.
Determine os possveis valores reais de .
5. Considere a funo
definida por ( )
,
um ponto de abcissa positiva
pertencente ao respetivo grfico e a projeo ortogonal de sobre o eixo . Determine
para que valor real da abcissa de mxima a rea do tringulo
.
6. Numas guas-furtadas, pretende-se abrir uma janela
retangular de rea mxima. A janela deve ser aberta
numa fachada em forma de tringulo issceles, e dois
dos respetivos lados devem ser paralelos base do
tringulo, como se ilustra na figura. Representando
esta fachada por
, , determine as
e da
dimenses da janela em funo da base
do tringulo (onde , portanto, o
altura
ponto mdio do segmento de reta
).
Pgina 27
7. Considere a funo definida

por ( )
.
7.1 Determine o declive da reta secante ao grfico de nos pontos e de abcissa,
respetivamente,
e .
7.2 Justifique a existncia de um ponto do grfico de em que a reta tangente tem
declive igual ao da reta
.
7.3 *Determine, utilizando a calculadora grfica, um valor, aproximado s centsimas, da
abcissa de um ponto nas condies da alnea anterior, justificando a validade do
resultado obtido [ver comentrio relativo utilizao das calculadoras que figura no
descritor 5.5].
5.4
1. Uma partcula desloca-se sobre uma reta numrica cuja unidade o metro. A abcissa (nessa
reta) da respetiva posio no instante , em segundos, dada por ( )
.
1.1 Determine a velocidade mdia entre os instantes
e
.
1.2 Calcule a velocidade no instante
.
1.3 Supondo que a partcula esteve em movimento entre os instantes
e
, qual a
velocidade mxima atingida? Qual a acelerao da partcula nesse instante?
2. Um ponto desloca-se numa reta numrica no intervalo de tempo
segundos), de tal forma que a respetiva abcissa, como funo de
expresso ( )
(
).
(medido em
, dada pela
2.1 Indique a abcissa do ponto nos instantes

e
.
2.2 Determine a velocidade mdia do ponto nos dois primeiros segundos.
2.3 Determine a velocidade no instante
.
2.4 Estude a variao da velocidade do ponto , determinando os instantes em que
atinge a velocidade mxima e indicando a acelerao nesses instantes.
2.5 Determine a acelerao mdia entre os instantes
e
.
3. Um projtil foi lanado verticalmente a partir de um avio e a sua altura (em metros)
em funo do tempo decorrido aps o lanamento (em segundos) dada por
( )
3.1 Determine a altura mxima atingida pelo projtil.
3.2 Determine a velocidade mdia do projtil nos primeiros 5 segundos.
3.3 Determine a velocidade no instante em que atingiu o solo.
4. *Uma partcula introduzida num acelerador linear de partculas e submetida desde o
instante inicial a uma acelerao constante de tal forma que a respetiva velocidade sofre
um acrscimo de
m/s para
m/s em
segundos, instante em que choca com
a parede do acelerador. Determine:
4.1 a acelerao da partcula.
4.2 o espao percorrido pela partcula no referido perodo de
segundos.
5.5
Comentrio
Uma vez que as calculadoras grficas e outros recursos tecnolgicos apenas permitem obter
valores (em geral aproximados) de abcissas e ordenadas de um nmero finito de pontos do
grfico de uma dada funo, o facto de se observar com um desses recursos uma interseo de
representaes de grficos de duas dadas funes e no garante s por si que os grficos
se intersetem de facto ou que as coordenadas desses pontos de interseo, observados nas
Pgina 28
referidas representaes grficas, sejam aproximaes adequadas das coordenadas de

eventuais reais pontos de interseo dos grficos de e .
Inversamente, o facto de no se observar nenhuma interseo numa dessas representaes,
no garante que os grficos no se intersetem de facto no intervalo considerado. Como
exemplo da primeira situao basta pensar no grfico da funo ; como sabido, no
interseta o eixo dos , mas fcil escolher um intervalo de extremos negativos ainda passvel
de ser representado nas calculadoras grficas e no qual o grfico da funo se confunde com
um segmento do referido eixo dos , mesmo alterando arbitrariamente as escalas dos eixos,
dadas as limitaes acima referidas destes meios tecnolgicos. Quanto s outras situaes,
possvel que se observem determinadas intersees que de facto representam apenas pontos
suficientemente prximos dos grficos para que se confundam na referida representao
(como no caso referido da exponencial e da constante igual a ) enquanto existem intersees
reais dos grficos em regies em que nada se deteta na representao grfica porque, por
exemplo, uma ou ambas as funes sofrem grandes oscilaes na vizinhana de
determinados pontos, mas que no so detetadas por ocorrerem em intervalos do domnio
situados entre dois valores consecutivos das abcissas dos pontos dos grficos efetivamente
representados no ecr.
No entanto, possvel em muitos casos garantir a priori que o que se observa nas
representaes grficas obtidas, por exemplo, nas calculadoras, corresponde, de facto a
aproximaes, at determinada ordem decimal, de abcissas e ordenadas de pontos de
interseo de grficos de duas dadas funes e . Um dos instrumentos tericos que pode
ser utilizado para esse efeito o Teorema dos valores intermdios para funes contnuas; por
( ), mas
exemplo, se e forem contnuas em determinado intervalo
e ( )
( )
( ) ento seguro que os grficos de e se intersetam em pelo menos um ponto
do intervalo
. Com efeito, nesse caso, a funo
negativa em e positiva em ,
pelo que o referido Teorema garante que tem de se anular em algum ponto de
. Nesse
caso, e so, portanto, em particular, aproximaes, respetivamente por defeito e por
( ) nesse intervalo, como bvio. Assim, se
excesso, de qualquer soluo da equao ( )
e forem suficientemente prximos, podemos obter uma aproximao de uma tal soluo
(que sabemos a priori existir), com determinado nmero de casa decimais exatas.
Deste modo, com a informao a priori de que as funes e so contnuas, podemos depois
utilizar um recurso tecnolgico para examinar os grficos de e e, se detetarmos intervalos
como o intervalo
acima referido, podemos concluir que determinados pontos de
interseo observados nas representaes obtidas para os grficos de e tm por abcissa
( ) at uma determinada casa decimal.
aproximaes de solues da equao ( )
Note-se que, apenas com as informaes referidas, no ainda possvel concluir, em geral, que
os valores das ordenadas dos pontos de interseo observados nas representaes grficas
sejam aproximaes adequadas dos valores de e nos reais pontos de interseo dos
grficos, j que os valores dessas funes poderiam oscilar fortemente na vizinhana de uma
( ). Um caso interessante em que, pelo contrrio, se
soluo da referida equao ( )
podem extrair informaes adequadas acerca das ordenadas dos pontos de interseo ocorre
quando, alm do que se sups, (respectivamente ) montona em
, j que, nesse
caso, os valores de (respectivamente ) em e enquadram eles prprios os valores da
funo numa soluo da referida equao. Alm disso, se
for tambm estritamente
montona em
(o que acontece, por exemplo, se uma das funes for crescente e a outra
decrescente), essa monotonia permite garantir a unicidade do ponto de interseo dos grficos
no referido intervalo e utilizar com confiana os resultados observados em intervalos contendo
o ponto de interseco, to pequenos quanto a capacidade da calculadora o permitir, j que,
Pgina 29
nesses intervalos, teremos os mesmos resultados de comparao das duas funes nos
respectivos extremos que supusemos para o intervalo inicial
(
ter sempre sinais
contrrios direita e esquerda do valor em que se anula).
Nos exemplos seguintes exploram-se algumas situaes afins das que se acabaram de
descrever.
(
)
1. Considere as funes e
definidas por ( )
(
) e ( )
.
Pretende-se estudar as possveis intersees dos grficos de e no intervalo
,
obtendo valores aproximados para as abcissas e ordenadas dos pontos de interseo. Para
o efeito resolva as seguintes alneas:
1.1 Mostre que a funo decrescente e a funo crescente no intervalo
.
1.2 *Utilizando a alnea anterior, prove que os grficos das funes se intersetam num
nico ponto de abcissa no intervalo
e, utilizando a calculadora grfica,
determine um valor aproximado s centsimas para as coordenadas desse ponto,
explicando por que razo se pode garantir a validade do resultado obtido.
2. Considere as funes e definidas por ( )

e ( )
.
2.1 Determine o contradomnio de .
2.2 Justifique que se o grfico de intersetar o grfico de , a abcissa do ponto de
interseo pertencer ao intervalo
.
2.3 Considere a funo definida por ( )
( )
( ) Determine ( ) ( )
( )
( ) identifique trs intervalos disjuntos de nmeros reais aos quais pertena
pelo menos um zero da funo .
2.4 Utilizando a calculadora grfica, determine valores aproximados s dcimas para as
solues da equao ( )
( )
3. No grfico junto est representado o
grfico da funo
definida por
( )
e uma reta com declive
e tangente ao grfico de no
ponto
de abcissa no intervalo
A
.
3.1 *Prove que o ponto do grfico que
admite reta tangente com o
menor declive possvel tem
abcissa
e indique um
valor aproximado s dcimas
desse declive.
3.2 Justifique que existe pelo menos um ponto do grfico no qual a reta tangente tem
declive
e determine as coordenadas do ponto A, recorrendo calculadora
grfica e apresentando valores aproximados s centsimas.
4. Prove que a equao ( )
tem uma soluo no intervalo [
] e, utilizando uma
calculadora grfica, indique, justificando, um valor, aproximado s dcimas, dessa raiz.
Pgina 30
Trigonometria TRI12
Descritor
Texto de Apoio
1.1
Comentrio
Antes de se abordarem as demonstraes das frmulas trigonomtricas para o seno e o
cosseno da soma de ngulos conveniente ter bem presente como se obtm imediatamente
as medidas de comprimento dos catetos de um tringulo retngulo atravs da medida de
comprimento da hipotenusa e do seno e cosseno de um dos ngulos agudos do tringulo.
bvio, da prpria definio destas razes trigonomtricas, que se for dado um tringulo
,
retngulo em , e sendo o ngulo interno de vrtice em e a medida de comprimento da
hipotenusa, ento a medida de comprimento do cateto adjacente a dada por
ea
medida de comprimento do cateto oposto a dada por
. Ou seja, em certo sentido
podemos dizer que para obter o comprimento da projeo ortogonal de um segmento em
determinada direo basta multiplicar a medida do comprimento do segmento pelo cosseno do
(menor) ngulo entre a reta suporte do segmento e essa direo e para obter o comprimento
da projeo do mesmo segmento numa direo perpendicular inicial basta multiplicar a
medida do respetivo comprimento pelo seno do referido ngulo. Assim, em construes
envolvendo direes mutuamente perpendiculares torna-se fcil exprimir rapidamente o
comprimento de projees de segmentos em pares de tais direes usando apenas razes
trigonomtricas de um ngulo.
As frmulas trigonomtricas expressas neste descritor e no seguinte, em conjunto com as que
permitem calcular as razes trigonomtricas de um ngulo de amplitude igual a metade da
amplitude de um outro ngulo do qual se conhecem as razes trigonomtricas (facilmente
dedutveis destas), permitiram, desde a Antiguidade (com Hiparco, por exemplo, matemtico
da Escola de Alexandria, que viveu no sculo II a.C.) a elaborao de tabelas trigonomtricas
com preciso suficiente para as inmeras aplicaes em que desde ento se utilizou a
Trigonometria, nomeadamente em Astronomia, Cartografia, etc. Nos exemplos 4, 5 e 6 do
texto de apoio ao descritor 4.1 abaixo exploram-se estas questes, estabelecendo-se as
frmulas para o seno e cosseno do meio ngulo e requerendo-se a construo de uma
pequena tabela trigonomtrica, partindo de valores exatos facilmente dedutveis de alguns
ngulos e utilizando em seguida frmulas trigonomtricas para se passar para os restantes
ngulos da tabela.
Apresentam-se em seguida exerccios tendo por objetivo a justificao das referidas frmulas
para o seno e o cosseno da soma de ngulos; nestes exemplos utilizam-se apenas argumentos
de geometria sinttica mas no texto de apoio ao descritor 1.2 apresenta-se outro exemplo em
que se obtm as frmulas (tanto as que constam do descritor 1.1 como do descritor 1.2)
utilizando o conceito e propriedades do produto interno de vetores.
1. Considere dois ngulos adjacentes e de vrtice cuja

unio um ngulo agudo. Pretendemos deduzir as
frmulas que permitem calcular o seno e o cosseno de
em funo do seno e do cosseno de e . Para o
efeito, no lado do ngulo que no comum ao ngulo
, considere um ponto tal que
, sejam e
as projees ortogonais do ponto
nas retas suporte
respetivamente do lado comum aos dois ngulos e do
outro lado do ngulo e resolva as seguintes questes:
Caderno de Apoio TRI12
Pgina 31
1.1 Justifique que os pontos e esto, respetivamente, nos referidos lados dos ngulos
(
),
(
),
e e que
e
.
1.2 Justifique que o ngulo
igual ao ngulo .
1.3 Considere o ponto , projeo ortogonal do ponto na reta
, justifique que fica
situado entre os pontos e
e, utilizando o tringulo retngulo
, prove que
.
1.4 Considere o ponto
projeo ortogonal do ponto na reta
, justifique que o
ponto
fica situado entre os pontos e , utilizando o tringulo retngulo
,
prove que
e conclua que
.
)
1.5 Conclua das alneas anteriores que (
.
1.6 Utilizando novamente os tringulos retngulos
e
prove que

, que
e conclua que
(
)
.
2 **Considere dois ngulos agudos adjacentes e , de
vrtice , cuja unio um ngulo obtuso. Utilizando
uma construo idntica do exerccio 1, ilustrada na
figura ao lado, e as extenses a ngulos obtusos das
definies do seno e do cosseno, demonstre que
(
)
e que
(
)
, comeando
por justificar que o ngulo
igual ao ngulo
e comparando os respetivos seno e cosseno com o seno
e o cosseno do ngulo .
3 *Com base nos resultados do exerccio 1, mostre que dados dois ngulos adjacentes e ,
de vrtice , obtuso, cuja unio um ngulo convexo, podem obter-se, tambm
(
)
para estes ngulos, as frmulas
e
(
)
, comeando por exprimir como
,
agudo e reto, comparando o seno e o cosseno de
com o seno e o cosseno de
e o seno e o cosseno de com o seno e o cosseno de .
4 **Considere dois ngulos adjacentes e , de vrtice
,
obtuso, cuja unio um ngulo convexo.
Utilizando uma construo idntica dos exerccios 1 e
2, ilustrada na figura ao lado, e as extenses a ngulos
obtusos das definies do seno e do cosseno,
4.1 Justifique que o ngulo
igual ao ngulo
e compare os respetivos seno e cosseno
com o seno e o cosseno do ngulo .
4.2 Demonstre que:
(
)
4.2.1
(
)
4.2.2
Comentrio
Uma vez demonstrada, para quaisquer ngulos e tais que
um ngulo convexo, a
(
)
relao
, tambm seria possvel provar rapidamente
a identidade anloga para o cosseno da soma utilizando as igualdades referidas no descritor
1.13. Com efeito, sendo um ngulo reto:
Pgina 32
Se
um ngulo agudo (em particular e

)
(
)
(
obtuso,
)
(
)
e (
(
Como
(
Se
obtuso (em particular

)
(
)
Um dos ngulos
(
(
)
(
(
(
so agudos):
)
)
) agudo):
).
ou agudo. Suponhamos que o ngulo . Ento,

)
) (
))
((
(
)
(
)
(
)
)
.
(
Em ambos os casos,
1.2
.
Comentrio
Dado um ngulo convexo de amplitude superior de um ngulo convexo e sendo tal que
, ou seja, por definio, tal que
( , obviamente, convexo), as frmulas
enunciadas neste descritor so equivalentes s igualdades
(
(1)
que podem ser facilmente verificadas utilizando as identidades referidas no descritor 1.1 e a
frmula fundamental da trigonometria. Por exemplo:
(
De modo anlogo, admitindo os resultados expressos no descritor 1.2 seria fcil provar as
frmulas do descritor 1.1. Com as notaes acima introduzidas, estas ltimas frmulas podem
escrever-se (para a soma dos ngulos e ):
(2)
o que pode ser verificado reproduzindo, mutatis mutandis, os clculos anteriores, relativos s
frmulas em (1), desde que se admitam os resultados do descritor 1.2. Assim, recorrendo
tambm aos argumentos apresentados na parte final do texto de apoio ao descritor 1.1, basta
demonstrar uma das frmulas em (1) ou em (2) para obter as restantes e portanto todas as que
constam dos descritores 1.1 e 1.2.
No exemplo seguinte explora-se um mtodo de demonstrao da primeira frmula em (1),
acima, que tira partido da noo e propriedades do produto interno de vetores do plano. Para
que a alnea 1.2 possa ser resolvida com facilidade conveniente fazer preceder a resoluo
deste exerccio de consideraes como as que se acabaram de apresentar.
1. Considere dois ngulos convexos e tais que
um ngulo convexo. Fixado um
referencial ortonormado do plano considere os vetores e
de coordenadas
)e(
).
respetivamente (
1.1 Mostre que o ngulo entre os vetores e tem amplitude igual de e obtenha uma
equao envolvendo razes trigonomtricas dos ngulos , e exprimindo o
Pgina 33
produto interno de dois modos distintos: fazendo intervir o ngulo entre os dois
vetores e utilizando diretamente as coordenadas de e .
1.2 *Deduza da alnea anterior as frmulas trigonomtricas para a soma e diferena de
ngulos, no quadro dos ngulos convexos.
1.3
Comentrio
Tendo em conta as frmulas conhecidas para
ngulos convexos, estas igualdades generalizadas
so consequncias simples da definio do seno e
do cosseno de um nmero real.
[
Por exemplo, tomando

definio,
(
)
], por
)
((
(
)
(
))
Estas frmulas generalizadas tambm poderiam ser obtidas invocando as propriedades do

produto interno de vetores, por um processo anlogo ao utilizado no exemplo do texto de
apoio ao descritor 1.2. Inversamente, uma vez demonstradas estas frmulas generalizadas (o
que, como se viu, tambm pode ser feito sem invocar conhecimentos de clculo vetorial)
poderiam ser utilizadas para obter a expresso do produto interno de dois vetores do plano a
partir das respetivas coordenadas, adotando, em certo sentido, o caminho inverso ao descrito
no referido exemplo. Para o efeito bastaria notar que, dados dois vetores no nulos e do
plano podemos sempre represent-los na forma:
onde e so vetores de norma e tm portanto coordenadas (em dado referencial

)e(
) para certos ngulos de medida de
ortonormado) da forma (
amplitude respetivamente e em radianos, sendo ento o produto interno dos dois vetores
dado por:
)e(
) so as coordenadas respetivamente de e no referido referencial.
onde (
A partir desta frmula para o clculo do produto interno seria agora possvel voltar a obter a
conhecida propriedade algbrica do produto interno relativamente soma de vetores (cf.
descritor GA11-2.9) que no 11. ano foi utilizada precisamente para em seguida demonstrar a
frmula para o clculo do produto interno a partir das coordenadas.
Pgina 34
2.1

Consideremos, fixado um referencial ortonormado, o ngulo
orientado de medida
[ [ radianos cujo lado origem
coincide com o semieixo positivo das abcissas.
Consideremos ainda a interseo do lado extremidade
deste ngulo com a circunferncia trigonomtrica e o ponto
simtrico de relativamente ao eixo da abcissas.
bastante intuitivo reconhecer que uma corda tem comprimento inferior ao arco que
subtende. Assim, sendo
a medida do comprimento de
e, por definio de radiano,
a medida do comprimento do arco
conclui-se que
, ou seja, que
.
Este resultado pode ser tornado mais rigoroso se

definirmos adequadamente o que se entende
por comprimento de um arco. Em geral, o
comprimento ( ) de uma linha
de
extremidades e , definido como o supremo
dos comprimentos das linhas poligonais de
extremidades e cujos vrtices pertencem a
, e esto ordenados por um processo que
corresponde intuitivamente a um percurso ao
longo da linha em determinado sentido, adiante
designadas por linhas poligonais inscritas em .
Este conceito j foi abordado no caderno de apoio do 11. ano, a propsito do descritor TRI116.1, no caso particular de arcos de circunferncia e, nesse caso, que o que ser invocado para
obter o resultado expresso neste descritor, a ordenao dos vrtices da linha poligonal pode
ser facilmente definida atravs da ordenao de ngulos ao centro da circunferncia, como se
explica no referido texto de apoio.
Note-se que nada impede, partida,
que um tal supremo no exista.
Nesse
caso,
existem
linhas
poligonais inscritas em de medida
de comprimento arbitrariamente
grande. Diz-se ento que a linha
tem comprimento infinito.
por exemplo o caso da linha conhecida como floco de von Koch, ou curva de Koch, que
uma linha contnua obtida com limite uniforme de uma sucesso de linhas poligonais nela
inscritas, das quais se apresenta um exemplar na figura acima, e que tm comprimentos a
tender para mais infinito.
No , no entanto, o caso dos arcos de circunferncia, como iremos confirmar mais adiante.
imediato, com esta definio, que a medida de comprimento de qualquer linha poligonal
inscrita em inferior ou igual medida de comprimento de . Sendo
, em particular,
uma linha poligonal inscrita no arco

,
(
) o que justifica a desigualdade acima
obtida:
, para
[.
Pgina 35
Resta-nos ainda verificar que

.
Esta desigualdade relativamente imediata fazendo
consideraes sobre as reas. Designando por a projeo
ortogonal de no eixo das abcissas e por o ponto da
semirreta cuja projeo ortogonal no eixo das abcissas o
ponto ( ) , a medida da rea do tringulo
superior do setor circular

. Tem-se portanto
, ou seja,
.
Este ltimo resultado pode igualmente ser obtido recorrendo diretamente definio de
comprimento do arco , evitando-se assim o recurso a propriedades das reas que, sendo
bastante intuitivas, requerem, para a respetiva justificao rigorosa, uma teoria mais complexa.
Traando uma sequncia de
semirretas
(
) de origem em
e de declive
e
, designando
decrescente, com
por
e
as intersees respetivamente de
com o arco e com o segmento de reta
,
poder mostrar-se que para

,
. Com efeito, fixado
(
) o
segmento
base do tringulos issceles
; alm disso, considerando o ponto
da semirreta tal que , o tringulo
um tringulo issceles semelhante ao
tringulo
(pelo critrio LAL), pelo que,
em particular, agudo o ngulo
.
Em contrapartida obtuso o ngulo
por ser ngulo externo adjacente a um dos
ngulos agudos do tringulo retngulo
, pelo que o ponto
situa-se entre o ponto
e o ponto .
Ento temos, por um lado , j
que o lado
do tringulo
nele
se ope ao ngulo obtuso
(suplementar
do ngulo agudo
), pelo que o maior dos
lados desse tringulo e, por outro,
, pela semelhana dos tringulos issceles
e
(com efeito, para
, tem-se obviamente
porque
hipotenusa do tringulo
). Conclumos
retngulo
e
.
assim que, de facto,
Somando estas desigualdades obtm-se ento que o comprimento da linha poligonal de
vrtices , ,
inferior a .
A medida de comprimento portanto superior medida de comprimento de qualquer linha
poligonal inscrita no arco
. Por definio de supremo, tem-se ( ) . Este resultado,
assim demonstrado com rigor, tem tambm como consequncia que os arcos de circunferncia
tm efetivamente um comprimento (finito). A majorao obtida permite mesmo concluir
facilmente que os arcos de circunferncia de amplitude igual a metade do ngulo reto (caso em
que o tringulo
issceles), tm comprimento majorado pelo comprimento do raio da
circunferncia, pelo que, em particular
.
Pgina 36
3.2
1. Esboce o grfico das seguintes funes nos intervalos indicados, indicando, para cada uma
delas, o perodo positivo mnimo, o contradomnio e os zeros.
1.1. ( )
(
) em
;
1.2. ( )
1.3. ( )
) em [
1.4. ( )
1.5. ( )
(
(
1.6. ( )
1.7. ( )
1.8. ( )
) em [
[;
) em [
em
(
(
[;
)
)
;
em
em
[;
;
};
\{
em [
3.3
[ {
}.
Comentrio
Este descritor refere, no caso unidimensional, a Relao Fundamental da Dinmica. Esta
Relao estabelece a proporcionalidade, em cada instante, entre a fora a que se encontra
submetido um ponto material e a respetiva acelerao, com constante de proporcionalidade
igual massa desse ponto. Sendo um resultado que est, historicamente, na gnese do prprio
clculo diferencial, e tendo em conta a importncia que o presente Programa confere
modelao do real, este princpio deve ser conhecido pelos alunos, mesmo por aqueles que
no frequentaram a disciplina de Fsica.
A Relao Fundamental da Dinmica, em conjuno com a Lei de Hooke, permite evidenciar de
forma simples um comportamento de oscilao harmnica. Esta lei diz essencialmente que
uma mola, fixada numa extremidade, exerce sobre um ponto material , de massa
,
colocado na outra extremidade, uma fora de intensidade proporcional distncia (
)e
de sentido igual ao do vetor , onde a posio de equilbrio que o ponto ocupa
quando a mola se encontra em repouso.
Designando por ( ) e por
as abcissas dos pontos e
respetivamente, por ( ) a
diferena ( )
e por
a constante de proporcionalidade entre a intensidade da fora
exercida pela mola e a distncia (
), a intensidade algbrica da fora exercida sobre no
instante dada por ( )
( ). Tem-se assim:
( )
O deslocamento
.
( ( )
( )
( )
( ) satisfaz portanto a equao diferencial
( )
( )
( ) , onde
imediato verificar que as funes da forma ( )

(
) , onde e so
constantes reais, so solues desta equao diferencial. Prova-se tambm que todas as
solues so desta forma, pelo que esta classe de funes descreve completamente os
possveis movimentos de um ponto material nas condies acima descritas, ou seja,
apresentou-se assim um modelo matemtico, fundamentado em leis da Fsica, que descreve o
movimento oscilatrio do ponto .
Pgina 37
4.1
1. Determine os valores exatos de:

1.1
cos
1.2
(
2. Calcule
)e
1.3
) sabendo que
cos
( )
[.
3. Resolva, em , cada uma das seguintes equaes:
3.1
3.2
3.3
3.4 *
3.5
;
(
3.6 *
3.7 **
)
(
( )
)
4. *Dado um ngulo convexo
pretendemos obter
frmulas para o seno e o cosseno de
em
funo do cosseno de . Para o efeito considere

uma circunferncia de raio centrada no vrtice
do ngulo e o ngulo de vrtice , inscrito
na circunferncia, com um dos lados contendo
um dos lados do ngulo e compreendendo
entre os seus lados o mesmo arco de
circunferncia que o ngulo , tal como
representado na figura (representa-se o caso em
que agudo, mas o argumento vale para
qualquer ngulo convexo).
Sendo o ponto interseo com a circunferncia dos lados no colineares dos ngulos
e resolva as seguintes alneas:
4.1 Justifique que

.
4.2 Considere a projeo ortogonal do ponto na reta suporte dos lados
colineares dos ngulos
e
e a projeo ortogonal
do centro
da
circunferncia no outro lado do ngulo . Invocando o teorema de Pitgoras
relativo ao tringulo
4.3 Deduza da alnea anterior que

5. **Utilizando a frmula
prove que
e conclua que
com
) .
e exprimindo ambas as
razes trigonomtricas de envolvidas na frmula apenas no seno ou no cosseno do

mesmo ngulo, deduza que
e que
para qualquer ngulo
convexo .
Pgina 38
6.
Utilize as frmulas do seno e do cosseno da metade do ngulo (cf. exerccios 4. e 5.

acima) e do seno e do cosseno da soma de ngulos para cumprir as seguintes tarefas:
6.1 Construa uma tabela trigonomtrica com os valores exatos dos senos, cossenos
e tangentes dos ngulos agudos de amplitude mltipla de
e, utilizando uma
mquina de calcular, compare os valores obtidos com os fornecidos pela
mquina.
6.2 *Utilizando a alnea anterior determine o valor exato das razes trigonomtricas
do ngulo de
.
7.
Determine o domnio e os zeros da funo g definida por ( )
8.
Estude a monotonia e os extremos relativos da funo

(
( )
definida no intervalo
por
e indique o respetivo contradomnio.

definida por ( )
9. Averige se o grfico da funo

verticais.
em
admite assntotas
( )
definida por ( )
10.1 Averige se contnua em

10.2 Prove que a reta de equao
{
.
tangente ao grfico de
em
( )
definida por ( )
, sendo
Determine o valor de k de modo que g seja contnua em
12. *Considere a funo
definida por ( )
Averige se h contnua em
um nmero real.
( )
13. Determine, utilizando a definio, a derivada de cada uma das seguintes funes em
e em
.
( )
( )
13.1 ( )
( )
13.2. ( )
13.3. ( )
14. Calcule, nos pontos em que existe, uma expresso da derivada da funo definida por:
( )
14.1 ( )
14.2
( )
14.3
( )
14.4
( )
14.5
* ( )
;
.
).
15. Mostre que a funo definida pela expresso ( )

qualquer intervalo em que se encontre definida.
decrescente em
Pgina 39
16. Depois de reduzir o intervalo de estudo, sempre que possvel, por argumentos de paridade
e de periodicidade, estude os intervalos de monotonia das seguintes funes.
16.1
* ( )
16.2
( )
16.3
** ( )
17. Um
ponto
desloca-se
numa
circunferncia de centro e raio
,
no sentido anti-horrio e a uma
velocidade
constante,
ou
seja,
percorrendo distncias iguais (medidas
como comprimentos de arcos de
circunferncia) em tempos iguais. Sabese que completa uma volta inteira em
minutos e, medida que se desloca,
a reta tangente circunferncia em
interseta, quando no lhe paralela, a
reta
no ponto (onde um dado
ponto distinto de ).
17.1 Designe a medida em radianos de por , exprima a medida em
de em
funo de , designando a expresso obtida por ( ), indicando qual o maior
intervalo de extremo esquerdo igual a em que est definida.
17.2 Suponha que se inicia a contagem do tempo num instante em que o ponto est
situado na semirreta . Exprima em funo do tempo (medido em segundos) e
indique como se pode obter dessa funo e da funo determinada na alnea
anterior (com domnio igual a ) a funo posio do ponto no deslocamento que
efetua na reta numrica
(tomando o centmetro para unidade de medida do
comprimento) comeando no instante inicial e de modo a percorrer todos os pontos
da semirreta que no so interiores ao crculo de centro e raio
.
17.3 Determine a funo velocidade do movimento do ponto , descrito na alnea
anterior.
17.4 *Determine o instante em que
e determine a velocidade do ponto nesse
instante, indicando a unidade em que est expressa. Apresente o resultado
arredondado s dcimas.
4.2
1. Um ponto desloca-se numa reta numrica no intervalo de tempo

segundos), de tal forma que a respetiva abcissa, como funo de
expresso ( )
(medido em
, dada pela
1.1
1.2
1.3
1.4
Indique a abcissa do ponto nos instantes

e
.
Determine a amplitude do movimento do ponto .
Determine o perodo e a frequncia deste oscilador harmnico.
Determine os valores de para os quais a abcissa do ponto dista da origem
unidades.
1.5 *Determine em que instantes o ponto atinge a distncia mxima da origem.
Pgina 40
2. Uma mola est suspensa por uma extremidade, tendo na outra extremidade um corpo .
Aps ter sido alongada na vertical, a mola inicia um movimento oscilatrio no instante
.
) dada em cada instante (em segundos) pela
A distncia ao solo do corpo (
expresso: ( )
(
) para
.
2.1 Determine a distncia mxima e mnima do corpo ao solo.
2.2 Indique o valor da amplitude do movimento de .
2.3 Determine o perodo e a frequncia deste oscilador.
2.4 Esboce o grfico da funo e determine a respetiva fase.
2.5 Determine os instantes em que o corpo est distncia de 4 metros do solo.
3. A representao grfica do movimento de um oscilador harmnico
seguinte:
no intervalo
3.1 Determine a amplitude , a pulsao , o perodo T e a fase .

3.2 Escreva uma expresso analtica ( ) da funo representada.
3.3 Utilizando a expresso obtida em 3.2. determine os valores de tais que ( )
4. Um ponto move-se no eixo das abcissas de forma que a sua abcissa no instante (em
( )
( )
segundos) dada por ( )
4.1 *Prove que se trata de um oscilador harmnico.
4.2 Indique a amplitude, o perodo, a frequncia do movimento, bem como o respetivo
ngulo de fase.
4.3 *Determine os instantes em que o mdulo da velocidade de nulo.
( )
( ).
4.4 Determine o valor real de tal que
5. Para
, a abcissa ( ) de um ponto material no instante (em segundos) que se
desloca num eixo satisfaz a equao diferencial ( )
( )
.
Apresente todos os resultados com arredondamento s dcimas da unidade.
( )
5.1 Mostre que a funo definida pela expresso ( )
satisfaz a equao
diferencial linear ( )
( ).
5.2 *Que ponto deve ser tomado como origem do referencial por forma que a abcissa
do ponto seja dada por ( )?
Considere esse referencial at ao final do exerccio.
5.3 Mostre que a funo ( )
( )
( ) , onde e so constantes
reais, satisfaz a equao diferencial ( )
( ).
5.4 Admitindo que a funo de facto da forma indicada em 5.3, calcule as constantes
e , sabendo que no instante
o ponto se encontra no ponto de abcissa e
que no instante
a velocidade do ponto de
unidades por segundo, no
sentido contrrio ao eixo.
Pgina 41
5.5 Calcule em que instantes o mdulo da velocidade de mximo e em que instantes

nulo.
5.6 *Calcule a amplitude do movimento de .
5.7 *Prove que existem constantes reais e tais que para todo
, ( )
(
) e determine-as.
Pgina 42
Funes Exponenciais e Funes Logartmicas FEL12

Descritor
Texto de Apoio
1.4
Comentrio
Para
, tem-se:
(
Esta desigualdade, dita por vezes desigualdade de Bernoulli, pode ser justificada da seguinte
forma:
(
)
(
) (
)
(
)
(
)
donde se conclui o resultado.
(
A monotonia da sucesso de termo geral

para
, o quociente
) pode agora ser verificada calculando,
)(
Aplicando a desigualdade de Bernoulli com
)
)
donde se conclui que a sucesso de termo geral
crescente.
Trata-se, igualmente, de uma sucesso majorada:

Pelo binmio de Newton,
Observando que, para

(
,
)
e que, para
(o que bvio, j que pode ser expresso como um produto de
fatores no inferiores a , bastando para o efeito substituir por
no produto que ocorre
na definio de ; este resultado pode tambm ser facilmente verificado por induo), temos:
( )
Assim, a sucesso
Observando que
, sendo crescente e majorada, convergente.

(
, ou seja,
Caderno de Apoio FEL12
, o limite de
, designado por , satisfaz
Pgina 43
Em alternativa utilizao da desigualdade de Bernoulli, pode obter-se a monotonia da

sucesso (
) utilizando tambm o binmio de Newton e escrevendo as respetivas
parcelas, neste caso, como:
(
)(
Examinando o efeito de substituir em cada parcela destas (com

) por
,
facilmente se conclui que se obtm um valor superior, j que, com essa substituio,
efetuamos o produto de uma mesma constante pelo mesmo nmero de fatores, cada um deles
superior ao que veio substituir, pois aumentmos o denominador da frao, ou seja,
diminumos o respetivo valor, e esta figura como subtrativo, aumentando assim o valor da
diferena. Ora o desenvolvimento de (
) pelo binmio de Newton, para alm destas
parcelas, que comparmos uma a uma com as parcelas correspondentes do desenvolvimento
de Newton de (
, tem apenas mais duas parcelas (para
), iguais s
correspondentes parcelas do desenvolvimento de (

)
, ao passo que o
desenvolvimento desta ltima potncia ainda tem a parcela positiva correspondente a
. Assim, forosamente, (
) .
As majoraes obtidas para as parcelas do desenvolvimento de (

) pelo binmio de
Newton sero tambm utilizadas mais adiante, num caso ligeiramente mais geral, para se obter
a derivada na origem da funo exponencial, embora essa demonstrao no seja requerida
aos alunos (cf. texto de apoio ao descritor 2.9) e uma tcnica semelhante pode tambm ser
utilizada para obter a monotonia em
da funo ( )
) (cf. texto de apoio ao
descritor 2.7).
De um ponto de vista dos juros compostos,
representa o montante disponvel ao fim de um
ano, dividindo esse ano em perodos iguais e capitalizando-se um juro de
no final de
cada um deles, relativamente a um capital inicial de
e a uma taxa anual de juros de
.
A monotonia de
significa, neste quadro, que quantas mais capitalizaes ocorrerem durante
o ano maior ser o rendimento final.
Podemos interpretar o limite, em
, desta quantidade, como o capital final obtido
distribuindo o juro de
de forma uniforme durante o ano e capitalizando-o a cada
instante. Neste caso, o capital final no ser infinito, mas antes igual a
.
que
2.1
Comentrio
Que a funo definida no conjunto dos nmeros racionais por ( )
decrescente se
e crescente se
uma consequncia simples do caso em que
. Basta
utilizar as propriedades conhecidas das potncias de expoente racional e notar que, para
, tem-se
se e somente se
.
Pgina 44
Para
, podemos comear por mostrar que para quaisquer
Este resultado consequncia da seguinte cadeia de implicaes, cuja justificao pode ser
formalizada utilizando o mtodo de induo:
para qualquer
. Com efeito, torna-se depois bvio, pela transitividade da relao de
ordem, que, para qualquer
:
o que outro modo de exprimir o resultado acima.

tambm fcil agora estender sucessivamente o resultado de a
e em seguida a .
Comecemos por notar que, das propriedades das potncias de expoente natural relativamente
relao de ordem expressas nos descritores ALG10-1.1 e 1.2 e da tricotomia dessa mesma
relao de ordem, facilmente se conclui que a funo raiz de ndice (para qualquer
,
) crescente para valores no negativos (esse resultado tambm poderia ser obtido
agora invocando o sinal da derivada). Utilizando esse resultado temos ento, para quaisquer
:
o que prova o resultado pretendido em

. Podemos agora estender o resultado a todo o ;
comeando por analisar o caso de dois racionais de sinais contrrios, se
, temos,
obviamente,
,
e
(j que, por hiptese,
), donde:
Resta assim provar o resultado para dois racionais negativos ou para um racional qualquer e o
racional nulo; excluindo este ltimo caso, que trivial, temos, para quaisquer
, se
ento
, donde
e portanto
, ou seja, como pretendamos,
.
2.2
Comentrio
Para um dado
, comecemos por demonstrar que a funo definida nos racionais por
( )
contnua em ; para o efeito provemos que os limites de esquerda e direita
de existem e so ambos iguais a
.
Seja ento (
) uma sucesso de nmeros racionais positivos, de limite nulo. Sabemos j (cf.
SUC11-6.30) que
Considerando, para j, que
suficientemente grande,
; fixado
, existe portanto
, tem-se, em particular, que

, e, por monotonia,
tal que
. Ento, para
, ficando assim
provado, por definio, que
Pgina 45
O mesmo se pode concluir no caso
, observando simplesmente que
que esta sucesso tem por limite , j que

qualquer caso:
( )
. Acabmos portanto de concluir que, em
Resta agora provar que

tambm tende para esquerda de ; considerando uma sucesso
( ) de nmeros racionais negativos, de limite nulo, (
) obviamente uma sucesso de
nmeros racionais positivos de limite nulo, pelo que:
Mostrou-se assim que a funo

vez que existe
definida nos racionais por ( )
contnua em , uma
Considerando agora um qualquer nmero racional ,

( )
Ento, a existncia do limite de ( ) em resulta imediatamente da existncia do limite da
funo
em que, por sua vez, consequncia imediata da existncia do limite de
( )
em , j que, obviamente,
(cf. FRVR11-1.11). Conclui-se assim que

contnua em .
2.3
Comentrio
A prova da propriedade expressa neste descritor pode seguir linhas muito semelhantes da
propriedade enunciada no descritor anterior. Dado
e
, como
(cf.
SUC11-6.29), existe em particular
tal que
.
Considerando uma sucesso de racionais ( ) de limite
, a partir de certa ordem,
.
Por monotonia, tem-se a partir dessa mesma ordem que
, ficando assim
demonstrado que
.
2.5
Comentrio
Nos descritores 2.1, 2.2, 2.3 e 2.4 foi cuidadosamente estudada a funo definida nos
racionais por ( )
,
. No presente descritor, faz-se a extenso de ao conjunto dos
nmeros reais, mantendo-se as propriedades de monotonia, os limites e as propriedades
algbricas da funo inicial.
Essa extenso feita de forma intuitiva. Em rigor, para definir ( ), quando
, seria
necessrio tomar uma sucesso ( ) de nmeros racionais, de limite , mostrar que ( )
converge, e que esse limite independente da sucesso ( ) escolhida.
Pode motivar-se esta definio utilizando as aproximaes dos nmeros reais por dzimas
finitas dadas pela representao habitual destes nmeros na forma de dzima finita ou infinita.
Pgina 46
( ), pelo que, da continuidade e monotonia da funo

Sabemos, por exemplo, que
exponencial com domnio , podemos garantir que, por exemplo para
:
ou seja,
Ora, se considerarmos agora um nmero irracional e a respetiva representao como dzima

infinita no peridica, seja por exemplo,
podemos
considerar a sucesso crescente das potncias de expoente racional:
ou seja:
Sendo esta sucesso crescente e majorada (por qualquer , racional,

, por exemplo
por
), conclumos que necessariamente convergente em ; e esse limite que
pretendemos identificar como .
Em seguida, tendo em conta as propriedades conhecidas dos limites, poder-se-iam demonstrar,
uma a uma, as propriedades pretendidas.
Por exemplo, tomando
limites respetivos e ,
, nmeros reais
e sucesses de racionais (
) e(
) de
(definio)
(propriedade dos limites de sucesses convergentes)
(propriedade algbrica das potncias de expoente racional)
(definio, uma vez que
).
2.7

Seja
por ( )
a funo definida em
) .
possvel mostrar que crescente em

, comeando por mostrar que a restrio de ao
conjunto dos nmeros racionais positivos crescente e estendendo em seguida essa
propriedade a
, por passagens ao limite, com tcnicas semelhantes s referidas a propsito
do descritor 2.5.
Provemos ento que
crescente em
. Sejam
tais que
; temos:
e pretendemos provar que:

(
Pgina 47
ou seja,
(
o que ainda equivalente (elevando ambos os membros a

(
) a:
Basta agora comparar estas duas potncias utilizando o Binmio de Newton (analogamente ao
que se fez no texto de apoio ao descritor 1.4, num dos processos de demonstrao da
monotonia da sucesso exponencial); temos:
(
))
)) (
(
)(
)(
)
)
e, analogamente:
(
Uma vez que, por hiptese,

, o somatrio no desenvolvimento da primeira potncia
tem menos parcelas do que o somatrio no desenvolvimento da segunda e cada uma das
parcelas do primeiro somatrio inferior correspondente parcela do segundo somatrio,
pelo que, de facto:
(
como pretendamos mostrar.

Para podermos estender a
a propriedade de monotonia de conveniente, em primeiro
lugar, justificar que contnua. Para o efeito convm comear por definir a funo
logartmica , tal como se indica nos descritores 3.1 e 3.3. Que uma tal funo contnua pode
justificar-se invocando um resultado geral de continuidade da funo inversa de uma funo
real de varivel real bijetiva e contnua definida num intervalo mas veremos uma
demonstrao direta desse facto no texto de apoio ao descritor 3.11; sendo assim, a
continuidade de resulta da simples observao de que composta de funes contnuas,
como fica patente ao notar-se que:
(
Agora, se
racionais (
)e(
, podemos considerar racionais e tais que

, sucesses de
) a convergir respetivamente para e e podemos j supor que, para
Pgina 48
qualquer
, pois estas desigualdades tm de verificar-se pelo
menos a partir de certa ordem. Ento, de (

deduzimos que (
para todo o
particular, (
(
)
)
(
(
)
) , como pretendamos. A funo
)
(
) ,
) , donde, em
tambm montona em
, mas tal resultado no necessrio para o que se segue e pode ser demonstrado
mais tarde recorrendo j ao estudo da funo , utilizando o clculo diferencial (cf. o exemplo
4 do texto de apoio ao descritor 6.3).
( )
Agora, como
( ).
que
, em particular, para todo o
, existe um nmero natural
Tomando ento uma qualquer sucesso ( ) de limite igual a

da qual
. A partir dessa ordem, por monotonia, ( )
tal
, existe uma ordem a partir

( )
.
Por outro lado, como para todo o

, ( )
, imediato que para todo o
( )
( )
, onde um inteiro qualquer superior ou igual a .
(
Mostrou-se assim que a partir de certa ordem,

( )
sucesso ( ) de limite igual a
,
.
pelo que, para qualquer
( (
Por definio, temos assim:

(
Observando que, para

( )
)) (
temos:
( )
Tomando agora
(o caso
( (
))
imediato),
[
Como
( )
( )
]
( )
, consoante o sinal de ,
(cf. 2.6),
. Por continuidade da funo
( )
ou seja,
(
Pgina 49
2.9

Embora no se requeira a demonstrao do resultado expresso neste descritor, convm referir
que essa demonstrao pode ser levada a cabo utilizando diretamente os resultados j
conhecidos de aproximao da funo exponencial, nomeadamente o que ficou expresso no
descritor 2.7. Com efeito, se, comeando por supor
por (
, substituirmos
) , para
um
arbitrrio, na expresso
, obteremos, utilizando o binmio de Newton (e
exprimindo as respetivas parcelas de modo anlogo ao que foi feito no texto de apoio aos
descritores 1.2 e 2.7 atrs):
(
)(
)(
)
(
Podemos agora utilizar uma majorao anloga que se utilizou para obter uma estimativa do
nmero (e para, em particular, verificar que a sucesso exponencial limitada), comeando
por notar que, para
,
(analogamente ao que se observou no referido texto de
apoio ao descritor 1.2, pode nesse caso escrever-se como o produto de
parcelas no
inferiores a ), donde, finalmente, uma vez que supusemos
, e supondo agora tambm
que
, obtemos, da igualdade anterior, o enquadramento:
Uma vez que

para
( )
, passando ao limite em
( )
as desigualdades acima obtemos,
Ento, passando agora ao limite quando
tende para
. Para obter o limite quando
tende para
estas desigualdades, conclumos que

, temos, ainda para
donde se deduz imediatamente que, de facto,
3.1
3.2
3.3
3.4
3.5
Comentrio
Conhecidas as propriedades das funes exponenciais e definindo as funes logartmicas
como as respetivas funes inversas, possvel deduzir todas estas propriedades com bastante
facilidade.
Pgina 50
3.6
3.7
3.8
3.9
3.10
A ttulo de exemplo, tomando
Se
Tem-se
e dados nmeros reais positivos
e :
, ento, como a funo exponencial de base

, ou seja,
. Por contra-recproca,
acabmos de provar que a funo
crescente.
(
Sendo a funo exponencial de base
crescente,
, e
bijetiva,
).
3.11
Comentrio
A diferenciabilidade e a frmula para o clculo da derivada da funo
(
) pode
deduzir-se diretamente do resultado para o caso particular da funo e este ltimo de um
teorema geral relativo diferenciabilidade, num ponto de continuidade, da funo inversa de
uma dada funo diferencivel com derivada no nula (no ponto correspondente). Se for
diferencivel num ponto do domnio, uma vez provada a diferenciabilidade de
no ponto
( ))
( ), da igualdade (
e do Teorema de derivao da funo composta
aplicado no ponto
poder obter-se
( ))(
)( )
(
donde resulta, em particular, que, necessariamente, ( )
e que (
)( )
( )
Embora no se requeira a demonstrao da diferenciabilidade da funo inversa, esta pode ser

obtida diretamente a partir da definio de derivada; pretendemos provar que existe o limite
quando
da razo incremental:
( )
( )
{ }; esse facto resulta

( ) ponto aderente a
Em particular temos de verificar que
{ }, pois isso significa que existe uma sucesso
de, por hiptese, ser ponto aderente a
( )
de termos no domnio de e distintos de , donde, por continuidade, ( )
{ }, j que injetiva. Considerando agora uma sucesso de
e, obviamente, ( )
( ), os so distintos de e (por
termos em
, distintos de ,
, pondo
( )
( ), pelo que:
continuidade de
em )
, tendo-se
( )
( )
(
( )
( )
( )
Onde o limite , de facto, finito e igual ao valor indicado porque, por hiptese, diferencivel
em e ( )
. Conclumos assim, como pretendamos, que
diferencivel em
( ) e:
(
Daqui resulta, para a funo
)( )
, inversa de
( )
( ))
, que:
Pgina 51
Esta demonstrao pressupe, no entanto, que se conhece a continuidade da funo ,

propriedade que tem de ser previamente demonstrada para se provar de maneira simples o
que requerido no descritor 3.11. Admitida essa continuidade, podemos tambm,
evidentemente, dispensar o teorema geral relativo diferenciabilidade da funo inversa que
acabmos de examinar e muito simplesmente utilizar diretamente a definio de derivada para
o caso particular desta funo; assim teremos:
(
Ora, para cada

, o argumento do logaritmo no ltimo membro desta cadeia de equaes,
como sabemos, converge para quando tende para , quer por valores positivos, quer por
valores negativos, j que, nesse caso, converge para
ou para
. Portanto o limite em
do primeiro membro da cadeia existe sempre e igual a .
Agora fcil calcular a derivada de qualquer
e portanto:
, pois de
obtemos
donde:
Resta apenas provar a continuidade da funo . Para o efeito seja

e ( ) uma sucesso
a tender para tal que
, para qualquer
; pretendemos provar que a sucesso
) converge para
de termo geral (
. Ora:
(
assim, temos de mostrar que, dado
(
, existe uma ordem
(
Como a funo
)
tal que, para
crescente, esta cadeia de desigualdades equivalente a:
ou seja, a:
(
Ora, do que se conhece da funo exponencial, deduz-se que (

como a sucesso de termo geral
tende para , por definio de limite sabemos que,
Pgina 52
a partir de certa ordem
, teremos simultaneamente
. Portanto, de facto, atendendo s equivalncias acima referidas, a

(
)
) converge para
sucesso de termo geral (
, o que termina a demonstrao da
continuidade de ln.
4.1
4.2
Comentrio
Para calcular o limite em questo podemos comear por minorar a funo definida em
(para um dado
esse efeito:
(
onde
) por uma funo que tende para
a funo definida em
(
(
por ( )
em
por
. Tem-se ento, para
)
) , que crescente e tende para em
(cf. texto de apoio relativo ao descritor 2.7). Ou seja,
donde se deduz (cf. FRVR12-1.5) o resultado pretendido.

Este resultado estende-se facilmente ao caso em que um qualquer nmero real,; pois o
caso em que
trivial, j que, se
, obtemos o produto de duas funes que tendem
para
em
.
A justificao do resultado expresso no descritor 4.2 bastante simples, bastando notar que:
e aplicando em seguida o resultado expresso no descritor anterior, no caso

que
tem limite
em
.
4.3
, atendendo a
1. Calcule, caso existam, os seguintes limites:

1.1.
1.2.
1.3.
1.4.
1.5. *
) ;
) ;
) ;
) ;
(
) ;
Pgina 53
1.6.
1.7.
) ;
) .
2. Calcule, em , o limite das funes definidas pelas seguintes expresses, utilizando

mudana de varivel sempre que lhe parecer conveniente.
2.1. ( )
2.2. ( )
2.3. ( )
2.4. ( )
2.5. * ( )
2.6. * ( )
((
2.7. * ( )
( (
) )
( )
( )
( )
2.13.
( )
3. Calcule
4. Calcule
),
;
;
;
,
(
2.11. * ( )
2.12.
)
;
2.10.
2.8. ( )
2.9.
), onde
;
um nmero natural.
).
5. Dadas sucesses de termos gerais respetivamente e

positivos,
e
(
e
) mostre que:
[Sugesto: comece por justificar que
]
tais que
tem os termos todos
6. *Com hipteses adequadas demonstre resultados semelhantes ao expresso no exemplo 5.

Admitindo que possa tambm ser ou
e possa tambm ser
ou
.
Pgina 54
7. Calcule os limites das seguintes sucesses:

7.1. (
7.2. (
7.3. (
8. Calcule os limites das seguintes sucesses:

8.1. (
) [cf. FRVR12-3.1, exemplo 2.3]
8.2. (
8.3. (
5.1
Comentrio
Neste descritor referem-se alguns problemas em diferentes reas do conhecimento, cujo
estudo pode levar a um modelo matemtico envolvendo o que se chama uma equao
diferencial (ordinria) de 1 ordem de tipo muito particular, nomeadamente que pode ser
escrita na forma
onde um dado nmero real. Ou seja, uma equao cujas solues so funes reais de
varivel real definidas em intervalos, diferenciveis, e satisfazendo, em cada ponto do
respetivo domnio
( )
( )
Consideremos, para comear, o problema que consiste em determinar a evoluo ao longo do
tempo da massa de determinada substncia radioativa. Desde a descoberta da radioatividade
que se sabe que determinadas substncias emitem continuamente partculas , e , o que
corresponde a alteraes da respetiva estrutura atmica, de tal modo que ao longo do tempo
os tomos da substncia inicial se vo transformando em tomos de outras substncias (sofrem
o chamado decay, decaimento ou desintegrao radioativa), numa cadeia caracterstica
de cada elemento radioativo. Da substncia inicial sobra sempre uma poro, correspondente
aos tomos que ainda no se desintegraram, e que, evidentemente, diminui progressivamente
com o tempo. Designando por ( ) a massa de substncia que ainda no se desintegrou
(proporcional ao nmero de tomos que no sofreram o chamado decaimento radioativo), o
problema est em obter informaes acerca da funo ( ) em dado intervalo de tempo.
A anlise do fenmeno fsico que preside variao de com o tempo sugere que a
probabilidade de um tomo de determinada substncia iniciar o processo de desintegrao
radioativa durante um perodo de uma unidade de tempo constante, ou seja, em cada um
desses perodos a massa de substncia que sofre desintegrao , em mdia, uma percentagem
fixa da massa existente. Assim, obtm-se a massa total que se desintegra entre os instantes e
(
) multiplicando por essa percentagem da massa existente; este postulado
est formulado com certo grau de impreciso, uma vez que a massa dever variar entre os
instantes e
, pelo que se pode pr a questo de saber exatamente de que massa se
deve considerar a percentagem. Podemos comear por supor que ser da massa considerada
Pgina 55
em certo instante intermdio
; teremos ento:
(
para certa constante
( )
( )
( )
, ou seja,
(
( )
Para podermos supor que a funo soluo de alguma equao diferencial, teremos de
fazer a hiptese de se tratar de funo diferencivel. Esta hiptese tem, evidentemente, algum
grau de irrealismo, j que, em certo intervalo de tempo, o nmero de tomos que comeou a
desintegrar-se inteiro, pelo que a variao de se faz por mltiplos inteiros da massa de um
tomo da substncia, tratando-se portanto sempre de funo em escada, logo descontnua
em muitos instantes, e portanto certamente no diferencivel. Como, no entanto, a massa de
cada tomo muito reduzida relativamente massa total em estudo, podemos tentar
aproximar a funo massa por uma funo diferencivel, pois, por exemplo, para intervalos de
tempo reduzidos, mas significativos do ponto de vista experimental, temos a perceo de que a
variao de massa ser tambm reduzida, o que pelo menos justifica a hiptese de
continuidade. Formalmente, poderamos at justificar a continuidade atravs da equao
) decrescente como funo de , pelo
acima, pois dela resulta que, para cada , (
)
( )
( )
(
) por
( ) que tende
que poderamos majorar (
para zero quando
e, analogamente, substituindo na referida equao, por
,
(
)
( ) , para
obtemos ( )
, donde se deduz que (
)
( ) tende para zero quando
)
( ) tambm tende
, ou seja, (
para zero quando
, o que mostra que de facto contnua em todo o .
De qualquer modo, os pressupostos que se fazem ao procurar adotar um modelo matemtico
para estudar determinado fenmeno tm sempre algum grau de arbitrariedade,
correspondendo a certa simplificao da realidade. Uma vez desenvolvidas as consequncias
matemticas do modelo adotado e confrontados os resultados com a realidade em estudo,
pode-se aferir o grau de preciso do modelo. Caso se verifiquem discrepncias notveis com os
resultados da experincia, dever-se-o reexaminar os pressupostos que lhes serviram de base,
procurando eventualmente aproxim-los mais da realidade observada. Repete-se ento o
processo de desenvolver a teoria matemtica, resultante agora dos novos pressupostos, e de
confrontar com a realidade os resultados tericos obtidos, podendo prosseguir-se do mesmo
modo indefinidamente, o que constitui, no fundo, o progresso normal das cincias envolvendo
processos de matematizao.
No caso sobre o qual nos estamos a debruar, feita a hiptese de continuidade de , podemos
passar ao limite quando
no segundo membro da ltima equao acima, pois essa
continuidade garante que esse limite igual a ( ) , j que, independentemente da escolha de
para cada , ter-se- sempre
quando
, j que, por construo
. Obtemos assim:
(
)
( )
( )
Raciocnio idntico pode ser levado a cabo relativamente a cada intervalo
permite obter tambm:
(
( )
( )
( )
, o que
)
Pgina 56
( )
A igualdade destes dois limites garante que a funo

( )
diferencivel e:
( )
Examinemos agora outro exemplo de problema cuja resoluo envolve uma equao do
mesmo tipo. Pensemos na evoluo de determinada populao, por exemplo de seres
humanos nacionais de determinado pas. Designando por ( ) o nmero de indivduos
existentes em dado instante , pretendemos estudar a evoluo da funo ( ), procurando
fazer hipteses to realistas quanto possvel acerca da populao de modo a podermos, no
entanto, supor que ( ) soluo de determinada equao diferencial. Tal como para o caso
da desintegrao radioativa, tambm claro agora que a populao s aproximadamente se
pode considerar como funo diferencivel do tempo, ou mesmo contnua, uma vez que s
pode tomar valores inteiros, e uma funo contnua s tomando valores inteiros em dado
intervalo seria necessariamente constante. Neste caso, porm, considerando populaes
constitudas por grande nmero de indivduos, relativamente variao que nessas
populaes ocorre em pequenos intervalos de tempo, podemos conjeturar que a
aproximao por funes diferenciveis ser adequada, pelo menos em certos casos.
Comecemos por supor que a variao de ao longo do tempo apenas consequncia das
mortes e nascimentos que vo ocorrendo (ou seja supe-se que a emigrao e imigrao se
compensam); em primeira aproximao razovel supor que o nmero de mortes que ocorre
por unidade de tempo proporcional populao total existente, com certa constante de
proporcionalidade
( diz-se taxa de mortalidade mdia por habitante), bem como o
nmero de nascimentos, com certa constante de proporcionalidade
(taxa de natalidade
mdia por habitante). Teremos ento o seguinte clculo aproximado para a populao no
instante
, dada a populao no instante :
(
( )
( )
( )
( )
) ( )
(note-se que poderamos comear por fazer uma anlise mais fina destas hipteses imagem
) ( ) por (
) ( ), com
do que se fez como decaimento radioativo, substituindo (
e seguindo o raciocnio acima desenvolvido). Com a hiptese de
diferenciabilidade, teremos em cada instante , por passagem ao limite quando
:
( )
) ( )
equao j nossa conhecida, pois , mais uma vez, da forma

por taxa de crescimento mdio por habitante.
. Muitas vezes designa-se
Finalmente, consideremos a lei de Newton do arrefecimento/aquecimento que estabelece que

a taxa de variao instantnea da temperatura de um corpo diretamente proporcional
diferena entre a temperatura ambiente e a temperatura do corpo. Representando por ( ) a
temperatura do corpo no instante e por a temperatura ambiente, suposta constante,
teremos ento, para certa constante
:
( )
( ))
Embora esta equao no seja exatamente da mesma forma das anteriores, se definirmos
( )
( ) teremos:
( )
( )
( ))
( )
Pgina 57
Note-se que poderamos ter passado por uma deduo da equao mais cuidadosa, a exemplo
do que se fez para a desintegrao radioativa, comeando por exprimir a lei de Newton do
arrefecimento primeiramente no em temos da taxa de variao instantnea da temperatura
(o que faz desde logo intervir uma derivada) mas da variao da temperatura em pequenos
intervalos de tempo, postulando que a variao da temperatura por unidade de tempo uma
percentagem fixa da diferena de temperatura entre o corpo e o ambiente (havendo
arrefecimento ou aquecimento consoante o corpo est a uma temperatura superior ou inferior
ao ambiente) e fazendo consideraes semelhantes s efetuadas a propsito do decaimento
radioativo ou do modelo apresentado de crescimento populacional.
5.2
Comentrio
Estabelecidos alguns modelos de fenmenos da natureza que conduzem a estudar as funes
definidas em intervalos de que satisfazem, para no respetivo domnio, a:
( )
( )
(onde uma constante independente de ), podemos agora procurar caracterizar essas

funes utilizando expresses analticas nossas conhecidas. Ora, conhecemos uma funo (a
exponencial ) cuja derivada coincide com a prpria funo e facilmente se constroem a partir
dela funes satisfazendo a equao acima para todo o
. Com efeito temos, obviamente:
(
onde a diferenciao feita naturalmente em ordem a . Ou seja, a funo ( )
soluo da primeira equao acima em todo o o mesmo se podendo concluir para qualquer
funo dada por uma expresso analtica da forma
, onde uma constante real
qualquer. Pe-se agora a questo de saber que outras funes tambm sero solues dessa
mesma equao. Ora, se supusermos que uma dada funo soluo da referida equao em
( ) e se multiplicarmos ambos os
dado intervalo de , ou seja se, para
, ( )
membros desta equao por
, obteremos, para todo o
:
( )
( )
( )
( )
( ( )
A ltima equao desta cadeia garante que a funo ( )

existe
tal que, para todo o
:
constante em , ou seja, que
( )
ou ainda:
( )
Acabmos de demonstrar que as funes dadas pelas expresses analticas
em intervalos
de esgotam as solues, definidas em intervalos, da equao diferencial
. Ainda
podemos notar que, se conhecermos o valor de determinada soluo em certo
, ento
teremos:
( )
e portanto existe uma e somente uma soluo em da equao considerada que dada por:
( )
Pgina 58
Um outro mtodo que pode ser utilizado para se obter esta forma geral para as solues da
equao inicial, aps a abordagem do domnio Primitivas e Clculo Integral, consiste em
partir da equao ( ( )
e integrar ambos os membros num intervalo genrico da
)
forma
. Utilizando a frmula de Barrow obtemos imediatamente:
( ( )
( )
( )
( )
No texto de apoio ao descritor 6.4 veremos como aplicar estas concluses aos problemas
referidos no descritor 5.1 para, em cada caso, avanarmos na resoluo de diversas questes
que se podem colocar.
6.1
1. Foi efetuado um depsito a um ano de

num banco no regime de juro composto
taxa anual de
.
1.1. Qual o capital acumulado ao final de um ano?
1.2. Mostre que o capital acumulado ao fim de anos de aproximadamente
.
1.3. Justifique que a sucesso dos capitais acumulados em cada um dos anos a partir do
primeiro uma progresso geomtrica de razo
.
1.4. Obtenha a expresso que permite obter o capital acumulado ao fim de anos.
1.5. Utilize a calculadora para determinar ao fim de quantos anos possvel obter um
capital acumulado superior a
1.6. Supondo que dada a opo de capitalizar juros pagos proporcionalmente em cada
perodo de trs meses, mas com uma taxa de apenas 1,9% ao ano, determine se um
tal depsito permite obter ao fim de um ano um capital acumulado maior ou menor
do que o obtido na opo acima descrita.
2. *O senhor Esteves aderiu a um plano de poupana a uma taxa de juro semestral de
,
em regime de juro composto. Para tal efetuou um depsito de
em janeiro de
e
comprometeu-se a efetuar reforos de
cada seis meses. Sabendo que este plano de
poupana termina em janeiro de
, qual o capital acumulado ao fim deste perodo de
tempo?
qu
6.2
1. Considere nmeros reais positivos

. Determine o valor de:
(
);
1.1.
1.2.
1.3.
1.4.
e tais que
);
+
(
diferentes de
);
2. Resolva, em , as seguintes condies, exprimindo as solues como intervalos ou unies

de intervalos quando no forem em nmero finito ou numervel:
2.1
2.2
2.3 ( )
2.4
2.5
Pgina 59
2.6
2.7
2.8
( )
(
(
);
);
2.9 *
3. **Mostre que para todo o

6.3
1. Considere as funes e definidas por ( )

e ( )
1.1 Indique o domnio de e estude a existncia de assntotas ao grfico de .
1.2 Resolva a equao ( )
.
1.3 Determine uma expresso analtica para a funo inversa de e o respetivo domnio.
1.4 Determine a funo derivada de e identifique os intervalos de monotonia de
1.5 Determine o domnio da funo .
1.6 Justifique que o eixo
assntota do grfico de em
e em
.
1.7 Averigue se o grfico da funo admite assntotas verticais.
1.8 Resolva a condio ( )
.
2. A partir do instante em que foi administrada uma medicao por via oral, a quantidade do
medicamento existente no sangue (em
) dada pela frmula
( )
(
), com em horas
2.1 Qual a quantidade de medicamento existente no organismo ao fim de horas?
Apresente o resultado arredondado s dcimas.
2.2 Ao fim de quanto tempo a quantidade de medicamento no organismo atinge o valor
mximo? Apresente o resultado em horas e minutos, arredondados s unidades
2.3 Sabe-se que a eficcia do tratamento depende da existncia de uma quantidade
mnima de
no organismo. Utilize a calculadora grfica para determinar
durante quanto tempo garantida a quantidade mnima no organismo, efetuando
um estudo prvio da funo que legitime o processo. Apresente o resultado em
horas arredondado s dcimas.
3. Esboce os grficos das funes dadas respetivamente por cada uma das seguintes
expresses analticas, comeando por determinar os respetivos domnios, intervalos de
monotonia, extremos relativos, concavidades e inflexes.
3.1 ( )
( )
3.2
3.3 * ( )
3.4 ** ( )
)
)
3.5 ( )
3.6 * ( )
3.7
( )
3.8 *
Pgina 60
3.9 **
3.10 ** .
4. Considere a funo definida em
por ( ) (
) .
4.1 *Calcule a derivada de .
4.2 **Mostre que a derivada de pode ser expressa como o produto de por uma
funo que crescente em
, decrescente em
e tende para zero em
e em
e conclua que crescente tanto em
como em
.
4.3 Ser uma funo crescente? Justifique.
4.4 **Calcule os limites de em
e em e esboce o grfico de .
6.4
Comentrio
Ao abordarem situaes concretas do tipo das referidas no descritor 5.1, ou seja, as que podem
ser modeladas recorrendo a equaes diferenciais da forma
, onde uma constante
real, mais proveitoso que, pelo menos numa primeira fase, os alunos procurem seguir os
processos descritos no texto de apoio ao descritor 5.2 em lugar de aplicarem apenas as
concluses finais ento referidas. No entanto, dando sequncia a essa exposio, vejamos, em
cada um dos modelos referidos em 5.1, alguns exemplos do que pode ser interessante
desenvolver a partir das concluses referidas em 5.2, podendo as consideraes que se seguem
constituir uma fonte de inmeros problemas concretos de aplicao destes conceitos.
No caso do decaimento radioativo, traduzindo diretamente a concluso final do texto de apoio
ao descritor 5.2, uma vez que as funes massa satisfazem
, ficamos a saber que tais
funes ( ) so todas da forma:
(
( )
onde
a massa da substncia radioativa em determinado instante . Para que esta soluo
possa ser utilizada para a resoluo de problemas prticos, necessrio conhecer a constante
, caracterstica de cada substncia. A prpria forma das solues permite-nos chegar a um
processo exequvel para a determinao de ; com efeito, supondo conhecida a massa da
substncia radioativa presente em determinada amostra em dois instantes
e , se
designarmos por
a massa no instante teremos:
(
( )
ou seja, podemos agora escrever a soluo apenas em funo de

( )
e
(
Estas frmulas permitem tambm notar que, no caso particular em que
, obtemos:
em particular, o tempo
que a massa leva a reduzir-se a metade, designado por halflife (semivida), no depende da massa inicial e uma quantidade caracterstica da
Pgina 61
substncia radioativa em questo. Se designarmos a semivida por
teremos ento:
e obtemos tambm, em funo da semivida:

( )
O fenmeno de decaimento radioativo permite em alguns casos determinar a idade de
determinados objetos construdos com substncias de origem orgnica (madeira, por
exemplo), pelo facto de se saber que a percentagem de carbono 14, istopo radioativo, no
carbono existente nos seres vivos se mantm sensivelmente constante, j que estes seres, ao
alimentarem-se, acabam por absorver o carbono 14 existente no dixido de carbono da
atmosfera, atravs da fotossntese das plantas que direta ou indiretamente entram na cadeia
alimentar; quanto ao carbono 14 existente na atmosfera, a respetiva percentagem no carbono
total, devido aos bombardeamentos permanentes por raios csmicos, mantm-se
sensivelmente constante ao longo do tempo (as variaes efetivas dessa percentagem podem
ser levadas em conta numa anlise mais fina). Quando um desses seres morre, o carbono 14
que continha comea a decair de acordo com a lei que acabmos de estudar, j que no h
absoro de novas quantidades dessa substncia. Comparando a taxa de desintegrao
radioativa na amostra que se pretende datar e num ser ainda vivo possvel saber h quanto
tempo morreu o ser (a rvore, por exemplo) de onde foi colhido o material utilizado. Para o
efeito basta utilizar a frmula acima para em funo de
e
e, se quisermos
exprimir o resultado em funo da semivida, a frmula que relaciona com :
Como, em geral, o que se mede diretamente so as taxas de decaimento e no as massas

subsistentes de substncia radioativa, podemos ainda notar que, da prpria equao resulta
imediatamente que:
( )
( )
( )
( )
pelo que a frmula anterior para o lapso de tempo que se procura conhecer pode exprimir-se
na forma:
( )
( )
frmula que pode ser diretamente usada no chamado mtodo de datao pelo Carbono 14.
Quanto ao modelo proposto de crescimento populacional,
podem ser todas expressa na forma:
( )
)(
( )
) ( ), as solues
onde a populao no instante . Assim, se a taxa de natalidade (mdia por habitante) for
superior taxa de mortalidade, a populao ter crescimento exponencial, ao passo que no
caso
a populao tender exponencialmente para a extino. Este modelo, dito
Malthusiano, em homenagem a Malthus, eclesistico ingls que, na viragem do sculo XVIII
para o sculo XIX, apresentou este modelo, fazendo, a partir dele, previses catastrficas para
Pgina 62
o futuro da Humanidade, tem, evidentemente, fortes limitaes, pois no leva em conta a

limitao dos recursos, a imigrao e emigrao, as variaes das taxas de natalidade e
mortalidade, os conflitos, etc.
Embora no sejam referidos nas metas, existem modelos populacionais, geralmente mais
realistas que o precedente, que levam em conta as limitaes de recursos, determinando que
uma dada populao no pode ultrapassar certo valor limite
e, nesse caso, supe-se
que a taxa de crescimento mdio por habitante em dado instante antes proporcional ao
( )). Obtm-se assim a equao (dita de crescimento logstico), para
produto ( ) (
certo
:
( )
( )(
( ))
Curiosamente podemos chegar a uma equao do mesmo tipo fazendo a hiptese de que, para
alm dos nascimentos e mortes naturais, sujeitos a taxas mdias constantes por habitante,
h outras mortes que resultam da conflitualidade ou competio entre indivduos, supondo-se,
por exemplo, que cada encontro entre dois indivduos tem determinada probabilidade
constante de ser fatal o que determina que o nmero de mortes deste tipo por unidade de
tempo seja suposto proporcional ao nmero de encontros possveis entre dois indivduos da
populao (ocorrendo estes encontros aleatoriamente, mas uniformemente em relao ao
tempo), o qual evidentemente ser, em determinado instante , igual ao nmero de pares (no
ordenados) que se podem formar com ( ) indivduos, que (no caso em que ( ) um
) . Assim teramos, com as aproximaes habituais:
nmero natural) ( )( ( )
(
( )
( )
( )
( )( ( )
o que conduz equao:

( )
com
) ( )
( )( ( )
(
( )(
( ))
No estudaremos propriamente este tipo de equaes, mas nada impede que se descreva o
modelo aos alunos e que verifiquem, por exemplo, que determinada funo soluo,
propondo-se problemas envolvendo essa funo. Note-se que o estudo desta equao pode
reduzir-se a uma primitivao direta, pois, supondo que a populao nunca atinge
nem se
anula, a equao equivalente a:
( )
( )(
( ))
E podemos facilmente integrar ambos os membros entre dois instantes e , obtendo a forma
geral das solues com aquelas caractersticas, desde que conheamos uma primitiva da
funo de :
(
Assim, este estudo pode corresponder a problemas de nvel mais avanado, que podem
tambm ser abordados a propsito do domnio Primitivas e Clculo Integral.
Pgina 63
Tal como no caso do decaimento radioativo, tambm agora, no caso malthusiano, podemos
dispensar o conhecimento prvio da constante
, desde que se tenha acesso a censos da
populao em dois instantes diferentes; assim, refazendo os clculos acima efetuados no caso do
decaimento obtemos, para valores e da populao em instantes respetivamente e :
e portanto:
( )
Finalmente,
( )
(
quanto ao modelo
( )), ou seja, ( )
de Newton de
( ), com ( )
( )
sendo
( )
a temperatura do corpo no instante

( )
aquecimento/arrefecimento,
( ), teremos:
, e portanto:
(
ou seja, a temperatura em cada instante uma mdia pesada entre a temperatura inicial do
corpo e a temperatura ambiente, de modo que o peso associado temperatura do corpo
tende para zero exponencialmente e o peso associado temperatura ambiente tende para
tambm exponencialmente. Tal como nos modelos anteriores, tambm se poderia determinar
o valor de conhecendo o valor e da temperatura em instantes, respetivamente e :
Seguem-se alguns exemplos de problemas que podem ser propostos aos alunos, relacionados
com estes modelos. Os enunciados e os nveis de desempenho podero ser adaptados de
acordo com o que tiver sido discutido previamente acerca dos diversos modelos abordados.
1. A populao da Nova Zelndia era de
habitantes em 1921 e de 1,344
em
1926; supondo que a evoluo da populao deste pas obedecia a uma lei Malthusiana
(taxa constante de crescimento populacional por habitante) determine a populao ( )
para qualquer instante . Sabendo que os valores reais eram, em milhes de habitantes,
respetivamente
em 1935,
em 1945,
em 1953 e
em 1977, discuta a
adequao do modelo adotado realidade, no perodo de tempo considerado, calculando
as percentagens de erro do modelo relativamente aos dados reais.
2. *Durante um certo perodo, a populao de um dado pas dada, em milhes de
habitantes, por ( ), onde o tempo, em anos, decorrido desde o dia 1 de Janeiro de
1960. A taxa de mortalidade anual , aproximadamente, de
para cada
habitantes e
a taxa de natalidade de para cada
habitantes. Todos os anos, chegam ainda ao pas
cerca de
novos imigrantes.
2.1 Calcule (
) em funo de ( ).
2.2 Supondo que as mortes e nascimentos se distribuem uniformemente ao longo do
tempo, ou seja, que as taxas de mortalidade e natalidade por habitante em
determinado perodo de tempo
(medido em anos) so diretamente
proporcionais a , calcule (
) em funo de ( ).
Pgina 64
2.3 Fazendo a aproximao
( )
( )
, para
suficientemente pequeno,
( )
mostre que a funo satisfaz a equao diferencial ( )
2.4 Determine uma expresso para a funo definida por ( )
( )
, depois de
estabelecer uma equao diferencial satisfeita por esta funo, sabendo que em 1950
a populao do pas de
milhes de habitantes.
2.5 Determine uma expresso para a funo . Neste regime, ao fim de quanto tempo
duplicar a populao?
3. Uma massa de
gramas de Rdio 226 existente numa amostra no instante
desintegra-se ao longo do tempo. Em todo o instante , a taxa de variao instantnea da
massa, ( ), proporcional massa ( ) existente nesse instante. Sabendo que ao fim de
ano, a massa de Rdio igual a ( )
gramas, calcule o tempo necessrio
desintegrao de metade da massa inicial. Apresente o resultado em anos, arredondado a
unidade.
4. O Carbono 14 sofre desintegrao radioativa de tal forma que a taxa de variao ( ) da
massa ( ) existente ao fim de anos diretamente proporcional a ( ), sendo a
constante de proporcionalidade igual a
.
4.1 Prove que, a partir de uma massa inicial
a massa ( ) existente ao fim de anos
dada pela frmula ( )
.
4.2 Uma amostra recolhida num tmulo contm apenas
do carbono 14 previsto em
organismos vivos. Determine a idade aproximada dessa amostra, em anos,
aproximada unidade.
4.3 Uma amostra de origem vegetal foi datada de aproximadamente
anos. Qual a
percentagem de carbono 14 contida nessa amostra? Apresente o resultado
arredondado s centsimas.
5. Durante um certo perodo, o nmero de ursos numa reserva natural dado por ( ), onde
o tempo, em anos, decorrido a partir do dia 1 de Janeiro de 1990. A funo verifica
( )
( )(
( )).
5.1 Mostre que a funo , dada pela expresso ( )
, satisfaz a equao
diferencial. Admitiremos, at ao final do exerccio, que de facto desta forma.

5.2 Calcule o valor da constante em funo da populao inicial ( )
.
5.3 Qual a evoluo da populao se
? Interprete o resultado obtido.
5.4 **Considere que
. Em que instante a taxa instantnea ( ) mxima?
Esboce o grfico de , interpretando geometricamente, determinando valores
aproximados dos eventuais pontos notveis do grfico com o auxlio de uma
calculadora grfica. [Sugesto: para o estudo da funo, nomeadamente para estudar
a monotonia e concavidades, pode utilizar a prpria equao diferencial].
6. Uma substncia desintegra-se de tal forma que uma massa inicial de 12mg se reduz a 4mg
em meia hora. Sabe-se, por outro lado, que a taxa de variao instantnea da massa (ou
taxa de desintegrao) em determinado instante , ( ), proporcional massa ( )
existente nesse instante.
6.1 Prove que, considerando a massa inicial indicada, a massa , em
, desta
substncia ao fim de horas dada pela expresso ( )
.
6.2 Definindo a taxa de desintegrao mdia num dado intervalo
por
( )
( )
, compare a taxa de desintegrao mdia na primeira e na segunda
hora.
Pgina 65
6.3 Determine a taxa de desintegrao ao fim de uma hora e meia e ao fim de 3 horas.
6.4 Determine a expresso de
( ), estude o respetivo sinal, descreva como varia a
taxa de desintegrao desta substncia e explique o significado desse resultado no
contexto da situao.
7. *Um copo com gua acabada de ferver (portanto temperatura de
C) deixado
arrefecer numa sala temperatura ambiente de
C. Sabendo-se que ao fim de dois
minutos a temperatura da gua atinge
C, ao fim de quanto tempo atingir a
temperatura de
C?
Pgina 66
Primitivas e Clculo Integral PCI12

Descritor
Texto de Apoio
1.6
Comentrio
Ainda que as justificaes pedidas sejam bastante simples, h que ter em ateno que no se
trata aqui de mostrar igualdades entre funes, mas igualdades entre famlias de funes.
De facto, ( ( )
( )) representa a famlia de funes dadas por expresses da forma
( )
,
, onde uma qualquer primitiva de
e ( )
( )
( )
representa a famlia de funes ( )
,
, ou seja, ( )
( )
,
, onde e so, respetivamente, primitivas de e de .
Assim, mostrar que ( ( )
( ))
equivalente a mostrar que
( )
( )
e
diferem por uma constante, ou seja, uma vez que se trata de funes diferenciveis
(
)
num intervalo, que tm a mesma derivada:
Da mesma forma, para
, mostrar que ( )
( )
( ) , o que verdade por linearidade da diferenciao.
que
1.7
equivalente a mostrar
1. Calcule, em intervalos convenientes, as seguintes primitivas:

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
1.14 **
1.15
1.16 **
1.17
Caderno de Apoio PCI12
Pgina 67
2.1
Comentrio
Uma construo rigorosa do integral definido - recorrendo por exemplo a somas de Riemann
ou de Darboux encontra-se fora do mbito do presente Programa. Desta forma, efetuada,
nos restantes objetivos gerais deste domnio, uma introduo noo de integral recorrendo
noo de rea. Note-se que, em rigor, a rea de regies do plano delimitadas por grficos de
funes contnuas e por retas verticais no se encontra devidamente definida, pelo que a
presente abordagem deve ser considerada intuitiva.
2.2
Informao complementar para o professor

O smbolo atualmente utilizado para representar o integral de uma funo foi introduzido por
Leibniz no sculo XVII e muito simplesmente a forma ento geralmente utilizada para a letra
s, exceto quando na posio final das palavras ou na segunda posio de um duplo s no
interior de uma palavra. Pretendia-se assim abreviar a palavra latina summa, ou seja, soma
que era a designao que Leibniz pretendia atribuir soma de quantidades infinitesimais,
embora tenha sido suplantada pela de integral que Johann Bernoulli popularizou. O smbolo
era inicialmente utilizado sem a indicao dos extremos que, quando necessrio, eram
concretizados no decorrer da exposio. As parcelas ( ) representavam o produto do
valor de uma funo em determinado ponto do respetivo domnio pelo comprimento de um
intervalo onde se situava , considerado infinitesimal, ou seja de comprimento desprezvel
e onde portanto se supunha que o valor da funo no variava, tomando sempre o valor ( ).
Quando a funo era positiva, ( ) representava portanto a medida de rea de um
retngulo com um dos lados de medida infinitesimal e a soma das reas de todos os
retngulos assim considerados seria igual, deste modo, rea abaixo do grfico da funo ,
em unidades quadradas.
Uma notao ento utilizada para a derivada (e ainda hoje bastante vulgarizada) consistia em
representar a derivada de uma funo ( ) por
O que recorda a origem da noo de derivada, que o limite de uma razo entre o acrscimo
da varivel dependente o acrscimo a que corresponde na varivel independente. Com esta
notao, a representao utilizada para o integral e a respetiva interpretao fornecem de
alguma maneira uma mnemnica para a frmula de Barrow, j que, se cortarmos
no
denominador com o
do smbolo de integrao, como se a derivada fosse um verdadeiro
quociente e o
no smbolo de integral fosse uma verdadeira quantidade multiplicativa,
obteramos
Se a ltima expresso for interpretada como uma soma dos acrscimo

correspondentes aos
acrscimos infinitesimais sucessivos em que imaginamos que se efetuam para que
percorra determinado intervalo de integrao
, notamos que as sucessivas parcelas
(
)
( ), para entre e , se anulam todas, com excepo de
( ) e ( ),
( ), coerentemente com a frmula de Barrow, j que ,
pelo que o resultado final ( )
evidentemente, uma primitiva de .
Pgina 68
2.4
2.5
Comentrio
A monotonia do integral definido, no caso considerado no descritor 2.4, pode ser considerada
como consequncia imediata de uma propriedade intuitiva da noo de rea, que admitiremos:
uma parte do plano tem sempre rea superior ou igual a um seu subconjunto.
Quanto ao descritor 2.5, a prova pedida pode, por exemplo, ser a seguinte, baseando-se, mais
uma vez, em propriedades intuitivas da noo de rea que admitiremos para este efeito e
utilizaremos quando necessrio, sem as nomear explicitamente:
Seja ento uma funo contnua no negativa num intervalo
,(
), e definida em
( ) ( ) . Fixado
por
e dado
tal que
(
)
( ) , pelo descritor 2.1, a medida da rea da regio do plano delimitada pelo
grfico de , o eixo das abcissas e as retas verticais formadas pelos pontos de abcissas e
.
Tem-se assim
( )
( ) .
Pelo Teorema de Weierstrass, admite um mnimo

( ) e um mximo ( ) no intervalo
,
ambos no negativos. Como, para nesse intervalo,
se tem
( )
( )
( ) , o resultado
mencionado no descritor 2.4 implica que
ou seja,
( )
( )
( )
( )
( )
( )
Destas desigualdades pode-se concluir que

(
( )
Observando que, por continuidade de
( )
no ponto ,
( )
( )
( )
( ),
pelo Teorema das funes enquadradas,

(
( )
( )
Pgina 69
Por um processo anlogo, fixando

facilmente se conclui que
(
( )
e considerando
(
( )
tal que
( )
pelo que, pelo resultado expresso no descritor FRVR11 1.7,

( )
( )
,
)
( )
diferencivel em
Tem-se ainda ( ) ( )
, j que se trata da rea de um segmento de reta (est
contido em retngulos de rea arbitrariamente pequena, pelo que tal rea, majorada por
nmeros positivos arbitrariamente pequenos, s pode ser nula).
2.6
Comentrio
Com as notaes do descritor anterior, basta observar, tomando
( ) ( ) , que
( )
Tomando agora uma qualquer primitiva
garante a existncia de
tal que
Assim,
( )
2.8
2.10
( )
( )
na igualdade
( )
da funo
.
( ( )
no intervalo
( )
o descritor 1.2
( )
Comentrio
Nestes descritores estende-se o conceito de integral s funes contnuas definidas num dado
) do intervalo
intervalo
para as quais existe uma decomposio (
,
(
), tal que, em cada intervalo
, no
positiva ou no negativa. So essencialmente as funes que alternam de sinal um nmero
finito de vezes. Note-se que existem funes contnuas que no satisfazem este critrio, como
por exemplo a funo definida no intervalo
por ( )
se
e ( )
A integrabilidade de tais funes fica portanto fora do mbito do presente Programa.
Pgina 70
Para se chegar definio expressa no descritor 2.10, uma primeira etapa (descritor 2.8)
consiste em definir o integral de uma funo contnua e no positiva num intervalo
como o simtrico da medida da rea da regio do plano delimitada pelo grfico da funo , as
retas de equao
,
e o eixo das abcissas. Com esta definio, e reconhecendo
intuitivamente que a rea de uma dada regio do plano preservada pela reflexo de eixo
(assim como por qualquer isometria), facilmente se obtm que ( )
( ( )) .
Poder ento definir-se o integral no intervalo
de uma funo que alterne de sinal, nesse
intervalo, um nmero finito de vezes, como mencionado mais acima, pela frmula
( )
( )
( )
devendo naturalmente ter-se o cuidado de observar que esta quantidade no depende da

).
escolha da decomposio (
fcil verificar que, com esta definio, o Teorema Fundamental do Clculo se estende a esta
classe de funes:
Dado
Se
, existe
tal que
no negativa ou no positiva no intervalo

(
for no negativa nesse intervalo, sabemos j que
anteriormente,
( )
( )
( )
( ), onde, como
Se for no positiva no intervalo

reduzir o problema ao caso anterior.
Da mesma forma se mostra que, para
que
, a identidade
( )
( )
( ))
permite
( ), donde se conclui
Poder ento estender-se facilmente a estas funes a frmula de Barrow, e, em seguida, as

restantes propriedades elencadas no descritor 2.10.
3.1
1. Calcule o valor de cada um dos seguintes integrais:

1.1
1.2 (
1.3
1.4
1.5
)
( )
1.6
( )
1.7
Pgina 71
1.8
1.9
1.10 *
1.11 *
2. Calcule a derivada das funes definidas pelas seguintes expresses:

2.1
2.2
( )
2.3 *
2.4 **
3. Dada uma funo

por
contnua num intervalo

( )
), define-se a mdia de
em
( )
3.1 Calcule a mdia das funes definidas pelas seguintes expresses, nos intervalos
indicados:
( )
3.1.1
,
;
[ ]e
( )
3.1.2
,
;
( )
( )(
) num intervalo de amplitude igual ao respetivo
3.1.3
perodo positivo mnimo.
3.2 **Considere um ponto material que se desloca ao longo de um eixo. Mostre que a
mdia da funo velocidade, segundo esta definio, coincide com a velocidade
mdia.
3.3 *Seja uma funo afim. Determine um ponto do intervalo
tal que ( )
( ).
4. **Considere a funo definida em
4.1 Mostre que mpar.
por ( )
4.2
4.3
4.4
4.5
Mostre que a funo limitada, comeando por justificar que para

Estude a monotonia de e o sentido da concavidade do respetivo grfico.
Mostre que
( ) existe e finito.
Calcule a equao da reta tangente ao grfico de nos pontos de abcissa
.
4.6 Mostre que para todo o
, ( )
.
4.7 Esboce o grfico de .
5.
**Mostre que a primitiva nula em
de uma funo par definida em
impar.
Pgina 72
6. Calcule, num intervalo conveniente, a primitiva nula em

6.1 ( )
das funes definidas por
6.2 ( )
7. Calcule constantes reais
no nulas tais que para todo o
e deduza uma expresso da primitiva

por ( )
.
(
3.2
nula em
},
da funo definida no intervalo
1. Sejam e funes definidas e primitivveis num intervalo .

1.1*Derivando o produto
, mostre que sendo ( ) uma primitiva de
( ) uma primitiva de
.
1.2 Deduza da alnea anterior que:
( ( ) ( ))
ento
( ( ) ( ))
1.3 Utilizando o resultado da alnea anterior determine a primitiva das seguintes funes
comeando por escrev-las adequadamente na forma
:
1.3.1
1.3.2 **
1.3.3
2. Um ponto material desloca-se na reta numrica, estando, em cada instante
, sendo
o tempo medido em segundos, submetido acelerao ( ) igual a unidades de
comprimento por segundo quadrado. Calcule a posio que ocupa o ponto no instante
, sabendo que se encontra no instante
na origem e que a velocidade de ,
no instante
, de
unidades de comprimento por segundo, no sentido positivo.
3. Um ponto material desloca-se na reta numrica, estando em cada instante
( ), na unidade de acelerao correspondente.
submetido acelerao ( )
3.1 *Mostre que se a velocidade inicial (ou seja, no instante
) de for no nula,
atinge pontos arbitrariamente afastados da respetiva posio inicial.
3.2 Esta propriedade mantm-se quando a velocidade inicial de nula?
3.3 Calcule a velocidade e a posio inicial de sabendo que nos instantes
e
o ponto se encontra na origem do referencial.
4. *Um ponto material desloca-se na reta numrica, estando em cada instante
(
) , onde
submetido acelerao ( )
e
. Calcule para que
velocidade(s) inicial(ais) (ou seja, no instante
) a trajetria de limitada, isto , todas
as posies de ao longo do tempo pertencem a um dado intervalo limitado. Calcule, nesse
caso, a amplitude da trajetria de , isto , a maior distncia entre dois pontos dessa
trajetria.
3.3
1. Calcule a medida da rea da regio do plano formada pelos pontos (

que
.
) do plano tais
2. *Calcule a medida da rea da regio do plano formada pelos pontos (

que
.
) do plano tais
3. Calcule a medida da rea da regio do plano delimitada pelos grficos das funes definidas
por ( )
e ( ) .
Pgina 73
4. Na figura esto representadas partes dos grficos

das funes definidas por ( )
(
)
e ( )
(
)
. Calcule a medida da
rea da regio do plano delimitada pelos grficos e
pelas retas paralelas ao eixo
e que intersetam o
eixo
nos pontos de abcissa e .
5. *Na figura est representado um quadriltero

num referencial de tal forma que
( ) ( ) ( )
( )
Determine a medida da rea do quadriltero,
utilizando integrais adequados.
6. *Na figura esto representadas partes dos grficos

das funes definidas por ( )
e
( )
. Calcule a medida da rea
da regio do plano delimitada pelos grficos de
e
e pelos eixos coordenados, utilizando
integrais adequados.
7. Calcule a medida da rea da regio do plano delimitada pelas parbolas de equao

e
.
8. *Calcule a medida da rea da regio do plano delimitada pela parbola de equao
e pelas tangentes ao grfico de nos pontos de interseo com o eixo
das abcissas.
Pgina 74
Nmeros Complexos NC12

Descritor
1.1
1.2
Texto de Apoio
A mudana de varivel
permite transformar a equao do terceiro grau
, onde
(
, na equao
, com
. Desta forma, para determinar as razes de uma qualquer equao do
terceiro grau, bastar estudar as equaes da forma

, em que o coeficiente de
nulo. Tratando-se de uma equao do terceiro grau, a determinao de uma nica raiz
permite conhecer todas as (eventuais) restantes raizes, por diviso de polinmios e utilizao
da frmula resolvente para equaes do segundo grau .
neste contexto que se insere a frmula dita de Cardano: quando o discriminante
positivo ou nulo, o nmero real
raiz da equao
De facto, tomando
, esta ltima equao equivalente a

(
ou seja,
(
Desta forma, uma condio suficiente para se obter uma raiz

consiste em resolver o sistema
.
Substituindo na segunda equao
segundo grau
, obtm-se a equao do
, cujo discrimante igual a
Desta forma, se
e tomando
da equao inicial
, possvel escolher
, ou seja,
.
( ), isto ,
Tem-se ento
Obtm-se assim o resultado anunciado:

da equao
( ).
uma raiz real
Os nmeros complexos aparecem, historicamente, no decurso de uma tentativa de obter

solues reais de equaes do terceiro grau de discriminante
.
Um exemplo caracterstico, entre outros, a equao
O discriminante igual a
Caderno de Apoio NC12
, obtendo-se assim
Pgina 75
Esta expresso no tem obviamente qualquer significado, uma vez que o smbolo
no tem
significado. No entanto, operando formalmente com este smbolo e considerando que
, tem-se
ou ainda
Embora todos estes clculos no tenham significado, obteve-se

que , de facto, uma raiz
da equao
. com estes clculos que nasce a motivao de se construir, de
forma matematicamente correta, uma extenso de (e das respetivas operaes) que
contenha um elemento
tal que
.
Comentrio
Ainda que todos estes clculos no sejam necessariamente apresentados aos alunos com todo
o pormenor, importante que associem historicamente o aparecimento dos nmeros
complexos atividade prtica de determinar razes reais de polinmios do terceiro grau.
1.3
Comentrio
O conjunto dos nmeros complexos construdo no segundo objetivo geral deste domnio. No
presente descritor pretende-se apenas observar, previamente, que se estiver construda uma
extenso de (e das respetivas operaes de adio e de multiplicao por forma a gozarem
das propriedades usuais) designada por , se contiver um elemento tal que
,
ento, necessariamente, os elementos de da forma
, com
, operam-se da
seguinte forma: dados
,
(
) e (
).
Estes clculos prvios permitem motivar adequadamente a definio que dada, no descritor
2.1, do conjunto e das respetivas operaes de adio e de multiplicao. Depois desta
construo feita, e de se acabar por dar, no descritor 2.5, um sentido expresso
,
, pede-se a verificao, no descritor 2.8, de que efetivamente estas duas igualdades
tm lugar.
2.1
Comentrio
Neste descritor fornecida uma definio do conjunto dos nmeros complexos e das
respetivas operaes de adio e de subtrao. Existem numerosas formas de se introduzir o
conjunto . Optou-se por definir como o conjunto
munindo-o de uma operao de
adio, que coincide com a operao de adio de vetores do ponto de vista das respetivas
coordenadas, e de uma operao de multiplicao especial, motivada pelos clculos prvios
propostos no descritor 1.3.
Uma outra possibilidade consistiria em comear por postular a existncia de uma soluo para
a equao
. No entanto, para a tornar minimamente adequada e credvel, seria
necessrio um trabalho conceptual bem mais exigente. No possvel, de maneira genrica,
decidir que uma dada equao, partida sem solues nos conjuntos conhecidos, possui
Pgina 76
efetivamente uma soluo num conjunto mais alargado e que as operaes usuais se estendem
a esse conjunto maior, mantendo as respetivas propriedades algbricas, pois esse processo
poderia introduzir contradies no edifcio da Matemtica. Alm disso, esta abordagem, levada
a cabo de forma no sustentada, tem como consequncia, frequentemente, que permanea
nos alunos a dvida da verdadeira existncia da unidade imaginria, mesmo depois de j
manipularem os nmeros complexos com alguma destreza. Um modo de evitar essas situaes
precisamente o que aqui se prope, ou seja, construir explicitamente, utilizando apenas
objetos matemticos conhecidos, um modelo concreto do conjunto mais alargado e das
operaes generalizadas que nele se definem, no quadro do qual se encontram solues da
referida equao.
No descritor 2.3 efetua-se a identificao entre o complexo ( ) e o nmero real , depois de
se verificar que as operaes, em , operam nos complexos com segunda coordenada nula da
mesma forma do que a adio e a multiplicao operam no conjunto dos nmeros reais.
agora possvel (descritor 2.4) exibir genuinamente um nmero complexo cujo quadrado
igual a
: tomando
( ),
(
4.3
1. Escreva os seguintes nmeros complexos na forma
, com real positivo e
2. *Considere um nmero complexo no nulo .

2.1 Mostre que admite uma decomposio na forma
, onde
2.2 Mostre que a decomposio obtida na alnea anterior nica.
5.1
1. Resolva no conjunto dos nmeros complexos as equaes

,
O que pode conjeturar quanto ao nmero de solues da equao
2. **Considere, para
{ }e
, a equao
2.1 Mostre que se soluo ento
.
2.2 Mostre, para
, que o nmero complexo
somente se da forma
2.3 Justifique que a equao
6.1
)
:
e |w|=1.
e
, para
soluo da equao se e
, onde um argumento de e
.
tem exatamente solues.
1.3
1.4
1.5 (
2. Determine o conjunto dos nmeros complexos tais que

2.1 *
um nmero real;
2.2
um nmero imaginrio puro.
1. Determine a parte real e a parte imaginria dos seguintes nmeros complexos:

1.1 (
)
1.2 (
Pgina 77
3. *Considere nmeros naturais , , e .

)(
3.1 Determine nmeros naturais e tais que (
(Sugesto: utilize a igualdade, para nmeros complexos e
3.2 Utilize o resultado da alnea anterior e as igualdades
escrever o nmero
como soma de dois quadrados.
6.2
)
,
e
, para
1. Para cada uma das seguintes funes, indique se se trata de uma translao, rotao,
reflexo, reflexo deslizante ou homotetia (interpretando-as como transformaes do plano
complexo) e construa a imagem do afixo ( ) de um nmero complexo genrico
:
1.1 ( )
;
1.2 ( )
1.3 ( )
;
1.4 ( )
;
(
)
1.5 *
1.6 ** ( )
2. Construa a imagem do tringulo de vrtices (

transformaes indicadas no exerccio anterior.
), (
)e (
) por cada uma das
3. Considere um determinado ponto , afixo de um nmero complexo e o ponto afixo do

nmero complexo
.
)
3.1 *Mostre que o afixo de (
a imagem de pela rotao de centro
e de ngulo .
3.2 **Dado
, proponha uma expresso para o nmero complexo cujo afixo a
imagem de pela rotao de centro e ngulo .
4. Num plano munido de um referencial cartesiano de origem , considere as seguintes
transformaes:
: rotao de cento e ngulo
;
translao de vetor ( );
translao de vetor (
).
Mostre que
6.3
1. Determine o mdulo e um argumento dos seguintes nmeros complexos:

1.1 (
)
1.2 (
1.3
)
)
1.4
1.5 *
(
2. Apresente na forma algbrica o nmero complexo
3. Considere o nmero complexo
representao de na forma trigonomtrica.
)
)
. Calcule
e deduza uma
Pgina 78
4. Considere o nmero complexo no nulo

, onde
e
. Determine, em
funo de e de , o mdulo e um argumento dos seguintes nmeros complexos:
4.1 ;
4.2
4.3 *
4.4 *
4.5 (
4.6
(
(
)
)
).
5. * Mostre que
6. ** Dado
, considere um nmero complexo tal que
todo o nmero natural ,

6.4
. Mostre que para
)
1. Considere os nmeros complexos
(
e
afixos so, respetivamente, os pontos
e .
1.1 Represente os pontos
e
no plano complexo.
1.2 Mostre que o quadriltero
um trapzio retngulo.
) cujos
2. Determine o conjunto dos pontos afixos dos nmeros complexos que verificam a condio
|
3. Dado um nmero complexo , considere os pontos

nmeros complexos ,
e .
3.1 Determine para que valores de os pontos
3.2 Determine para que valores de o tringulo
e
e
, afixos, respetivamente dos

so dois a dois distintos.
retngulo em .
4. *Determine o conjunto dos valores do nmero complexo para os quais os pontos

e
, afixos, respetivamente, dos nmeros complexos
,
e
esto alinhados.
5. Represente as regies do plano definidas pelas seguintes condies:
5.1
|
;
5.2
( )
5.3
5.4
5.5
6.5
.
|
5.6
5.7
( )
1. Considere, em a equao
.
1.1. Resolva a equao e mostre que os pontos afixos das respetivas solues so vrtices
de um polgono regular.
1.2. Determine a rea do polgono referido em 1.1.
Pgina 79
2. Fixado um plano munido de um referencial ortonormado, considere um pentgono regular

inscrito numa circunferncia de centro ( ).
2.1 Sabendo que um dos vrtices do pentgono a origem , determine as coordenadas
dos restantes vrtices.
2.2 *Indique uma equao cujas solues sejam os nmeros complexos cujos afixos so os
vrtices do pentgono.
3. Considere o hexgono regular
cujo centro
a origem do referencial ortonormado representado.
Sabe-se que o ponto o afixo do nmero complexo
.
3.1 Determine as coordenadas dos restantes vrtices
do hexgono.
3.2 Indique uma equao cujas solues sejam os
nmeros complexos cujos afixos so os vrtices do
hexgono.
6.6
1. Calcule a raiz quadrada do nmero complexo

2. Resolva as equaes:
2.1 2
2.2
2.3
2.4
, sabendo que
3. Determine nmeros complexos e
soluo.
tais que
4. *Estabelea uma condio necessria e suficiente sobre os reais

solues da equao
tenham mdulo .
.
e por forma que as
5. *Considere a equao
.
5.1 Mostre que se soluo da equao, igualmente soluo.
5.2 Determine todas as solues da equao, sabendo que uma delas da forma
Pgina 80

Matemática 12 Ano

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Matemática 12 Ano

Caricato da

Copyright:

Formati disponibili

METAS CURRICULARES PARA O ENSINO SECUNDRIO MATEMTICA A

Caderno de Apoio 12. ano Introduo

Informao Complementar para o professor

Caderno de Apoio CC12

Informao Complementar para o professor

Caderno de Apoio CC12

, o resultado trivial para

Caderno de Apoio CC12

Nesta demonstrao utilizou-se, em particular, o resultado expresso no descritor 1.5, que

O resultado expresso no descritor 2.4 leva a que se utilize a notao

Caderno de Apoio CC12

Mais geralmente, dado um conjunto pode introduzir-se a expresso famlia indiciada em

podemos definir o produto cartesiano da famlia com sendo o conjunto:

Deste modo, no caso particular em que os so todos iguais a determinado conjunto , a

Caderno de Apoio CC12

2. *Prove por induo que, para qualquer

3. Considere um conjunto qualquer e seja ( ) o conjunto das partes de .

3.2. *Atendendo alnea anterior, justifique que se

Informao Complementar para o professor

No difcil concluir que ( ) no nunca equipotente a ; se estendermos a todos os

Caderno de Apoio CC12

Caderno de Apoio CC12

primeiro termo de uma sucesso particular de elementos distintos de determinado conjunto

*Considere todas as possveis funes injetivas de domnio { } e conjunto de chegada

efetuar extraes sucessivas de um desses objetos, sem reposio do objeto

Caderno de Apoio CC12

Ora as funes injetivas de {

questo o vazio e, tambm nesse caso, obtemos o resultado pretendido, pois

um nmero natural, o que pode

no parecer claro partida.

nmero natural superior a 1

e nmeros naturais tais que

1. Considere a experincia de repartir um baralho de

Caderno de Apoio CC12

2. Prove que, dados nmeros naturais e ,

igualdade que, evidentemente, implica a seguinte (pela comutatividade generalizada da adio

1. Considere subconjuntos e de um conjunto . Simplifique as seguintes expresses,

Caderno de Apoio CC12

subconjuntos. Quantos desses subconjuntos tem exatamente

8. **Justifique, sem utilizar o Princpio de induo matemtica, que

1. Determine quantos cdigos de

, qualquer que seja

algarismos possvel formar.

} , quantos nmeros de trs

Caderno de Apoio CC12

5. Foram extradas sucessivamente e com reposio quatro cartas de um baralho de

}. Quantos nmeros de quatro algarismos

7. A turma da Beatriz tem

automveis ser arrumados num parque com

15. Considere os pontos (distintos)

19. Considere um prisma hexagonal reto.

2. O sexto e o stimo elementos de uma linha do tringulo de Pascal so iguais. Qual o

4. *Sabendo que, dados nmeros naturais

Caderno de Apoio CC12

6. Determine o desenvolvimento das seguintes expresses utilizando a frmula do binmio de

8. *Considere a seguinte expresso ( ) (

Caderno de Apoio CC12

Informao Complementar para o professor

Caderno de Apoio PRB12

1. O cdigo de um cofre formado por vogais seguidas de algarismos. Selecionando um

Caderno de Apoio PRB12

6. Considere um octgono regular.

1. Dado um conjunto finito