Sie sind auf Seite 1von 96

Programa e Metas Curriculares

Matemtica A
Ensino Secundrio
Cursos Cientfico-Humansticos
de Cincias e Tecnologias e de Cincias Socioeconmicas

Programa e Metas Curriculares Matemtica A

Coordenao pedaggica
Helena Damio Faculdade de Psicologia e Cincias da Educao da Universidade de Coimbra
Isabel Festas Faculdade de Psicologia e Cincias da Educao da Universidade de Coimbra

Coordenao cientfica
Antnio Bivar Faculdade de Cincias da Universidade de Lisboa (aposentado)
Carlos Grosso Escola Secundria c/ 3. Ciclo de Pedro Nunes
Filipe Oliveira Faculdade de Cincias e Tecnologia da Universidade Nova de Lisboa
Maria Clementina Timteo Escola Secundria c/ 3. Ciclo Padre Alberto Neto
Lusa Loura Faculdade de Cincias da Universidade de Lisboa (Probabilidades e Estatstica)

Consultores
Armando Machado Faculdade de Cincias da Universidade de Lisboa
Cndida Palma Escola Secundria do Lumiar (aposentada)
Carlos Andrade Escola Secundria de Mem Martins
Cristina Viegas Escola Secundria de Henriques Nogueira
Filipe Teixeira Colgio do Sagrado Corao de Maria
Luciano Batalha dos Santos Escola Secundria D. Filipa de Lencastre
Lus Canto de Loura Instituto Superior de Engenharia de Lisboa (aposentado)
Joana Teles Faculdade de Cincias e Tecnologia da Universidade de Coimbra
Jos Carlos Santos Faculdade de Cincias da Universidade do Porto
Jorge Buescu Faculdade de Cincias da Universidade de Lisboa
Maria Alice da Silva Martins Agrupamento de Escolas Artur Gonalves
Maria Helena Almeida Santos Faculdade de Cincias e Tecnologia da Universidade Nova de Lisboa
Maria Manuela Neves Figueiredo Instituto Superior de Agronomia
Marlia Pires Faculdade de Cincias e Tecnologia da Universidade do Algarve
Paula Reis Escola Secundria Padre Antnio Vieira

Ficha Tcnica

Pgina 1

Programa de Matemtica A
Ensino Secundrio

Cursos Cientfico-Humansticos de
Cincias e Tecnologias e de Cincias Socioeconmicas

1. INTRODUO
No mbito da reviso curricular iniciada em 2011, cujo sentido o de elevar os padres de
desempenho escolar dos alunos portugueses, e em continuidade com o Programa de Matemtica para o
Ensino Bsico, homologado pelo Despacho n. 9888-A/2013, publicado no Dirio da Repblica, 2. srie,
n. 143, de 26 de julho de 2013, o presente Programa e Metas Curriculares estabelecem o conjunto de
conhecimentos e de capacidades essenciais que os alunos devem adquirir e desenvolver no decurso do
Ensino Secundrio, na disciplina de Matemtica A.
Alicerado na anlise de diferentes abordagens que tm sido adotadas para o ensino da
Matemtica neste nvel de escolaridade (programas e avaliaes nacionais e internacionais, literatura e
investigao cientfica sobre o ensino e a aprendizagem da Matemtica), este documento pretende
definir um padro coerente que imprima rigor ao que ensinado nas escolas, garantindo
simultaneamente aos professores autonomia pedaggica e liberdade de usar conhecimentos e
experincia acumulada para auxiliar os alunos a atingir o seu melhor desempenho.
Em concreto, o presente Programa foi elaborado tendo em conta a informao proporcionada por
mais de dez anos de aplicao do Programa anterior. No entanto, ao optar-se pela elaborao de Metas
Curriculares, muitos dos contedos transversais inerentes a um Programa de Matemtica do Secundrio
encontram-se agora, em grande medida, explicitados, o que levou, por exemplo, constituio do
domnio Lgica e Teoria dos Conjuntos no 10. ano.
As Metas Curriculares, que com o Programa formam um documento nico, elencam, para cada
domnio e em consonncia com os contedos, os objetivos gerais a atingir em cada ano de escolaridade.
Cada um deles encontra-se definido de forma precisa por um conjunto de descritores que apontam para
desempenhos especficos e avaliveis que os alunos devero evidenciar para que esses objetivos se
considerem cumpridos.
O Programa e as Metas Curriculares respeitam a estrutura cumulativa que caracterstica da
disciplina de Matemtica, apoiando-se os novos conhecimentos em outros previamente estudados e
adquiridos. De acordo com a investigao recente na rea do ensino da Matemtica, desta forma
progressiva que se pode ir desenvolvendo a compreenso, ou seja, que se pode ir construindo uma slida
rede de factos, conceitos, relaes e procedimentos suscetvel de ser mobilizada, de forma flexvel, em
diversos contextos. O Programa e as respetivas Metas foram concebidos por forma a fornecer aos alunos
instrumentos que garantam um prosseguimento de estudos com sucesso, tendo em considerao que
este o ramo da Matemtica do Ensino Secundrio que d acesso aos cursos do Ensino Superior de reas
que requerem uma slida formao matemtica.
Nessa conceo, tiveram-se igualmente em conta as avaliaes internacionais em que Portugal
participa, nomeadamente o PISA e o TIMSS. O Programme for International Student Assessment (PISA)
tem por objetivo avaliar a literacia de Leitura, Matemtica e Cincias nos jovens de 15 anos,
independentemente do ano de escolaridade e da modalidade que frequentam. Ainda que a pertinncia
deste estudo seja indiscutvel, sero mais relevantes, no quadro do presente Programa, os pressupostos
do Trends in International Mathematics and Science Study TIMSS Advanced 2008 Assessment
Frameworks (adiante designado por TIMSS-Advanced), programa de avaliao internacional no qual
Portugal participar a partir de 2015 e cujo objetivo precisamente o de estudar os resultados obtidos
pelos alunos que se encontram no final do Ensino Secundrio nas disciplinas de Fsica e Matemtica, em
modalidades destinadas ao prosseguimento de estudos em reas de cincias e tecnologias. Na definio e
estruturao dos domnios cognitivos e de contedos a avaliar, o TIMSS-Advanced envolve todos os pases
Introduo

Pgina 3

participantes num processo colaborativo que passa por uma muito completa descrio dos tpicos e
contedos dos currculos de Matemtica e de Fsica desses pases. No que se refere Matemtica, os
domnios dos contedos (lgebra, Clculo e Geometria) e das capacidades cognitivas (Knowing,
Appllying e Reasoning) encontram-se devidamente contemplados no presente documento curricular
conforme se explica nos tpicos seguintes.
No que diz respeito aos contedos programticos, a anlise destes elementos, bem como de
currculos de outros pases no participantes no TIMSS-Advanced, revela que a incluso no Programa de
alguns temas fundamentais, atualmente ausentes do Ensino Secundrio em Portugal, contribui
decisivamente para o alinhamento das opes curriculares nacionais com o plano internacional. Como
exemplo refiram-se os que constam do domnio Primitivas e Clculo Integral. Procedeu-se ainda ao
reforo de alguns tpicos, como o da aplicao da trigonometria resoluo de tringulos ou o do estudo
de limites de sucesses e de funes, que, quando trabalhados de forma vaga e exageradamente
intuitiva, levam com frequncia formao de concees erradas e difceis de reverter.
Finalmente, com o objetivo de promover o conhecimento da forma como a Matemtica vai sendo
construda, procurou-se justificar, em certas situaes, a escolha de algumas definies consagradas desta
disciplina. , por exemplo, o caso da extenso das definies das razes trigonomtricas, estudadas no
Ensino Bsico, a ngulos retos e obtusos, intimamente ligada neste Programa Lei dos senos e ao
Teorema de Carnot, que permitem resolver tringulos de forma simples e sistemtica, atividade essa que
constitui o propsito primitivo da Trigonometria.
No respeito pela estrutura intrnseca da Matemtica e do mtodo que a caracteriza, procurou-se
igualmente desenvolver no aluno o gosto por esta disciplina milenar, nas suas diversas vertentes, como o
carter organizador e agregador de conhecimento na sua expresso mais abstrata ou a eficcia de que se
revestem os instrumentos matemticos quando aplicados ao estudo do mundo real.
O calendrio de aplicao deste Programa est definido no Despacho n. 159717/2012, de 14 de
dezembro, estando prevista para o ano letivo 2015-16 a sua implementao no 10. ano de escolaridade,
prosseguindo nos anos seguintes para os 11. e 12. anos de escolaridade.

Introduo

Pgina 4

2. FINALIDADES DO ENSINO DA MATEMTICA


Como finalidades da disciplina de Matemtica no Ensino Secundrio salientam-se a estruturao do
pensamento e a aplicao da Matemtica ao mundo real.

A estruturao do pensamento e o desenvolvimento do raciocnio abstrato


Tal como referido no Programa de Matemtica do Ensino Bsico, a apreenso e hierarquizao de
conceitos matemticos, o estudo sistemtico das suas propriedades e a argumentao clara e precisa,
prpria desta disciplina, tm um papel primordial na organizao do pensamento, constituindo-se como
uma gramtica basilar do raciocnio hipottico-dedutivo. O trabalho desta gramtica contribui para
alicerar a capacidade de elaborar anlises objetivas, coerentes e comunicveis. Contribui ainda para
melhorar a capacidade de argumentar, de justificar adequadamente uma dada posio e de detetar
falcias e raciocnios falsos em geral. Tratando-se de uma capacidade indispensvel a um bom percurso
escolar ou profissional, em qualquer rea do conhecimento, o desenvolvimento do raciocnio abstrato
deve ser considerado como uma finalidade em si.

A modelao e a aplicao da Matemtica ao mundo real


Os instrumentos matemticos so indispensveis concretizao de modelos que permitem
descrever, interpretar e prever a evoluo de um grande nmero de sistemas reais cujo estudo se pode
inserir nas mais diversas reas do conhecimento. De um ponto de vista histrico possvel afirmar que
alguns conceitos centrais da Matemtica foram desenvolvidos com o propsito de serem utilizados na
anlise de certos fenmenos naturais. O Programa d especial relevncia a diversas aplicaes da
Matemtica, prescrevendo, por exemplo, explicitamente, a aplicao do clculo diferencial cinemtica
do ponto ou das progresses geomtricas ao clculo de juros, o que permite em particular obter uma
interpretao concreta do nmero de Neper.
A este propsito, importante referir que a modelao matemtica no consiste em associar de
forma arbitrria e sem qualquer critrio ou justificao razovel uma dada funo matemtica a uma
dada grandeza. Proceder dessa forma transmitir aos alunos uma viso deturpada de como se pode, de
facto, aplicar corretamente a Matemtica ao mundo real. Por exemplo, a funo exponencial
especialmente indicada para modelar o decaimento de uma substncia radioativa ou o crescimento de
uma populao de bactrias porque, em ambas as situaes, a anlise do fenmeno em estudo permite
concluir que a taxa de variao da grandeza observada pode ser considerada, dentro de certas condies,
proporcional quantidade que est num dado momento presente numa amostra, o que se traduz, ao
utilizar-se um modelo baseado em funes diferenciveis, pela proporcionalidade entre a funo que
representa o fenmeno e a respetiva derivada. Uma tal justificao encontra-se explicitamente prevista
no Programa.
De forma anloga prev-se, no 12. ano, o tratamento de situaes em que uma funo
proporcional, com constante de proporcionalidade negativa, respetiva derivada de segunda ordem.
desta forma possvel justificar a utilizao de funes trigonomtricas na modelao de alguns sistemas
que exibem comportamento oscilatrio. Em particular, proposto estudar, neste contexto, a forma como
a segunda Lei de Newton e a Lei de Hooke permitem deduzir que certos sistemas envolvendo massas
atuadas por molas apresentam um comportamento de oscilador harmnico.

Finalidades do Ensino da Matemtica

Pgina 5

3. OBJETIVOS
Os objetivos que traduzem os desempenhos fundamentais que os alunos devero evidenciar ao
longo do Ensino Secundrio so explicitados por verbos a que se atribuem significados especficos e que
servem de base leitura dos descritores elencados nas Metas Curriculares.
Requerem-se assim os seguintes cinco desempenhos, com o sentido que se descreve:
(1) Identificar/Designar/Referir: O aluno deve utilizar corretamente a designao referida, sabendo
definir o conceito apresentado como se indica ou de forma equivalente.
(2) Reconhecer: O aluno deve apresentar uma argumentao coerente ainda que eventualmente
mais informal do que a explicao fornecida pelo professor. Deve, no entanto, saber justificar
isoladamente os diversos passos utilizados nessa explicao.
(3) Saber: O aluno deve conhecer o resultado, mas sem que lhe seja exigida qualquer justificao
ou verificao concreta.
(4) Provar/Demonstrar: O aluno deve apresentar uma demonstrao matemtica to rigorosa
quanto possvel.
(5) Justificar: O aluno deve justificar de forma simples o enunciado, evocando uma propriedade j
conhecida.
No seu conjunto, e de modo integrado, estes desempenhos devem concorrer para a aquisio de
conhecimentos, factos, conceitos e procedimentos, para a construo e desenvolvimento do raciocnio
matemtico, para a resoluo de problemas em diversos contextos, para uma comunicao (oral e
escrita) adequada e para uma viso da Matemtica como um todo articulado e coerente.
Conhecimento de factos, de conceitos e de procedimentos O domnio de procedimentos
padronizados dever ser objeto de particular ateno no ensino desta disciplina. As rotinas e
automatismos so essenciais atividade matemtica, uma vez que permitem libertar a memria de
trabalho, de modo que esta se possa dedicar, com maior exclusividade, a tarefas que exigem funes
cognitivas superiores. Por outro lado permitem determinar, a priori, que outra informao se poderia
obter sem esforo a partir dos dados de um problema, o que possibilita elaborar novas estratgias com
vista sua resoluo. A memorizao de alguns factos tem igualmente um papel fundamental na
aprendizagem da Matemtica, pelo que incorreto op-la compreenso: memorizao e compreenso,
sendo complementares, reforam-se mutuamente. Conhecer factos elementares e enunciados de
teoremas de memria permite tambm poupar recursos cognitivos que podero ser direcionados para a
execuo de tarefas mais complexas. No TIMSS-Advanced, relativamente ao domnio cognitivo
Knowing, considera-se que os factos e propriedades elementares constituem, em conjunto, a
linguagem bsica da Matemtica e a prpria fundao do pensamento matemtico, devendo o aluno ser
capaz de os recordar de forma automtica e sistemtica. Relativamente aos procedimentos, entende-se
que: Os procedimentos formam uma ponte entre os conhecimentos elementares e a utilizao da
Matemtica para a resoluo de problemas rotineiros. Os alunos devem ser eficientes e precisos na
utilizao de uma variedade de procedimentos de clculo e outras ferramentas. Devem saber que
determinados procedimentos permitem resolver categorias inteiras de problemas e no apenas
problemas avulso.
Raciocnio matemtico O raciocnio matemtico por excelncia o raciocnio hipottico-dedutivo, embora o raciocnio indutivo desempenhe tambm um papel fundamental na atividade
matemtica, uma vez que preside formulao de conjeturas. Os alunos devem ser capazes de

Objetivos

Pgina 6

estabelecer conjeturas, em alguns casos, aps a anlise de um conjunto de situaes particulares,


nomeadamente pela explorao das potencialidades dos recursos tecnolgicos. O TIMSS-Advanced, no
captulo dedicado capacidade cognitiva Reasoning, estabelece tambm que os alunos devem ser
capazes de utilizar a intuio e o raciocnio indutivo baseado em padres e em regularidades com vista
resoluo de problemas no rotineiros, frisando que estes problemas exigem recursos cognitivos acima
dos necessrios resoluo de problemas rotineiros, ainda que a respetiva resoluo esteja dependente
de conhecimentos e capacidades previamente adquiridas. No entanto (e tal como tambm se encontra
cuidadosamente explicitado no TIMSS-Advanced), os alunos devero saber que o raciocnio indutivo no
apropriado para justificar propriedades e, contrariamente ao raciocnio dedutivo, pode levar a concluses
erradas a partir de hipteses verdadeiras, razo pela qual as conjeturas formuladas mas no
demonstradas tm um interesse limitado, devendo os alunos ser alertados para este facto e incentivados
a justific-las a posteriori.
Os desempenhos requeridos para o cumprimento dos descritores preveem que os alunos da
disciplina de Matemtica A consigam, no final do Ensino Secundrio, elaborar algumas demonstraes
com segurana.
Resoluo de problemas A resoluo de problemas envolve, da parte dos alunos, a leitura e
interpretao de enunciados, a mobilizao de conhecimentos de factos, de conceitos e de relaes, a
seleo e aplicao adequada de regras e procedimentos, previamente estudados e treinados, a reviso,
sempre que necessria, da estratgia preconizada e a interpretao dos resultados finais. Este ponto
reforado no TIMSS-Advanced, a propsito do domnio cognitivo Applying. Considera-se, a propsito da
resoluo de problemas, que os alunos devem aplicar conhecimentos de factos matemticos,
capacidades, procedimentos e conceitos para criar representaes e resolver problemas. Faz-se ainda
notar que embora a respetiva dificuldade possa variar, os problemas a resolver no mbito deste domnio
cognitivo envolvem essencialmente a capacidade de selecionar e aplicar procedimentos previamente
estudados.
Assim, a resoluo de problemas no deve confundir-se com atividades vagas de explorao e de
descoberta que, podendo constituir estratgias de motivao, no se revelam adequadas concretizao
efetiva de uma finalidade to exigente.
Nos enunciados de exerccios e problemas deve ter-se em conta a convenincia de uma progressiva
utilizao das tcnicas e princpios que vo sendo adquiridos, procurando-se um equilbrio entre a
adequao das questes propostas a essa aquisio progressiva e uma ilustrao, nem sempre possvel,
de situaes inteiramente inspiradas na vida corrente. Desta maneira, pode ser conveniente, em diversas
situaes, propor problemas descrevendo situaes que no traduzam de modo plenamente realista
aspetos da experincia quotidiana dos alunos, mas que sejam particularmente adaptados aos objetivos do
ensino de determinadas matrias.
Comunicao matemtica A capacidade de compreender os enunciados dos problemas
matemticos e de identificar as questes que levantam pode ser desenvolvida atravs da sua explicitao
e explicao, bem como da discusso de estratgias que conduzam sua resoluo. Os alunos devem,
pois, ser incentivados a expor as suas ideias de modo claro, conciso e coerente, a comentar as afirmaes
dos seus colegas e do professor e a colocar as suas dvidas. Sendo igualmente a redao escrita parte
integrante da atividade matemtica, devem tambm ser incentivados a redigir convenientemente as
respostas, explicando de forma adequada o raciocnio e apresentando as suas concluses de forma clara,
escrevendo em portugus correto e evitando uma utilizao inapropriada de smbolos matemticos como
abreviaturas estenogrficas.

Objetivos

Pgina 7

Histria da Matemtica A Histria da Matemtica um tema que est contemplado


explicitamente em alguns descritores das Metas. Os professores devero, no apenas nesses casos mas
tambm a propsito de outros temas que para o efeito se revelem particularmente adequados,
enquadrar de um ponto de vista histrico os contedos abordados. Tal atividade, para alm de ilustrar a
forma como a Matemtica foi construda ao longo dos tempos, permite ainda, no s uma maior
motivao para a aprendizagem, como, em muitos casos, tambm proporciona uma melhor compreenso
dos prprios conceitos. Por outro lado, a interao da Matemtica com outras reas do conhecimento
como a Astronomia, a Fsica, a Biologia ou a Economia constituiu um dos motores essenciais evoluo
global das cincias, incluindo a prpria Matemtica, pelo que o conhecimento histrico dessa interao
um fator essencial para uma compreenso mais profunda do pensamento cientfico.

Objetivos

Pgina 8

4. CONTEDOS
Em cada ano de escolaridade, os contedos encontram-se organizados por domnios. A articulao
entre os domnios de contedos e os objetivos acima referidos que constituem o conjunto de
desempenhos que os alunos devem evidenciar est materializada nas Metas Curriculares.
Nos quadros seguintes apresentam-se os contedos a lecionar, organizados por anos de
escolaridade, e sugere-se, a ttulo no prescritivo, o nmero de tempos letivos que poder ser dedicado a
cada um dos domnios, incluindo-se nesse nmero as aulas dedicadas avaliao. Atendendo
autonomia atualmente conferida s escolas no que se refere durao dos tempos letivos, esclarece-se
que, nessas sugestes, se considerou, como unidade, o tempo letivo de 45 minutos.

10. ano
No 10. ano, os domnios de contedos so cinco:
Lgica e Teoria dos Conjuntos (LTC)
lgebra (ALG)
Geometria Analtica (GA)
Funes Reais de Varivel Real (FRVR)
Estatstica (EST)
O domnio Lgica e Teoria dos Conjuntos pode ser considerado central neste ciclo de estudos, uma
vez que rene temas fundamentais e transversais a todo o Ensino Secundrio. Comea-se por introduzir
algumas operaes sobre proposies, de forma intuitiva e no contexto de uma Lgica bivalente em que
valem os Princpios de no contradio e do terceiro excludo. Em seguida, estudada a quantificao
universal e existencial de condies e a relao entre operaes sobre condies e sobre os respetivos
conjuntos-soluo, assunto que j tinha sido visitado, de forma menos especfica, no Ensino Bsico. ,
ainda, a oportunidade para traduzir numa linguagem prpria das teorias aqui desenvolvidas algumas
tcnicas elementares de demonstrao, como a prova da igualdade entre conjuntos por dupla incluso ou
a prova de uma implicao pelo contrarrecproco. De acordo com os princpios gerais de interpretao
das Metas Curriculares, tal como esto enunciados na respetiva introduo, este estudo pode,
naturalmente, ser integrado no tratamento de contedos pertencentes a outros domnios assim como em
revises de contedos de anos anteriores.
No domnio da lgebra, completa-se, de forma sistemtica, o estudo dos radicais, o que permite
estender adequadamente a noo de potncia a expoentes racionais e mostrar que as respetivas
propriedades algbricas se estendem a potncias com este conjunto alargado de expoentes. Neste
domnio ainda se retoma o estudo iniciado no Bsico acerca do anel dos polinmios de coeficientes reais.
definida a diviso euclidiana e apresentado o Teorema do resto, que permite, em particular, provar que
raiz de um polinmio se e somente se divisvel por
. ainda abordada a noo de
multiplicidade algbrica de uma raiz, com aplicaes fatorizao de polinmios.
O 10. ano igualmente a ocasio para se desenvolver o estudo da Geometria Analtica iniciado no
Ensino Bsico com a introduo dos referenciais cartesianos planos e o estudo das equaes cartesianas
Contedos

Pgina 9

das retas. Fixada uma unidade de comprimento e um referencial ortonormado do plano, introduz-se o
clculo da medida da distncia entre pontos a partir das respetivas coordenadas, o que constitui um
passo essencial no sentido de tratar, de forma eficaz, problemas da Geometria com instrumentos
puramente analticos. D-se especial relevo ao estudo das equaes cartesianas de circunferncias e
elipses, cuja definio geomtrica a partir da propriedade focal apresentada neste domnio. No que diz
respeito ao clculo vetorial, para alm das operaes de adio de vetores e de adio de um ponto com
um vetor, que eram j conhecidas, define-se agora a diferena de vetores, a multiplicao de um vetor
por um escalar, a noo de norma, fixada uma unidade de comprimento, e, fixado alm disso um
referencial ortonormado, introduzem-se as coordenadas de um vetor, tratando-se em seguida tambm
de um ponto de vista analtico todas estas noes. Depois de se apresentar o conceito de vetor diretor,
introduzem-se as equaes vetoriais e os sistemas de equaes paramtricas de retas do plano.
Finalmente, feita uma primeira abordagem aos referenciais cartesianos do espao, generalizando-se
algumas das noes j estudadas no plano.
Inicia-se o domnio Funes Reais de Varivel Real com alguns conceitos gerais sobre funes, como
a injetividade, a sobrejetividade ou a restrio de uma funo a um dado conjunto e definem-se as noes
de composio de funes e de funo inversa de uma funo bijetiva. Em seguida, estabelecem-se
relaes entre propriedades de funes reais de varivel real, como a paridade e simetrias dos respetivos
grficos. Estudam-se ainda as transformaes geomtricas dos grficos de funes obtidas atravs da
adio ou da multiplicao das variveis dependente ou independente de uma dada funo por uma
constante. Termina-se este domnio de contedos com alguns aspetos gerais das funes reais de varivel
real, como a monotonia, o sentido de concavidade do respetivo grfico ou as noes de extremo relativo
e absoluto.
Finalmente, no domnio Estatstica, comea-se por introduzir o sinal de somatrio e algumas das
suas regras operatrias, que sero teis em diversas ocasies ao longo do Ensino Secundrio. Em
particular podero ser utilizadas neste mesmo domnio, nomeadamente aquando da manipulao de
mdias e desvios-padro de amostras, ou de percentis, noes tratadas no 10. ano. Para alm das
definies de varivel estatstica, amostra, mdia, varincia, desvio-padro e percentil, analisam-se as
propriedades bsicas destes conceitos e as respetivas interpretaes em exemplos concretos.

Contedos

Pgina 10

10. ano Tabela de contedos


Domnio
LTC10
18 aulas

Contedos

Introduo Lgica bivalente e Teoria dos conjuntos


Proposies
- Valor lgico de uma proposio; Princpio de no contradio;
- Operaes sobre proposies: negao, conjuno, disjuno, implicao e equivalncia;
- Prioridades das operaes lgicas;
- Relaes lgicas entre as diferentes operaes; propriedade da dupla negao;
Princpio do terceiro excludo; Princpio da dupla implicao;
- Propriedades comutativa e associativa, da disjuno e da conjuno e propriedades
distributivas da conjuno em relao disjuno e da disjuno em relao
conjuno;
- Leis de De Morgan;
- Implicao contrarrecproca;
- Resoluo de problemas envolvendo operaes lgicas sobre proposies.
Condies e Conjuntos
- Expresso proposicional ou condio; quantificador universal, quantificador existencial
e segundas Leis de De Morgan; contraexemplos;
- Conjunto definido por uma condio; Igualdade entre conjuntos; conjuntos definidos
em extenso;
- Unio (ou reunio), interseo e diferena de conjuntos e conjunto complementar;
- Incluso de conjuntos;
- Relao entre operaes lgicas sobre condies e operaes sobre os conjuntos que
definem;
- Princpio de dupla incluso e demonstrao de equivalncias por dupla implicao;
- Negao de uma implicao universal; demonstrao por contrarrecproco;
- Resoluo de problemas envolvendo operaes sobre condies e sobre conjuntos.

ALG10
30 aulas

Radicais
- Monotonia da potenciao; razes de ndice
,
;
- Propriedades algbricas dos radicais: produto e quociente de razes com o mesmo
ndice, potncias de razes e composio de razes;
- Racionalizao de denominadores;
- Resoluo de problemas envolvendo operaes com radicais.
Potncias de expoente racional
- Definio e propriedades algbricas das potncias de base positiva e expoente racional:
produto e quociente de potncias com a mesma base, produto e quociente de
potncias com o mesmo expoente e potncia de potncia;
- Resoluo de problemas envolvendo operaes com potncias.
Polinmios
- Diviso euclidiana de polinmios e regra de Ruffini;
- Divisibilidade de polinmios; Teorema do resto;
- Multiplicidade da raiz de um polinmio e respetivas propriedades;
- Resoluo de problemas envolvendo a diviso euclidiana de polinmios, o Teorema do
resto e a fatorizao de polinmios;
- Resoluo de problemas envolvendo a determinao do sinal e dos zeros de
polinmios.

Contedos

Pgina 11

GA10
54 aulas

Geometria analtica no plano


- Referenciais ortonormados;
- Frmula da medida da distncia entre dois pontos no plano em funo das respetivas
coordenadas;
- Coordenadas do ponto mdio de um dado segmento de reta;
- Equao cartesiana da mediatriz de um segmento de reta;
- Equaes e inequaes cartesianas de um conjunto de pontos;
- Equao cartesiana reduzida da circunferncia;
- Definio de elipse e respetiva equao cartesiana reduzida; relao entre eixo maior,
eixo menor e distncia focal;
- Inequaes cartesianas de semiplanos;
- Inequaes cartesianas de crculos;
- Resoluo de problemas envolvendo a noo de distncia entre pontos do plano;
- Resoluo de problemas envolvendo equaes e inequaes cartesianas de
subconjuntos do plano.
Clculo vetorial no plano
- Norma de um vetor;
- Multiplicao por um escalar de um vetor; relao com a colinearidade e o vetor simtrico;
- Diferena entre vetores;
- Propriedades algbricas das operaes com vetores;
- Coordenadas de um vetor;
- Vetor-posio de um ponto e respetivas coordenadas;
- Coordenadas da soma e da diferena de vetores; coordenadas do produto de um vetor
por um escalar e do simtrico de um vetor; relao entre as coordenadas de vetores
colineares;
- Vetor diferena de dois pontos; clculo das respetivas coordenadas; coordenadas do
ponto soma de um ponto com um vetor;
- Clculo da norma de um vetor em funo das respetivas coordenadas;
- Vetor diretor de uma reta; relao entre as respetivas coordenadas e o declive da reta;
- Paralelismo de retas e igualdade do declive;
- Equao vetorial de um reta;
- Sistema de equaes paramtricas de uma reta;
- Resoluo de problemas envolvendo a determinao de coordenadas de vetores no
plano, a colinearidade de vetores e o paralelismo de retas do plano.
Geometria analtica no espao
- Referenciais cartesianos ortonormados do espao;
- Equaes de planos paralelos aos planos coordenados;
- Equaes cartesianas de retas paralelas a um dos eixos;
- Distncia entre dois pontos no espao;
- Equao do plano mediador de um segmento de reta;
- Equao cartesiana reduzida da superfcie esfrica;
- Inequao cartesiana reduzida da esfera;
- Resoluo de problemas envolvendo a noo de distncia entre pontos do espao;
- Resoluo de problemas envolvendo equaes e inequaes cartesianas de
subconjuntos do espao.
Clculo vetorial no espao
- Generalizao ao espao dos conceitos e propriedades bsicas do clculo vetorial;
- Equao vetorial da reta no espao;
- Resoluo de problemas envolvendo clculo vetorial no espao.

Contedos

Pgina 12

FRVR10
58
aulas

Generalidades acerca de funes


- Produtos cartesianos de conjuntos;
- Grficos de funes;
- Restries de uma funo;
- Imagem de um conjunto por uma funo;
- Funes injetivas, sobrejetivas e bijetivas;
- Composio de funes;
- Funo inversa de uma funo bijetiva.
Generalidades acerca de funes reais de varivel real
- Funes reais de varivel real; funes definidas por expresses analticas;
- Propriedades geomtricas dos grficos de funes;
- Paridade; simetrias dos grficos das funes pares e das funes mpares;
- Relao geomtrica entre o grfico de uma funo e o da respetiva inversa;
- Relao entre o grfico de uma funo e os grficos das funes ( ), (
(
)e ( )
,
nmeros reais, e no nulos.

),

Monotonia, extremos e concavidade


- Intervalos de monotonia de uma funo real de varivel real; caso das funes afins e
caso das funes quadrticas;
- Vizinhana de um ponto da reta numrica; extremos relativos e absolutos;
- Sentido da concavidade do grfico de uma funo real de varivel real.
Estudo elementar das funes quadrticas, raiz quadrada, raiz cbica e mdulo e de
funes definidas por ramos
- Extremos, sentido das concavidades, razes e representao grfica de funes
quadrticas;
- Funes definidas por ramos;
|
|
- Estudo da funo
;
- As funes
e
enquanto funes inversas;
- Domnio e representao grfica das funes definidas analiticamente por
( )
e ( )
;

- Estudo de funes definidas por ramos envolvendo funes polinomiais, mdulos e


radicais.

Resoluo de problemas
- Equaes e inequaes envolvendo as funes polinomiais, raiz quadrada e raiz cbica,
e a composio da funo mdulo com funes afins e com funes quadrticas;
- Resoluo de problemas envolvendo as propriedades geomtricas dos grficos de
funes reais de varivel real;
- Resoluo de problemas envolvendo as funes afins, quadrticas, raiz quadrada, raiz
cbica, mdulo, funes definidas por ramos e a modelao de fenmenos reais.

Contedos

Pgina 13

EST10
18
aulas

Contedos

Caractersticas amostrais
- Sinal de somatrio; traduo no formalismo dos somatrios das propriedades
associativa e comutativa generalizadas da adio e distributiva generalizada da
multiplicao em relao adio;
- Varivel estatstica quantitativa como funo numrica definida numa populao e
amostra de uma varivel estatstica;
- Mdia de uma amostra; propriedades da mdia de uma amostra;
- Varincia e desvio-padro de uma amostra; propriedades da varincia e do desvio-padro de uma amostra;
- Percentil de ordem ; propriedades do percentil de ordem ;
- Resoluo de problemas envolvendo a mdia e o desvio-padro de uma amostra;
- Resoluo de problemas envolvendo os percentis de uma amostra.

Pgina 14

11. ano
No 11. ano, os domnios de contedos so cinco:
Trigonometria e Funes Trigonomtricas (TRI)
Geometria Analtica (GA)
Sucesses (SUC)
Funes Reais de Varivel Real (FRVR)
Estatstica (EST)
Aps o estudo das razes trigonomtricas dos ngulos agudos, realizado no Ensino Bsico, o incio
do domnio Trigonometria e Funes Trigonomtricas consagrado a estabelecer uma definio para o
seno e o cosseno de um qualquer ngulo convexo, justificando-se a escolha apresentada com a motivao
de estender a ngulos internos retos e obtusos, a Lei dos Senos e o Teorema de Carnot, que permitem
resolver tringulos de forma simples e sistemtica. tambm requerido o uso adequado de uma
calculadora cientfica para obter valores aproximados dos elementos de tringulos objeto de resoluo
trigonomtrica. Aborda-se em seguida o estudo dos ngulos orientados e generalizados e respetivas
medidas de amplitude conceitos intimamente associados noo de rotao e generalizam-se as
razes trigonomtricas a estes ngulos, introduzindo-se o crculo trigonomtrico. Aps a definio do
radiano como unidade de medida de amplitude, fica-se apto a definir as funes reais de varivel real
seno, cosseno e tangente e a estudar as respetivas propriedades.
No domnio Geometria Analtica, introduz-se, no 11. ano, a noo geomtrica de produto escalar
de vetores, deduzindo-se as suas principais propriedades, como a simetria, a bilinearidade ou a relao
deste conceito com a perpendicularidade. Fixado um referencial ortonormado, o produto escalar estuda-se tambm do ponto de vista das coordenadas. importante notar que as propriedades das funes
trigonomtricas abordadas no domnio Trigonometria e Funes Trigonomtricas so fundamentais para
uma correta apresentao e justificao de muitos destes resultados. Ainda neste domnio, completa-se o
estudo das equaes cartesianas de planos no espao, iniciado no 10. ano.
No domnio Sucesses, aps a apresentao de alguns aspetos gerais, introduzido o princpio de
induo matemtica, que constitui um instrumento fundamental para o estudo de diversas propriedades
das sucesses, servindo ainda de suporte terico definio de sucesses por recorrncia. So estudadas
as progresses aritmticas e geomtricas bem como o clculo da soma de sequncias dos respetivos
termos.
A noo de limite introduzida de forma cuidada. Uma abordagem puramente intuitiva dos limites
leva rapidamente a insuficincias concetuais graves. pois exigida, em situaes muito simples, a
justificao da convergncia de certas sucesses recorrendo diretamente definio. tambm
desenvolvida, de forma bastante completa, a lgebra dos limites, incluindo uma anlise das situaes
ditas indeterminadas, devendo os alunos justificar igualmente alguns destes resultados.
No domnio Funes Reais de Varivel Real, do 11. ano, utilizam-se os conceitos introduzidos no
domnio Sucesses, para, pelo processo atribudo a Heine, ficar definida a noo de limite de uma funo,
num dado ponto ou em mais ou menos infinito. Neste contexto, so essencialmente duas as opes que
classicamente se consideram para a definio de limite num ponto real, consoante o domnio em que se
tomam as sucesses a tender para , para o efeito de testar a existncia do referido limite. A opo
Contedos

Pgina 15

privilegiada desde h bastante tempo no Ensino Secundrio em Portugal tem sido a que consiste em
considerar, de entre as sequncias no domnio da funo, apenas aquelas que nunca tomam o valor . Ou
seja, tem-se optado pelo que vulgarmente se designa por limite por valores diferentes de . Neste
programa optou-se pela verso alternativa que consiste em admitir, com o mesmo objetivo, sucesses
que podem tomar o valor ; considera-se, com efeito, que esta opo apresenta diversas vantagens. Em
primeiro lugar por ser mais simples de formular (e permitir tambm uma formulao mais simples da
noo de continuidade) e em segundo lugar porque a prpria noo de limite por valores diferentes
(como outras afins como a de limite esquerda e direita) passa a poder ser encarada como caso
particular da noo de limite, quando considerada a restrio da funo inicial a um subconjunto do
respetivo domnio.
A definio de limite segundo Heine que j comum no Ensino Secundrio permite, de forma
bastante imediata estender ao caso de funes reais a lgebra de limites estudada a propsito das
sucesses, bem como os teoremas de convergncia por comparao, como o Teorema das funes
enquadradas, que uma consequncia direta, com esta abordagem, do Teorema das sucesses
enquadradas e que so estudados no 12. ano. Apresenta-se em seguida a noo de continuidade e,
como uma aplicao da noo de limite de uma funo, o estudo das assntotas, em particular no caso do
grfico de uma funo racional.
A noo de derivada igualmente introduzida neste domnio, fazendo-se uma interpretao
geomtrica da derivada de uma funo num dado ponto e estabelecendo-se frmulas para a soma,
diferena, produto, quociente e composta de funes diferenciveis e calculando-se, diretamente a partir
da definio, a derivada de algumas funes elementares. A ligao entre o sinal da derivada e a
monotonia de uma dada funo aqui estabelecida invocando-se o Teorema de Lagrange para uma das
implicaes, embora apenas se exija uma interpretao geomtrica desse resultado. Em contrapartida,
pretende-se que o aluno saiba justificar a propriedade segundo a qual se uma funo atinge um extremo
num dado ponto em que diferencivel, ento a derivada anula-se nesse mesmo ponto, desde que
pertena a um intervalo aberto contido no domnio da funo. tambm proposta especificamente a
aplicao da noo de derivada cinemtica do ponto.
No domnio Estatstica, estudam-se as retas de mnimos quadrados associadas a uma sequncia de
pontos do plano. As coordenadas destes pontos podem em particular representar os valores de uma
amostra bivariada, o que permite a aplicao deste conceito ao estudo da correlao de duas variveis
estatsticas definidas numa mesma populao.

Contedos

Pgina 16

11. ano Tabela de contedos


Domnio
TRI11
38
aulas

Contedos

Extenso da Trigonometria a ngulos retos e obtusos e resoluo de tringulos


- Extenso da definio das razes trigonomtricas aos casos de ngulos retos e obtusos;
Lei dos senos e Lei dos cossenos;
- Resoluo de tringulos.
ngulos orientados, ngulos generalizados e rotaes
- ngulos orientados; amplitudes de ngulos orientados e respetivas medidas;
- Rotaes;
- ngulos generalizados; medidas de amplitude de ngulos generalizados;
- ngulos generalizados e rotaes.
Razes trigonomtricas de ngulos generalizados
- Circunferncia trigonomtrica (crculo trigonomtrico);
- Generalizao das definies das razes trigonomtricas aos ngulos orientados e
generalizados e s respetivas medidas de amplitude;
- Medidas de amplitude em radianos.
Funes trigonomtricas
- As funes reais de varivel real seno, cosseno e tangente: domnios, contradomnios,
periodicidade, paridade, zeros e extremos locais;
- Frmulas trigonomtricas de reduo ao 1. quadrante: seno e cosseno de
e de
,
;
- Generalizao da frmula fundamental da Trigonometria;
- Equaes do tipo
e
;
- Inequaes trigonomtricas com domnio num intervalo limitado;
- Funes trigonomtricas inversas;
- Resoluo de problemas envolvendo razes trigonomtricas e a determinao de
distncias;
- Resoluo de problemas envolvendo funes trigonomtricas.

GA11
32
aulas

Declive e inclinao de uma reta do plano


- Inclinao de uma reta do plano e relao com o respetivo declive.
Produto escalar de vetores
- Produto escalar de um par de vetores;
- ngulo formado por um par de vetores no nulos; relao com o produto escalar;
- Perpendicularidade entre vetores e relao com o produto escalar;
- Simetria e bilinearidade do produto escalar;
- Clculo do produto escalar de um par de vetores a partir das respetivas coordenadas;
- Relao entre o declive de retas do plano perpendiculares;
- Resoluo de problemas envolvendo a noo de produto escalar.

Contedos

Pgina 17

Equaes de planos no espao


- Vetores normais a um plano;
- Relao entre a posio relativa de dois planos e os respetivos vetores normais;
- Paralelismo entre vetores e planos;
- Equaes cartesianas, vetoriais e sistemas de equaes paramtricas de planos;
- Resoluo de problemas envolvendo a noo de produto escalar de vetores;
- Resoluo de problemas relativos determinao de equaes de retas do plano em
situaes envolvendo a noo de perpendicularidade;
- Resoluo de problemas envolvendo a determinao de equaes de planos, em
situaes envolvendo a perpendicularidade;
- Resoluo de problemas envolvendo equaes de planos e de retas no espao.
SUC11
44
aulas

Conjunto dos majorantes e conjunto dos minorantes de uma parte no vazia de


- Conjuntos minorados, majorados e limitados;
- Mximo e mnimo de um conjunto.
Generalidades acerca de sucesses
- Sucesses numricas; sucesses montonas, majoradas, minoradas e limitadas;
- Resoluo de problemas envolvendo o estudo da monotonia e a determinao de
majorantes e minorantes de sucesses.
Princpio de induo matemtica
- Princpio de induo matemtica;
- Definio de uma sucesso por recorrncia;
- Demonstrao de propriedades utilizando o princpio de induo matemtica.
Progresses aritmticas e geomtricas
- Progresses aritmticas e geomtricas; termos gerais e somas de termos
consecutivos;
- Resoluo de problemas envolvendo progresses aritmticas e geomtricas.

Limites de sucesses
- Limite de uma sucesso (casos de convergncia e de limites infinitos); unicidade do
limite; caso de sucesses que diferem num nmero finito de termos;
- Convergncia e limitao;
- Operaes com limites e situaes indeterminadas;
- Levantamento algbrico de indeterminaes;
- Limites de polinmios e de fraes racionais;
(
);
- Limites
,
)e
(
- Resoluo de problemas envolvendo limites de sucesses.

Contedos

Pgina 18

FRVR11
56
aulas

Limites segundo Heine de funes reais de varivel real


- Pontos aderentes a um conjunto de nmeros reais;
- Limite de uma funo num ponto aderente ao respetivo domnio;
- Limites laterais;
- Limites no infinito;
- Operaes com limites e casos indeterminados; produto de uma funo limitada por
uma funo de limite nulo;
- Limite de uma funo composta;
- Levantamento algbrico de indeterminaes;
- Resoluo de problemas envolvendo o estudo dos zeros e do sinal de funes racionais
dadas por expresses da forma

( )
,
( )

onde

so polinmios;

- Resoluo de problemas envolvendo a noo de limite de uma funo.


Continuidade de funes
- Funo contnua num ponto e num subconjunto do respetivo domnio;
- Continuidade da soma, diferena, produto, quociente e composio de funes
contnuas;
- Continuidade das funes polinomiais, racionais, trigonomtricas, razes e potncias de
expoente racional.
Assntotas ao grfico de uma funo
- Assntotas verticais e assntotas oblquas ao grfico de uma funo;
- Resoluo de problemas envolvendo a determinao das assntotas e da representao
grfica de funes racionais definidas analiticamente por ( )
(
);
- Resoluo de problemas envolvendo a determinao de assntotas ao grfico de
funes racionais e de funes definidas pelo radical de uma funo racional.
Derivadas de funes reais de varivel real e aplicaes
- Taxa mdia de variao de uma funo; interpretao geomtrica;
- Derivada de uma funo num ponto; interpretao geomtrica;
- Aplicao da noo de derivada cinemtica do ponto: funes posio, velocidade
mdia e velocidade instantnea de um ponto material que se desloca numa reta;
unidades de medida de velocidade;
- Derivada da soma e da diferena de funes diferenciveis;
- Derivada do produto e do quociente de funes diferenciveis;
- Derivada da funo composta;
- Derivada da funo definida por ( )
, inteiro;
- Sinal da derivada de funes montonas; nulidade da derivada num extremo local de
uma funo;
- Teorema de Lagrange; interpretao geomtrica;
- Monotonia das funes com derivada de sinal determinado num intervalo;
- Clculo e memorizao da derivada das funes dadas pelas expresses
e ;
- Clculo da derivada de funes dadas por ( ) ( no nulo se
mpar,
se par);
- Clculo e memorizao das derivadas de funes dadas por ( )
( racional,
Contedos

);

Pgina 19

- Clculo de derivadas de funes utilizando as regras de derivao e as derivadas de


funes de referncia;
- Equaes de retas tangentes ao grfico de uma dada funo;
- Resoluo de problemas envolvendo a determinao de equaes de retas tangentes
ao grfico de funes reais de varivel real;
- Resoluo de problemas envolvendo funes posio, velocidades mdias e
velocidades instantneas e mudanas de unidades de velocidade;
- Resoluo de problemas envolvendo a aplicao do clculo diferencial ao estudo de
funes reais de varivel real, a determinao dos respetivos intervalos de monotonia,
extremos relativos e absolutos.
EST11
8
aulas

Contedos

Reta de mnimos quadrados, amostras bivariadas e coeficiente de correlao


- Reta de mnimos quadrados de uma sequncia de pontos do plano;
- Amostras bivariadas; varivel resposta e varivel explicativa;
- Nuvem de pontos de uma amostra de dados bivariados quantitativos;
- Reta dos mnimos quadrados de uma amostra de dados bivariados quantitativos;
- Coeficiente de correlao;
- Resoluo de problemas envolvendo a determinao de retas de mnimos quadrados;
- Resoluo de problemas envolvendo amostras de dados bivariados quantitativos e o
clculo e interpretao dos coeficientes da reta de mnimos quadrados e do coeficiente
de correlao.

Pgina 20

12. ano
No 12. ano, os domnios de contedos so sete:
Clculo Combinatrio (CC)
Probabilidades (PRB)
Funes Reais de Varivel Real (FRVR)
Trigonometria e Funes Trigonomtricas (TRI)
Funes Exponenciais e Funes Logartmicas (FEL)
Primitivas e Clculo Integral (PCI)
Nmeros Complexos (NC)
O Clculo Combinatrio a rea da Matemtica dedicada realizao eficiente de contagens.
Comea-se por estabelecer algumas propriedades das operaes sobre conjuntos e, em seguida,
estudam-se progressivamente arranjos, com ou sem repetio, permutaes e combinaes, o que
permite, em situaes muito distintas, efetuar contagens de forma expedita. igualmente introduzido o
binmio de Newton e o tringulo de Pascal, deduzindo-se algumas propriedades dos coeficientes
binomiais.
Aps uma primeira abordagem mais restritiva elaborada no 9. ano, pretende-se agora, no domnio
Probabilidades, estudar de um modo mais geral a noo de probabilidade, comeando por se introduzir a
noo de funo de probabilidade definida no conjunto das partes de um conjunto finito, da qual a lei dita
de Laplace estudada no Ensino Bsico um caso particular, relacionado com situaes de
equiprobabilidade. igualmente abordada a noo de probabilidade condicionada e de independncia de
acontecimentos, apresentando-se em particular o Teorema da probabilidade total.
No domnio Funes Reais de Varivel Real, completa-se o estudo dos limites de sucesses e de
funes. Continua-se ainda o estudo das funes contnuas e das funes diferenciveis, enunciando-se,
em particular, o Teorema de Weierstrass e o Teorema dos valores intermdios (ou de Bolzano-Cauchy).
Relaciona-se tambm o sinal da derivada de segunda ordem de uma funo com o sentido da
concavidade do respetivo grfico, aproveitando-se para, no contexto da cinemtica do ponto, interpretar
a derivada de segunda ordem das funes posio como uma acelerao. Aborda-se a questo da
utilizao das calculadoras grficas, em particular para a obteno de valores aproximados de solues de
equaes envolvendo funes reais de varivel real, aproveitando-se os conhecimentos adquiridos acerca
do estudo analtico de funes para justificar a validade de determinados procedimentos e analisar
criticamente os diversos usos que podem ser feitos deste tipo de tecnologias neste contexto.
O domnio Trigonometria e Funes Trigonomtricas, no 12. ano, dedicado ao clculo das
derivadas das funes seno e cosseno, aps o estabelecimento de algumas frmulas trigonomtricas. a
oportunidade ideal para se introduzir o estudo dos osciladores harmnicos, analisando-se uma equao
diferencial caracterstica que rege o respetivo comportamento e verificando-se que, em particular, uma
tal equao pode ser deduzida da Lei de Hooke, desde que se admita a Relao Fundamental da
Dinmica, o que permite evidenciar o carter de oscilador harmnico de uma mola no submetida a
atrito.

Contedos

Pgina 21

No domnio Funes Exponenciais e Funes Logartmicas comea-se pelo estudo do clculo de


juros compostos, com o intuito de introduzir o nmero de Neper. Estudam-se em seguida, de forma
sistemtica, as propriedades da funo ( )
definida no conjunto dos nmeros racionais (onde
), argumentando-se, com determinadas passagens ao limite, e admitindo alguns resultados
intuitivos, mas de demonstrao mais delicada, que esta funo se pode estender ao conjunto dos
nmeros reais mantendo, no essencial, as mesmas propriedades algbricas. Prope-se depois o clculo da
derivada da funo exponencial, partindo do limite

, que admitido, embora se abordem

algumas propriedades de aproximao sequencial da exponencial que podem ser utilizadas na respetiva
justificao. As funes logartmicas so introduzidas como funes inversas das funes exponenciais,
tomadas como bijees sobre os respetivos contradomnios, j que se demonstra tratar-se de funes
injetivas. Esta abordagem permite estabelecer facilmente, a partir das propriedades conhecidas das
funes exponenciais, as propriedades algbricas e analticas das funes logartmicas. Aborda-se ainda o
clculo de alguns limites que comparam o crescimento das funes polinomiais, exponenciais e
logartmicas e que os alunos devem conhecer.
De forma anloga ao caso dos osciladores harmnicos, tambm o estudo de certas equaes
diferenciais lineares de primeira ordem permite justificar a utilizao de funes exponenciais na
modelao de inmeros fenmenos, como a evoluo de algumas populaes, da temperatura de
determinados sistemas ou o decaimento de uma substncia radioativa.
Considera-se relevante que os alunos terminem o Ensino Secundrio com algumas noes, ainda
que no inteiramente formalizadas, de Clculo Integral, j que, em certo sentido, se trata de um
complemento essencial do Clculo Diferencial. Podero dessa forma construir uma viso mais unificada e
abrangente da Anlise elementar. nesse esprito que foi concebido o domnio Primitivas e Clculo
Integral. Aps a introduo da definio de primitiva de uma funo e do estudo de algumas das
respetivas propriedades imediatas, abordada a noo de integral de uma funo contnua e no
negativa num intervalo limitado, de forma intuitiva e visual, recorrendo noo de rea e, utilizando-se
propriedades elementares admitidas para esta noo, demonstra-se o Teorema fundamental do clculo e
a frmula de Barrow. A definio posteriormente estendida s funes contnuas que alternam de sinal
um nmero finito de vezes, bem como os referidos resultados fundamentais. Neste domnio so, de
modo geral, estudadas as principais propriedades dos integrais definidos e analisadas algumas tcnicas de
primitivao e de integrao.
Finalmente, no domnio Nmeros Complexos, apresenta-se a motivao histrica para a introduo
dos nmeros imaginrios, relacionada com a frmula de Cardano para a resoluo de equaes do
terceiro grau. Introduz-se em seguida o corpo dos nmeros complexos, tendo-se optado por efetuar uma
construo algbrica que consiste em munir o conjunto
da operao de adio usual e de uma
multiplicao adequada. Comea-se por motivar estas definies, estabelecendo-se previamente
determinadas propriedades que resultam necessariamente das caractersticas que se pretende atribuir
aos nmeros complexos, em particular a existncia de um nmero cujo quadrado igual a
. Trata-se
de uma construo concreta que pretende evitar algumas das reticncias evidenciadas geralmente pelos
alunos quanto verdadeira existncia dos nmeros imaginrios e que est estreitamente relacionada
com o habitual conceito de plano complexo. Aps a anlise das propriedades operatrias dos nmeros
complexos, estudado em pormenor o grupo multiplicativo dos complexos de mdulo , estabelecendo-se assim uma base slida para a representao dos nmeros complexos na forma trigonomtrica e,
posteriormente, para a radiciao complexa. ainda estudada a representao complexa de algumas
transformaes do plano, como rotaes, reflexes, translaes e homotetias, e aproveitam-se as
frmulas de De Moivre para linearizar polinmios trigonomtricos, o que permite estabelecer
rapidamente diversas frmulas de trigonometria e primitivar algumas funes.
Contedos

Pgina 22

12. ano Tabela de contedos


Domnio
CC12
18
aulas

Contedos

Propriedades das operaes sobre conjuntos


- Propriedades comutativa, associativa, de existncia de elemento neutro e elemento
absorvente e da idempotncia da unio e da interseo e propriedades distributivas da
unio em relao interseo e da interseo em relao unio;
- Distributividade do produto cartesiano relativamente unio.
Introduo ao clculo combinatrio
- Conjuntos equipotentes e cardinais; cardinal da unio de conjuntos disjuntos;
- Cardinal do produto cartesiano de conjuntos finitos;
- Arranjos com repetio;
- Nmero de subconjuntos de um conjunto de cardinal finito;
- Permutaes; fatorial de um nmero inteiro no negativo;
- Arranjos sem repetio;
- Nmero de subconjuntos de elementos de um conjunto de cardinal ; combinaes;
- Resoluo de problemas envolvendo cardinais de conjuntos, contagens, arranjos e
combinaes.
Tringulo de Pascal e Binmio de Newton
- Frmula do binmio de Newton;
- Tringulo de Pascal: definio e construo;
- Resoluo de problemas envolvendo o tringulo de Pascal e o binmio de Newton.

PRB12
20
aulas

Espaos de probabilidade
- Probabilidade no conjunto das partes de um espao amostral finito; espao de
probabilidades;
- Acontecimento impossvel, certo, elementar e composto; acontecimentos
incompatveis, acontecimentos contrrios, acontecimentos equiprovveis e regra de
Laplace;
- Propriedades das probabilidades: probabilidade do acontecimento contrrio,
probabilidade da diferena e da unio de acontecimentos; monotonia da
probabilidade;
- Resoluo de problemas envolvendo a determinao de probabilidades em situaes
de equiprobabilidade de acontecimentos elementares;
- Resoluo de problemas envolvendo espaos de probabilidade e o estudo de
propriedades da funo de probabilidade.
Probabilidade condicionada
- Probabilidade condicionada;
- Acontecimentos independentes;
- Teorema da probabilidade total;
- Resoluo de problemas envolvendo probabilidade condicionada, acontecimentos
independentes e o Teorema da probabilidade total.

Contedos

Pgina 23

FRVR12
34
aulas

Limites e Continuidade
- Teoremas de comparao para sucesses e teorema das sucesses enquadradas;
- Teoremas de comparao envolvendo desigualdades entre funes e os respetivos
limites;
- Teorema das funes enquadradas;
- Utilizao dos teoremas de comparao e do teorema das funes enquadradas para
determinar limites de funes reais de varivel real;
- Teorema dos valores intermdios (Bolzano-Cauchy);
- Teorema de Weierstrass;
- Resoluo de problemas envolvendo os teoremas de comparao para o clculo de
limites de sucesses e de funes e a continuidade de funes.
Derivada de segunda ordem, extemos, sentido das concavidades e pontos de inflexo
- Derivada de segunda ordem de uma funo;
- Sinal da derivada de segunda ordem num ponto crtico e identificao de extremos
locais;
- Pontos de inflexo e concavidades do grfico de funes duas vezes diferenciveis;
- Interpretao cinemtica da derivada de segunda ordem de uma funo posio:
acelerao mdia e acelerao; unidades de medida de acelerao;
- Estudo e traados de grficos de funes diferenciveis;
- Resoluo de problemas envolvendo propriedades de funes diferenciveis.
Aplicao do clculo diferencial resoluo de problemas
- Resoluo de problemas de otimizao envolvendo funes diferenciveis;
- Resoluo de problemas envolvendo funes posio, velocidades mdias e
velocidades instantneas, aceleraes mdias e aceleraes instantneas e mudanas
de unidades de acelerao;
- Resoluo de problemas envolvendo a resoluo aproximada de equaes da forma
( )
( ) utilizando uma calculadora grfica.

TRI12
26
aulas

Diferenciao de funes trigonomtricas


- Frmulas trigonomtricas da soma, da diferena e da duplicao;
- Limite notvel

( )

- Diferenciabilidade das funes seno, cosseno e tangente;


- Resoluo de problemas envolvendo o estudo de funes definidas a partir de funes
trigonomtricas.
Aplicaes aos osciladores harmnicos
- Osciladores harmnicos: amplitude, pulsao, perodo, frequncia e fase;
(
)
(
- Estudo das funes definidas analiticamente por
,
(
)
(
);
- Os osciladores harmnicos como solues de equaes diferenciais da forma
relao com a segunda lei de Newton e com a lei de Hooke;
- Resoluo de problemas envolvendo osciladores harmnicos.

Contedos

)
;

Pgina 24

FEL12
40
aulas

Juros compostos e Nmero de Neper


- Clculo de juros compostos;
- Resoluo de problemas envolvendo juros compostos.
- Sucesso de termo geral
(
) e relao com juros compostos; capitalizao
contnua de juros e definio do nmero de Neper.
Funes exponenciais
- Propriedades da funo definida nos nmeros racionais pela expresso ( )
(
monotonia, continuidade, limites e propriedades algbricas;
- Extenso ao caso real: definio das funes exponenciais de base a e respetivas
propriedades;
- Funo exponencial
- Limite notvel

e relao com o limite da sucesso de termo geral (

):

) ,

e derivada da funo exponencial.

Funes logartmicas
- Funo logartmica de base
enquanto bijeo recproca da funo exponencial de
base ; logaritmo decimal e logaritmo neperiano;
- Monotonia, sinal, limites e propriedades algbricas dos logaritmos;
- Derivadas das funes logartmicas e da funo ,
;
- Derivada da funo , real,
.
Limites notveis envolvendo funes exponenciais e logartmicas
- Limites

( )

- Resoluo de problemas envolvendo o estudo de funes definidas a partir de funes


exponenciais e logartmicas, as respetivas propriedades algbricas e limites notveis.
Modelos exponenciais
- A equao
,
, enquanto modelo para o comportamento da medida de
grandezas cuja taxa de variao aproximadamente proporcional quantidade de
grandeza presente num dado instante (evoluo de uma populao, da temperatura de
um sistema ou do decaimento de uma substncia radioativa);
- Solues da equao
,
;
- Resoluo de problemas de aplicao, envolvendo a equao
,
.
PCI12
20
aulas

Primitivas
- Primitiva de uma funo num intervalo; famlia das primitivas de uma dada funo num
intervalo;
- Primitivas de funes de referncia: ,
(
), , ,
e
;
- Linearidade da primitivao;
- Primitivas de funes da forma ( ) ( ( )).
Clculo Integral
- Definio intuitiva da noo de integral de funes contnuas no negativas ou no
positivas num intervalo limitado e fechado; extenso a funes contnuas que alternam
de sinal um nmero finito de vezes;
- Origem histrica do smbolo de integral;

Contedos

Pgina 25

- Teorema fundamental do clculo integral e Frmula de Barrow;


- Linearidade e monotonia do integral definido; aditividade do integral em relao ao
domnio.
Resoluo de problemas
- Resoluo de problemas envolvendo o clculo de medidas de rea de regies do plano;
- Resoluo de problemas envolvendo a primitivao e a integrao de funes
contnuas;
- Resoluo de problemas envolvendo funes posio, velocidade e acelerao e a
primitivao e integrao de funes.
NC12
26
aulas

Introduo aos nmeros complexos


- A frmula de Cardano e a origem histrica dos nmeros complexos;
- Motivao da definio dos nmeros complexos e das operaes de soma e produto de
nmeros complexos;
- Propriedades das operaes ( ) ( ) (
)e
(
) ( ) (
) definidas em : associatividade,
comutatividade, distributividade de relativamente a e respetivos elementos
neutros; definio do corpo dos nmeros complexos , enquanto
munido destas
operaes;
- enquanto subconjunto de ; a unidade imaginria
( );
- Representao dos nmeros complexos na forma
,
. Parte real e
parte imaginria dos nmeros complexos; o plano complexo e os eixos real e
imaginrio; ponto afixo de um nmero complexo.
Complexo conjugado e mdulo dos nmeros complexos
- Conjugado de um nmero complexo; propriedades algbricas e geomtricas; expresso
da parte real e da parte imaginria de um nmero complexo em funo de e ;
- Mdulo de um nmero complexo; propriedades algbricas e geomtricas.
Quociente de nmeros complexos
- Inverso de um nmero complexo no nulo e quociente de nmeros complexos.
Exponencial complexa e forma trigonomtrica dos nmeros complexos
( )
- Complexos de mdulo ; a exponencial complexa
( ),
,e
respetivas propriedades algbricas e geomtricas; argumento de um nmero complexo
e representao trigonomtrica dos nmeros complexos;
- Frmulas de De Moivre.
Razes n-simas de nmeros complexos
- Solues das equaes da forma
,
do segundo grau de coeficientes reais.

; razes em

de polinmios

Resoluo de problemas
- Resoluo de problemas envolvendo propriedades algbricas e geomtricas dos
nmeros complexos, a respetiva forma trigonomtrica, razes -simas de nmeros
complexos e as frmulas de De Moivre.

Contedos

Pgina 26

5. NVEIS DE DESEMPENHO
Os descritores especificados na tabela seguinte, que dizem respeito a propriedades que os alunos
devem reconhecer, a procedimentos que devem efetuar ou a problemas que devem resolver, foram
assinalados, nas Metas Curriculares, com o smbolo +. Para estes descritores especificaram-se, no
Caderno de Apoio, diferentes nveis de desempenho, materializados em exemplos de complexidade
variada que podero ser propostos aos alunos. Os exemplos que no Caderno de Apoio se encontram
assinalados com um ou dois asteriscos correspondem a desempenhos progressivamente mais avanados
que no sero exigveis totalidade dos alunos, estando os restantes associados a um desempenho
considerado regular. Pretende-se assim estabelecer, para estes descritores, um referencial que permita
ao professor apreender o grau de exigncia requerido.
Ano de escolaridade

10. ano

11. ano

12. ano

Descritores
LTC10 1.16, 2.19, 3.1, 3.2.
ALG10 1.1, 1.2, 1.11, 2.1, 2.2, 2.4, 2.5, 3.1, 4.2, 4.5, 4.11, 5.1, 5.2, 5.3.
GA10 1.2, 1.4, 1.10, 1.11, 2.1, 3.5, 3.6, 4.1, 6.1, 6.2, 6.3, 7.5, 7.6, 10.1, 11.1, 11.2.
FRVR10 1.11, 2.6, 2.7, 2.8, 2.10, 4.8, 6.1, 6.2, 6.3, 6.4.
EST10 3.2, 3.3, 5.1, 5.2.
TRI11 1.6, 8.1, 9.1, 9.2, 9.3, 9.4.
GA11 4.1, 4.2, 4.3, 4.4.
SUC11 3.3, 5.2, 5.3, 6.3, 7.1, 7.2, 7.3, 7.4.
FRVR11 4.1, 4.2, 4.3, 4.4, 4.5, 7.13, 9.1, 9.2, 9.3.
EST11 1.3, 2.1, 2.2, 2.3.
CC12 2.4, 2.5, 2.8, 2.10, 3.3, 3.4, 4.1, 4.2, 4.3.
PRB12 3.1, 3.2, 3.3.
FRVR12 3.1 , 5.1, 5.2, 5.3, 5.4, 5.5.
TRI12 1.1, 1.2, 2.1, 4.1, 4.2.
FEL12 4.3, 6.1, 6.2, 6.3, 6.4.
PCI12 1.7, 3.1, 3.2, 3.3.
NC12 1.3, 4.3, 5.1, 6.1, 6.2, 6.3, 6.4, 6.5, 6.6.

Por outro lado, alguns descritores (LTC10 2.9; ALG10 1.4; GA10 1.9, 8.3; TRI11 1.4; GA11 2.8, 2.9,
3.8; SUC11 6.8, 6.29, 6.30; FRVR11 7.8, 7.11; CC12 2.3; FRVR12 4.3, 4.4; FEL12 1.4, 2.1, 2.2, 2.3, 3.11, 4.1),
relativos a propriedades que os alunos devem provar, encontram-se igualmente assinalados, nas Metas
Curriculares, com o smbolo +. Entende-se, neste caso, que embora todos os alunos devam conhecer o
resultado em causa e saber aplic-lo, a elaborao da respetiva demonstrao facultativa, no sendo
portanto exigvel aos alunos. Finalmente, nos domnios LTC10, ALG10, SUC11, FRVR11, FRVR12, CC12,
PRB12 e FEL12 encontram-se assinalados com o smbolo # alguns descritores relativos a conjuntos de
demonstraes muito semelhantes entre si, ficando ao critrio do professor quais devem ser tratadas
como exemplo.

Nveis de desempenho

Pgina 27

6. INDICAES METODOLGICAS
Tendo em considerao, tal como para os nveis de desempenho, as circunstncias de ensino (e, de
modo muito particular, as caractersticas das turmas e dos alunos), as escolas e os professores devem
decidir quais as metodologias e os recursos mais adequados para auxiliar os seus alunos a alcanar os
desempenhos definidos nas Metas Curriculares.
A experincia acumulada das escolas e dos professores constitui um elemento fundamental no
sucesso de qualquer projeto educativo, no se pretendendo, por isso, espartilhar e diminuir a sua
liberdade pedaggica nem condicionar a sua prtica letiva. Pelo contrrio, o presente Programa
reconhece e valoriza a autonomia das escolas e dos professores, no impondo portanto metodologias
especficas.
Sem constituir ingerncia no seu trabalho, nota-se, contudo, que a aprendizagem matemtica
estruturada em patamares de crescente complexidade, pelo que na prtica letiva dever ter-se em
ateno a progresso dos alunos, sendo muito importante proceder-se a revises frequentes de
contedos j lecionados com vista sua consolidao, incluindo alguns j conhecidos do Ensino Bsico.
Utilizao da tecnologia
As salas de aulas esto, em geral, dotadas de determinados equipamentos que podem constituir uma
mais-valia para a prtica letiva. A tecnologia no Ensino Secundrio deve, portanto, ser aproveitada para
ajudar os alunos a compreender certos contedos e relaes matemticas e para o exerccio de certos
procedimentos; essa utilizao deve, no entanto, ser criteriosa, j que, caso contrrio, pode condicionar e
comprometer gravemente a aprendizagem e a avaliao.
Os professores e os alunos tm ao seu dispor, por exemplo, um vasto conjunto de recursos que
facilitam o clculo, as representaes geomtricas e a representao grfica de funes, mas importa que
os alunos adquiram capacidade crtica para reconhecer as situaes em que a tecnologia no permite s
por si justificar a adequao dos resultados encontradas ao problema proposto ou ilustrar devidamente os
conceitos e procedimentos matemticos envolvidos.
A utilizao da tecnologia no pode, pois, substituir a compreenso conceptual, a proficincia no
clculo e a capacidade de resolver problemas. Assim, os alunos devem dominar procedimentos como
operar com polinmios, efetuar representaes de grficos de funes, resolver equaes, calcular limites
e derivadas sem necessitarem de utilizar recursos tecnolgicos (calculadoras, computadores, etc.) que
substituam algumas das capacidades matemticas inerentes a esses procedimentos. Apenas a
memorizao e a compreenso cumulativa de conceitos, tcnicas e relaes matemticas permitem
alcanar conhecimentos progressivamente mais complexos e resolver problemas progressivamente mais
exigentes.
Em particular o professor deve alertar os alunos para as limitaes das calculadoras e computadores,
sublinhando sempre a importncia de relacionar quer as representaes grficas observadas, quer os
valores encontrados, com o conhecimento terico que permite atribuir o devido significado a essas
representaes e valores. um erro grave, por exemplo, pensar que a simples considerao de resultados
obtidos atravs de uma calculadora permite verificar se um nmero irracional (j que esta apenas
apresenta uma aproximao de um dado nmero como dzima finita at determinada ordem), concluir que
uma funo definida numa infinidade de pontos montona (teria de calcular-se o valor da funo em
cada ponto do respetivo domnio, e no apenas num subconjunto finito do mesmo, que o que na
realidade qualquer calculadora faz, alis em geral apenas com determinado grau de aproximao), se uma
sucesso convergente, ou, de maneira geral, deduzir qualquer propriedade do grfico de uma funo que
Indicaes metodolgicas

Pgina 28

necessite do conhecimento dos valores da funo numa infinidade de pontos do domnio (continuidade,
diferenciabilidade, limites, assntotas, resultados positivos de concavidade e monotonia, extremos, etc.).
No entanto, o conhecimento prvio de propriedades analticas de uma funo ou funes pode, em muitos
casos, permitir uma utilizao adequada das potencialidades da calculadora para visualizar partes
particularmente interessantes dos respetivos grficos, obter valores aproximados de solues de equaes,
de extremos e pontos de extremo, etc. As propriedades que, em cada caso, ser necessrio estabelecer
antes de se poderem extrair concluses justificadas a partir do que se observa na calculadora ou
computador dependem, evidentemente, da questo que se pretende resolver, podendo mesmo resumir-se, em certos casos, simples continuidade; apenas em casos em que o conhecimento de um nmero
finito de pontos do grfico permite extrair alguma concluso segura (situaes de inexistncia de
monotonia ou de sentido determinado de concavidade em determinado intervalo, por exemplo) possvel
praticamente prescindir de um conhecimento prvio de alguma propriedade analtica da funo em estudo.
Como evidente, a calculadora grfica pode sempre ser utilizada para ilustrar propriedades de
grficos de funes adequadamente escolhidas pelo professor, ou para que o aluno teste o resultado de
variaes de parmetros em classes de funes de que j tenha algum conhecimento terico e, de maneira
geral, para uma abordagem experimental ao estudo de funes, desde que devidamente controlada e
acompanhada de uma anlise crtica da validade de conjeturas que essas experincias possam induzir.
Neste sentido, considera-se que no Ensino Secundrio a tecnologia, e mais especificamente a
calculadora grfica, deve ser utilizada em sala de aula e consequentemente em certos instrumentos de
avaliao (na resoluo de problemas requerendo clculos de valores aproximados de solues de
determinado tipo de equaes ou de funes envolvendo, por exemplo, razes trigonomtricas,
logaritmos, ou exponenciais) mas que se deve evitar a sua utilizao em outras provas de avaliao em que
os contedos e capacidades envolvidas claramente o no justifiquem ou mesmo o desaconselhem.

Indicaes metodolgicas

Pgina 29

7. AVALIAO
O Decreto-Lei n. 139/2012, de 5 de julho, alterado pelo Decreto-Lei n. 91/2013 de 10 de julho,
estabelece os princpios orientadores da organizao, da gesto e do desenvolvimento dos currculos do
Ensino Bsico e do Ensino Secundrio, bem como da avaliao dos conhecimentos adquiridos e das
capacidades desenvolvidas pelos alunos do Ensino Bsico ministradas em estabelecimentos escolares
pblicos, particulares e cooperativos.
Os conhecimentos a adquirir e as capacidades a desenvolver pelos alunos do Ensino Secundrio, na
disciplina de Matemtica A, tm como referncia o programa dessa disciplina e as respetivas Metas
Curriculares definidas por ano de escolaridade. este documento que permitir cumprir a funo de
regulao do percurso de aprendizagem que a avaliao do desempenho dos alunos dever assumir.
Os resultados dos processos avaliativos (de carter nacional, de escola, de turma e de aluno) devem
contribuir para a orientao cientifico-pedaggica do ensino, para que se possam superar, em tempo til
e de modo apropriado, dificuldades de aprendizagem identificadas e, simultaneamente, reforar os
progressos verificados. Todos estes propsitos devem ser concretizados recorrendo a uma avaliao
diversificada e frequente, contribuindo para que os alunos adquiram uma maior conscincia do seu nvel
de conhecimentos e valorizem a avaliao como um processo promotor de melhores desempenhos.
A classificao resultante da avaliao interna no final de cada perodo, guiada pelos critrios de
avaliao da disciplina de Matemtica A definidos em cada agrupamento de escolas/escola no agrupada,
dever traduzir com fidelidade o nvel de desempenho do aluno no que se refere ao cumprimento do
programa e das respetivas metas curriculares.

Avaliao

Pgina 30

8. BIBLIOGRAFIA
1.

Alpuim, T., Estatstica, Apontamentos de Apoio disciplina de Estatstica da Licenciatura em


Matemtica e Matemtica Aplicada, FCUL, 2012.

2.

Alpuim, T., Probabilidade, Apontamentos de Apoio disciplina de Probabilidade da Licenciatura em


Matemtica e Matemtica Aplicada, FCUL, 2008.

3.

Anderson, J.R. & Schunn, C., Implications of the ACT-R learning theory: No magic bullets, Advances in
instructional psychology, Educational design and cognitive science (pp. 1-33), Mahwah, Lawrence
Erlbaum, 2000.

4.

Bivar, A., Grosso, C., Oliveira, F. & Timteo, M.C., Programa e Metas Curriculares do Ensino Bsico
Matemtica, Ministrio da Educao e Cincia, Direo Geral da Educao, 2013.

5.

Common Core State Standards Initiative, Common Core State Standards for Mathematics, Common
Core State Standards Initiative, Preparing Americas students for college & Career, 2011.

6.

Department for Education and Employment, Mathematics The National Curriculum for England,
Department for Education and Employment, London, 1999.

7.

Fayol, M., Toom, A, Bivar, A., Santos, C., & Aires, L.M., Fazer contas ajuda a pensar?, Fundao
Francisco Manuel dos Santos, Porto, Porto Editora, 2010.

8.

Ferreira, J.C., Introduo Anlise Matemtica, Lisboa, Fundao Calouste Gulbenkian, 2008.

9.

Figueira, M., Fundamentos de Anlise Infinitesimal, Textos de Matemtica, volume 5, 2 edio,


Lisboa, DM-FCUL, 1997.

10.

Geary, D.C., Berch, D.B., Ooykin, W., Embretson, S., Reyna, V., & Siegler, R., Learning mathematics:
Findings from The National (United States) Mathematics Advisory Panel, in N. Crato (Org.), Ensino da
Matemtica: Questes e solues, (pp. 175-221), Lisboa, Fundao Calouste Gulbenkian, 2008.

11.

Geary, D.C., Development of mathematical understanding, in D. Kuhl & R.S. Siegler (Vol. Eds.),
Cognition, perception, and language, Vol. 2., W. Damon (Gen. Ed.), Handbook of child psychology, 6th
ed., (pp. 777-810), New York, John Wiley & Sons, 2006.

12.

Guerreiro, J.S., Curso de Anlise Matemtica, Lisboa, Escolar Editora, 2008.

13.

International Association for the Evaluation of Educational Achievement, Trends in International


Mathematics and Science Study, TIMSS Advanced Assessment Frameworks, International Association
for the Evaluation of Educational Achievement, 2008.

14.

Kaminsky, J., Sloutsky, V. & Heckler, A., The advantage of abstract examples in learning math,
Education Forum, 320 (pp. 454-455), 2008.

15.

Karpicke, J.D. & Roediger, H.L., The critical importance of retrieval for learning, Science, 319, (pp.
966-968), 2008.

16.

Katz, V.J., Histria da Matemtica, Lisboa, Fundao Calouste Gulbenkian, 2010.

17.

Kirschener, P. & Merrinboer, J., Do learners really know best? Urban legends in education,
Educational Psychologist, 48 (3), (pp. 169-183), 2013.

Bibliografia

Pgina 31

18.

Kirschener, P., Sweller, J. & Clark, R., Why minimal guidance during instruction does not work: An
analysis of the failure of constructivist, discovery, problem-based, experiential, and inquiry-based
teaching, Educational Psychologist, 41 (2), (pp. 75-86), 2006.

19.

Loura, L.C.C. & Martins, M.E.G., Introduo Probabilidade, Projecto REANIMAT, Departamento de
Matemtica da Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian,
2003.

20.

Loura, L.C.C. & Martins, M.E.G., Clculo Combinatrio, Projecto REANIMAT, Departamento de
Matemtica da Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian,
2003.

21.

Machado, A., Abrantes, P., &Carvalho, R.F., Matemtica: 12. ano: M12, Lisboa, Texto Editora, 1986.

22.

Machado A., Iniciao Lgica Matemtica 10. ano, Projecto REANIMAT, Departamento de
Matemtica da Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian,
2002.

23.

Machado A., Geometria 10. ano, Projecto REANIMAT, Departamento de Matemtica da Faculdade
de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2002.

24.

Machado A., Geometria 11. ano, Projecto REANIMAT, Departamento de Matemtica da Faculdade
de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2003.

25.

Machado A., Nmeros Complexos 12. ano, Projecto REANIMAT, Departamento de Matemtica da
Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2004.

26.

Ministre de la Communaut Franaise, Comptences Terminales et savoirs requis en


Mathmatiques, Humanits gnrales et technologiques, Ministre de la Communaut Franaise,
Blgica, 1999.

27.

Ministre de Lducation Nationale Mathmatiques, classe de seconde, Bulletin Officiel, n. 30,


Ministre de Lducation Nationale, France, 2009.

28.

Ministre de Lducation Nationale Mathmatiques, cycle terminal de la srie scientifique, classe de


Premire, Bulletin Officiel Spcial, n. 9, Ministre de Lducation Nationale, France, 2010.

29.

Ministre de Lducation Nationale, Programme de lenseignement spcifique et de spcialit de


mathmatiques, Classe terminale de la srie scientifique, Bulletin Officiel Spcial, n. 8, Ministre de
Lducation Nationale, Frana, 2011.

30.

Ministero dellInstuzione, dellUniversit e della Ricerca, Curricula Liceo Scientifico Indicazioni,


Ministero dellInstuzione, dellUniversit e della Ricerca, Itlia, 2010.
(http://www.indire.it/lucabas/lkmw_file/licei2010///indicazioni_nuovo_impaginato/_Liceo%20scient
ifico.pdf)

31.

Murteira, B. & Ribeiro, C., Introduo Estatstica, Lisboa, Escolar Editora, 2007.

32.

National Mathematics Advisory Panel, Foundations for success: Final Report, U.S. Department of
Education, 2008.

33.

Paas, F., Renkl, A., & Sweller, J., Cognitive load theory: Instructional implications of the interaction
between information structures and cognitive architecture, Instructional Science, 32, 1-8, 2004.

34.

Pestana, D., Introduo Probabilidade e Estatstica, Lisboa, Fundao Calouste Gulbenkian, 2008.

Bibliografia

Pgina 32

35.

Rittle-Johnson, B., Siegler, R.S. & Alibali, M.W., Developing conceptual understanding and procedural
skill in mathematics: An iterative process, Journal of Educational Psychology, 93, (pp. 346-362), 2001.

36.

Roediger, H.L., Karpicke, J.D., Test-enhanced learning: Taking memory tests improves long-term
retention, Psychological Science, 17, (pp. 249-255), 2006.

37.

Roediger, H.L., Karpicke, J.D., The power of testing memory: Basic research and implications for
educational practice, Perspectives on Psychological Science, 1, (pp. 181-210), 2006.

38.

Rohder, D. & Taylor, K., The effects of overlearning and distributed practice on the retention of
mathematics knowledge, Applied Cognitive Psychology, 20, 2006.

39.

Sanchez L., Iniciao ao estudo das funes reais de varivel real, 10. ano, 11. ano e 12. ano,
Projecto REANIMAT, Departamento de Matemtica da Faculdade de Cincias da Universidade de
Lisboa e Fundao Calouste Gulbenkian, 2002.

40.

Sarrico, C., Anlise Matemtica Leituras e exerccios, Projectos Cincia, Lisboa, Gradiva, 1997.

41.

Sebastio e Silva, J., Compndio de Matemtica (5 volumes), GEP, MEC, 1975-78.

42.

Sebastio e Silva, J., Guia para a utilizao do Compndio de Matemtica (3 volumes), GEP-MEC,
1975-77.

43.

Silva, J.C., Fonseca, C.M., Fonseca, M.G., Lopes, I. & Martins, A., Programa de Matemtica A, 10.
ano, Ministrio da Educao, Departamento do Ensino Secundrio, 2001.

44.

Silva, J.C. , Fonseca, C.M., Fonseca, M.G., Lopes, I. & Martins, A., Programa de Matemtica A, 11.
ano, Ministrio da Educao, Departamento do Ensino Secundrio, 2002.

45.

Silva, J.C. , Fonseca, C.M., Fonseca, M.G., Lopes, I. & Martins, A., Programa de Matemtica A, 12.
ano, Ministrio da Educao, Departamento do Ensino Secundrio, Lisboa, 2002.

46.

Struik, D., Histria concisa das Matemticas, Coleco Cincia Aberta, Lisboa, Gradiva, 1997.

47.

Sweller, J., Clark, R. & Kirschener, P., Teaching general problem-solving skills is not a substitute for, or
a viable addition to, teaching mathematics (pp. 1303-1304), Doceamus, 57 (10), 2010.

Bibliografia

Pgina 33

Metas Curriculares
Matemtica A
Ensino Secundrio
Cursos Cientfico-Humansticos de
Cincias e Tecnologias e de Cincias Socioeconmicas

Antnio Bivar, Carlos Grosso, Filipe Oliveira, Lusa Loura, Maria Clementina Timteo

METAS CURRICULARES PARA O ENSINO SECUNDRIO


MATEMTICA A
O presente documento descreve o conjunto das metas curriculares da disciplina de
Matemtica A que os alunos devem atingir durante o Ensino Secundrio. Os objetivos gerais,
completados por descritores mais precisos, encontram-se organizados em cada ano de
escolaridade, por domnios e subdomnios, segundo a seguinte estrutura:

Domnio
Subdomnio
1. Objetivo geral
1. Descritor
2. Descritor

Os diferentes descritores esto redigidos de forma objetiva, numa linguagem rigorosa


destinada ao professor, devendo este selecionar uma estratgia de ensino adequada
respetiva concretizao, incluindo uma adaptao da linguagem, sempre que seja necessria.
O significado preciso de certos verbos com que se iniciam alguns descritores (identificar,
designar, referir, representar, reconhecer, saber, provar, demonstrar,
justificar) encontra-se definido no pargrafo intitulado Leitura das Metas Curriculares.
A prtica letiva obriga, naturalmente, a frequentes revises de objetivos gerais e
descritores correspondentes a anos de escolaridade anteriores. Estes pr-requisitos no se
encontram explicitados no texto, devendo o professor identific-los consoante a necessidade,
a pertinncia e as caractersticas prprias de cada grupo de alunos.
Optou-se por formar uma sequncia de objetivos gerais e de descritores, dentro de cada
subdomnio, que corresponde a uma progresso de ensino adequada, podendo no entanto
optar-se por alternativas coerentes que cumpram os mesmos objetivos e respetivos
descritores. De um modo mais geral, as Metas Curriculares no devem ser entendidas como
um sumrio sequencial dos contedos a lecionar, podendo em particular ser proveitoso o
tratamento em simultneo de descritores pertencentes a objetivos gerais ou mesmo a
domnios distintos. Existem mesmo circunstncias em que se torna necessrio um tal
procedimento; com efeito, a arrumao dos tpicos por domnios temticos, e
simultaneamente respeitando dentro de cada domnio uma determinada progresso, a isso
pode levar, dada a prpria natureza e interligao dos contedos e capacidades matemticas.
So tambm disponibilizados aos professores Cadernos de Apoio s presentes metas
curriculares (um por ano de escolaridade) contendo, em alguns casos, suportes tericos aos
objetivos e descritores, bem como exemplos de concretizao de alguns deles. Nesses
documentos, os nveis de desempenho esperados foram objeto de especificao.

Introduo

Pgina 1

Leitura das Metas Curriculares


Identificar/Designar/Referir/ O aluno deve utilizar corretamente a designao
referida, sabendo definir o conceito apresentado como se indica ou de forma equivalente.
Reconhecer: O aluno deve apresentar uma argumentao coerente, ainda que
eventualmente mais informal do que a explicao fornecida pelo professor. Deve, no entanto,
saber justificar isoladamente os diversos passos utilizados nessa explicao.
Saber: O aluno deve conhecer o resultado, mas sem que lhe seja exigida qualquer
justificao ou verificao concreta.
Provar/Demonstrar: O aluno deve apresentar uma demonstrao matemtica to
rigorosa quanto possvel.
Justificar: O aluno deve justificar de forma simples o enunciado, evocando uma propriedade
j conhecida.

Certos descritores encontram-se assinalados com o smbolo +.


Relativamente aos que correspondem a propriedades que os alunos devem
reconhecer, a procedimentos que devem efetuar ou a problemas que devem resolver,
especificaram-se nos Cadernos de Apoio diferentes nveis de desempenho.
Quanto aos relativos a propriedades que os alunos devem provar, entende-se que,
embora todos devam conhecer o resultado em causa e saber aplic-lo, a elaborao da
respetiva demonstrao facultativa, no sendo portanto exigvel aos alunos.
Por outro lado, certos grupos de descritores de um mesmo objetivo geral, relativos a
conjuntos de demonstraes muito semelhantes entre si, encontram-se assinalados com o
smbolo #, ficando ao critrio do professor quais devem ser tratadas como exemplo.

Introduo

Pgina 2

10. ANO
Lgica e Teoria dos Conjuntos LTC10

Introduo Lgica bivalente e Teoria dos conjuntos


1. Operar com proposies
1. Designar por proposio toda a expresso suscetvel de ser verdadeira ou falsa
e designar estes atributos por valores lgicos.
2. Saber que uma proposio no pode ser simultaneamente verdadeira e falsa e designar
esta propriedade por Princpio de no contradio.
3. Saber, dadas proposies e , que equivalente a uma proposio, designada
por equivalncia entre e , que verdadeira se e somente se e tiverem o
mesmo valor lgico e represent-la tambm por
.
4. Saber, dada uma proposio , que no uma proposio, designada por negao
de , que verdadeira se for falsa e falsa se for verdadeira e represent-la
tambm por .
5. Justificar, dada uma proposio , que ( )
, designando esta propriedade por
lei da dupla negao.
6. Saber, dadas proposies
e , que e uma proposio, designada por
conjuno de e , que verdadeira se e somente se e forem simultaneamente
verdadeiras, e represent-la tambm por
.
7. Saber, dadas proposies
e , que ou uma proposio, designada por
disjuno de e , que falsa se e somente se e forem simultaneamente falsas,
represent-la tambm por
e justificar que
uma proposio verdadeira,
designando esta propriedade por Princpio do terceiro excludo.
8. Saber, dadas proposies e , que implica uma proposio, designada por
implicao entre e , que falsa se e somente se for verdadeira e for falsa,
represent-la tambm por
, designar
por antecedente e
por
consequente da implicao e reconhecer, dada uma proposio , que se
e
ento
.
9. Saber que, por conveno, em qualquer sequncia de operaes lgicas, a menos de
utilizao de parnteses, se respeitam as seguintes prioridades: negao; conjuno e
disjuno; implicao e equivalncia.
) equivalente
10. #Provar, dadas proposies
e , que a proposio (
proposio
.
11. #Provar, dadas proposies e , que a proposio
verdadeira se e somente
se
e
forem ambas proposies verdadeiras e designar esta propriedade
por princpio da dupla implicao.
12. #Provar, dada uma proposio
e representando por
(respetivamente ) uma
qualquer proposio verdadeira (respetivamente falsa), que
,
,
e
.
)
)
13. #Provar, dadas proposies e , que (
e que (
e designar estas equivalncias por Primeiras Leis de De Morgan.

LTC10

Pgina 3

)
(
),
14. #Provar, dadas proposies
e , que (
e
(
)
(
)
(
),
que
bem como as que se obtm permutando em todas
as ocorrncias os smbolos e , e design-las respetivamente por
associatividade, comutatividade e distributividade.
15. #Provar, dadas duas proposies
e , que a proposio
equivalente
proposio
, designar esta ltima implicao por implicao contrarrecproca
da implicao
.
16. +Simplificar expresses envolvendo operaes com proposies, substituindo-as por
proposies equivalentes envolvendo menos smbolos, e determinar o respetivo valor
lgico sempre que possvel.
2. Relacionar condies e conjuntos
1. Designar por expresso proposicional ou por condio uma expresso ( )
envolvendo uma varivel tal que, substituindo por um objeto , se obtm uma
proposio ( ).
2. Saber, dada uma condio ( ), que qualquer que seja , ( ) uma proposio que
verdadeira quando e apenas quando se obtm uma proposio verdadeira sempre
( ), e
que se substitui em ( ) por um objeto arbitrrio, represent-la por
designar o smbolo por quantificador universal.
( ) for uma proposio
3. Identificar uma condio ( ) como universal se
verdadeira e reconhecer que a disjuno de qualquer condio com uma condio
universal uma condio universal.
4. Saber, dada uma condio ( ), que existe tal que ( ) uma proposio que
verdadeira se e somente se, para pelo menos um objeto , ( ) for verdadeira,
( ) e designar o smbolo por quantificador existencial.
represent-la por
( ) for uma proposio
5. Identificar uma condio ( ) como possvel se
verdadeira, como impossvel se no for possvel e reconhecer que a disjuno de
qualquer condio com uma condio possvel uma condio possvel e a conjuno
de qualquer condio com uma condio impossvel uma condio impossvel.
( ) equivalente
6. Saber, dada uma condio ( ), que a negao da proposio
( ) , que a negao da proposio
( ) equivalente
proposio
( ), designar estas propriedades por Segundas Leis de De Morgan,
proposio
reconhecendo-as informalmente em exemplos, e justificar que a negao de uma
condio universal uma condio impossvel e vice-versa.
( )
7. Representar, dada uma condio ( ) e um conjunto , a proposio ,
( ), e, no caso de ser verdadeira, designar ( ) por condio universal
por
em .
( )
8. Representar, dada uma condio ( ) e um conjunto , a proposio
( ), no caso de ser verdadeira designar ( ) por condio possvel em
por
e, no caso contrrio, por condio impossvel em .
9. +Reconhecer, dada uma condio ( ) e um conjunto , que a negao da
( ) equivalente proposio
( ), que a negao da
proposio
( ) equivalente proposio
( ) e designar um
proposio
( ) como um contraexemplo para a proposio
elemento
tal que
( ).

LTC10

Pgina 4

( ) um conjunto
10. Representar, dada uma condio ( ), por
tal que
( ) por definio em
( ), designando a igualdade
compreenso do conjunt
pela condi ( ).
11. Saber, dados conjuntos e , que
se e somente se ,
.
12. Designar, dado um objeto e um conjunto , por elemento de quando
,
dados objetos
(
), representar por
o conjunto
cujos
elementos so exatamente
e designar a igualdade
por
definio em extenso do conjunto de elementos
.
13. Identificar, dada uma condio ( ) e um conjunto , o conjunto
( )
como conjunto definido por ( ) em (ou conjunto-soluo de ( ) em ) e
( ) .
represent-lo tambm por
14. Identificar, dados conjuntos
e , o conjunto unio (ou reunio) de
e e o
conjunto interseo de e respetivamente como
e
.
15. Identificar, dados conjuntos e , como estando contido em (
) quando
,
e, nesse caso, designar por subconjunto de ou por uma
parte de .
16. Designar, dados conjuntos e , por diferena entre e o conjunto
e represent-lo por
ou simplesmente por quando
e esta notao no for
ambgua, designando-o ento por complementar de em .
17. Justificar, dadas condies ( ) e ( ), que a proposio
( )
( )
equivalente proposio
, ( ( )
( )) ( ( )
( )) e designar uma
demonstrao da segunda proposio por demonstrao por dupla implicao da
primeira.
18. Reconhecer, dados conjuntos e , que
se e somente se
e
,e
designar esta propriedade por princpio da dupla incluso.
19. +Reconhecer, dadas condies ( ) e ( ), que a negao da proposio
( ) equivalente proposio
( )
( ) , isto , que essa
, ( )
proposio falsa se e somente se existir tal que ( ) verdadeira e ( ) falsa.
( )
( )
20. Justificar, dadas condies ( ) e ( ), que a proposio
( )
( ), designar a segunda proposio por
equivalente proposio
contrarrecproco da primeira e uma demonstrao da segunda proposio por
demonstrao por contrarrecproco da primeira.
3. Resolver problemas
1. +Resolver problemas envolvendo operaes lgicas sobre proposies.
2. +Resolver problemas envolvendo operaes sobre condies e sobre conjuntos.

LTC10

Pgina 5

lgebra ALG10

Radicais
1. Definir e efetuar operaes com radicais
1. +Reconhecer, dados dois nmeros reais e e um nmero
mpar, que se
ento
.
2. +Reconhecer, dados dois nmeros reais
e
e um nmero
par, que se
ento
e se
ento
.
3. Saber, dado um nmero real e um nmero
mpar, que existe um nmero real
tal que
, provar que nico, design-lo por raiz ndice de e represent-lo
por .
4. +Saber, dado um nmero real positivo e um nmero
par, que existe um nmero
(
)
real positivo tal que
, provar que
e que no existe, para alm de
e de , qualquer outra soluo da equao
e represent-lo por .
5. Justificar, dado um nmero natural , que

, designar

por raiz ndice

de

o nico nmero real cuja potncia de

expoente igual a e, por esta razo, represent-lo tambm por (raiz ndice
de ).
6. #Provar, dados nmeros reais no negativos
e
e um nmero
par, que

e reconhecer que, para

7. #Provar, dados nmeros reais

e um nmero

e reconhecer que, para


, ( )
8. #Provar, dados nmeros reais
e
negativos),
, e um nmero
que

, ( )

e justificar que para

mpar, que

(respetivamente nmeros reais


mpar (respetivamente um nmero
, ( )

no
par),

9. #Provar, dados nmeros naturais e (respetivamente nmeros naturais mpares e


) e um nmero real no negativo
(respetivamente um nmero real ), que

.
10. Designar tambm por frao a representao do quociente entre nmeros reais
e
(com
),
e , neste contexto, respetivamente por numerador e
denominador e identificar duas fraes como equivalentes quando representam o
mesmo nmero.
11. +Racionalizar denominadores da forma
nmeros naturais,
).

ALG10

, ou

( e

nmeros inteiros,

Pgina 6

Potncias de expoente racional


2. Definir e efetuar operaes com potncias de expoente racional
1. +Reconhecer, dado um nmero real no negativo
(

se

),

(sendo

), que
.
2. +Identificar, dado um nmero real no negativo
(

nmeros inteiros,

e um nmero racional no negativo

),

nmeros inteiros,

e um nmero racional no negativo


se

, a potncia de base

e de expoente ,
, como , reconhecendo que este nmero no depende da
frao escolhida para representar , e que esta definio a nica possvel por forma a
estender a propriedade ( )
a expoentes racionais positivos.
3. Identificar, dado um nmero real positivo
e um nmero racional positivo
potncia de base

e de expoente ,

, como

, a

, reconhecendo que esta

definio a nica possvel por forma a estender a propriedade


a
expoentes racionais.
4. +Reconhecer que as propriedades algbricas previamente estudadas das potncias de
expoente inteiro (relativas ao produto e quociente de potncias com a mesma base,
produto e quociente de potncias com o mesmo expoente e potncia de potncia)
podem ser estendidas s potncias de expoente racional.
5. +Simplificar expresses envolvendo radicais e potncias.
3. Resolver problemas
1. +Resolver problemas envolvendo operaes com radicais e com potncias.
Diviso inteira de polinmios
4. Efetuar operaes com polinmios
1. Designar um polinmio com apenas uma varivel por ( ).
2. +Reconhecer, dados polinmios no nulos ( ) e ( ), que o grau do polinmio
( ) ( ) igual soma dos graus de ( ) e de ( ).
3. Saber, dados polinmios ( ) e ( ), ( ) no nulo, que existem dois nicos
polinmios ( ) e ( ) tais que ( ) ou o polinmio nulo ou tem grau inferior ao
( )
( )
grau de ( ) e ( )
( ), e designar, neste contexto, ( ) por
polinmio dividendo, ( ) por polinmio divisor, ( ) por polinmio quociente
e ( ) por polinmio resto da diviso inteira (ou diviso euclidiana) de ( ) por
( ).
4. Determinar, dados polinmios ( ) e ( ) , ( ) no nulo, as formas reduzidas dos
polinmios quociente e resto da diviso inteira de ( ) por ( )
5. +Reconhecer, dado um polinmio ( ) e um nmero
, que aplicando a regra de
Ruffini se obtm o quociente e o resto da diviso inteira de ( ) por
.
6. Provar, dado um polinmio ( ) e um nmero
, que o resto da diviso inteira de
( ) por
igual a ( ) e designar esta propriedade por Teorema do Resto.

ALG10

Pgina 7

7. Designar, dado um polinmio ( ), por raiz do polinmio (ou zero do polinmio)


qualquer nmero real tal que ( )
.
8. Identificar um polinmio ( ) como divisvel por um polinmio ( ) no nulo se o
resto da diviso euclidiana de ( ) por ( ) nulo.
9. Provar, dado um polinmio ( ) de grau
e um nmero real , que uma raiz
de ( ), se e somente se ( ) for divisvel por
e que, nesse caso, existe um
polinmio ( ) de grau
tal que ( ) (
) ( ).
10. Identificar, dado um polinmio ( ) e uma raiz de ( ), a multiplicidade de
como o maior nmero natural
tal que existe um polinmio
( ) com
(
)
( )
( ), justificar que nesta situao ( )
e designar por raiz
simples quando a respetiva multiplicidade igual a .
11. +Reconhecer, dado um polinmio ( ) de grau
cujas razes (distintas) , ,,
tm respetivamente multiplicidade , ,, , que
e que existe
) (
)
(
)
um polinmio ( ) sem razes tal que ( ) (
( ),
tendo-se
se e somente se ( ) tiver grau zero.
12. Reconhecer, dado um polinmio ( ) de coeficientes inteiros, que o respetivo termo de
grau zero mltiplo inteiro de qualquer raiz inteira desse polinmio.
5. Resolver problemas
1. +Resolver problemas envolvendo a diviso inteira de polinmios e o Teorema do resto.
2. +Resolver problemas envolvendo a fatorizao de polinmios de que se conhecem
algumas razes.
3. +Resolver problemas envolvendo a determinao dos zeros e do sinal de funes
polinomiais de grau superior a dois.

ALG10

Pgina 8

Geometria Analtica GA10

Geometria Analtica no plano


1. Definir analiticamente conjuntos elementares de pontos do plano
1. Designar por referencial ortonormado um referencial ortogonal e monomtrico de
um dado plano, tal que a unidade de comprimento comum aos eixos coordenados
coincide com uma unidade de comprimento pr-fixada e, dados nmeros reais
e ,
designar por (
), o ponto de abcissa e ordenada nesse referencial.
2. +Reconhecer, fixada uma unidade de comprimento, dado um plano munido de um
referencial ortonormado e pontos (
)e (
) pertencentes a esse plano, que
)
(
) , e represent-la
a medida da distncia entre e igual a (
).
por (
3. Demonstrar, dada uma reta numrica e dois pontos
e
de abcissas
e
respetivamente, que a abcissa do ponto mdio do segmento de reta de extremos e
igual a

4. +Reconhecer, utilizando argumentos geomtricos baseados no Teorema de Tales ou em


consequncias conhecidas deste Teorema, que, dado um plano munido de um
referencial ortonormado e dois pontos (
)e (
) pertencentes a esse plano,
as coordenadas do ponto mdio do segmento de reta [

] so (

).

5. Designar, dado um plano munido de um referencial ortonormado, por equao


cartesiana (respetivamente por inequao cartesiana) de um conjunto
uma
equao (respetivamente inequao) cujas solues so as coordenadas dos pontos de .
6. Determinar, dado um plano munido de um referencial ortonormado e dois pontos
(
)e (
) desse plano, uma equao cartesiana da mediatriz do segmento de
reta [ ] na forma
(equao reduzida da reta) ou na forma
.
7. Justificar, fixada uma unidade de comprimento, dado um plano munido de um
referencial ortonormado, um ponto (
) pertencente a esse plano e um nmero
(
)
(
)
, que a equao
uma equao cartesiana da
circunferncia de centro e de raio , e design-la por equao (cartesiana) reduzida
da circunferncia.
8. Designar, fixada uma unidade de comprimento e um plano, dados dois pontos e
, por elipse o conjunto de pontos
pertencentes a esse plano e um nmero
do plano tais que (
)
(
)
, por focos da elipse os pontos e , por
centro da elipse o ponto mdio do segmento de reta [ ], e por eixo maior da
elipse o nmero
(e
por semieixo maior da elipse), interpretando-o
geometricamente.
9. +Demonstrar, dada uma elipse de focos e e de eixo maior , que a mediatriz de
[ ] interseta a elipse em dois pontos e equidistantes do centro da elipse e que
se tem
, designando
tomando

, onde
por eixo
menor da elipse (e por semieixo menor da elipse).
10. +Reconhecer, fixada uma unidade de comprimento, dado um plano munido de um
referencial ortonormado e
GA10

que a equao

uma equao
Pgina 9

cartesiana da elipse de semieixo maior

e semieixo menor

que tem focos (

e ( ), onde

, e design-la por equao (cartesiana) reduzida da


elipse.
11. +Reconhecer, dado um plano munido de um referencial ortonormado e uma reta do
plano de equao reduzida
(
), que os dois semiplanos abertos
(respetivamente fechados) determinados por
tm por inequaes cartesianas
e
(respetivamente
e
) e design-los
respetivamente por semiplano superior e semiplano inferior em relao reta .
12. Reconhecer, dado um plano munido de um referencial ortonormado e uma reta do
plano de equao cartesiana
(
), que os dois semiplanos abertos
(respetivamente fechados) determinados por tm por inequaes cartesianas
e
(respetivamente
e
) e design-los respetivamente por semiplano
direita e semiplano esquerda da reta .
13. Justificar, fixada uma unidade de comprimento, dado um plano munido de um
)
(
)
referencial ortonormado, que a inequao (
(
,
)
uma inequao do crculo de centro (
) e de raio .
2. Resolver problemas
1. +Resolver problemas envolvendo a noo de distncia entre pontos do plano, e
equaes e inequaes cartesianas de subconjuntos do plano.

Clculo vetorial no plano


3. Operar com vetores
1. Identificar, fixada uma unidade de comprimento e dado um vetor , a norma do vetor
como a medida do comprimento de um segmento orientado representante de e
represent-la por .
2. Identificar, dado um vetor e um nmero real (tambm designado por escalar) , o
produto de por ( ) como o vetor de norma | | (fixada uma mesma
unidade de comprimento para o clculo das normas), com a direo e sentido de se
e
e com a direo de e sentido contrrio ao de se e
,

3.
4.

5.
6.

GA10

justificar que no depende da unidade de comprimento fixada e que ( )


,
vetor simtrico de .
Justificar, dado um vetor no nulo, que um vetor colinear a se e apenas existir
um nmero real tal que
, e que, nesse caso, nico.
Justificar, dados vetores e , que existe um e somente um vetor tal que ,
provando que ( ), designar por diferena entre e e represent-lo
por .
)
+Reconhecer, dado um vetor e nmeros reais e , que (

.
+Reconhecer, dados vetores e e nmeros reais e que ( )

e
( ) ( ) .

Pgina 10

4. Operar com coordenadas de vetores


1. +Reconhecer, fixada uma unidade de comprimento, um plano munido de um referencial
e
ortonormado de origem e um vetor do plano que, sendo ( ), ( ),
, existe um e somente um par ordenado (
) de nmeros reais tais que

, por esse motivo designar o par ordenado ( ) por uma base do


) por coordenadas do vetor (na base
espao vetorial dos vetores do plano, (
( ) ) e representar por (
) o vetor de coordenadas (
).
2. Identificar, fixado um plano munido de um referencial ortonormado de origem e dado
um ponto , o vetor-posio do ponto como o vetor e justificar que as
coordenadas do vetor posio de um dado ponto coincidem com as coordenadas do
ponto.
3. Justificar, fixado um plano munido de um referencial ortonormado e dados vetores
(
) e (
) e um nmero real , que o vetor (respetivamente )
) ), que o vetor
tem coordenadas (
) (respetivamente (
tem coordenadas (
), que o vetor simtrico do vetor (
) tem
coordenadas (
) e que dois vetores no nulos so colineares se e somente se as
respetivas coordenadas forem todas no nulas e os quocientes das coordenadas
correspondentes forem iguais, ou as primeiras ou segundas coordenadas de ambos os
vetores forem nulas.
4. Justificar, fixado um plano munido de um referencial ortonormado e dados pontos
(
)e (
) que o vetor tem coordenadas (
), comeando
por justificar que , identificar, a diferena entre os pontos
e
como o vetor , represent-la por
e justificar que, para todo o vetor e para
quaisquer pontos e do plano,

.
5. Justificar, fixado um plano munido de um referencial ortonormado e dado um ponto
(
) e um vetor (
) desse plano, que o ponto
tem coordenadas
(
).
6. Justificar, fixada uma unidade de comprimento e um plano munido de um referencial
ortonormado que para qualquer vetor (

),

5. Conhecer propriedades dos vetores diretores de retas do plano


1. Identificar, dado um vetor no nulo e uma reta , como tendo a direo de
quando tiver a direo das retas suporte dos segmentos orientados que representam .
2. Designar por vetor diretor de uma dada reta qualquer vetor no nulo com a mesma
direo do que .
3. Provar, fixado um plano munido de um referencial ortonormado e uma reta no vertical
de declive

, que o vetor (

) vetor diretor de se e somente se

,e

que, em particular, o vetor de coordenadas (


) vetor diretor da reta .
4. Justificar, fixado um plano munido de um referencial ortonormado, que os vetores
diretores das retas verticais so os vetores ( ),
.
5. Justificar, fixado um plano munido de um referencial ortonormado, que dada uma reta
de vetor diretor , os pontos de so os pontos
,
, onde um
qualquer ponto de , e designar esta equao por equao vetorial da reta .

GA10

Pgina 11

6. Justificar, fixado um plano munido de um referencial ortonormado e dados


, que um ponto (
) pertence reta
de vetor diretor (
)
passando pelo ponto (
) se e somente se existir
tal que
, e designar este sistema por sistema das equaes paramtricas da reta .
6. Resolver problemas
1. +Resolver problemas envolvendo a determinao das coordenadas de vetores do plano.
2. +Resolver problemas envolvendo a colinearidade de vetores do plano.
3. +Resolver problemas envolvendo equaes vetoriais, paramtricas e cartesianas de
retas do plano.
Geometria Analtica no espao
7. Definir referenciais cartesianos do espao
1. Identificar um referencial (cartesiano) ortonormado do espao (ou simplesmente
referencial cartesiano) como um terno ordenado de retas numricas que se
intersetam nas respetivas origens, duas a duas perpendiculares e com unidades de
comprimento coincidentes com uma mesma unidade de comprimento pr-fixada,
designar a origem comum das trs retas por origem do referencial, a primeira reta
por eixo das abcissas, a segunda por eixo das ordenadas, a terceira por eixo das
cotas, genericamente cada uma delas por eixo coordenado e, se for representada
por a origem do referencial, representar estes trs eixos respetivamente por
, e e o referencial por
.
2. Designar, dado um ponto e uma reta , por projeo ortogonal de sobre como
o prprio ponto quando pertencer a e como o p da perpendicular traada de
para no caso contrrio, reconhecendo que a interseo com do plano normal a
passando por .
3. Designar, dado um referencial ortonormado e um ponto
de projees ortogonais
, no eixo das abcissas,
, no eixo das ordenadas e , no eixo das cotas, por
abcissa de , ordenada de e cota de respetivamente a abcissa de , de
e de nas respetivas retas numricas, e o terno ordenado destes trs valores por
coordenadas de .
4. Designar por planos coordenados os trs planos determinados por dois dos eixos
coordenados, represent-los por
,
e
consoante os eixos
coordenados que contm, e reconhecer que so perpendiculares dois a dois.
5. +Reconhecer, dado um referencial ortonormado e um terno ordenado de nmeros
reais (
), que existe um e apenas um ponto
com essas coordenadas e
represent-lo por (
).
6. +Reconhecer, dado um referencial ortonormado e um ponto (
) de projeo
ortogonal no plano
que, nesse plano, munido do referencial constituido pelos
eixos
e
,
tem coordenadas (
) e enunciar resultados anlogos para os
planos
e
.

GA10

Pgina 12

8. Definir analiticamente conjuntos elementares de pontos do espao


1. Justificar, dado um referencial ortonormado do espao e
, que
uma
equao cartesiana do plano paralelo ao plano coordenado
que interseta o eixo das
abcissas no ponto (
) e determinar as equaes dos planos paralelos aos planos
coordenados
e
.
2. Justificar, dado um referencial cartesiano do espao e
que o conjunto dos
pontos (
) cujas coordenadas satisfazem o sistema de equaes cartesianas
a reta paralela ao eixo das cotas que interseta o plano coordenado
no ponto (
) e determinar sistemas de equaes cartesianas de retas paralelas ao
eixo das abcissas e ao eixo das ordenadas.
3. +Provar, fixada uma unidade de comprimento e dados um referencial ortonormado do
espao e pontos (
)e (
), que a medida da distncia entre e
)
(
)
(
) e represent-la por (
).
igual a (
4. Determinar, dado um referencial ortonormado do espao e as coordenadas de dois
pontos e do espao, uma equao do plano mediador do segmento de reta [ ] na
forma
,
.
5. Justificar, fixada uma unidade de comprimento e dados um referencial ortonormado do
)
(
)
espao, um ponto (
) e um nmero
, que (
(
)
uma equao cartesiana da superfcie esfrica de centro e de raio ,
e design-la por equao (cartesiana) reduzida da superfcie esfrica.
6. Justificar, fixada uma unidade de comprimento e dados um referencial ortonormado
do espao, um ponto
(
) e um nmero
, que
(
)
(
)
(
)
uma inequao cartesiana da esfera de
centro e de raio , e design--la por inequao (cartesiana) reduzida da esfera.
Clculo vetorial no espao
9. Definir vetores do espao
1. Designar um par de segmentos orientados do espao por equipolentes quando so
complanares e equipolentes num plano que os contenha.
2. Saber que um vetor do espao fica determinado por um segmento orientado do
espao de tal modo que segmentos de reta equipolentes determinam o mesmo vetor e
segmentos de reta no equipolentes determinam vetores distintos.
3. Estender do plano ao espao a definio de norma de um vetor, de adio de um ponto
com um vetor, de translao de um dado vetor e as operaes de subtrao de dois
pontos, de adio e subtrao de vetores, de multiplicao de um vetor por um escalar e
as respetivas propriedades geomtricas e algbricas.
10. Operar com coordenadas de vetores do espao
1. +Reconhecer, fixado um referencial ortonormado no espao de origem e um vetor que,
,
e
, existe um e somente
sendo (
), (
), (
),
) de nmeros reais tais que
um terno ordenado (

,
designar o terno ordenado ( ) por uma base do espao vetorial dos vetores do
) por coordenadas do vetor (na base ( )) e representar
espao, (
) o vetor de coordenadas (
).
por (
GA10

Pgina 13

2. Estender do plano ao espao a definio do vetor posio de um ponto e a identificao


das respetivas coordenadas, as frmulas para o clculo das coordenadas da soma e da
diferena de vetores, do produto de um vetor por um escalar, do simtrico de um vetor,
da diferena de dois pontos, da soma de um ponto com um vetor e da norma de um
vetor, e o critrio de colinearidade de vetores atravs das respetivas coordenadas.
3. Estender do plano ao espao a definio e propriedades das equaes vetoriais e
sistemas de equaes paramtricas de retas.
11. Resolver problemas
1. +Resolver problemas envolvendo a noo de distncia entre pontos do espao,
equaes e inequaes cartesianas de subconjuntos do espao.
2. +Resolver problemas envolvendo clculo vetorial no espao.

GA10

Pgina 14

Funes Reais de Varivel Real FRVR10

Generalidades acerca de funes


1. Definir a composio de funes e a funo inversa de uma funo bijetiva
1. Identificar, dados conjuntos e , o produto cartesiano de por como o conjunto
(
)
dos pares ordenados (
) tais que
e
pertencem,
respetivamente a e a e represent-lo por
.
2. Reconhecer que um conjunto
o grfico de uma funo de em quando
e apenas quando para todo o
existir um e somente um elemento
tal que
(
)
.
3. Identificar, dados conjuntos e , uma funo
e um conjunto , a restrio
de a como a funo |
tal que,
, | ( )
( ).
4. Identificar, dados conjuntos
e , uma funo
e
, o conjunto
( )} das
imagem de
por como o conjunto ( )
imagens por dos elementos de , represent-lo tambm por ( )
}.
5. Identificar, dados conjuntos
e , uma funo
como injetiva se para
todos os
pertencentes a ,
( )
( ) (ou, de modo
( )
equivalente, ( )
) e designar tambm uma tal funo por injeo
de em .
6. Identificar, dados conjuntos e , uma funo
como sobrejetiva se para
todo o
pertencente a , existir um elemento pertencente a tal que
( )e
reconhecer que uma funo sobrejetiva se e somente se coincidirem os respetivos
contradomnio e conjunto de chegada e designar tambm uma tal funo por
sobrejeo de em ou por funo de sobre .
7. Identificar, dados conjuntos
e , uma funo
como bijetiva se for
simultaneamente injetiva e sobrejetiva e designar tambm uma tal funo por bijeo
de em .
8. Identificar, dadas funes
e
, a funo composta de com
como a funo
, tal que
( )
e
,
( )
( ( )) e design-la tambm por composta com , aps ou
seguida de .
9. Designar, dado um conjunto , por funo identidade em a funo
tal
( )
que
,
e justificar que se trata de uma funo bijetiva.
10. Justificar, dados conjuntos e e uma funo
bijetiva, que para todo o
pertencente a existe um e apenas um elemento pertencente a tal que ( )
e, representando-o por
, designar por funo inversa de a funo
( )
tal que
,
.
)
11. +Reconhecer, dada uma funo
bijetiva, que
bijetiva e que (
e designar tambm
por bijeo recproca de .
12. Reconhecer, dada uma funo
, que bijetiva se e somente se existir uma
( )
funo
, tal que ( )
( ).
13. Justificar que uma funo
bijetiva se e somente se existir uma funo
tal que
e
e que, nesse caso,
.
FRVR10

Pgina 15

Generalidades acerca de funes reais de varivel real


2. Relacionar propriedades geomtricas dos grficos com propriedades das respetivas funes
1. Designar por funo real de varivel real uma funo cujo domnio e conjunto de
chegada esto contidos em .
2. Saber, dada uma expresso ( ), que se convenciona, quando nada for indicado em
contrrio, que essa expresso representa a funo com conjunto de chegada igual a
e domnio constitudo por todos os nmeros reais para os quais fica representado um
nmero real pela expresso que se obtm substituindo todas as ocorrncias de em
( ) por um smbolo representando o nmero , designar, nesse caso, a expresso
( ) por expresso analtica de e este processo de caracterizar por definio
(analtica) de pela expresso ( ).
3. Identificar uma funo real de varivel real como par se, para todo o
,
e ( )
( )
4. Identificar uma funo real de varivel real como mpar se, para todo o
,
e ( )
( )
5. Justificar, dada uma funo real de varivel real mpar , que, se
, ento ( )
.
6. +Reconhecer, dado um plano munido de um referencial ortogonal, que uma dada
funo par se e somente se o eixo das ordenadas for eixo de simetria do respetivo
grfico cartesiano.
7. +Reconhecer, dado um plano munido de um referencial cartesiano, que uma dada
funo mpar se e somente se o respetivo grfico cartesiano for simtrico
relativamente origem do referencial, isto , se e somente se a imagem do grfico
pela reflexo central de centro coincidir com o prprio grfico.
8. +Reconhecer, dada uma funo real de varivel real bijetiva e um plano munido de um
referencial monomtrico, que os grficos cartesianos das funes e
so a imagem
um do outro pela reflexo axial de eixo de equao
.
9. Reconhecer, dados uma funo real de varivel real , um nmero real e um plano
munido de um referencial cartesiano, que o grfico cartesiano de uma funo definida
em
por ( )
( )
a imagem do grfico cartesiano de pela translao
de vetor ( ).
10. +Reconhecer, dados uma funo real de varivel real , um nmero real e um plano
munido de um referencial cartesiano, que o grfico cartesiano de uma funo definida
por ( )
(
) no conjunto
a imagem do grfico
cartesiano de pela translao de vetor ( ).
11. Designar, dado um plano munido de um referencial ortogonal e um nmero
(respetivamente
) , por contrao vertical (respetivamente dilatao vertical) de
) associa o ponto ( )
coeficiente a transformao do plano que ao ponto (
de coordenadas (
).
12. Reconhecer, dados uma funo real de varivel real , um nmero
(respetivamente
) e um plano munido de um referencial ortogonal, que o grfico
cartesiano de uma funo definida em
por ( )
( ) a imagem do grfico
cartesiano de pela contrao vertical (respetivamente pela dilatao vertical) de
coeficiente .

FRVR10

Pgina 16

13. Designar, dado um plano munido de um referencial ortogonal e um nmero


(respetivamente
), por contrao horizontal (respetivamente dilatao
) associa
horizontal) de coeficiente a transformao do plano que ao ponto (
o ponto ( ) de coordenadas (
).
14. Reconhecer, dados uma funo real de varivel real , um nmero
(respetivamente
) e um plano munido de um referencial ortogonal, que o grfico
cartesiano de uma funo

definida em

imagem do grfico cartesiano de

} por

( )

) a

pela dilatao horizontal (respetivamente pela

contrao horizontal) de coeficiente .


15. Reconhecer, dada uma funo real de varivel real
e um plano munido de um
referencial ortogonal, que o grfico cartesiano de uma funo definida em
por ( )
( ) a imagem do grfico cartesiano de pela reflexo de eixo .
16. Reconhecer, dada uma funo real de varivel real
e um plano munido de um
referencial ortogonal, que o grfico cartesiano de uma funo
definida em
( ) a imagem do grfico cartesiano de pela
{
} por ( )
reflexo de eixo .
3. Identificar intervalos de monotonia de funes reais de varivel real
1. Identificar, dada uma funo real de varivel real e
, como (estritamente)
crescente em (ou simplesmente (estritamente) crescente se
) se para
quaisquer dois elementos e de , se
ento ( )
( ).
2. Identificar, dada uma funo real de varivel real e
, como (estritamente)
decrescente em (ou simplesmente (estritamente) decrescente se
) se para
quaisquer dois elementos e de , se
ento ( )
( ).
3. Identificar, dada uma funo real de varivel real e
, como crescente, em
sentido lato, em (ou simplesmente crescente, em sentido lato se
) se para
quaisquer dois elementos e de , se
ento ( )
( ).
4. Identificar, dada uma funo real de varivel real e
, como decrescente, em
sentido lato, em (ou simplesmente decrescente, em sentido lato se
) se
(
)
para quaisquer dois elementos e de , se
ento
( ).
5. Identificar, dada uma funo real de varivel real e
, como (estritamente)
montona em (ou simplesmente (estritamente) montona se
) se for
(estritamente) crescente ou (estritamente) decrescente em e como montona, em
sentido lato, em (ou simplesmente montona, em sentido lato se
) se for
crescente ou decrescente, em sentido lato, em .
6. Identificar, dada uma funo real de varivel real , um intervalo de (estrita)
monotonia de como um intervalo
tal que | (estritamente) montona.
7. Identificar, dada uma funo real de varivel real e
, como constante em
se para quaisquer elementos e de , ( )
( ).
8. Demonstrar que uma funo afim definida por ( )
estritamente crescente
(respetivamente decrescente) em se e somente se
(respetivamente
).
9. Demonstrar que, dada uma funo quadrtica da forma ( )
, se
ento
decrescente em ]
] e crescente em [
[ e que, se
, ento crescente
em ]
] e decrescente em [
[.
FRVR10

Pgina 17

4. Identificar extremos de funes reais de varivel real


1. Designar, dada uma funo de domnio
e valores em , um nmero real como
majorante de (respetivamente minorante de ) quando
, ( )
(respetivamente
, ( )
), referindo a funo
como majorada
(respetivamente minorada) quando admitir um majorante (respetivamente um
minorante).
2. Designar por limitada uma funo simultaneamente majorada e minorada.
3. Designar por mnimo absoluto (respetivamente por mximo absoluto) de uma
funo real de varivel real um valor ( ) do contradomnio de
tal que
( )
( ) (respetivamente
( )
( )) e designar por
extremos absolutos de os mximos absolutos e os mnimos absolutos de .
4. Designar, dados um nmero real
e um nmero real positivo , por vizinhana de
o intervalo ]
[ e represent-la por ( ).
5. Referir que uma funo real de varivel real atinge um mnimo relativo (ou local)
(respetivamente atinge um mximo relativo (ou local)) em
quando existe
( ) (respetivamente,
, tal que,
( ), ( )
( ),
( )
( )) e designar ( ) por mnimo relativo (ou local) (respetivamente
mximo relativo (ou local)) de e por um minimizante (respetivamente por um
maximizante) de .
6. Identificar, dada uma funo real de varivel real , o grfico de como tendo a
concavidade (estritamente) voltada para cima (respetivamente como tendo a
concavidade (estritamente) voltada para baixo) num dado intervalo
se dados
quaisquer trs pontos , e do grfico, de abcissas em tais que
,o
declive da reta
inferior (respetivamente superior) ao da reta
.
7. Saber que uma funo real de varivel real tem a concavidade (estritamente) voltada
para cima (respetivamente para baixo) num dado intervalo
se e somente se
dados quaisquer dois pontos e do grfico, de abcissas em , a parte do grfico de
de abcissas estritamente situadas entre as abcissas de
e
ficar abaixo
(respetivamente acima) do segmento de reta [ ].
8. +Reconhecer, dado um nmero real no nulo , que o grfico da funo definida pela
[, a concavidade voltada para cima se
expresso ( )
tem, em ]
e
voltada para baixo se
.
5. Estudar funes elementares e operaes algbricas sobre funes
1. Esboar o grfico de funes quadrticas, comeando por represent-las por expresses
da forma (
)
e identificando os intervalos de monotonia, o extremo
absoluto, as eventuais razes e o sentido da concavidade dos respetivos grficos.
2. Identificar uma funo
para a qual so dados um nmero natural
,
uma partio ,
de
e expresses ( ) (
) tais que para todo o
e para todo o
, ( )
( ) como estando definida por ramos pelas
expresses ( ), respetivamente nos conjuntos (
).
|
|
3. Esboar o grfico de funes definidas por ( )
(
)
interpretando geometricamente os valores
e .

FRVR10

Pgina 18

4. Justificar que a funo


definida por ( )
bijetiva e que para todo o
( ) .
,
5. Justificar que a funo
definida por ( )
bijetiva e que para todo o
( ) .
,
6. Determinar o domnio e esboar o grfico de funes definidas analiticamente por
( )
(
).

7. Identificar funo polinomial como uma funo que pode ser definida analiticamente
por um polinmio com uma s varivel.
8. Esboar o grfico de funes definidas por ramos envolvendo funes polinomiais at ao
3. grau, mdulos e radicais quadrados e cbicos.
9. Identificar, dadas funes
,
, um nmero real
e um nmero
racional , as funes
(soma de com ),
,
(produto

de
{

por

),

(quociente

( )

}),

(produto de

de

por

onde

pelo escalar

) e

(potncia de expoente de , onde


o conjunto dos nmeros reais
para os quais est definido ( ) ), como as funes com os domnios e conjunto de
chegada indicados, definidas, para cada elemento
do respetivo domnio,
respetivamente por (

)( )

( )

( ), (

)( )

( ) ( ),

( )

( )
,
( )

( )( )
( )e ( )
( ) , podendo utilizar-se, para representar as potncias
de expoente racional, as notaes envolvendo razes.
6. Resolver problemas
1. +Resolver equaes e inequaes envolvendo as funes polinomiais e a composio da
funo mdulo com funes polinomiais.
2. +Resolver equaes e inequaes envolvendo as funes raiz quadrada e raiz cbica.
3. +Resolver problemas envolvendo as propriedades geomtricas dos grficos de funes
reais de varivel real.
4. +Resolver problemas envolvendo as funes afim, quadrtica, raiz quadrada, raiz cbica,
mdulo, funes definidas por ramos e a modelao de fenmenos reais.
5. +Resolver problemas envolvendo a determinao do domnio de funes obtidas por
aplicao de operaes algbricas a funes dadas.

FRVR10

Pgina 19

Estatstica EST10

Caractersticas amostrais
1. Manipular o sinal de somatrio
1. Designar, dado

e uma sequncia de nmeros reais (


por somatrio de a dos (ou por soma dos

), a soma
termos da

sequncia, quando esta designao no for ambgua), represent-la por


,
designar o smbolo por sinal de somatrio e, para
, representar
tambm por
a soma
(somatrio de a dos ).
2. Reconhecer, dados

e uma sequncia de nmeros reais (

), que

a igualdade ( )
representa, no formalismo dos somatrios, a
propriedade distributiva da multiplicao relativamente adio aplicada ao produto
de pela soma das parcelas
.
3. Reconhecer, dados

, uma sequncia de nmeros reais (

) e um

nmero natural
tal que
, que a igualdade
representa, no formalismo dos somatrios, uma aplicao da propriedade associativa da
adio soma das parcelas
.
4. Reconhecer, dado
e sequncias de nmeros reais ( )
e( )
, que a
)

igualdade (
representa, no formalismo dos somatrios,
uma aplicao das propriedades associativa e comutativa da adio soma das
parcelas
.
2. Utilizar as propriedades da mdia de uma amostra
1. Interpretar uma dada varivel estatstica quantitativa em determinada populao como
uma funo numrica definida na populao, cujo valor em cada unidade estatstica o
valor que mede a caracterstica em estudo nesse elemento da populao.
2. Representar, dada uma varivel estatstica quantitativa em determinada populao e
uma amostra de dimenso
dessa populao cujos elementos esto numerados
de a , por
o valor da varivel no elemento de com o nmero , por a

(
),
sequncia
design-la por amostra da varivel estatstica ou
simplesmente por amostra e por valores da amostra os valores
,
,
sempre que estes abusos de linguagem no forem ambguos.
(
) de uma varivel estatstica,
3. Representar, dado
e uma amostra

por a mdia

, designando-a igualmente por mdia da amostra sempre

que este abuso de linguagem no for ambguo.


(
) com valores (
4. Representar, dado
e uma amostra
),

por o conjunto dos valores da amostra, por


os elementos de , por

EST10

Pgina 20

, designar

) o cardinal do conjunto

frequncia absoluta do valor , e justificar que

e que

por

designando esta ltima igualdade por frmula da mdia para dados agrupados.
(
) e nmeros reais e , por
5. Representar, dado
, uma amostra

(
) e justificar que
a amostra

(
), a mdia de
6. Interpretar, dado
e uma amostra
como a

abcissa do centro de gravidade de um segmento de reta no qual se colocou, para cada


valor da amostra, um ponto material no ponto de abcissa de massa igual
respetiva frequncia absoluta

(
) nunca se mantm

quando, para um dado


, se altera o valor , e referir, por essa razo, que a
mdia uma caracterstica amostral com pouca resistncia.

7. Reconhecer que o valor da mdia de uma amostra

3. Definir e conhecer propriedades da varincia e do desvio-padro de uma amostra


(
)e
, por desvio de

em relao mdia a quantidade


, represent-la por e provar que

.
(
), por
2. +Representar dado
e uma amostra
a soma

(
) dos quadrados dos desvios dos em relao mdia e reconhecer que

(
), que possvel calcular
3. +Reconhecer, dado
e uma amostra

em funo de
mas que
s fica determinado se for conhecida a
totalidade desses
desvios, e referir, por esta razo, que
tem
graus de
liberdade.
(
), que
4. Justificar, dado
e uma amostra
se e somente se

.
(
) e nmeros reais e , que se
5. Justificar, dado
, uma amostra

(respetivamente
) ento
(respetivamente
).

(
), que
(
6. Justificar, dado
e uma amostra
) ,

onde
representam os valores da amostra e a frequncia absoluta

de .
1. Designar, dado

7. Designar, dado

, uma amostra

varincia da amostra e

EST10

) e uma amostra

),

por

por desvio-padro da amostra .

Pgina 21

8. Justificar, dado
somente se
9. Justificar, dados

.
), uma amostra

e uma amostra

) ento

), que

se e

) e nmeros reais

e ,

(respetivamente
(respetivamente
| | ).

10. Reconhecer, dada uma varivel estatstica quantitativa em determinada populao,


(
) uma
uma amostra de dimenso
dessa populao e sendo

amostra correspondente da varivel estatstica , que para todo o


a percentagem
dos elementos da amostra nos quais os valores da varivel estatstica tm desvios em
que se

relao mdia superiores a

desvios-padro inferior a

e interpretar este

resultado como traduo quantitativa da afirmao segundo a qual o par ( ) reflete


a distribuio dos valores da amostra em termos de localizao e de disperso.

11. Reconhecer que para comparar a disperso dos valores dos elementos de duas ou
mais amostras em torno da mdia, faz sentido comparar as respetivas varincias (ou os
respetivos desvios-padro), sempre que a caracterstica quantitativa em anlise seja a
mesma nas diversas amostras e que a respetiva medida esteja calculada na mesma
unidade.
12. Saber, dada uma populao, que existem critrios que conduzem recolha de amostras
cujas mdias e desvios-padro so consideradas boas estimativas da mdia e do desvio-padro da populao.
4. Definir e conhecer propriedades do percentil de ordem
1. Designar, dado
sequncia (

( )

e uma amostra
( )

( ))

tal que

( )

), por amostra
( )

ordenada a

) , com os mesmos valores

que a amostra

, cada um deles figurando na sequncia um nmero de vezes igual

respetiva frequncia absoluta enquanto valor da amostra .

(
) e um nmero natural do
2. Designar, dado
, uma amostra

intervalo ]
], por percentil de ordem o valor mximo da amostra se
,a
mdia dos elementos de ordem

na amostra ordenada se

for inteiro, e nos restantes casos, o elemento de ordem [

na amostra ordenada,

(onde, para
, [ ] designa a parte inteira de , ou seja, o maior nmero
natural inferior ou igual a ) e represent-lo por .
(
), que
3. Reconhecer, dado
e uma amostra
igual mediana

de e saber que tambm usual definir o primeiro e o terceiro quartil de modo a

coincidirem, respetivamente, com


e
.

EST10

Pgina 22

4. Designar, dados nmeros naturais


e ,
, uma sequncia crescente de
nmeros reais (
) e um conjunto de dados quantitativos organizados nos
[
[,
intervalos de classe
que se supem de igual amplitude
, por percentil de
ordem , o nmero
ou seja, tal que
intervalo de classe [

tal que

(
[e

)
)

(
onde

a frequncia absoluta do

o maior nmero natural tal que

5. Resolver problemas
1. +Resolver problemas envolvendo a mdia e o desvio-padro de uma amostra.
2. +Resolver problemas envolvendo os percentis de uma amostra.

EST10

Pgina 23

11. ANO
Trigonometria e Funes Trigonomtricas TRI11

Extenso da Trigonometria a ngulos retos e obtusos e resoluo de tringulos


1. Definir as razes trigonomtricas dos ngulos retos e obtusos e resolver tringulos
,
e
], de ngulos internos
1. Provar, dado um tringulo acutngulo [
e de lados de medida
,
e
, fixada uma unidade de
comprimento, que
2.

3.

4.

5.

6.

7.

, e designar estas igualdades por Lei dos senos

ou Analogia dos senos.


Estender a definio do seno aos ngulos retos, tomando
quando o ngulo
reto, reconhecendo que esta definio a nica possvel por forma a estender a Lei
dos senos a tringulos retngulos.
Estender a definio do seno aos ngulos obtusos tomando, para um ngulo obtuso,
, onde suplementar a , reconhecendo que esta definio a nica
possvel por forma a estender a Lei dos senos a tringulos obtusngulos.
,
e
,
], de lados de medida
+Provar, dado um tringulo [
fixada uma unidade de comprimento, e sendo agudo o ngulo interno em , que, se
,
, e designar este resultado por Teorema de
Carnot ou Lei dos cossenos.
Estender a definio do cosseno aos ngulos retos, tomando
quando o
ngulo
reto, reconhecendo que esta definio a nica possvel por forma a
estender a Lei dos cossenos ao caso de um ngulo interno reto, reconhecendo que neste
caso se reduz ao Teorema de Pitgoras.
+Estender a definio do cosseno aos ngulos obtusos tomando, para um ngulo
obtuso,
, onde
suplementar a , reconhecendo que esta
definio a nica possvel por forma a estender a Lei dos cossenos ao caso de um
ngulo interno obtuso.
Estender a todos os ngulos convexos a propriedade segundo a qual, dados ngulos e
com a mesma amplitude , o seno e o cosseno de so respetivamente iguais ao

seno e ao cosseno de e design-los tambm respetivamente por seno e cosseno de .


], fixadas unidades de comprimento e de
8. Determinar, dado um tringulo [
amplitude de ngulos e conhecidas as medidas dos comprimentos dos trs lados (LLL),
as medidas do comprimento de dois dos lados e da amplitude do ngulo interno por eles
formado (LAL) ou as medidas do comprimento de um dos lados e das amplitudes dos
dois ngulos internos que lhe so adjacentes (ALA), as medidas dos comprimentos dos
restantes lados e as medidas das amplitudes dos restantes ngulos internos do
] e obter
tringulo, designar este procedimento por resoluo do tringulo [
valores aproximados destas medidas na forma de dzimas finitas at uma dada ordem,
utilizando uma mquina de calcular.

TRI11

Pgina 24

Orientao de ngulos num plano e rotaes


2. Definir ngulos orientados e as respetivas medidas de amplitude
1. Identificar ngulo orientado como um ngulo no nulo nem giro no qual se fixa um
dos lados para lado origem, designando o outro por lado extremidade.
2. Identificar um ngulo orientado de um plano como tendo orientao negativa
quando, imaginando os movimentos dos ponteiros de um relgio cujo mostrador se
supe situado nesse plano , os ponteiros podem descrever o ngulo comeando no
lado origem e terminando no lado extremidade, identificar um ngulo orientado como
tendo orientao positiva no caso contrrio, e afetar do sinal as amplitudes dos
primeiros enquanto ngulos orientados, bem como as respetivas medidas.
3. Definir rotaes segundo ngulos orientados
1. Designar, dados dois pontos e e um ngulo orientado em determinado plano, um
ponto
por imagem do ponto pela rotao de centro e de ngulo orientado
e

quando
for o lado extremidade do ngulo orientado de lado origem
e com a mesma amplitude de enquanto ngulos orientados.
4. Definir ngulos generalizados
1. Identificar um ngulo generalizado (ou ngulo trigonomtrico) como um par
ordenado (
), onde um ngulo orientado ou um ngulo nulo e um nmero
inteiro, que positivo ou nulo se tiver orientao positiva e negativo ou nulo se
tiver orientao negativa, interpretando-o intuitivamente como o resultado de rodar o
lado extremidade do ngulo (ou, no caso de ser nulo, o nico lado, coincidente com
), realizando | | voltas completas, no sentido determinado pelo sinal de .
2. Designar o lado origem (respetivamente extremidade) de um ngulo orientado
tambm por lado origem (respetivamente extremidade) dos ngulos generalizados
(
) e um ngulo nulo
tambm como lado origem e extremidade dos ngulos
generalizados (
).
3. Identificar, fixado um ngulo unidade e sendo a medida de amplitude dos ngulos
giros, a medida de amplitude do ngulo generalizado (
) como
, onde a
medida de amplitude do ngulo orientado ou nulo .
4. Reconhecer que dois ngulos generalizados (
)e(
) tm a mesma amplitude se
e somente e
tiverem a mesma amplitude e
e justificar, fixado um ngulo
unidade que, dado um nmero real e fixada uma semirreta para lado origem, existe
um e apenas um ngulo generalizado cuja medida de amplitude igual a .
5. Identificar, fixado um ponto e um ngulo generalizado (
), a rotao de centro
e ngulo generalizado (
), no caso de ser um ngulo nulo, como a aplicao
identidade no plano e nos restantes casos como a aplicao do plano sobre si prprio
que a cada ponto distinto de associa a imagem desse ponto pela rotao de centro
e ngulo orientado e ao ponto associa o prprio ponto .
6. Reconhecer, dado um ponto e ngulos generalizados (
)e(
),
ngulos
orientados, que as rotaes de centro
e ngulos generalizados (
) e (
)
coincidem se e somente se e tiverem a mesma amplitude ou se tiverem sentidos
contrrios e os valores absolutos das respetivas amplitudes tiverem soma igual medida
de um ngulo giro.
TRI11

Pgina 25

5. Definir as razes trigonomtricas dos ngulos generalizados


1. Designar um referencial ortonormado num dado plano como direto quando o
primeiro quadrante, considerado como ngulo orientado de lado origem coincidente
com o semieixo positivo
e lado extremidade coincidente com semieixo positivo
,
tem orientao positiva.
2. Designar, dado um referencial ortonormado em dado plano, a circunferncia centrada
na origem e de raio desse plano tambm por circunferncia trigonomtrica (ou, por
abuso de linguagem, por crculo trigonomtrico).
3. Identificar, dado um referencial ortonormado direto em dado plano e um ngulo
orientado desse plano, o seno de (respetivamente o cosseno de ) como a
ordenada (respetivamente a abcissa) do ponto , interseo da circunferncia
trigonomtrica com o lado extremidade do ngulo orientado de lado origem coincidente
com o semieixo positivo
e de amplitude igual a , represent-lo por
( ),
( ),
ou
(respetivamente por
( ) ou por
), reconhecer que este valor no
depende da escolha do referencial, e que esta definio estende a definio de seno
(respetivamente de cosseno) de ngulos geomtricos convexos, se o identificarmos com
o seno (respetivamente cosseno) de um ngulo orientado com a mesma amplitude.
4. Identificar, dado um referencial ortonormado direto em dado plano, e um ngulo
orientado
desse plano de lados no perpendiculares, a tangente de como a
ordenada do ponto , interseo da reta de equao
, tangente circunferncia
trigonomtrica no ponto de coordenadas ( ), com a reta suporte do lado extremidade
do ngulo orientado de lado origem coincidente com o semieixo positivo
e de
amplitude igual a , represent-la por
( ), ( ),
ou
, reconhecer que
e que esta definio estende a definio de tangente de um ngulo agudo,
se a identificarmos com a tangente de um ngulo orientado com a mesma amplitude.
5. Identificar, dado um ngulo generalizado
(
), o seno de , o cosseno de e
a tangente de como, respetivamente, o seno, o cosseno e a tangente de .
6. Justificar, dados ngulos generalizados e
com a mesma amplitude , que o
seno, o cosseno e a tangente de so respetivamente iguais ao seno, ao cosseno e
tangente de e design-los tambm respetivamente por seno, cosseno e tangente de .
6. Definir medidas de ngulos em radianos
1. Designar por radiano a amplitude de um ngulo ao centro de uma circunferncia que
nela determina um arco de comprimento igual ao raio e reconhecer que o radiano no
depende da escolha da circunferncia, aproximando o comprimento do arco de
circunferncia por comprimentos de linhas poligonais inscritas.
2. Efetuar converses de medidas de amplitude de ngulos de graus para radianos e de
radianos para graus, comeando por justificar que um ngulo giro tem amplitude
radianos.

TRI11

Pgina 26

7. Definir funes trigonomtricas e deduzir propriedades


1. Identificar, dado um nmero real , a tangente de (respetivamente o seno de e
o cosseno de ) como a tangente (respetivamente o seno e o cosseno) de um ngulo
generalizado de medida de amplitude igual a , em radianos, sempre que esse valor
esteja definido, e designar a funo assim determinada nesse conjunto de nmeros reais
e com conjunto de chegada
por (funo) tangente (respetivamente (funo)
seno e (funo) cosseno), representando-a por ou (respetivamente por
ou e por ) e o respetivo valor num ponto do domnio tambm por
ou
(respetivamente por
ou
e por
).
2. Identificar, dado um nmero
, uma funo como peridica de perodo ou
)
( )
-peridica se para todo o
,
e (
3. Designar, dada uma funo , o nmero
por perodo fundamental de ou por
perodo positivo mnimo de se for -peridica e no admitir outro perodo
inferior a .
4. Justificar que as funes reais de varivel real seno e cosseno tm domnio ,
contradomnio [
] e perodo fundamental
.
5. Provar que os zeros da funo seno (respetivamente da funo cosseno) so os nmeros
da forma ,
(respetivamente da forma
,
).
6. Justificar que a funo seno (respetivamente a funo cosseno) admite extremos locais nos
pontos de abcissa da forma
,
(respetivamente da forma x
,
).
7. Provar que para todo o
,
, reconhecendo que esta igualdade
generaliza a frmula fundamental da Trigonometria, e referi-la igualmente por essa
designao.
( )
( )
(
)
8. Justificar que, para todo o
,
,
,
,
9. Justificar

(
que

)
a

,
funo

real de varivel real tangente tem


, contradomnio , perodo fundamental

domnio
e

que os respetivos zeros so os nmeros da forma ,


.
10. Justificar que as funes seno e tangente so mpares e a funo cosseno par.
8. Definir funes trigonomtricas inversas
1. +Reconhecer
]

, obtidas por restrio respetivamente das funes

que

as

funes

],

]
e

e
aos

intervalos indicados e tomando para conjuntos de chegada os respetivos


contradomnios, so bijetivas e designar as bijees recprocas por (funo) arco-seno (arcsin ou arcsen), (funo) arco-cosseno (arccos) e (funo) arco-tangente
(arctan ou arctg), respetivamente, sabendo que so valores aproximados destas funes
que as calculadoras fornecem, associados s teclas, respetivamente,
,
e
, desde que esteja selecionado o radiano para unidade de medida dos ngulos.
2. Reconhecer, dados nmeros reais e , que
se e somente se existir
tal que
ou

TRI11

Pgina 27

3. Reconhecer, dados nmeros reais e , que


se e somente se existir
tal que
ou
4. Reconhecer, dados nmeros reais e do domnio da funo tangente, que
se e somente se existir
tal que
.
5. Resolver equaes da forma
e
,
.
9. Resolver problemas
1. +Resolver problemas envolvendo a resoluo de tringulos.
2. +Resolver problemas envolvendo a determinao de distncias utilizando ngulos e as
respetivas razes trigonomtricas.
3. +Resolver equaes trigonomtricas e problemas envolvendo frmulas trigonomtricas
e a determinao de razes trigonomtricas.
4. +Resolver problemas envolvendo funes trigonomtricas.

TRI11

Pgina 28

Geometria Analtica GA11

Declive e inclinao de uma reta


1. Definir a inclinao de uma reta
1. Identificar, fixado um plano munido de um referencial ortonormado de origem e dada
uma reta que passa pela origem e distinta do eixo
, a inclinao de como a
amplitude do ngulo convexo formado pelo semi-eixo positivo das abcissas e a
semirreta , onde um qualquer ponto de de ordenada positiva, e identificar a
inclinao do eixo das abcissas como a amplitude nula.
2. Identificar, fixado um plano munido de um referencial ortonormado de origem , a
inclinao de uma reta como a inclinao da reta paralela a que passa por .
3. Justificar, fixado um plano munido de um referencial ortonormado, que o declive de
uma reta no vertical igual tangente trigonomtrica da respetiva inclinao.
Produto escalar
2. Definir e conhecer propriedades do produto escalar de vetores
1. Identificar, fixada uma unidade de comprimento, dados vetores no nulos e , o
produto escalar (ou interno) de e como o nmero , (respetivamente o
nmero ) onde, fixado um ponto

,
a
projeo ortogonal de
na reta
, se e tiverem o mesmo sentido
(respetivamente se tiverem sentidos contrrios), reconhecendo que este valor
independente da escolha do ponto , identificar o produto escalar de vetores e
como nulo se um dos vetores for nulo e representar o produto escalar de vetores e
por .
2. Identificar, dados vetores no nulos e , ngulo dos vetores e como qualquer
ngulo convexo, nulo ou raso
tal que e , reconhecendo que tm
todos a mesma amplitude, designar tambm essa amplitude por ngulo formado pelos
vetores e quando essa designao no for ambgua, e represent-la por ( ).
3. Provar, dados vetores e no nulos, que
( ).
4. Identificar vetores e como perpendiculares quando um deles for nulo ou quando,
no sendo nulo nenhum dos dois, forem perpendiculares duas retas de vetores diretores
respetivamente iguais a e a , e indicar que e so perpendiculares escrevendo
.
5. Justificar, dados vetores e , que
.
6. Justificar, dado um vetor , que .
7. Justificar, dados vetores e , que
.
( ) .
8. +Provar, dados vetores e e um nmero real , que ( )
9. +Provar, dados vetores , e , que ( ) .
10. Justificar, fixado um plano munido de um referencial ortonormado e vetores (
)e
(
), que
, comeando por justificar que
e

.

GA11

Pgina 29

11. Provar, fixado um plano munido de um referencial ortonormado, que duas retas de
declives respetivamente iguais a
e a
so perpendiculares se e somente se
.
12. Justificar, fixado um referencial ortonormado do espao e dados vetores (
)e
(
) do espao, que
, comeando por justificar que

e
.
3. Determinar equaes de planos no espao
1. Identificar um vetor como normal a um plano se for nulo ou, no sendo nulo, se
as retas de vetor diretor forem perpendiculares a .
2. Justificar, dados planos e e vetores e no nulos, normais respetivamente a e
, que e so (estritamente) paralelos ou coincidentes se e somente se e
forem colineares e
e
so perpendiculares se e somente se e forem
perpendiculares.
3. Justificar, dado um vetor no nulo normal a um plano e um ponto
, que para

todo o ponto do plano,
.
4. Reconhecer, fixado um referencial ortonormado do espao e dado um vetor no nulo
(
) e um ponto (
), que existe um nico plano que passa por
tal que normal a
e provar que (
)
se e somente se
(
)
(
)
(
)
.
5. Justificar que as equaes da forma
, onde
,
(
) (
), so equaes de planos e, reciprocamente, que qualquer plano
admite uma equao cartesiana daquela forma.
) (
)
6. Justificar, dados
,(
), que o vetor de coordenadas (
normal ao plano de equao
.
7. Identificar, dado um plano , um vetor como paralelo a se for nulo ou, no
sendo nulo, se for vetor diretor de uma reta de .
8. +Provar, dado um plano , um ponto
e dois vetores e no colineares
paralelos a , que para todo o ponto do espao,

e designar esta equao por equao vetorial do plano .


)
)e
9. Justificar, dado um plano , um ponto (
e dois vetores (
) no colineares paralelos a , que para todo o ponto (
) do espao,
(
e
designar este sistema de equaes por sistema das equaes paramtricas do plano .
4. Resolver problemas
1. +Resolver problemas envolvendo a noo de produto escalar de vetores.
2. +Resolver problemas relativos determinao de equaes de retas do plano em
situaes diversas envolvendo a noo de perpendicularidade.
3. +Resolver problemas relativos determinao de equaes de planos em situaes
diversas envolvendo a noo de perpendicularidade e de paralelismo.
4. +Resolver problemas envolvendo equaes de planos e de retas no espao.

GA11

Pgina 30

Sucesses SUC11
Generalidades sobre sucesses
1. Caracterizar o conjunto dos majorantes e dos minorantes de um conjunto de nmeros reais
1. Identificar um subconjunto de como majorado quando existe um nmero real
tal que
e designar por majorante de .
2. Identificar um subconjunto de como minorado quando existe um nmero real
tal que
e designar por minorante de .
3. Identificar um subconjunto de como limitado quando for majorado e minorado.
4. Designar por mximo (respetivamente por mnimo) de um subconjunto de um
majorante (respetivamente um minorante) de pertencente a e justificar que se
existir nico.
2. Estudar propriedades elementares de sucesses reais
1. Identificar uma sucesso real (ou simplesmente sucesso quando esta designao
no for ambgua) como uma funo de domnio e de conjunto de chegada , e
representar por , dito termo geral da sucesso, a imagem ( ) de
por e
por ( ) (ou simplesmente por ( ), ou ainda por , quando estas
notaes no forem ambguas) a prpria sucesso .
2. Identificar uma sucesso ( ) como crescente (respetivamente decrescente)
quando o for como funo real de varivel real, ou seja, quando para quaisquer
,
(respetivamente
) e reconhecer
que ( ) crescente (respetivamente decrescente) se e somente se para todo
,
(respetivamente
).
3. Identificar uma sucesso ( ) como crescente (respetivamente decrescente) em
sentido lato quando para quaisquer
,
(respetivamente
) e reconhecer que ( )
crescente (respetivamente
descrescente) em sentido lato se e somente se para todo
,
(respetivamente
).
4. Identificar uma sucesso ( ) como majorada se o conjunto
dos
respetivos termos for majorado e designar os majorantes deste conjunto tambm por
majorantes da sucesso.
5. Identificar uma sucesso ( ) como minorada se o conjunto
dos
respetivos termos for minorado e designar os minorantes deste conjunto tambm por
minorantes da sucesso.
6. Designar por limitada uma sucesso ( ) simultaneamente majorada e minorada.
Princpio de Induo matemtica
3. Utilizar o princpio de induo matemtica
1. Saber, dada uma condio ( ), que a proposio
verdadeira e se, alm disso, para todo o
,
resultado por princpio de induo (matemtica),
SUC11

( ) verdadeira se ( ) for
( )
(
), designar este
( ), enquanto antecedente da
Pgina 31

(
), por hiptese de induo e a proposio
implicao ( )
( )
(
) por hereditariedade da propriedade ( ) e saber que o princpio de
induo pode estender-se, mutatis mutandis, fixado um nmero inteiro e uma condio
( ), onde
( ), demonstrao da proposio
.
2. Saber, dada uma funo
e
, que existe uma nica sucesso ( )
de elementos de
tal que
e
( ), referir que estas
condies definem a sucesso ( ) por recorrncia e saber que estes resultados
podem estender-se, mutatis mutandis, definio de funes de
em , onde
, tambm designadas por sucesses (indiciadas em ).
3. +Utilizar o princpio de induo para efetuar demonstraes.
Progresses aritmticas e geomtricas
4. Calcular o termo geral de progresses aritmticas e geomtricas
1. Designar, dados
, por progresso aritmtica de primeiro termo e razo a
sucesso definida por recorrncia por
e, para todo o
,
.
2. Justificar que o termo geral da progresso aritmtica de primeiro termo
e de
(
) .
razo
dado por
3. Designar, dados
, por progresso geomtrica de primeiro termo e razo a
sucesso definida por recorrncia por
e para todo
,
.
4. Justificar que o termo geral da progresso geomtrica de primeiro termo e razo
no nula dado por
.
5. Calcular a soma de um nmero finito de termos de progresses aritmticas e geomtricas
1. Designar, dado
, por progresso aritmtica (finita) de comprimento
(respetivamente progresso geomtrica (finita) de comprimento ), a sequncia
(
) dos
primeiros termos de uma progresso aritmtica
(respetivamente geomtrica) ( ).
2. +Reconhecer, dado
, que a soma dos termos de uma progresso aritmtica de
comprimento , (

), dada por

3. +Reconhecer, dado
, que a soma dos termos de uma progresso geomtrica de
comprimento , de primeiro termo
e de razo diferente de , dada por
.
Limites de sucesses
6. Definir o limite de uma sucesso
1. Identificar, dada uma sucesso ( ) , um nmero real como limite da sucesso ( )
ou como limite de
quando tende para
quando, para todo o nmero real
|
|
, existir uma ordem
tal que
, referir, nesta
situao, que
tende para (
), e designar a sucesso ( ) por
convergente quando um tal limite existe e por divergente quando no for
convergente.

SUC11

Pgina 32

2. Provar que uma sucesso convergente ( ) admite um nico limite e represent-lo por

,
ou simplesmente por
.
3. +Reconhecer que as sucesses convergentes so limitadas.
4. Saber que uma sucesso crescente (respetivamente decrescente) em sentido lato e
majorada (respetivamente minorada) convergente.
5. Identificar uma sucesso ( ) como tendo limite
(
,
ou

) quando, para todo o


, existir uma ordem
, referir, nesta situao, que
tende para
) e reconhecer que uma tal sucesso divergente.
6. Identificar uma sucesso ( ) como tendo limite
(
,

tal que
(

ou

) quando, para todo o


, existir uma ordem
tal que
, referir, nesta situao, que
tende para

(
) e reconhecer que uma tal sucesso divergente (e no tende para
).
(
)
7. Reconhecer, dada uma sucesso
com limite
ou tendendo para
ou para
(respetivamente sem limite), que qualquer sucesso ( ) que possa ser obtida de
( ) alterando apenas um nmero finito de termos, tem o mesmo limite
(respetivamente no tem limite).
8. +Provar, dada uma sucesso ( ) limitada e uma sucesso ( ) com limite nulo, que
.
9. Provar, dados nmeros reais
e utilizando a definio de limite, que o limite da
sucesso de termo geral
, se
10.
11.
12.
13.

, a

(
se

para todo o ) igual a


e

e a , se

se

,a

, ou seja, em

particular, que o limite de uma sucesso constante igual prpria constante.


Provar, utilizando a definio de limite, que, dado um nmero racional ,
se
e
se
.
Provar, dadas duas sucesses ( ) e ( ) convergentes, com limites respetivamente
) convergente e que
(
)
iguais a e , que a sucesso (
.
#Provar, dadas duas sucesses ( ) e ( ) convergentes, com limites respetivamente
) convergente e que
iguais a e , que a sucesso (
.
(
)
#Provar, dada uma sucesso
convergente de termos no nulos, com limite no
nulo, que

e justificar que se for tambm dada uma sucesso (

convergente, com limite

ento a sucesso ( ) convergente e

14. #Provar, dada uma sucesso convergente ( ) e um nmero real , que a sucesso de
(
)
termo geral
convergente e que
.
15. #Provar, dada uma sucesso convergente ( ) e um nmero racional , que, se
,
ou se os termos da sucesso forem todos no negativos e for positivo, ou ainda se os
termos da sucesso forem todos positivos, ento a sucesso de termo geral ( )
( )
(
) .
convergente e
16. Provar, dadas sucesses ( ) e ( ), com limites respetivamente
e
(ou
(
)
ambas com limite
), que
e representar esta propriedade por
(
)

(ou por
).
17. #Provar, dadas sucesses ( ) e ( ), com limites respetivamente
e
(ou
(
)
ambas com limite
), que
e representar esta propriedade por
(
)

(ou por
).
SUC11

Pgina 33

18. Justificar, dadas sucesses ( ) e ( ), que apenas da informao


e
(
) e referir esta
nada se pode concluir acerca da existncia de
) (
).
situao por indeterminao do tipo (
19. #Provar, dadas sucesses ( ), com limite
, e ( ) com limite
ou
(
)
(respetivamente com limite
ou
), que
(respetivamente
)
lim(
)
e
representar
estas
propriedades
por
)
) (
)
)
(
e (
(respetivamente por (

) (
)
e (
).
20. #Provar, dadas sucesses ( ), com limite
, e ( ) com limite
(
)
(respetivamente com limite
ou
), que
(respetivamente
(
)
)
) e representar esta propriedade por (

)
) (
)
(respetivamente por (
e (
).
21. #Provar, dada uma sucesso ( ) com limite
e de termos no negativos
(respetivamente com limite
) e um nmero racional positivo (respetivamente
), que a sucesso de termo geral
tem limite
(respetivamente tem limite
se for par e limite
se for mpar) e representar esta propriedade por
)
)
)
(
(respetivamente por (
se for par e por (

se for mpar).
22. Justificar, dadas sucesses ( ) e ( ) que apenas da informao
(ou
(
)e
)e
nada se pode concluir acerca da existncia de
referir esta situao por indeterminao do tipo
.
23. #Provar, dada uma sucesso ( ) de termos no nulos, positiva a partir de certa ordem,
com limite nulo (

), que

e representar esta propriedade por

24. #Provar, dada uma sucesso (


com limite nulo (

) de termos no nulos, negativa a partir de certa ordem,


), que

e representar esta propriedade por

25. #Provar, dada uma sucesso (


que

) de termos no nulos e a tender para

e representar esta propriedade por

26. Justificar, dadas sucesses ( ) e (


(respetivamente

), que apenas da informao


e
(
)
, onde
no se anula) nada se

pode concluir acerca da existncia do limite


indeterminao do tipo

ou para

e referir esta situao por

(respetivamente indeterminao do tipo ).

27. Justificar, dado um polinmio ( ) de grau superior ou igual a , que a sucesso


( ( ))
( )
tal que
se o coeficiente do termo de maior grau da forma
( )
reduzida de for positivo e que
no caso contrrio.
28. Calcular, dadas sucesses ( ( ) )
e ( ( ) ) , onde ( ) e ( ) so polinmios,
( ) sem razes naturais, o limite

( )
( )

e relacion-lo com os graus de ( ) e ( )

e com os coeficientes dos termos de maior grau das respetivas formas reduzidas.
29. +Provar, dado um nmero real
, que
se
e que
.

SUC11

se

Pgina 34

30. +Provar, dado um nmero real


caso de

, que

, que

, comeando por observar, no

) .

31. Saber de memria os limites das sucesses de termo geral

e (

).

7. Resolver problemas
1. +Resolver problemas envolvendo o estudo da monotonia e a determinao de
majorantes e minorantes de sucesses.
2. +Resolver problemas envolvendo progresses aritmticas e geomtricas.
3. +Calcular, por meios algbricos, o limite de sucesses em situao indeterminada e
referir esse clculo como um levantamento da indeterminao.
4. +Resolver problemas envolvendo a noo de limite de uma sucesso.

SUC11

Pgina 35

Funes Reais de Varivel Real FRVR11

Limites segundo Heine de funes reais de varivel real


1. Definir limite de uma funo num ponto e estudar as respetivas propriedades fundamentais
1. Identificar, dado um conjunto
e
, como ponto aderente a quando
existe uma sucesso ( ) de elementos de tal que
.
2. Identificar, dada uma funo real de varivel real
e um ponto
,
como limite de ( ) quando tende para quando
for aderente ao
domnio
de
e para toda a sucesso ( ) de elementos de
convergente
para ,
( )
, justificar que um tal limite, se existir, nico, represent-lo por
( ) , referir, nesta situao, que ( ) tende para quando tende para e

estender esta definio e propriedade ao caso de limites infinitos.


3. Identificar, dada uma funo real de varivel real e
,
como o limite de
( ) quando
tende para
por valores inferiores a
quando
( ), design-lo tambm por limite de
|]
por
[ ( ), representar
( ) esquerda de , referir, nesta situao, que ( ) tende para quando tende
para por valores inferiores a e estender esta definio ao caso de limites infinitos.
4. Identificar, dada uma funo real de varivel real e
,
como o limite de
( ) quando
tende para
por valores superiores a
quando
( ), design-lo tambm por limite de
|]
por
[ ( ), representar
( ) direita de , referir, nesta situao, que ( ) tende para quando tende
para por valores superiores a e estender esta definio ao caso de limites infinitos.
5. Saber, dada uma funo real de varivel real e um ponto aderente ao respetivo
( )e
( ) existirem e forem iguais,
domnio , que se
e se os limites
ento existe o limite

( ) e que, nesse caso,

( )

( )

( ).

6. Saber, dada uma funo real de varivel real e um ponto


, que se os limites
( ) e
( ) existirem e forem ambos iguais a ( ), ento existe o limite
( ) e que, nesse caso,

( )

( )

( ).

7. Identificar, dada uma funo real de varivel real cujo domnio no majorado como
limite de ( ) quando tende para mais infinito quando para toda a sucesso ( ) de
elementos de
com limite
,
( )
, justificar que um tal limite, se existir,
( ), referir, nesta situao, que ( ) tende para
nico, represent-lo por
quando tende para mais infinito e estender esta definio e propriedade ao caso de
limites infinitos.
8. Identificar, dada uma funo real de varivel real cujo domnio no minorado como
limite de ( ) quando tende para menos infinito quando para toda a sucesso ( )
de elementos de
com limite
,
( )
, justificar que um tal limite, se
( ), referir, nesta situao, que ( ) tende
existir, nico, represent-lo por
para quando tende para menos infinito e estender esta definio e propriedade ao
caso de limites infinitos.
FRVR11

Pgina 36

9. Justificar que os limites da soma, do produto e do quociente de funes


funo
,

e do produto por um escalar e da potncia de expoente racional de uma


, se calculam, em pontos aderentes aos domnios respetivamente de
, ,

a partir dos limites de

nesse pontos de forma anloga ao

caso das sucesses, reconhecendo que se mantm as situaes indeterminadas.


10. Justificar, dado
, funes
e
e um ponto aderente a , que se
[ ( ) ( )]
( )
e se limitada ento
e estender este resultado ao caso
de limites por valores superiores ou inferiores a bem como ao caso de limites em
11. Justificar, dadas funes reais de varivel real e e um ponto aderente a
( )
( )
(
)( )
se
e
ento
.

.
, que

2. Definir a noo de continuidade e as respetivas propriedades fundamentais


1. Justificar, dada uma funo real de varivel real e um ponto
( ) existe ento igual a ( ).
que se o limite
2. Designar, dada uma funo real de varivel real
funo por contnua em quando o limite

e um ponto do respetivo domnio, a


( ) existe.

3. Designar, dada uma funo real de varivel real


contnua no conjunto

quando

do respetivo domnio

de domnio

, a funo

contnua em todos os pontos de

simplesmente por contnua quando contnua em todos os pontos de

5. Justificar que se as funes reais de varivel real


num ponto , ento as funes
,
e

e
so contnuas em

4. Saber que se uma funo real de varivel real de domnio


for contnua em
( )
(respetivamente ( )
ou ( )
) ento existe uma vizinhana
tal que no se anula (respetivamente positiva ou negativa) em
.

a funo

por

e
de

so contnuas
e, se ( )
,

contnua em .

6. Designar por funo racional uma funo real de varivel real dada por uma
expresso da forma

( )
,
( )

onde

so polinmios.

7. Justificar que as funes polinomiais e racionais so contnuas.


8. Justificar que as potncias de expoente racional so contnuas.
9. Saber que as funes seno e cosseno so contnuas e justificar que a funo tangente
contnua.
10. Justificar, dadas funes reais de varivel real e e
, que se contnua em
e continua em ( ) ento a funo composta
contnua em .
11. Justificar a continuidade de funes obtidas por aplicao sucessiva de operaes de
adio algbrica, multiplicao, diviso e composio de funes de referncia para a
continuidade: funes polinomiais, potncias de expoente racional e as funes
cosseno, seno e tangente.

FRVR11

Pgina 37

3. Definir assntotas ao grfico de uma funo


1. Identificar, dado um referencial cartesiano, uma funo real de varivel real e
,a
reta de equao
como assntota vertical ao grfico de quando pelo menos
um dos limites laterais de no ponto for infinito.
2. Designar, dada uma funo real de varivel real e um referencial cartesiano, a reta de
equao
(
) por assntota ao grfico de em
(respetivamente
))
por assntota ao grfico de
em
) se
( ( ) (
( ( )

(respetivamente se

))

) e design-la, quando

, por

assntota horizontal.
3. Provar, dada uma funo real de varivel real
( )

(respetivamente
reta de declive

( )

, que a condio

) necessria (mas no suficiente) para que exista uma

que seja assntota ao grfico de em

(respetivamente em

).

4. Resolver problemas
1. +Resolver problemas envolvendo o estudo de funes racionais.
2. +Calcular, por meios algbricos, limites de funes reais de varivel real em situao de
indeterminao e referir um desses clculos como um levantamento da
indeterminao.
3. +Resolver problemas envolvendo a noo de limite e de continuidade de uma funo
real de varivel real.
4. +Resolver problemas envolvendo a determinao das assntotas e da representao
por ( )

grfica de funes racionais definidas em

5. +Resolver problemas envolvendo a determinao de assntotas ao grfico de funes


racionais e de funes definidas pelo radical de uma funo racional.
Derivadas de funes reais de varivel real e aplicaes
5. Definir a noo de derivada
1. Identificar, dada uma funo real de varivel real
domnio, a taxa mdia de variao de

entre

e dois pontos

e como

( )

( )

do respetivo

2. Justificar, dada uma funo real de varivel real e dois pontos e do respetivo
domnio, que o declive da reta secante ao grfico de
nos pontos (
( )) e
(
( )) igual taxa mdia de variao de entre e .
3. Identificar, dada uma funo real de varivel real e um ponto do respetivo domnio,
a taxa instantnea de variao de

no ponto

( )

como o limite

quando este existe e finito, design-lo por derivada de no ponto , represent-lo


por ( ) e, nesse caso, identificar a funo
como diferencivel em ou
derivvel em .
4. Justificar, dada uma funo real de varivel real e um ponto
do respetivo domnio,
que o limite

( )

existe se e somente se o limite

existir e

que, nesse caso, ambos os limites so iguais.


FRVR11

Pgina 38

5. Identificar, dada uma funo real de varivel real

diferencivel em

e um

( ))
referencial ortonormado, a reta tangente ao grfico de no ponto (
como a reta de declive ( ) que passa por
e justificar, representando por ( ),
, o declive da reta secante ao grfico de que passa pelo ponto
e pelo ponto
( )
(
( )), que
( ).
6. Aplicar a noo de derivada cinemtica do ponto
1. Identificar, fixados um instante para origem das medidas de tempo, uma unidade de
tempo , uma reta numrica com unidade de comprimento e um intervalo , uma
funo
, como funo posio de um ponto
que se desloca na reta
durante o intervalo de tempo , se, para cada
, ( ) for a abcissa do ponto de
que representa a posio que ocupa, unidades de tempo depois de se
, ou
| | unidades de tempo antes de
se
, designando tambm por instante,
neste contexto, cada
.
2. Identificar, fixados um instante para origem das medidas de tempo, uma unidade de
tempo , uma reta numrica com unidade de comprimento , um intervalo , a funo
posio de um ponto que se desloca na reta durante o intervalo de tempo , e
dados dois instantes
de , a velocidade mdia de no intervalo de tempo
[

] na unidade

como a taxa mdia de variao de

e, para
, a velocidade instantnea de
derivada de em , ( ), caso exista.

no instante

entre

na unidade

( )

( )

como a

7. Operar com derivadas


1. Designar, dada uma funo real de varivel real , a funo derivada de como a
funo de domnio
faz
{
} que a cada
corresponder ( )
2. Identificar uma funo real de varivel real como diferencivel num conjunto
quando diferencivel em todos os pontos de .
3. Justificar que se uma funo real de varivel real diferencivel num conjunto e
crescente (respetivamente decrescente), no sentido lato, nesse conjunto, ento para
todo o
, ( )
(respetivamente ( )
).
4. Provar, dada uma funo real de varivel real e um ponto do respetivo domnio, que
se
diferencivel em ,
contnua em
e justificar que a recproca no
verdadeira.
5. Provar, dado um conjunto
e funes reais de varivel real
,
diferenciveis num ponto de e um nmero real , que as funes
e
so
)( )
( )
( )
diferenciveis em e que se tem (
( )e( ) ( )
6. #Provar, dado um conjunto
e funes reais de varivel real
,
diferenciveis num ponto
de , que a funo
diferencivel em
e que
( )( )
( ) ( )
( ) ( )

FRVR11

Pgina 39

7. #Provar, dado um conjunto


diferenciveis num ponto
que ( ) ( )

e funes reais de varivel real


de , com ( )

( ) ( ) ( )
( ( ))

8. +Provar, dada uma funo


de varivel real

, que a funo

diferencivel em

( )

diferencivel num ponto


tal que
, diferencivel em

e uma funo real


( ) que a funo

)( )
( )
composta
diferencivel em e que (
( ( ))
9. Calcular, utilizando a definio, uma expresso analtica para os valores das funes
derivadas das funes de referncia (para o clculo de derivadas) definidas por
e , ou constantes, e saber de memria estes resultados.
10. Provar, dado um nmero natural (respetivamente dado um nmero inteir
negativo), que uma funo real de varivel real de domni
(respetivamente de
domnio
) definida por ( )
diferencivel e que, para todo o
(
)
,
, considerando tambm estas funes como funes de referncia
(para o clculo de derivadas) e saber de memria este resultado.
11. +Provar, dado um nmero natural par (respetivamente dado um nmero natural
mpar
), que uma funo real de varivel real de domnio
(respetivamente de
domnio
,

) definida por
( )

( )

diferencivel e que, para todo o

12. Provar, para todo o nmero racional , que uma funo real de varivel real de
domnio
definida por ( )
diferencivel e que, para todo o
,
( )
, considerando tambm estas funes como funes de referncia
(para o clculo de derivadas) e saber de memria este resultado.
13. +Determinar, utilizando as regras de derivao e as derivadas das funes de referncia,
uma expresso analtica para as derivadas de funes obtidas por aplicao sucessiva de
operaes de adio algbrica, multiplicao, diviso e composio a funes de
referncia.
8. Aplicar a noo de derivada ao estudo de funes
1. Provar, dada uma funo real de varivel real com domnio contendo um intervalo
]
[, (
), e diferencivel em
que se atinge um extremo local em
ento ( )
e dar um contraexemplo para a implicao recproca.
2. Saber, dada uma funo real de varivel real
contnua em [
] , (
), e
diferencivel em ]

[ que existe

[ tal que

( )

( )

( )

, interpretar

geometricamente este resultado e design-lo por Teorema de Lagrange.


3. Justificar, utilizando o Teorema de Lagrange, que se uma funo real de varivel real
contnua num dado intervalo de extremo esquerdo e extremo direito , diferencivel
( )
em ]
[ e,
]
[ ( )
(respetivamente
]
[
) ento
estritamente crescente (respetivamente estritamente descrescente ) no intervalo .
4. Justificar, utilizando o Teorema de Lagrange, que se uma funo real de varivel real
contnua num dado intervalo de extremo esquerdo e extremo direito , diferencivel
( )
em ]
[e
]
[ ( )
(respetivamente
]
[
) ento
crescente em sentido lato (respetivamente descrescente em sentido lato) no intervalo .
FRVR11

Pgina 40

5. Justificar que se uma funo real de varivel real contnua num dado intervalo
extremo esquerdo e extremo direito , diferencivel em ]
[ e,
]
[, ( )
ento constante em .

de
,

9. Resolver problemas
1. +Resolver problemas envolvendo a determinao de equaes de retas tangentes ao
grfico de funes reais de varivel real.
2. +Resolver problemas envolvendo funes posio, velocidades mdias e velocidades
instantneas e mudanas de unidades de velocidade.
3. +Resolver problemas envolvendo o estudo de funes reais de varivel real, a
determinao dos respetivos intervalos de monotonia, extremos relativos e absolutos.

FRVR11

Pgina 41

Estatstica EST11

Reta de mnimos quadrados, amostras bivariadas e coeficiente de correlao


1. Determinar os parmetros da reta de mnimos quadrados
1. Designar, fixado um referencial ortogonal num plano e dados um nmero natural ,
uma sequncia ( (
) (
)
(
)) de pontos desse plano e uma reta
de equao
(
) por desvio vertical do ponto (
) em relao
reta (
) a quantidade
, interpret-lo geometricamente e
represent-lo por .
2. Provar, fixado um referencial ortogonal num plano e dados um nmero natural , uma
sequncia ( (
) (
)
(
)) de pontos desse plano e uma reta de
equao
(
), que as condies
e

so

equivalentes, onde

3. +Reconhecer, fixado um referencial ortogonal num plano e dados um nmero natural ,


uma sequncia ( (
) (
)
(
)) de pontos desse plano, no
pertencentes a uma mesma reta vertical, e uma reta de equao
,
onde
e

, ou seja, tal que nula a soma


dos desvios verticais
da sequncia de pontos em relao reta , que a funo definida em
pela
(
expresso ( )
) atinge um mnimo absoluto no
ponto
4.

5.

6.

7.

e designar a reta

com esse declive (e ordenada na origem

igual a
) por reta de mnimos quadrados da sequncia de pontos.
Identificar, dadas duas variveis estatsticas quantitativas
e
em determinada
populao e uma amostra de dimenso
dessa populao cujos elementos esto
numerados de
a , a amostra bivariada das variveis estatsticas
e (ou
simplesmente amostra de dados bivariados (quantitativos)) como a sequncia
((
)(
)
(
)), represent-la por (
) e designar por dimenso da

amostra bivariada o nmero natural .


Determinar, em casos concretos de amostras de dados bivariados, qual das variveis
estatsticas dever ser tomada como independente e qual deve ser tomada como
dependente, utilizando argumentos que envolvam o conhecimento emprico das
condicionantes fsicas (ou outras) que podero ter determinado a estrutura de relao
entre as duas variveis estatsticas.
Designar, dada uma amostra de dados bivariados, a varivel considerada dependente
por varivel resposta e a varivel considerada independente por varivel
explicativa.
Designar, fixado um referencial ortonormado num plano,
e uma amostra de
dados bivariados quantitativos (
) ((
)(
)
(
)), por nuvem de

pontos o conjunto {( (
) (
)
(
) e saber que uma anlise
visual e intuitiva da nuvem de pontos poder permitir argumentar se ser ou no
adequada a interpretao da relao entre as duas variveis estatsticas atravs do
ajustamento da reta de mnimos quadrados.

EST11

Pgina 42

8. Determinar, dada uma amostra de dados bivariados quantitativos e aps a escolha da


varivel resposta e da varivel explicativa e, ainda, da avaliao emprica da possvel
existncia de relao linear entre as duas variveis estatsticas mediante a observao
da representao grfica da nuvem de pontos, o declive e a ordenada na origem da reta
de mnimos quadrados.
9. Designar, dado um nmero natural e uma amostra de dados bivariados quantitativos
(

), por coeficiente de correlao linear o quociente

por , reconhecer que

onde

)(

, represent-lo

o declive da reta de mnimos quadrados,

justificar que e tm o mesmo sinal e saber que | | sempre menor ou igual a ,


tomando o valor unicamente nos casos em que todos os pontos (
),
,
esto alinhados e referir que a associao linear entre as variveis estatsticas
positiva (respetivamente negativa) se
(respetivamente se
) e que to mais
forte quanto mais perto de estiver | |.
2. Resolver problemas
1. +Resolver problemas envolvendo a determinao da reta de mnimos quadrados.
2. +Resolver problemas cujo contexto seja o da anlise de dados bivariados, envolvendo a
identificao da varivel resposta e da varivel explicativa e a anlise emprica do
ajustamento da reta de mnimos quadrados.
3. +Resolver problemas envolvendo o clculo e interpretao do coeficiente de correlao.

EST11

Pgina 43

12. ANO
Clculo Combinatrio CC12

Introduo ao clculo combinatrio


1. Conhecer propriedades das operaes sobre conjuntos
1. #Provar, dados conjuntos e , que
se e somente se
e se e somente
se
e que o conjunto vazio est contido em qualquer conjunto.
2. Justificar, dados subconjuntos e de um conjunto , que
se e somente se
.

3. #Provar, dados conjuntos


,
e
, que so verdadeiras as igualdades
(
)
(
),
(
)
(
) (
) e
,
, bem como as que se obtm permutando em todas as ocorrncias os
smbolos e , e design-las respetivamente por associatividade,
comutatividade, distributividade e idempotncia .
4. #Provar, dado um conjunto , que, para quaisquer subconjuntos
e
de ,

, e designar estas igualdades por Leis de De Morgan


e
para conjuntos.
)
(
) (
) e que
5. Provar, dados conjuntos ,
e , que (
(
) (
) (
).
2. Conhecer factos elementares da combinatria
1. Saber, dados conjuntos e , que
se e somente se existir uma bijeo de
sobre e nesse caso identificar os conjuntos e como equipotentes.
)
2. Saber, dados conjuntos e tais que
, que (
.
3. +Provar, dados conjuntos e de cardinais respetivamente iguais a
ea
,
que o cardinal do produto cartesiano
igual a
.
4. +Reconhecer que existem exatamente
sequncias de
elementos, no
necessariamente distintos, escolhidos num conjunto de cardinal
, designar esse
nmero por arranjos com repetio de elementos a (
) e reconhecer que,
dados objetos, existem exatamente
formas distintas de efetuar extraes
sucessivas de um desses objetos, repondo o objeto escolhido aps cada uma das
extraes.
5. +Designar, dado um conjunto , por conjunto das partes de o conjunto formado
pelos subconjuntos de , represent-lo por ( ) e reconhecer que se tiver
elementos (
) ento ( ) tem
elementos ( ( )
).
(
) (
)
6. Reconhecer que existem exatamente
formas de
ordenar os elementos de um conjunto de cardinal
, designar este nmero por
(nmero de) permutaes de elementos e represent-lo por ( fatorial).
7. Saber que, por conveno,
, reconhecendo que esta definio a nica para a
qual a igualdade
(
) vale tambm para
.

CC12

Pgina 44

8. +Reconhecer

que

existem

exatamente

sequncias de
elementos distintos escolhidos num conjunto de
elementos, designar este nmero por (nmero de) arranjos (sem repetio) de
elementos a (
) e reconhecer que, dados objetos, existem exatamente
formas distintas de efetuar extraes sucessivas de um desses objetos, sem repor o
objeto escolhido aps cada uma das extraes.
9. Justificar que um conjunto de
subconjuntos de
combinaes de
exatamente
por

, por

elementos tem exatamente

elementos (
), e designar este nmero por (nmero de)
elementos a , reconhecendo que, dado
objetos, existem
formas de escolher

) de entre eles e representar este nmero

ou por ( ), reconhecendo que se trata de um nmero natural.

10. +Simplificar expresses envolvendo fatoriais, arranjos e combinaes.


3. Conhecer o tringulo de Pascal e o binmio de Newton
1. Justificar, dados nmeros naturais
e ,
que
de dois modos
distintos: utilizando um clculo algbrico e um argumento combinatrio.
2. Justificar, dado
, que
, interpretando esta igualdade luz do
nmero de subconjuntos de um conjunto de elementos.
3. +Reconhecer, dados nmeros naturais e ,
, que
e
utilizar esta igualdade para construir, progressivamente, o tringulo de Pascal, no qual
figuram, na -sima linha, os nmeros
,
,
,,
e
, por esta ordem.
4. +Reconhecer, dado
, a igualdade entre polinmios nas variveis
e ,

(
)
,
designando-a por binmio de Newton, e por esta razo, designar os nmeros
igualmente por coeficientes binomiais.
4. Resolver problemas
1. +Resolver problemas envolvendo operaes sobre conjuntos e cardinais de conjuntos.
2. +Resolver problemas de contagens envolvendo arranjos e combinaes.
3. +Resolver problemas envolvendo o tringulo de Pascal e o binmio de Newton.

CC12

Pgina 45

Probabilidades PRB12

Definio de probabilidade
1. Definir espaos de probabilidade
1. Identificar, dado um conjunto finito , uma probabilidade no conjunto ( ) das partes
de como uma funo
de domnio ( ) e de valores no negativos tal que
( )
( ) disjuntos, (
)
( )
e, para
( ), designar, neste
contexto, o conjunto por espao amostral ou universo dos resultados, ( ) por
espao dos acontecimentos, os respetivos elementos por acontecimentos, ( ),
( ), por probabilidade do acontecimento e o terno (
( ) ) por
para
(um caso particular de) espao de probabilidade.
2. Designar, dado um conjunto finito
e uma probabilidade
no conjunto ( ), o
conjunto vazio por acontecimento impossvel, o conjunto por acontecimento
certo, dois acontecimentos por incompatveis ou por mutuamente exclusivos se
forem disjuntos, por complementares ou por contrrios se forem disjuntos e a
respetiva unio for igual a e por equiprovveis se tiverem a mesma probabilidade.
3. Designar, dado um conjunto finito , uma probabilidade no conjunto ( ) e um
acontecimento
por casos favorveis a os elementos de
e por casos
possveis os elementos do espao amostral .
4. Designar, dado um conjunto finito e uma probabilidade no conjunto ( ), um
acontecimento por elementar quando
e por composto quando
.
5. Justificar, dado um conjunto finito , que a funo de domnio ( ) definida por
( )

6.
7.

8.
9.
10.

( )

a nica probabilidade em

( ) tal que os acontecimentos

elementares so equiprovveis e designar esta definio da funo de probabilidade por


definio de Laplace.
Provar, dado um conjunto finito , uma probabilidade
no conjunto ( ) e um

( ) que ( )
( ) e que ( )
acontecimento
Provar, dado um conjunto finito , uma probabilidade
no conjunto ( ) e
( ), que se
)
( )
( ) justificando que
acontecimentos
, (
( )
( ), e designar este ltimo resultado por monotonia da probabilidade.
Justificar, dado um conjunto finito e uma probabilidade no conjunto ( ), que
( ) ( ) [ ].
Provar, dado um conjunto finito , uma probabilidade
no conjunto ( ) e
( ) que (
)
( )
( )
(
)
acontecimentos
Saber que se podem considerar espaos amostrais infinitos, podendo-se definir, nessa
situao, uma funo de probabilidade
cujas propriedades generalizam as que
caracterizam este conceito no caso em que finito, desde que se defina de forma
apropriada a classe de acontecimentos, subconjunto de ( ), que constitui o domnio
de .

PRB12

Pgina 46

2. Definir probabilidade condicionada


1. Reconhecer, no quadro de uma experincia aleatria em que o universo dos resultados
finito, que, se se souber que um dado acontecimento ocorreu, o nmero de casos
possveis da experincia aleatria
e o nmero de casos favorveis de um
acontecimento
dado por (
), e justificar que, se os acontecimentos
elementares forem equiprovveis, a probabilidade de ocorrer sabendo que ocorreu
igual a

)
( )

em que

representa a probabilidade no espao inicial.

2. Designar, dada uma probabilidade e dois acontecimentos e , com ( )


, por
probabilidade de
se , por probabilidade condicionada de
se ou por
probabilidade de ocorrer

sabendo que ocorreu a quantidade

)
( )

e represent-

-la por ( | ).
3. #Provar, dado um conjunto finito , uma probabilidade
no conjunto ( ) e um
( ), com ( )
acontecimento
, que a funo
definida pela expresso
( )
( | ) uma probabilidade em ( ).
4. Justificar, dada uma probabilidade
e dois acontecimentos
e
que
(
)
( ) ( ) se e somente se ( )
ou ( )
e ( | )
( ), e
identificar os acontecimentos e como independentes quando verdadeira uma
destas condies equivalentes.
5. #Provar, dado um conjunto finito , uma probabilidade no conjunto ( )
e
uma partio
de constituda por acontecimentos de probabilidade no
( | ) ( )
( | ) ( )
nula, que para todo o acontecimento
, ( )
( | ) ( ) e designar este resultado por Teorema da probabilidade total.

3. Resolver problemas
1. +Resolver problemas envolvendo clculo combinatrio e a determinao de
probabilidades em situaes de equiprobabilidade de acontecimentos elementares.
2. +Resolver problemas envolvendo espaos de probabilidades e a determinao de
propriedades da funo de probabilidade.
3. +Resolver problemas envolvendo probabilidade condicionada, acontecimentos
independentes e o Teorema da probabilidade total.

PRB12

Pgina 47

Funes Reais de Varivel Real FRVR12

Limites e Continuidade
1. Utilizar teoremas de comparao e os teoremas das sucesses e funes enquadradas
1. #Provar, dadas sucesses convergentes ( ) e ( ), que se, a partir de certa ordem,
ento
.
(
)
2. #Provar, dadas sucesses
e ( ) , que se, a partir de certa ordem,
e
ento
.
3. #Provar, dadas sucesses ( ) e ( ) , que se, a partir de certa ordem,
e
ento
.
4. #Provar, dadas sucesses ( ) e ( ) convergentes com o mesmo limite e uma
sucesso ( ) tal que, a partir de certa ordem,
, que ( ) convergente
e
, e designar este resultado por Teorema das sucesses enquadradas.
5. #Provar, dadas funes reais de varivel real e de domnio e
um ponto
( )
aderente a que, se para todo o
, ( )
( )e
(respetivamente
( )

), ento

( )

(respetivamente

( )

) e estender

este resultado ao caso de limites por valores superiores ou inferiores a bem como ao
caso de limites em
.
6. #Provar, dado um nmero real , funes reais de varivel real , e de domnio
( )
( )
e
, que se
e se para todo o
, ( )
( )
( ),
ento

( )

, estender este resultado ao caso de limites por valores superiores ou

inferiores a bem como ao caso de limites em


Teorema das funes enquadradas.

, e designar este resultado por

2. Conhecer propriedades elementares das funes contnuas


1. Saber, dada uma funo real de varivel real contnua num intervalo
[
], (
que para qualquer valor
do intervalo de extremos ( ) e ( ) existe
que ( )
e designar esta propriedade por Teorema dos valores intermdios
por Teorema de Bolzano-Cauchy.
2. Saber, dada uma funo real de varivel real contnua num intervalo [
], (
que admite mximo e mnimo absolutos e designar este resultado por Teorema
Weierstrass

),
tal
ou
),
de

3. Resolver problemas
1. +Resolver problemas envolvendo os teoremas de comparao e das sucesses e funes
enquadradas para o clculo de limites e o estudo da continuidade de funes reais de
varivel real.

FRVR12

Pgina 48

Derivadas de funes reais de varivel real e aplicaes


4. Relacionar a derivada de segunda ordem com o sentido da concavidade do grfico de uma
funo e com a noo de acelerao
1. Designar, dada uma funo real de varivel real diferencivel num intervalo tal que a
funo derivada diferencivel num ponto
, a derivada ( ) ( ) por derivada
de segunda ordem de no ponto e represent-la por ( ).
2. Identificar uma funo real de varivel real como duas vezes diferencivel num
dado intervalo se ( ) existir para todo o
.
3. +Provar, dada uma funo duas vezes diferencivel num intervalo
]
[,
,e
(
)
(
)
]
[ tal que
, que se ( )
(respetivamente
) admite um
mnimo (respetivamente um mximo) local em .
4. +Provar, dada uma funo diferencivel num intervalo , que tem a concavidade
voltada para cima (respetivamente voltada para baixo) em se e somente se
for
estritamente crescente (respetivamente estritamente decrescente) em .
5. Justificar, dada uma funo duas vezes diferencivel num intervalo de extremo
( )
esquerdo
e extremo direito , que se para todo o
]
[,
(
)
(respetivamente
), o grfico da funo tem a concavidade voltada para cima
(respetivamente voltada para baixo) no intervalo .
6. Justificar, dada uma funo duas vezes diferencivel num intervalo , que se o grfico
da funo tem a concavidade voltada para cima (respetivamente voltada para baixo)
no intervalo ento, para todo o
, ( )
(respetivamente ( )
).
7. Identificar, dada uma funo de domnio , o ponto ( ( )) onde
como
ponto de inflexo do grfico de se existirem nmeros reais
e
tais que
[
]
e a concavidade do grfico de no intervalo [ ] tem sentido contrrio
concavidade do grfico de no intervalo [ ] e, nesse caso, referir que o grfico de
tem ponto de inflexo em .
8. Justificar, dada uma funo duas vezes diferencivel num intervalo , que se o grfico
de tem ponto de inflexo em ento ( )
.
9. Identificar, fixado um instante
para origem das medidas de tempo, uma unidade de
tempo , uma reta numrica com unidade de comprimento , um intervalo
,
no vazio nem reduzido a um ponto, dada a funo posio de um ponto que se
desloca na reta
durante o intervalo de tempo e dois instantes
de , a
acelerao mdia de no intervalo no intervalo de tempo [
] na unidade

como a taxa mdia de variao de


acelerao instantnea de
segunda ordem de em .

entre

no instante

na unidade

( )

( )

, e, para

, a

como a derivada de

5. Resolver problemas
1. +Resolver problemas envolvendo propriedades das funes diferenciveis.
2. +Esboar o grfico de funes definidas analiticamente comeando por determinar o
respetivo domnio e, sempre que possvel, os zeros, os intervalos de monotonia, os
extremos locais e absolutos, o sentido das concavidades, os pontos de inflexo e as
assntotas ao respetivo grfico.
FRVR12

Pgina 49

3. +Resolver problemas de otimizao envolvendo funes diferenciveis.


4. +Resolver problemas envolvendo funes posio, velocidades mdias e velocidades
instantneas, aceleraes mdias e aceleraes instantneas e mudanas de unidades
de acelerao.
5. +Resolver problemas envolvendo a determinao de valores aproximados de solues
( ) ( e
de equaes da forma ( )
funes contnuas) utilizando uma
calculadora grfica, em casos em que possvel justificar, atravs da leitura das
informaes fornecidas pela calculadora, que determinados valores coincidem, at
casa decimal indicada, com solues da referida equao, utilizando propriedades
conhecidas das funes contnuas, como o Teorema dos valores intermdios, ou outras
propriedades analticas das funes e , previamente estabelecidas.

FRVR12

Pgina 50

Trigonometria e Funes Trigonomtricas TRI12

Diferenciao de funes trigonomtricas


1. Estabelecer frmulas de trigonometria
1. +Reconhecer, dados ngulos
e
cuja soma um ngulo convexo, que
(
)
( ) ( )
( ) ( )e (
)
( ) ( )
( ) ( ).
2. +Reconhecer, dado um ngulo convexo de amplitude superior de um ngulo , que
(
)
( ) ( )
( ) ( ) e
(
)
( ) ( )
( ) ( ),
onde
um ngulo cuja soma com igual a .
(
)
3. Saber que, para todos os
,
,
(
)
, estendendo-se assim as frmulas j conhecidas
envolvendo apenas medidas de amplitude de ngulos geomtricos convexos e justificar
( )
que ( )
e
.
2. Calcular a derivada de funes trigonomtricas
1. +Reconhecer que para todo o

[,

e provar que

referindo este limite como limite notvel.


2. Provar que as funes seno e cosseno so diferenciveis e que para todo o
,
e
.
3. Provar que a funo tangente diferencivel no respetivo domnio
e que para todo
o

3. Relacionar osciladores harmnicos e a segunda lei de Newton


1. Designar por oscilador harmnico um sistema constitudo por um ponto que se
desloca numa reta numrica em determinado intervalo de tempo , de tal forma que a
respetiva abcissa, como funo de
, seja dada por uma expresso da forma
( )
(
), onde
,
e
[
[, designar estas constantes,
respetivamente, por amplitude, pulsao e fase, justificar que a funo

peridica de perodo

e designar

por frequncia do oscilador harmnico.

( )
(
)
2. Esboar o grfico de funes definidas por
,
( )
(
)
(
)
e ( )
, onde
,
.
3. Saber, dado um ponto material de massa colocado na extremidade de uma mola
cuja outra extremidade se encontra fixa, que tomando por origem da reta numrica em
que se desloca o respetivo ponto de equilbrio, a abcissa ( ) da posio de no
instante satisfaz a equao
( )
( )(
), intepretando o termo
( )
como a fora exercida pela mola sobre (lei de Hooke), designar a igualdade desta
fora com o produto da massa pela acelerao de
por (um caso particular da)
segunda Lei de Newton e resolver problemas envolvendo sistemas massa-mola com
estas caractersticas.

TRI12

Pgina 51

4. Justificar, dado
, que as funes definidas por uma expresso da forma
( )
(
), onde
e
so constantes reais, satisfazem a equao
diferencial
, saber que todas as solues desta equao so dessa forma, e
reconhecer que um sistema constitudo por uma mola e por um ponto material
colocado na respetiva extremidade constitui um oscilador harmnico.
4. Resolver problemas
1. +Resolver problemas envolvendo a utilizao de frmulas trigonomtricas, o estudo de
funes definidas a partir de funes trigonomtricas, a determinao dos respetivos
intervalos de monotonia bem como os extremos relativos e absolutos.
2. +Resolver problemas envolvendo derivadas de funes trigonomtricas e osciladores
harmnicos.

TRI12

Pgina 52

Funes Exponenciais e Funes Logartmicas FEL12

Juros compostos e nmero de Neper


1. Operar com juros compostos e definir o nmero de Neper
1. Designar, dado um nmero real , uma unidade de medida temporal e
, por
aplicar juros compostos taxa de % a durante perodos de tempo a um dado
capital disponvel em certo instante inicial , a operao que consiste em calcular um
juro igual a % do capital disponvel no incio de cada perodo de tempo com durao
igual a e adicion-lo ao capital findo esse perodo, comeando este processo a partir
do instante , e levando-o a cabo vezes seguidas.
2. Provar, dado um capital inicial , que, aplicando-se juros compostos taxa de % a ,
o capital disponvel ao fim de

periodos de tempo

igual a

) .

3. Justificar, dado um nmero real , um nmero natural e um capital


disponvel no
incio de um determinado perodo de um ano, que dividindo esse ano em periodos
iguais de medida temporal e aplicando juros compostos taxa de % a durante
esses

perodos ao capital inicial


(

, o capital disponvel ao fim do ano igual a

4. +Provar que a sucesso de termo geral

) crescente, majorada, justificar

que convergente, designar por nmero de Neper ( ) o respetivo limite,


interpretar todos estes resultados luz da noo de juro composto e saber que
um
nmero irracional.

Funes exponenciais
2. Definir as funes exponenciais e estabelecer as respetivas propriedades principais
1. +Provar, dado um nmero real
, que a funo definida no conjunto dos nmeros
racionais por ( )
crescente se
e decrescente se
.
2. +Provar, dado um nmero real
, que a funo definida no conjunto dos nmeros
racionais por ( )
satisfaz
( )
e justificar que contnua.
3. +Provar, dado um nmero real
racionais por ( )
satisfaz
e o facto de
4. Justificar, dado
( )
satisfaz
e

( )

, que a funo definida no conjunto dos nmeros


( )
, utilizando o limite j conhecido

ser crescente.

, que a funo definida no conjunto dos nmeros racionais por


( )
quando
, e, quando
( )
.

5. Saber, dado um nmero real


e um nmero irracional , que se ( )
uma
qualquer sucesso de nmeros racionais de limite , a sucesso de termo geral

convergente e o respetivo limite depende apenas de e de , e que, representando


esse limite por , se estende a funo definida por ( )
em ao conjunto ,

FEL12

Pgina 53

obtendo-se por este processo uma funo contnua nesse conjunto, designada por
funo exponencial de base , que mantm a monotonia, os limites em
e as
propriedades algbricas de em : para todos
e
,
(

,(

e ( )

6. Saber que, tal como no caso em que


, mais geralmente quando
definida em
por ( )
contnua.
7. Saber que a funo definida em
e justificar, dado

] por ( )

[
(

que

8. Designar a funo exponencial de base


represent-la tambm por
.
9. Saber que

a funo

) tem por limite

em

simplesmente por funo exponencial e

, referindo este limite como um limite notvel.

10. Provar que a funo exponencial diferencivel em


( )
( )

e que para todo o

Funes logartmicas
3. Definir as funes logartmicas e estabelecer as respetivas propriedades principais
1. Reconhecer, dado um nmero real
,
que a funo
definida por
( )
bijetiva e designar a respetiva bijeo recproca,
, por
( )
logaritmo de base , represent-la por
e justificar que
( )
e
.
2. Designar o logaritmo de base
por logaritmo decimal, representando-o tambm por
e designar o logaritmo de base por logaritmo neperiano, representando-o
tambm por .
3. Justificar que a funo logaritmo de base crescente se
e decrescente se
.
4. Justificar que
o nico zero da funo logaritmo de base
,
e que, se
( )
(respetivamente se
),
(respetivamente
( )
).
( )
( )
5. Justificar, dado
, que
e que
.
6. Justificar, dado
7. #Provar, dado

( ),

( )
8. #Provar, dados

( )

, que
( )
,

( )

e que
, que

( )

( )e

, que

( )

( )
.
( )

)
)

.
( )

( ),

( ).

( )
9. Justificar, dado
e
, que
.
10. Justificar, dado
, que a funo exponencial de base diferencivel e que a
respetiva derivada dada, em , pela expresso ( ) .
11. +Provar, dado
,
, que
diferencivel e que para todo o

( )

( )

12. Justificar, dado


, que a funo
diferencivel para
, de derivada
, estendendo-se assim o caso j conhecido correspondente a racional.

FEL12

Pgina 54

Limites notveis
4. Conhecer alguns limites notveis envolvendo funes exponenciais e logartmicas
1. +Provar que
2. Justificar que

.
( )

3. +Calcular limites de funes e sucesses envolvendo logaritmos e exponenciais.


Modelos exponenciais
5. Estudar modelos de crescimento e decrescimento exponencial
1. Saber que a evoluo de determinadas grandezas, como a massa de uma substncia
radioativa, a temperatura de alguns sistemas ou o nmero de indivduos de certas
populaes, pode ser modelada por uma equao diferencial de 1. ordem da forma
, que traduz o facto de, em cada instante, a taxa de variao ser
aproximadamente proporcional quantidade de grandeza presente.
2. Justificar, dado um nmero real , que as funes ( )
, onde uma constante
real, so solues em da equao diferencial
e que todas as solues desta
equao so dessa forma, mostrando que dada uma qualquer soluo , tem derivada
nula a funo
( ).
6. Resolver problemas
1. +Resolver problemas envolvendo juros compostos.
2. +Resolver problemas envolvendo as propriedades algbricas das funes exponenciais e
logartmicas.
3. +Resolver problemas envolvendo o estudo de funes definidas a partir de funes
exponenciais e logartmicas, a determinao dos respetivos intervalos de monotonia
bem como os extremos relativos e absolutos e a existncia de assntotas ao respetivo
grfico.
4. +Resolver problemas envolvendo a modelao de sistemas por equaes da forma
,
.

FEL12

Pgina 55

Primitivas e Clculo Integral PCI12

Noo de primitiva
1. Definir a noo de primitiva
1. Designar, dada uma funo real definida num intervalo , uma funo por primitiva
de em quando
diferencivel em , e, para todo o
, ( )
( ) e
designar como primitivvel em quando admite uma primitiva nesse intervalo.
2. Justificar, dada uma funo primitivvel num intervalo e e duas primitivas de
nesse intervalo, que a funo
constante em .
3. Justificar que se
primitivvel num intervalo , ento as primitivas de
nesse
intervalo so as funes definidas pelas expresses ( )
,
, onde uma
qualquer primitiva de em , representar esta expresso por
ou por ( )
e designar as constantes por constantes de primitivao.
4. Justificar, dado um intervalo , um ponto
,
e uma funo primitivvel em
, que existe uma nica primitiva de em tal que ( )
.
5. Calcular e conhecer de memria as primitivas das funes de referncia para a
primitivao: ,

), ,

6. Justificar, dadas funes e primitivveis num intervalo e


, que
e
so
primitivveis em , que a soma de uma primitiva de com uma primitiva de uma
primitiva de
e o produto de uma primitiva de por uma primitiva de
e
representar
estes
resultados,
respetivamente,
pelas
expresses
( ))
( ( )
( )
( ) e ( )
( ) , quando
estas notaes no forem ambguas e design-los conjuntamente por linearidade da
primitivao.
7. +Calcular primitivas de funes dadas por expresses da forma ( ) ( ( )) sendo
conhecida uma primitiva de .
Noo de integral
2. Abordar intuitivamente a noo de integral definido
1. Identificar, dado um referencial cartesiano e uma funo

contnua e no negativa num

e ( ( ) ) como a medida, na
unidade quadrada associada unidade de comprimento desse referencial, da rea da
regio do plano delimitada pelas retas de equao
e
, o eixo das abcissas e o
grfico de .
intervalo [

] (

), o integral de

entre

2. Conhecer a origem histrica da expresso ( ) , representando o smbolo


uma soma e ( ) a medida da rea de um retngulo com lados de medida
( ) e , sendo esta ltima infinitesimal.
3. Saber que na expresso

( )

, o smbolo pode ser substitudo por qualquer

outro e designar, por esta razo, a varivel

PCI12

como muda.

Pgina 56

4. Reconhecer, dadas funes

contnuas e no negativas num intervalo [

e
[

],

( ), ento ( )
( ) e
designar esta propriedade por monotonia do integral definido.
5. Reconhecer, dada uma funo contnua no negativa num intervalo [
], (
),
que a funo definida em [
] por ( ) ( ) a primitiva de no intervalo
(

), que se para todo o

( )

[
] nula em
e designar este resultado por Teorema fundamental do clculo
(integral).
6. Provar, dada uma funo contnua no negativa num intervalo [
], (
),
[ ( )] , onde

( )

que

no interval [

uma qualquer primitiva de

( )
e [ ( )]
( ), e designar este resultado por Frmula de Barrow.
7. Saber, dada uma funo contnua no negativa num intervalo e dois pontos e
( )

, que, por conveno,

tais que

conveno, dados quaisquer pontos

( )

]
de

e justificar que com esta

de , se tem

( )

( )

( ) , designando este resultado por relao de Chasles.


8. Identificar, dado um referencial cartesiano e uma funo contnua num intervalo [

e ( ( ) )
como o simtrico da medida da rea da regio do plano delimitada pelas retas de
equao
e
, o eixo das abcissas e o grfico de e reconhecer que se tem
(

) tal que ( )

( ) .
( )

9. Reconhecer, dadas funes


intervalo [

para

], o integral de

contnuas e no negativas ou no positivas num

), que ( ( )

] (

entre

( ))

( )

( )

e que

( )

( ) e designar o conjunto destes resultados por linearidade do


integral definido.
10. Identificar, dada uma funo contnua de domnio [
](
) para a qual existe
e
, com
, tal que
no
negativa ou no positiva em cada um dos intervalos [ ,
](
), o integral de
entre

e ,

( )

, como a soma

( )

( )

( )

reconhecendo que este valor no depende da sequncia (


) e saber que se
podem estender a esta categoria de funes a propriedade de monotonia do integral, o
Teorema fundamental do clculo, a frmula de Barrow, a relao de Chasles (com a
mesma conveno relativa inverso dos extremos de integrao) e a propriedade de
linearidade.
3. Resolver problemas
1. +Resolver problemas envolvendo o clculo de integrais definidos.
2. +Resolver problemas envolvendo funes posio, velocidade, acelerao e a
primitivao e integrao de funes reais de varivel real.
3. +Resolver problemas envolvendo a determinao da medida da rea de regies do
plano delimitadas por grficos de funes.

PCI12

Pgina 57

Nmeros Complexos NC12


Introduo aos nmeros complexos
1. Conhecer o contexto histrico do aparecimento dos nmeros complexos e motivar a
respetiva construo
1. Saber que, em meados do sculo XVI, Girolamo Cardano apresentou uma frmula, dita
frmula resolvente para equaes do terceiro grau, que permite obter uma soluo
real de equaes do terceiro grau da forma
em funo dos nmeros
reais e .
2. Saber que ao substituir formalmente e por certos valores na frmula de Cardano
esta passa a apresentar o smbolo

e que, operando formalmente com este

smbolo, considerando em particular que


, se obtm efetivamente

uma soluo real da equao


, e que este facto est na origem da
motivao para se definir adequadamente um nmero cujo quadrado igual a
.
3. +Reconhecer que se existir um conjunto contendo , munido de duas operaes
e que estendem respetivamente a operao de adio e de multiplicao de
nmeros reais, mantendo os mesmos elementos neutros, que so associativas,
comutativas, tais que distributiva relativamente a , e tal que contm um
elemento que satisfaz
, ento, para
, tem-se necessariamente
em
a equivalncia
bem como as igualdades
) (
)
(
),
(
) (
)
(
) e (
notando, em particular, que os resultados das operaes e
sobre elementos
de da forma
(
) tm essa mesma forma.
2. Definir o corpo dos nmeros complexos
) e uma
1. Definir em
uma operao aditiva por ( ) ( ) (
operao multiplicativa por ( ) ( ) (
) (( ) ( )
),
designar o conjunto
, quando munido destas duas operaes, por corpo dos
nmeros complexos e represent-lo por .
2. Justificar que as operaes e , definidas em , so associativas, comutativas,
que ( ) e ( ) so respetivamente os elementos neutros de e e que
distributiva relativamente a .
3. Justificar que, dados
,( ) ( ) (
)e(
) ( ) (
) e,
por esta razo, identificar com um subconjunto de , associando a cada
o par
ordenado ( )
e representando, portanto, o nmero complexo ( ) por .
4. Representar o nmero complexo ( ) por , design-lo por unidade imaginria e
provar que
.
5. Provar que, dado um nmero complexo , existe um nico nmero real e um nico
nmero real tais que
, observando que , por definio, um par ordenado
(
)
e que (
) ( ) ( ) (
) ( )( )
.

NC12

Pgina 58

6. Designar, dado um nmero complexo


(
), por parte real de e
por parte imaginria de , e represent-las respetivamente por ( ) e por ( ).
7. Justificar que um nmero complexo real se e somente se ( )
e designar por
nmeros imaginrios puros os nmeros complexos no reais tais que ( )
.
8. Justificar, dados
, que (
) (
)
(
) e
) (
)
(
)
que (
9. Designar, dado um plano munido de um referencial ortonormado direto e
,o
ponto
de coordenadas (
) como o afixo do nmero complexo
e
reconhecer que se podem assim representar os nmeros complexos no plano,
designando, neste contexto, o plano por plano complexo ou plano de Argand, o
eixo das abcissas por eixo real e o eixo das ordenadas por eixo imaginrio.
10. Justificar, dados nmeros complexos
e
,
, que o
a imagem pela translao de vetor (

afixo de

) do ponto

, afixo de .

3. Operar com nmeros complexos


1. Designar, dado um nmero complexo
,
, por conjugado de o
nmero complexo
, representando-o por , e justificar que o ponto afixo de a
imagem pela reflexo de eixo real do ponto afixo de .
2. Justificar, dados nmeros complexos e , que
, e
.
3. Justificar, dado um nmero complexo , que

( )

e que

( )

4. Justificar, dado um nmero complexo


, que um nmero real (respetivamente
um nmero imaginrio puro) se e somente se
(respetivamente
).
5. Designar, dado um nmero complexo , por mdulo de a medida da distncia, no
plano complexo, entre a origem e o ponto afixo de , represent-lo por | | , justificar
que se
,
,| |
, que o mdulo de um nmero complexo
estende a noo de mdulo de um nmero real e que se tem a equivalncia
| |
6. Provar, dados pontos e afixos respetivamente dos nmeros complexos e , que
|
|.
7. Justificar, dados nmeros complexos e , que | | | || |, | | | | , | |
e
|
| | | | |, designando esta ltima propriedade por desigualdade triangular.
8. Designar, dado um nmero complexo no nulo, por inverso de um nmero tal
que

, justificar que existe e nico, represent-lo por e provar que o inverso

de igual a

| |

9. Designar, dados nmeros complexos e


o quociente de por como o
nmero complexo pelo qual se tem de multiplicar para obter , represent-lo por
e justificar que
10. Justificar, dados nmeros complexos e ,

NC12

que | |

| |
| |

e que ( )

Pgina 59

4. Definir a forma trigonomtrica de um nmero complexo


1. Designar um nmero complexo de mdulo por unitrio e justificar, dado um
nmero complexo , que unitrio se e somente se existir um nmero real tal que
, designando , nesse caso, por um argumento de e justificar que
dois argumentos de um mesmo nmero complexo diferem por
,
.
2. Justificar,
dados
nmeros
complexos
unitrios
e
(
)
,
, que
(
) e que
(

por

), representar, para

, o nmero complexo

, designando esta expresso por exponencial complexa de


(

e motivar esta notao observando que se tem

3. +Reconhecer, dado um nmero complexo


, que existe um nico nmero positivo
e um nico nmero complexo unitrio tais que
, que
| | e se for um
argumento de , designar igualmente
por um argumento de , interpretando
geometricamente e .
4. Designar a representao de um nmero complexo
na forma | | , onde um
argumento de , por forma trigonomtrica (ou forma polar) de , e justificar, dados
nmeros complexos no nulos e de argumentos respetivamente iguais a e a ,
que
se e somente se | | | | e existir
tal que
,
interpretando geometricamente esta equivalncia.
5. Justificar, dado um nmero complexo
, que existe um nico argumento de no
intervalo ]
], design-lo por argumento principal de e represent-lo por
( ).

6. Justificar, dado um nmero real , que se o afixo de um nmero complexo , o afixo


do nmero complexo
a imagem de
pela rotao de centro
e ngulo
generalizado de medida .
7. Justificar, dado um nmero complexo
, que se
o afixo de um nmero
complexo , o afixo do nmero complexo
a imagem de pela rotao de centro
e ngulo orientado de medida , argumento de , composta com a homotetia de
centro e razo | |.
8. Justificar que um argumento do nmero complexo no nulo
, se e
somente se

( )

( )

9. Provar, dado
e
, que (
este resultado por Frmula de De Moivre.

( )

e que, nesse caso, se


)

) e designar

5. Extrair razes n-simas de nmeros complexos


1. +Reconhecer, dado um nmero complexo

e um nmero natural
(

, que a

equao
tem exatamente as solues
,
,
| |
onde um argumento de , e designar estes nmeros por razes -simas de ou
razes de ordem de .
) que se
2. Reconhecer, dados
,(
, as razes da equao
, em , so dadas por

NC12

Pgina 60

6. Resolver problemas
1. +Resolver problemas envolvendo nmeros complexos e as respetivas propriedades
algbricas.
2. +Resolver problemas envolvendo a representao, por nmeros complexos, de
isometrias do plano (translaes, reflexes e rotaes) ou outras transformaes do
plano, como as homotetias.
3. +Resolver problemas envolvendo a representao trigonomtrica de nmeros
complexos.
4. +Resolver problemas envolvendo a representao de conjuntos de pontos definidos por
condies sobre nmeros complexos.
5. +Resolver problemas envolvendo equaes da forma
,(
,
) e vrtices
de polgonos regulares enquanto afixos de nmeros complexos.
6. +Resolver problemas envolvendo polinmios de segundo grau.

NC12

Pgina 61