Beruflich Dokumente
Kultur Dokumente
Matemtica A
Ensino Secundrio
Cursos Cientfico-Humansticos
de Cincias e Tecnologias e de Cincias Socioeconmicas
(Submetido consulta pblica, 2013)
Ficha Tcnica Pgina 1
Programa de Matemtica A - Ensino Secundrio
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 Agrupamento de Escolas de Queluz-Belas, Unidade Padre Alberto Neto
Lusa Loura Faculdade de Cincias da Universidade de Lisboa (Probabilidades e Estatstica)
Metas Curriculares de Matemtica A - Ensino Secundrio
Autores
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 Agrupamento de Escolas de Queluz-Belas, Unidade 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
Filipe Teixeira Colgio do Sagrado Corao de Maria
Luciano Batalhas Escola Secundria D. Filipa de Lencastre
Lus Canto de Loura Instituto Superior Tcnico (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, Torres Novas
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
Programa de Matemtica A
Ensino Secundrio
Cursos Cientfico-Humansticos de
Cincias e Tecnologias e de Cincias Socioeconmicas
Introduo Pgina 3
1. INTRODUO
No mbito da reviso do Currculo Nacional 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 estabelece 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 dos resultados de diferentes abordagens que ao longo dos tempos tm sido
adotadas para o ensino da Matemtica neste nvel de escolaridade, tanto a nvel nacional como
internacional, 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
particular, o presente Programa foi elaborado tendo em conta a experincia, de mais de dez anos, de
aplicao do Programa anterior. No entanto, ao optar-se por uma estrutura em termos de Metas
Curriculares, muitos dos contedos transversais inerentes a um Programa de Matemtica do Secundrio
encontram-se agora, em grande medida, explicitados, o que, por exemplo, levou constituio do
domnio Lgica e Teoria dos Conjuntos no 10. ano.
As Metas Curriculares do Ensino Secundrio - Matemtica A, parte integrante deste Programa e
que com ele 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 desses objetivos gerais
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 esse objetivo se considere cumprido.
O Programa e as respetivas Metas Curriculares respeitam a estrutura cumulativa da disciplina de
Matemtica, apoiando-se os novos conceitos em outros previamente estudados e adquiridos. De acordo
com investigao recente na rea do ensino da Matemtica, desta forma que se pode ir desenvolvendo
a compreenso, ou seja, que se pode ir construindo progressivamente uma slida rede de factos,
conceitos, relaes, regras e procedimentos suscetveis de ser mobilizados, de forma flexvel, em diversos
contextos. O Programa foi concebido 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.
Com este propsito, foram introduzidos alguns contedos fundamentais que se encontravam
ausentes no anterior Programa e cujo estudo recomendado, pelas melhores prticas internacionais, nos
ramos do Ensino Secundrio com estas caractersticas, como o caso do Clculo Integral. Foi tambm
reforado o estudo de alguns tpicos como os limites de sucesses e de funes que quando
trabalhados de forma vaga e exageradamente intuitiva levam com frequncia formao de concees
erradas, difceis de reverter.
Finalmente, com o intuito 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.
Introduo Pgina 4
no respeito pela estrutura intrnseca da Matemtica e do mtodo que a caracteriza que se
procura igualmente, com este Programa, desenvolver no aluno o gosto por esta disciplina milenar, nas
suas diversas vertentes, como o carcter 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 novo 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.
Finalidades do Ensino da Matemtica Pgina 5
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 no
estudo 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, o Programa prev, no 12. ano, o estudo 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, neste contexto, o estudo de 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.
Objetivos Pgina 6
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 seis desempenhos, com o sentido que se especifica:
(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.
(6) Interpretar: O aluno deve definir rigorosamente o termo previamente utilizado de maneira menos
formal, fazendo uso dos objetos matemticos referidos, dando assim a esse termo um sentido preciso.
No seu conjunto, e de modo integrado, estes desempenhos devem concorrer para a aquisio de
conhecimentos, de factos e de procedimentos, para a construo e desenvolvimento do raciocnio
matemtico, para uma comunicao (oral e escrita) adequada, para a resoluo de problemas em
diversos contextos e para uma viso da Matemtica como um todo articulado e coerente.
Conhecimento de factos 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, abrindo assim novas portas e estratgias 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.
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, em Matemtica, formulao de conjeturas. Os alunos devem ser
capazes de estabelecer conjeturas, em alguns casos, aps a anlise de um conjunto de situaes
particulares, nomeadamente pela explorao das potencialidades dos recursos tecnolgicos. Devero
saber, no entanto, 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 de Matemtica A consigam, no final do
Ensino Secundrio, elaborar algumas demonstraes com segurana.
Objetivos Pgina 7
Comunicao matemtica Na prtica letiva, os alunos devem ser estimulados a desenvolver a
capacidade de compreender os enunciados dos problemas matemticos, identificando as questes que
levantam, explicando-as oralmente de modo claro, conciso e coerente, e discutindo, do mesmo modo,
estratgias que conduzam sua resoluo. Os alunos devem ser incentivados a expor as suas ideias, 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.
Resoluo de problemas A resoluo de problemas envolve, da parte dos alunos, a leitura e
interpretao de enunciados, a mobilizao de conhecimentos de factos, conceitos e 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.
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.
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.
Contedos 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 encontra-se materializada no documento das 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 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 em que so
admitidos o Princpio do terceiro excludo e o Princpio de no contradio. 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 contra-recproco.
No domnio da lgebra, completa-se, de forma mais sistemtica, o estudo dos radicais de ndice ,
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
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
Contedos Pgina 9
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. Com o
intuito de dar continuidade ao estudo dos vetores iniciado no 8. ano, e tendo em vista apresentar
finalmente uma definio coerente e rigorosa de vetor, introduzem-se as relaes binrias de
equivalncia e os respetivos conjuntos quociente, contexto que igualmente utilizado para definir de
forma mais rigorosa outros conceitos previamente abordados de modo menos formal, como, por
exemplo, os conceitos de comprimento, de amplitude de ngulos ou de forma geomtrica e que permite
exprimir de modo preciso em que sentido um vetor se pode identificar com a translao que determina.
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 e 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 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 do respetivo
grfico. Estudam-se ainda as transformaes geomtricas dos grficos de funes obtidas atravs da
soma 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 a noo 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. So ainda
propostas simulaes de experincias aleatrias, com recurso a sequncias de nmeros pseudo-
-aleatrios, em particular as chamadas simulaes Monte Carlo.
Contedos Pgina 10
10. ano Tabela de contedos
Domnio Contedos
LTC10
18 aulas
Introduo Lgica bivalente e Teoria dos conjuntos
Proposies
- Valor lgico de uma proposio; Princpio do terceiro excludo e 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 da dupla implicao;
- Reflexividade e transitividade da implicao e da equivalncia; simetria da equivalncia;
- Propriedades comutativa, associativa, de existncia de elemento neutro e de elemento
absorvente e da idempotncia da disjuno e da conjuno e propriedades
distributivas da conjuno em relao disjuno e da disjuno em relao
conjuno;
- Leis de De Morgan;
- Implicao contra-recproca;
- 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;
- 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;
- 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;
- Negao de uma implicao universal e contra-exemplos; demonstrao por contra-
-recproco;
- 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;
Contedos Pgina 11
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.
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 e partes internas de elipses;
- Resoluo de problemas envolvendo a noo de distncia entre pontos do plano;
- Resoluo de problemas envolvendo equaes e inequaes cartesianas de
subconjuntos do plano.
Relaes de equivalncia, parties e vetores
- Produtos cartesianos de conjuntos;
- Relaes binrias e relaes de equivalncia; classes de equivalncia, conjuntos-
-quociente e parties;
- Formas geomtricas, comprimentos, direes, amplitudes e vetores enquanto classes
de equivalncia; vetores e translaes;
- Resoluo de problemas envolvendo relaes de equivalncia e parties de conjuntos.
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;
- Base cannica do espao vetorial dos vetores de um plano munido de um referencial
ortonormado e coordenadas de um vetor; combinao linear de vetores;
- 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;
Contedos Pgina 12
- Equao vetorial de um reta;
- 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 da noo de vetor e dos conceitos e propriedades bsicas do
clculo vetorial;
- Equao vetorial da reta no espao;
- Resoluo de problemas envolvendo clculo vetorial no espao.
FRVR10
56 aulas
Generalidades acerca de funes
- 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;
- Homotetias e translaes nas variveis dependente e independente;
- Contraes e dilataes relativamente a um eixo.
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.
Contedos Pgina 13
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
;
- 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.
EST10
20 aulas
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;
- Noo de varivel estatstica quantitativa como funo numrica definida numa
populao e de 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.
Simulao Monte Carlo
- Simulao de experincias aleatrias por recurso a algoritmos geradores de nmeros
pseudo-aleatrios;
- Propriedades inferenciais da mdia com recurso simulao Monte Carlo;
- Resoluo de problemas envolvendo sequncias de nmeros pseudo-aleatrios.
Contedos Pgina 14
11. ano
No 11. ano, os domnios de contedos so seis:
Trigonometria (TRI)
Geometria Analtica (GA)
Programao Linear (PL)
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 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 a 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. Neste contexto, por um lado, estudam-se as frmulas trigonomtricas
bsicas da soma e diferena de ngulos (e consequentemente da duplicao e da metade de um ngulo),
abordando-se, como aplicao, exemplos de elaborao de tabelas trigonomtricas pelos processos que
historicamente, desde h milnios, permitiram utilizar com sucesso a Trigonometria na resoluo de
inmeros problemas; por outro lado 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 num plano
orientado - 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 assim apto a definir as funes reais de varivel real seno,
cosseno e tangente e a estudar as respetivas propriedades. Uma aplicao importante das duas primeiras
destas funes, a que dado destaque, a modelao matemtica de sistemas fsicos designados por
osciladores harmnicos, cujo estudo, aqui iniciado, ser prosseguido no 12. ano com a deduo das
equaes diferenciais associadas a esses modelos.
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, a
desigualdade de Schwarz ou a relao deste conceito com a perpendicularidade. Fixado um referencial
cartesiano, o produto escalar estuda-se tambm do ponto de vista das coordenadas. importante notar
que as propriedades das funes trigonomtricas abordadas no domnio Trigonometria so fundamentais
para uma correta apresentao e justificao de muitos destes resultados. Completa-se igualmente, neste
domnio, o estudo das equaes de planos no espao, iniciado no 10. ano.
No domnio Programao Linear feita uma pequena introduo aos problemas de otimizao,
introduzindo-se o respetivo vocabulrio. Propem-se problemas de maximizao ou minimizao de
funes objetivo lineares de duas variveis em regies admissveis poligonais, que podero ser resolvidos
por mtodos geomtricos ou analticos.
No domnio Sucesses so inicialmente apresentados alguns aspetos gerais da relao de ordem
definida nos nmeros reais, como as propriedades do supremo (respetivamente nfimo) de um conjunto
Contedos Pgina 15
no vazio majorado (respetivamente minorado), cuja existncia admitida. igualmente introduzido,
neste domnio, 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, destacando-se, em particular, a aplicao ao clculo de
juros compostos.
A noo de limite introduzida, de forma cuidada, neste domnio, o que o torna num dos
domnios-chave do 11. ano de escolaridade. 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
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
podendo 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 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
de um noo geral de limite segundo um conjunto que muito simplesmente o limite da restrio da
funo inicial a esse conjunto.
Quanto escolha da definio de limite segundo Heine - que j prtica 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 diferenciabilidade 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, directamente 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, o qual referido juntamente com o Teorema de Rolle, embora apenas se exija uma
interpretao geomtrica desses resultados. Em contrapartida pretende-se que o aluno saiba justificar a
propriedade segundo a qual se uma funo que atinge um extremo num dado ponto em que
diferencivel, ento a derivada anula-se nesse ponto, desde que pertena a um intervalo aberto contido
no domnio da funo. Finalmente, proposta especificamente a aplicao da diferenciabilidade
cinemtica do ponto.
Contedos Pgina 16
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.
11. ano Tabela de contedos
Domnio Contedos
TRI11
50 aulas
Extenso da Trigonometria a ngulos retos e obtusos e resoluo de tringulos
- Extenso da definio das razes trigonomtricas ao caso de ngulos retos e obtusos;
Lei dos senos e Lei dos cossenos; extenso da frmula fundamental da trigonometria;
- Resoluo de tringulos;
- Seno e cosseno da soma de ngulos cuja soma um ngulo convexo;
- Seno e cosseno da diferena de ngulos convexos cuja diferena um ngulo convexo;
- Seno e cosseno da metade de um ngulo.
ngulos orientados, ngulos generalizados e rotaes
- ngulos orientados; amplitudes de ngulos orientados e respetivas medidas;
- Rotaes;
- Orientao de um plano;
- 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, periodicidade,
contradomnios, zeros e extremos locais;
- Relaes entre razes trigonomtricas de ngulos complementares, suplementares,
cuja diferena um ngulo reto ou um ngulo raso ou cuja soma um ngulo giro;
- Generalizao da relao fundamental da Trigonometria e das frmulas
trigonomtricas da soma, diferena e da duplicao;
- Equaes do tipo e ;
- Inequaes trigonomtricas com domnio num intervalo limitado;
- Estudo das funes definidas analiticamente por ( ) ,
( ) e ( ) ;
- Funes trigonomtricas inversas;
- Resoluo de problemas envolvendo razes trigonomtricas e a determinao de
distncias;
- Resoluo de problemas envolvendo funes trigonomtricas.
Aplicaes aos osciladores harmnicos
- Osciladores harmnicos: amplitude, pulsao, perodo, frequncia e fase;
- Resoluo de problemas envolvendo osciladores harmnicos.
Contedos Pgina 17
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;
- Desigualdade de Cauchy-Schwarz;
- 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.
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 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.
PL11
6 aulas
Vocabulrio da otimizao
- Funo objetivo; regio admissvel e pontos admissveis;
- Conjunto de nvel de uma funo numrica.
Introduo programao linear
- Problemas de programao linear e respetivas funes objetivo e regies admissveis;
conjuntos de nvel de um problema de programao linear;
- Relao entre os mximos e mnimos da funo objetivo de um problema de
programao linear e os vrtices da respetiva regio admissvel, quando esta
limitada;
- Resoluo de problemas de programao linear por mtodos geomtricos e analticos.
SUC11
38 aulas
Conjunto dos majorantes e conjunto dos minorantes de uma parte no vazia de
- Conjuntos minorados, majorados e limitados;
- Mximo, mnimo, supremo e nfimo de um conjunto;
- Princpio do supremo; caracterizao do conjunto dos majorantes e do conjunto dos
minorantes de um conjunto no vazio de nmeros reais;
- Caracterizao do supremo e do nfimo de um conjunto no vazio de nmeros reais.
Generalidades acerca de sucesses
- Sucesses numricas; sucesses montonas, majoradas, minoradas e limitadas;
conjunto dos majorantes e dos minorantes de uma sucesso;
- Resoluo de problemas envolvendo o estudo da monotonia e a determinao de
majorantes e minorantes de sucesses.
Contedos Pgina 18
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.
Aplicaes aos juros compostos
- Clculo de juros compostos;
- Resoluo de problemas envolvendo juros compostos.
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;
- 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.
FRVR11
46 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 por valores num dado conjunto; 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 e 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.
Contedos Pgina 19
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.
Diferenciabilidade
- Taxa mdia de variao de uma funo e interpretao geomtrica;
- Derivada de uma funo num ponto e interpretao geomtrica;
- 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 e de Rolle; 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 da derivada de funes dadas por ()
( racional, );
- 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 a aplicao do clculo diferencial ao estudo de
funes reais de varivel real, a determinao dos respetivos intervalos de monotonia,
extremos relativos e absolutos.
Cinemtica do ponto
- 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;
- Resoluo de problemas envolvendo funes posio, velocidades mdias e
velocidades instantneas e mudanas de unidades de velocidade.
EST11
6 aulas
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.
Contedos 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 (TRI)
Funes Exponenciais e Logartmicas (FEL)
Primitivas e Clculo Integral (PCI)
Nmeros Complexos (NC)
O Clculo Combinatrio a rea da Matemtica dedicada realizao eficiente de contagens.
Nestes descritores abordam-se inicialmente, aps uma formulao em termos de teoria dos conjuntos de
algumas propriedades elementares dos cardinais, problemas de contagem relacionados com o nmero de
funes entre conjuntos finitos ou com o nmero de partes de um dado conjunto finito, definindo-se
progressivamente arranjos, com ou sem repetio, e combinaes, que permitem, em situaes muito
distintas, efetuar contagens de forma expedita. igualmente introduzido o binmio de Newton e o
tringulo de Pascal, estudando-se algumas propriedades dos coeficientes binomiais.
Aps uma primeira abordagem mais restritiva elaborada 9. ano, pretende-se agora, no domnio
Probabilidades, estudar de um modo mais geral a noo de probabilidade de um ponto de vista
matemtico, 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. Finalmente, prope-se o estudo da distribuio de probabilidade de
algumas variveis aleatrias discretas que apenas tomam um nmero finito de valores, como a
distribuio de Bernoulli ou a distribuio binomial, apresentando-se, neste contexto, a noo de valor
mdio e de desvio padro.
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).
Trata-se tambm a diferenciabilidade da funo inversa de uma funo bijetiva, o que permitir em
particular, no domnio Funes Exponenciais e Logartmicas, relacionar a derivada das segundas com as
derivadas das primeiras. Relaciona-se ainda 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
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.
Contedos Pgina 21
O domnio Trigonometria no 12. ano dedicado ao clculo da derivada das funes seno e
cosseno, aps o estabelecimento de alguns limites, ditos notveis, indispensveis a esse efeito. a
oportunidade ideal para se aprofundar o estudo dos osciladores harmnicos iniciado no 11. ano,
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 carcter de oscilador harmnico de uma
mola no submetida a atrito.
No domnio Funes Exponenciais e Logartmicas comea-se por retomar o clculo de juros
compostos, com o intuito de introduzir o nmero de Neper. Estudam-se em seguida, de forma
sistemtica, as propriedades da funo ()
.
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.
Contedos Pgina 24
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
22 aulas
Diferenciao de funes trigonomtricas
- 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
- Relao Fundamental da Dinmica e lei de Hooke;
- Os osciladores harmnicos como solues de equaes diferenciais da forma
;
- Resoluo de problemas envolvendo osciladores harmnicos.
FEL12
41 aulas
Nmero de Neper
- Sucesso de termo geral
( ):
monotonia, continuidade, limites e propriedades algbricas;
- Extenso ao caso real: definio das funes exponenciais de base a e respetivas
propriedades;
- Funo exponencial
, ;
- Limite notvel
()
();
- Resoluo de problemas envolvendo o estudo de funes definidas a partir de funes
exponenciais e logartmicas, as respetivas propriedades algbricas e limites notveis.
Contedos Pgina 25
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
- Definio de primitiva de uma funo num intervalo; famlia das primitivas de uma
dada funo num intervalo; linearidade da primitivao;
- Primitivas de funes da forma ()(()).
Clculo Integral
- Aditividade e monotonia da medida de rea;
- Definio intuitiva da noo de integral de funes contnuas no negativas num
intervalo limitado e fechado;
- Origem histrica do smbolo de integral;
- Noo de integral definido para funes contnuas num intervalo limitado e fechado
que alternam de sinal um nmero finito de vezes;
- Teorema fundamental do clculo integral, Frmula de Barrow e Teorema da mdia;
- Linearidade e monotonia do integral definido; aditividade do integral em relao ao
domnio;
- Referncia a extenses da noo de integral; existncia de primitivas para funes
contnuas em intervalos.
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
28 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.
Contedos Pgina 26
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 de ;
- 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 polar dos nmeros complexos
- Complexos de mdulo ; a exponencial complexa
() (), , e
respetivas propriedades algbricas e geomtricas; argumento de um nmero complexo
e representao polar dos nmeros complexos;
- Frmulas de De Moivre.
Razes n-simas de nmeros complexos
- Solues das equaes da forma
( ), representar por {
} o conjunto cujos
elementos so exatamente
e designar a igualdade {
} por
definio em extenso do conjunto de elementos
.
14. Identificar, dada uma condio () e um conjunto , o conjunto { () }
como conjunto definido por () em (ou conjunto-soluo de () em ) e
represent-lo tambm por { ()}.
15. Identificar, dados conjuntos e , o conjunto unio (ou reunio) de e e o
conjunto interseo de e respetivamente como { } e
{ }.
16. Justificar, dadas condies () e () e um conjunto , que o conjunto definido pela
condio () () em igual a { ()} { ()}.
17. Justificar, dadas condies () e () e um conjunto , que o conjunto definido pela
condio () () em igual a { ()} { ()}.
18. Identificar, dados conjuntos e , como estando contido em ( ) quando
, e, nesse caso, designar por subconjunto de ou por uma
parte de .
19. Reconhecer, dados conjuntos e , que se e somente se e se e
somente se e que o conjunto vazio est contido em qualquer conjunto.
LTC10 Pgina 6
20. Justificar, dado um conjunto que, para qualquer subconjunto de
e , designando, por este motivo, para subconjuntos de
, o conjunto por elemento neutro da interseo e elemento absorvente da
unio, e o conjunto vazio por elemento neutro da unio e elemento absorvente da
interseo.
21. Justificar, dadas condies () e () e um conjunto , que
{ ()} { ()} se e somente se , () ().
22. Designar, dados conjuntos e , por diferena entre e o conjunto { }
e represent-lo por ou simplesmente por
, onde
(respetivamente
) designa o complementar
de (respetivamente de ) em e designar estas igualdades por Leis de De Morgan
para conjuntos.
27. #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 .
28. #Provar, dados conjuntos , e , que , que ( ) ( ) ( ) e
designar estas propriedades respetivamente por reflexividade e transitividade da
incluso.
29. +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,
designando por contra-exemplo para a proposio inicial.
30. Justificar, dadas condies () e (), que a proposio () ()
equivalente proposio () (), designar a segunda proposio por
contra-recproco da primeira e uma demonstrao da segunda proposio por
demonstrao por contra-recproco da primeira.
31. Justificar, dados subconjuntos e de um conjunto , que se e somente se
.
3. Resolver problemas
1. +Resolver problemas envolvendo operaes lgicas sobre proposies.
2. +Resolver problemas envolvendo operaes sobre condies e sobre conjuntos.
ALG10 Pgina 7
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
.
4. +Saber, dado um nmero real positivo e um nmero par, que existe um nmero
real positivo tal que
, provar que ()
.
5. Justificar, dado um nmero natural , que 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
7. #Provar, dados nmeros reais e e um nmero mpar, que
e reconhecer que, para , (
8. #Provar, dados nmeros reais e (respetivamente nmeros reais e no
negativos), , e um nmero mpar (respetivamente um nmero par),
que
.
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
ou
.
2. +Identificar, dado um nmero real no negativo e um nmero racional no negativo
, como
, como
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 dita
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 9
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
quando 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
() ( )
,,
tm respetivamente multiplicidade
,,
, que
e que existe
um polinmio () sem razes tal que () (
(),
tendo-se
,
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 (
, e represent-la
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 (
).
5. Designar, dado um plano munido de um referencial ortonormado e uma funo
numrica de domnio constitudo por pares ordenados de nmeros reais, a equao
( ) por equao cartesiana do conjunto {( ) ( ) }.
6. Determinar, dado um plano munido de um referencial ortonormado e dois pontos
(
) e (
, onde
o declive da reta , quando esta no horizontal nem vertical, e quando
vertical.
7. Justificar, fixada uma unidade de comprimento, dado um plano munido de um
referencial ortonormado, um ponto (
se tem
, onde
a equao cartesiana
da elipse de semieixo maior e semieixo menor que tem focos ( ) e ( ),
onde
( )
( , )
uma inequao do crculo de centro ( ) e de raio .
17. Saber que a parte interna de uma elipse constituda pelos pontos do plano que, no
pertencendo elipse, esto nos segmentos de reta que unem a elipse ao respetivo
centro.
18. +Reconhecer, fixada uma unidade de comprimento, dado um plano munido de um
referencial ortonormado, que a inequao
( ) uma inequao
da parte interna da elipse de centro na origem, focos no eixo , de semieixo maior e
semieixo menor .
2. Resolver problemas
1. +Resolver problemas envolvendo a noo de distncia entre pontos do plano, e
equaes e inequaes cartesianas de subconjuntos do plano.
GA10 Pgina 12
Relaes de equivalncia, parties e vetores
3. Interpretar os vetores como classes de equivalncia
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. Identificar, dados conjuntos e , uma relao binria entre e como uma parte
do produto cartesiano , utilizar a expresso ( est na relao com
) para indicar que ( ) e, se , designar por relao binria em .
3. Identificar, dado um conjunto , uma relao binria em como reflexiva quando
, como simtrica quando ( ) e como
transitiva quando para quaisquer for verdadeira a implicao
( ) .
4. Identificar, fixado um conjunto , uma relao de equivalncia em como uma
relao binria , em , reflexiva, simtrica e transitiva, e elementos e de como
-equivalentes (ou simplesmente como equivalentes se esta designao no for
ambgua) quando .
5. Identificar, dado um conjunto , uma partio em como um conjunto de partes de
no vazias, duas a duas disjuntas e cuja unio igual a .
6. Identificar, dados um conjunto , uma relao de equivalncia em e , a
classe de equivalncia de para a relao como o conjunto
{ } dos
elementos de que esto na relao com , designando cada um deles por
representante de
.
7. +Provar, dado um conjunto e uma relao de equivalncia em , que o conjunto
{
da translao
coincide, enquanto conjunto de pares ordenados, com o prprio vetor enquanto
classe de equivalncia de segmentos orientados.
4. Resolver problemas
1. +Resolver problemas envolvendo relaes de equivalncia e parties de conjuntos.
Clculo vetorial no plano
5. 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 ,
justificar que no depende da unidade de comprimento fixada e que () ,
vetor simtrico de .
3. Justificar, dados vetores e colineares ( ), que existe um nmero real (e
apenas um) tal que .
4. Justificar, dados vetores e , que existe um e somente um vetor tal que ,
provando que (), designar por diferena entre e e represent-lo
por .
5. +Reconhecer, dado um vetor e nmeros reais e , que ( ) .
6. +Reconhecer, dados vetores e e nmeros reais e que ( ) e
() ().
6. Operar com coordenadas de vetores
1. +Reconhecer, fixada uma unidade de comprimento, um plano munido de um referencial
ortonormado de origem e um vetor do plano que, sendo (), (),
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.
GA10 Pgina 14
3. Justificar, fixado um plano munido de um referencial ortonormado e dados vetores
(
) e (
) (respetivamente (
) ), que o vetor
tem coordenadas (
) tem
coordenadas (
) e (
) que o vetor
tem coordenadas (
), comeando
por justificar que
) e um vetor (
).
6. Justificar, fixada uma unidade de comprimento e um plano munido de um referencial
ortonormado que para qualquer vetor (
),
.
7. 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
, 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. Provar, 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 .
6. Justificar, fixado um plano munido de um referencial ortonormado e dados
)
passando pelo ponto (
, 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 .
10. Definir analiticamente conjuntos elementares de pontos do espao
1. Justificar, dado um referencial ortonormado do espao e , que a equao
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 a reta de equao
a reta paralela ao eixo das cotas que interseta o plano coordenado
no ponto ( ) e determinar as equaes das 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 (
e represent-la por ( ).
GA10 Pgina 16
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 (
) e um nmero , que (
, existe um e somente
um terno ordenado (
,
designar o terno ordenado (
) o vetor de coordenadas (
).
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.
13. 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.
FRVR10 Pgina 17
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. Interpretar, dados conjuntos e , uma funo ou aplicao , de grfico
,
como o terno ordenado (
tal que, , |
() ().
3. Identificar, dados conjuntos e , uma funo e , o conjunto
imagem de por como o conjunto () { ()} das
imagens por dos elementos de , represent-lo tambm por {() }.
4. Identificar, dados conjuntos e , uma funo como injetiva se para
todos os
pertencentes a ,
) (
) (ou, de modo
equivalente, (
) (
, tal que
()
} e
tal
que ,
tal que ,
()
.
10. +Reconhecer, dada uma funo bijetiva, que
bijetiva e que (
e designar tambm
.
FRVR10 Pgina 18
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 a 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.
7. +Reconhecer, dado um plano munido de um referencial cartesiano, que uma dada
funo mpar se e somente se o respetivo grfico 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 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 de uma funo definida em
} por () () a imagem do
grfico de 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 de uma funo definida em
por
() () a imagem do grfico 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 de uma funo definida em
}
por () () a imagem do grfico de pela 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
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
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
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
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
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 20
4. Identificar extremos de funes reais de varivel real
1. Designar, dada uma funo de domnio
, ()
(respetivamente
() () (respetivamente
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
, tal que,
(), () () (respetivamente,
(),
() ()) 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
expresso ()
de
e expresses
, ()
( ).
3. Esboar o grfico de funes definidas por () | | ( ) e
interpretar geometricamente os valores e .
FRVR10 Pgina 21
4. Justificar que a funo
definida por ()
() .
5. Justificar que a funo definida por ()
()
.
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.
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.
EST10 Pgina 22
Estatstica EST10
Caractersticas amostrais
1. Manipular o sinal de somatrio
1. Designar, dados , , e uma sequncia de nmeros reais (
), a
soma
por
somatrio de a dos
e designar o
smbolo por sinal de somatrio.
2. Designar, dados , uma sequncia de nmeros reais (
) e nmeros
naturais e tais que , a soma
de
parcelas iguais respetivamente a
, e
represent-la por
.
3. Reconhecer, dados , e uma sequncia de nmeros reais (
), que
a igualdade (
.
4. 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
.
5. Reconhecer, dado e sequncias de nmeros reais (
e (
, que a
igualdade (
.
6. Resolver exerccios envolvendo a manipulao do smbolo de somatrio.
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
, ,
sempre que estes abusos de linguagem no forem ambguos.
3. Representar, dado e uma amostra
(
) com valores ( ),
por o conjunto dos valores da amostra, por
os elementos de , por
( ) o cardinal do conjunto { { }
}, designar
por
frequncia absoluta do valor
, e justificar que
e que
,
designando esta ltima igualdade por frmula da mdia para dados agrupados.
5. Representar, dado , uma amostra
(
(respetivamente por
) a amostra
(
)
(respetivamente a amostra
(
), a mdia de
como a
abcissa do centro de gravidade de um segmento de reta no qual se colocou, para cada
valor
de massa igual
respetiva frequncia absoluta
.
3. Definir e conhecer propriedades da varincia e do desvio padro de uma amostra
1. Designar, dado , uma amostra
(
) e { }, por desvio de
, represent-la por
e provar que
.
2. Representar dado e uma amostra
(
), por
a soma
(
3. +Reconhecer, dado e uma amostra
(
em funo de
mas que
tem graus de
liberdade.
4. Justificar, dado e uma amostra
(
), que
se e somente se
.
5. Justificar, dado , uma amostra
(
(respetivamente
) ento
(respetivamente
).
6. Justificar, dado e uma amostra
(
), que
,
onde
),
por
varincia da amostra
e
), que
se e
somente se
.
9. Justificar, dados ( ), uma amostra
(
) e nmeros reais e ,
que se
(respetivamente
) ento
(respetivamente
||
).
10. Reconhecer, dada uma varivel estatstica quantitativa em determinada populao,
uma amostra de dimenso dessa populao e sendo
) uma
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
relao mdia superiores a desvios-padro inferior a
) reflete a
distribuio dos valores da amostra
), por amostra
ordenada a
sequncia (
()
()
()
) tal que
()
()
()
, 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
.
2. Designar, dado , uma amostra
(
) e um nmero natural do
intervalo ]], por percentil de ordem o valor mximo da amostra se , a
mdia dos elementos de ordem
na amostra ordenada se e
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
.
3. Reconhecer, dado e uma amostra
(
), que
igual mediana
de
e saber que tambm usual definir o primeiro e o terceiro quartil de modo a
coincidirem, respetivamente, com
.
EST10 Pgina 25
4. Designar, dados nmeros naturais e , , uma sequncia crescente de
nmeros reais (
) e um conjunto de dados quantitativos organizados nos
intervalos de classe [
,
ou seja, tal que
onde
a frequncia absoluta do
intervalo de classe ]
.
Simulao Monte Carlo
5. Utilizar algoritmos geradores de Nmeros Pseudo-Aleatrios
1. Saber que existem algoritmos determinsticos (entre os quais o algoritmo congruencial
de Lehmer) que, sob condies adequadas, geram uma sequncia de nmeros com
propriedades estatsticas prximas das que se podem verificar numa sequncia gerada
por uma experincia aleatria natural, e designar esse tipo de sequncias por
sequncias de nmeros pseudo-aleatrios.
2. Gerar sequncias de nmeros pseudo-aleatrios com um dado comprimento ,
recorrendo a uma folha de clculo ou a uma mquina de calcular adequada.
3. Simular experincias aleatrias com um dado nmero finito de casos possveis
programando clculos adequados a partir sequncias de nmeros pseudo-aleatrios,
recorrendo a uma folha de clculo ou a uma mquina de calcular, designar a sequncia
de resultados assim obtidos por experincia pseudoaleatria e o processo utilizado
para os obter por simulao de Monte Carlo.
6. Ilustrar propriedades inferenciais da mdia recorrendo simulao Monte Carlo
1. Obter, fixado um certo conjunto de dados quantitativos, amostras de igual dimenso
, recorrendo a uma sequncia de nmeros pseudo-aleatrios e reconhecer que a
distribuio dos valores que se obtm para a mdia de cada uma das amostras de
dimenso to mais concentrada em torno da mdia do conjunto de dados inicial
quanto maior for o valor de e quanto menor for o desvio padro do conjunto de dados
inicial.
7. Resolver problemas
1. +Resolver problemas envolvendo a mdia e o desvio padro de uma amostra.
2. +Resolver problemas envolvendo os percentis de uma amostra.
3. +Resolver problemas envolvendo sequncias de nmeros pseudo-aleatrios.
TRI11 Pgina 26
11. ANO
Trigonometria 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
1. Justificar, dado um tringulo acutngulo [] e fixada uma unidade de comprimento,
que a altura relativa ao vrtice dada por onde
.
2. Provar, dado um tringulo acutngulo [] , de ngulos internos
e de lados de medida
,
fixada uma unidade de comprimento, e sendo agudos os ngulos internos em e ,
que, se
( )
( )
6. Provar, dado um tringulo [], de lados de medida
, fixada
uma unidade de comprimento, e sendo agudo o ngulo interno em , que, se
e que () .
16. Provar, dados ngulos e convexos tais um ngulo convexo, que
( ) () () () () e ( ) () () () ().
17. Provar, dado um ngulo convexo , e representando por
, que
ou
.
Orientao de ngulos num plano e rotaes
2. Definir ngulos orientados e a respetiva medida 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. Interpretar intuitivamente, dados ngulos orientados e situados no mesmo plano ,
a expresso e tm a mesma orientao, tomando-a como verdadeira quando,
imaginando os movimentos dos ponteiros de relgios cujos mostradores se supem
situados no plano de modo que os ponteiros de cada um deles se deslocam em torno
dos vrtices de cada um dos ngulos, se verifica que, em ambos os casos, ou os
ponteiros descrevem os ngulos comeando nos lados origem e terminando nos lados
extremidade ou, em ambos os casos, se d a situao inversa, e referir que e tm
orientaes opostas ou que tem orientao contrria de nas restantes
situaes.
TRI11 Pgina 28
3. Saber, dados dois ngulos orientados e situados no mesmo plano, que possivel dar
um sentido rigoroso expresso e tm a mesma orientao, que, em particular,
e tm orientaes opostas quando resultam de orientar o mesmo ngulo escolhendo
lados distintos para lado origem, tambm quando e so ngulos adjacentes e
partilham o lado origem, que e tm a mesma orientao quando os respetivos lados
origem e extremidade so dois a dois diretamente paralelos e so ambos convexos ou
ambos cncavos, e que estes trs critrios so suficientes para comparar as orientaes
de quaisquer dois ngulos orientados, recorrendo eventualmente a ngulos orientados
auxiliares.
4. Identificar plano orientado como um plano no qual se fixou um ngulo orientado e
designar os ngulos desse plano com a mesma orientao que como tendo
orientao positiva, os ngulos com orientao oposta como tendo orientao
negativa e afetando do sinal as amplitudes destes ltimos enquanto ngulos
orientados, bem como as respetivas medidas.
5. Identificar, dado um plano orientado e uma representao grfica desse plano, na
qual o observador imagina o mostrador de um relgio, como estando orientado no
sentido contrrio aos dos ponteiros do relgio ou no sentido anti-horrio, quando
tem orientao negativa um ngulo orientado convexo representado de modo que o
lado origem fica determinado por um dos ponteiros em certo instante e o lado
extremidade fica determinado pelo mesmo ponteiro uns instantes depois, antes de
completar meia volta.
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
quando
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 de
radianos.
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
.
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. Justificar que para todo o , ( ) e ( ) .
8. Justificar que a funo real de varivel real tangente tem domnio
e que
os respetivos zeros so os nmeros da forma , .
9. Justificar que as funes seno e tangente so mpares e a funo cosseno par.
TRI11 Pgina 31
8. Estabelecer frmulas bsicas da trigonometria
1. Provar que para todo o ,
) e (
) ,
estendendo-se assim as frmulas j conhecidas envolvendo apenas medidas de
amplitude de ngulos geomtricos convexos.
3. Justificar que, para todo o , () e ()
.
4. Esboar o grfico de funes definidas por () ( ) ,
() ( ) e () ( ) , onde .
9. Definir funes trigonomtricas inversas
1. +Reconhecer que as funes [
] [], [ ] [] 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
3. Reconhecer, dados nmeros reais e , que se e somente se existir
tal que ou
4. Reconhecer, dados nmeros reais e , que se e somente se existir
tal que
5. Resolver equaes da forma e , .
10. Resolver problemas
1. +Resolver equaes trigonomtricas e problemas envolvendo frmulas trigonomtricas
e a determinao de razes trigonomtricas.
2. +Resolver problemas envolvendo a resoluo de tringulos.
3. +Resolver problemas envolvendo a determinao de distncias utilizando ngulos e as
respetivas razes trigonomtricas.
4. +Resolver problemas envolvendo funes trigonomtricas.
TRI11 Pgina 32
11. Osciladores harmnicos
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
, [(respetivamente o
nmero
, 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 | | e designar esta desigualdade por
desigualdade de Cauchy-Schwarz.
8. Justificar, dados vetores e , que .
9. +Provar, dados vetores e e um nmero real , que () ( ).
10. +Provar, dados vetores , e , que ( ) .
11. Justificar, fixado um plano munido de um referencial ortonormado e vetores (
) e
(
), que
.
GA11 Pgina 34
12. 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
.
13. Justificar, fixado um referencial ortonormado do espao e dados vetores (
) e
(
) do espao, que
.
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
forem colineares e e so perpendiculares se e somente se
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
) .
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 quando for nulo ou,
no sendo nulo, se for vetor diretor de uma reta de .
8. Provar, dado um plano , um ponto
e
designar esta equao por equao vetorial do plano .
9. Provar, dado um plano , um ponto
) e dois vetores (
) e
(
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.
4. +Resolver problemas envolvendo equaes de planos e de retas no espao.
PL11 Pgina 35
Programao Linear PL11
Introduo otimizao
1. Definir o vocabulrio bsico dos problemas de otimizao
1. Designar por funo objetivo uma funo
, por
regio admissvel o conjunto , e designar genericamente por problema de
otimizao o problema cuja resoluo consiste em determinar os eventuais extremos
de uma funo objetivo numa dada regio admissvel e os pontos em que so atingidos.
2. Designar, dado um problema de otimizao, por pontos admissveis os elementos da
regio admissvel.
3. Designar, dada uma funo
() } e justificar que
se
, .
Introduo programao linear
2. Conhecer as propriedades elementares dos problemas de programao linear
1. Designar por problema de programao linear um problema de otimizao no qual a
funo objetivo definida no conjunto
no ambos nulos, 1 .
2. Justificar que num problema de programao linear os conjuntos de nvel da funo
objetivo so retas paralelas entre si e design-las por retas de nvel.
3. Designar um subconjunto do plano por limitado quando existe um crculo tal que
4. Saber, dado um referencial cartesiano, que o conjunto de pontos que representam uma
regio admissvel S limitada associada a um problema de programao linear um
polgono convexo e, em particular que se dois pontos e pertencem a ento
[] .
5. Reconhecer, dado um problema de programao linear, que se a regio admissvel for
limitada, a funo objetivo admite um mximo e um mnimo e que estes so atingidos
em pelo menos um vrtice da regio admissvel, traando, num referencial cartesiano,
retas de nvel de intersetando e recorrendo intuio geomtrica.
6. Justificar, dado um problema de programao linear, que se o mximo (ou o mnimo) da
funo for atingido em dois vrtices consecutivos
da regio admissvel
ento tambm atingido em todos os pontos do segmento de reta [
] .
3. Resolver problemas
1. +Resolver problemas de programao linear por mtodos geomtricos e analticos.
SUC11 Pgina 36
Sucesses SUC11
Generalidades sobre sucesses
1. Caracterizar o conjunto dos majorantes e 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.
5. Saber, dado um subconjunto no vazio de majorado, que o conjunto dos
majorantes de admite mnimo, design-lo por supremo de e designar este
resultado por princpio do supremo.
6. Justificar, dado um subconjunto no vazio de minorado, que o conjunto dos
minorantes de admite mximo e design-lo por nfimo de .
7. Justificar, dado um subconjunto no vazio de majorado, que o conjunto dos
majorantes de o intervalo da forma [ [, onde o supremo de .
8. Justificar, dado um subconjunto no vazio de minorado, que o conjunto dos
minorantes de o intervalo da forma ] ], onde o nfimo de .
9. Reconhecer que um nmero real o supremo de um subconjunto de se e
somente se for majorante de e para todo o nmero real existe tal
que .
10. Reconhecer que um nmero real o nfimo de um subconjunto de se e somente
se for minorante de e para todo o nmero real existe tal que .
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
), ou ainda por
, quando estas
notaes no forem ambguas) a prpria sucesso .
2. Identificar uma sucesso (
(respetivamente
) e reconhecer
que (
(respetivamente
).
3. Identificar uma sucesso (
(respetivamente
) e reconhecer que (
) crescente (respetivamente
descrescente) em sentido lato se e somente se para todo ,
(respetivamente
).
SUC11 Pgina 37
4. Identificar uma sucesso (
} dos
respetivos termos for majorado e designar os majorantes deste conjunto tambm por
majorantes da sucesso.
5. Identificar uma sucesso (
} dos
respetivos termos for minorado e designar os minorantes deste conjunto tambm por
minorantes da sucesso.
6. Designar por limitada uma sucesso (
(), onde
{ }.
2. Saber, dada uma funo e , que existe uma sucesso (
) de elementos
de tal que
em , onde
).
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 dos termos de progresses aritmticas e geomtricas finitas
1. Designar, dado , por progresso aritmtica (finita) de comprimento
(respetivamente progresso geomtrica (finita) de comprimento ), a sequncia
(
.
2. +Reconhecer, dado , que a soma dos termos de uma progresso aritmtica de
comprimento , (
), dada por
.
SUC11 Pgina 38
3. +Reconhecer, dado , que a soma dos termos de uma progresso geomtrica de
comprimento , de primeiro termo
.
6. Operar com juros compostos
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
.
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
Limites de sucesses
7. Definir o limite de uma sucesso
1. Identificar, dada uma sucesso (
)
ou como limite de
| , referir, nesta
situao, que
tende para (
), e designar a sucesso (
por
convergente quando um tal limite existe e por divergente no caso contrrio.
2. Provar que o limite de uma dada sucesso (
ou simplesmente por
.
3. +Reconhecer que as sucesses convergentes so limitadas.
4. Identificar uma sucesso (
ou
tende para (
ou
tende para
(
.
8. Provar, dados nmeros reais e utilizando a definio de limite, que o limite da
sucesso de termo geral
se , a
, se e
, a se e
e a
, se , ou seja, em
particular, que o limite de uma sucesso constante igual prpria constante.
9. Provar, utilizando a definio de limite, que, dado um nmero racional ,
se e
se .
10. Provar, dadas duas sucesses (
) e (
, que a sucesso (
) convergente e que (
.
11. #Provar, dadas duas sucesses (
) e (
, que a sucesso (
) convergente e que
.
12. #Provar, dada uma sucesso (
no
nulo, que
convergente, com limite
ento a sucesso (
) convergente e
.
13. #Provar, dada uma sucesso convergente (
convergente e que (
.
14. #Provar, dada uma sucesso convergente (
convergente e (
.
15. Provar, dadas sucesses (
) e (
) e (
) e (
) e referir esta
situao por indeterminao do tipo () ().
18. #Provar, dadas sucesses (
), com limite , e (
) com limite
ou
(respetivamente com limite
ou ), que (
) (respetivamente
lim (
), com limite , e (
) com limite
(respetivamente com limite
ou ), que (
) (respetivamente
(
(respetivamente por ()
se for mpar).
21. Justificar, dadas sucesses (
) e (
(ou
) e
) e
referir esta situao por indeterminao do tipo .
22. #Provar, dada uma sucesso (
), que
e representar esta
propriedade por
.
23. #Provar, dada uma sucesso (
), que
.
24. #Provar, dada uma sucesso (
.
25. Justificar, dadas sucesses (
) e (
(respetivamente
, onde (
) no se anula) nada se
pode concluir acerca da existncia do limite
).
26. Justificar, dado um polinmio () de grau superior ou igual a , que a sucesso
(() )
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.
28. +Provar, dado um nmero real , que
se e que
se
.
29. +Provar, dado um nmero real , que
.
30. Saber de memria os limites das sucesses de termo geral
( )
( ).
8. 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. +Resolver problemas envolvendo juros compostos.
4. +Calcular, por meios algbricos, o limite de sucesses em situao indeterminada e
referir esse clculo como um levantamento da indeterminao.
5. +Resolver problemas envolvendo a noo de limite de uma sucesso.
FRVR11 Pgina 41
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 (
.
2. Identificar, dada uma funo real de varivel real e um ponto ,
como limite de () quando tende para quando for aderente ao
domnio
de elementos de
convergente
para , (
(), 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 , um conjunto e ,
como o limite de () quando tende para por valores em quando
][
(), representar por
][
(), representar por
, que se
e se os limites
() e
()
()
().
7. Saber, dada uma funo real de varivel real e um ponto
, que se os limites
() e
()
()
().
8. Identificar um conjunto como tendo como ponto aderente
(respetivamente como tendo como ponto aderente) quando existe uma sucesso
de elementos de com limite (respetivamente ).
9. Identificar, dada uma funo real de varivel real cujo domnio tem como ponto
aderente, como limite de () quando tende para mais infinito quando para
toda a sucesso (
) de elementos de
com limite , (
) , justificar que
FRVR11 Pgina 42
um tal limite, se existir, nico, represent-lo por
) de elementos de
com limite , (
) , justificar
que um tal limite, se existir, nico, represent-lo por
(soma de com ),
,
(produto de por ),
() }),
()
()
()
,
()() () e
() ()
, e
() e se limitada ento
, que
se
() e
() ento
()() .
2. Definir a noo de continuidade e as respetivas propriedades fundamentais
1. Justificar, dada uma funo real de varivel real e um ponto do respetivo domnio
que se o limite
() existe.
3. Designar, dada uma funo real de varivel real de domnio
, a funo por
contnua no conjunto
.
FRVR11 Pgina 43
4. +Provar que se uma funo real de varivel real de domnio
for contnua em
e () (respetivamente () ou () ) ento existe uma vizinhana de
tal que no se anula (respetivamente positiva ou negativa) em
.
5. Justificar que se as funes reais de varivel real
so contnuas
num ponto , ento as funes , e so contnuas em e, se () ,
a funo
contnua em .
6. Designar por funo racional uma funo real de varivel real dada por uma
expresso da forma
()
()
, onde e 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, cosseno e tangente so contnuas.
10. Justificar, dadas funes reais de varivel real e e
, que se contnua em
e continua em () ento a funo composta contnua em .
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
()
(respetivamente
()
.
5. +Resolver problemas envolvendo a determinao de assintotas ao grfico de funes
racionais e de funes definidas pelo radical de uma funo racional.
FRVR11 Pgina 44
Diferenciabilidade de funes reais de varivel real
5. Definir a noo de derivada
1. Identificar, dada uma funo real de varivel real e dois pontos e do respetivo
domnio, a taxa mdia de variao de entre e como
()()
.
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 (
ou
derivvel em
.
4. Justificar, dada uma funo real de varivel real e um ponto
do respetivo domnio,
que o limite
()(
)(
existir e
que, nesse caso, ambos os limites so iguais.
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 (
e pelo ponto
( ()), que
() (
).
6. Operar com derivadas
1. Designar, dada uma funo real de varivel real , a funo derivada de como a
funo de domnio
} que a cada
faz
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 45
7. Provar, dado um conjunto e funes reais de varivel real ,
diferenciveis num ponto de , com () , que a funo
diferencivel em e
que (
()
()()()
()
(())
8. +Provar, dada uma funo
tal 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
()
(respetivamente de
domnio {}) definida por ()
()
.
12. Provar, para todo o nmero racional uma funo real de varivel real de domnio
()
()
, considerando
tambm estas funes como funes de referncia (para o clculo de derivadas).
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.
7. Aplicar a noo de derivada cinemtica do ponto
1. Identificar, fixados um instante
se , ou
|| unidades de tempo antes de
,
(
)(
,
e, para , a velocidade instantnea de no instante na unidade como a
derivada de em , (), caso exista.
FRVR11 Pgina 46
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
ento (
, interpretar
geometricamente este resultado e design-lo por Teorema de Lagrange e, no caso em
que () (), por Teorema de Rolle.
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 .
5. Justificar que se uma funo real de varivel real contnua num dado intervalo de
extremo esquerdo e extremo direito , diferencivel em] [ e, ] [, () ,
ento constante em .
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.
EST11 Pgina 47
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 (
) 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 (
e so
equivalentes, onde e representam, respetivamente, as mdias das amostras
) e
(
).
3. + Reconhecer, fixado um referencial ortogonal num plano e dados um nmero natural ,
uma sequncia (
atinge um
mnimo absoluto no ponto
) e
(
) as amostras
correspondentes das variveis estatsticas e , a amostra bivariada das variveis
estatsticas e (ou simplesmente amostra de dados bivariados (quantitativos))
como a sequncia ((
) (
) (
), e por dimenso da
amostra o nmero natural .
5. 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.
6. Designar, dada uma amostra de dados bivariados, a varivel considerada dependente
por varivel resposta e a varivel considerada independente por varivel
explicativa.
EST11 Pgina 48
7. Designar, fixado um referencial ortonormado num plano, e uma amostra de
dados bivariados quantitativos (
) ((
) (
) (
)(
, represent-lo por
, reconhecer que
), ,
esto alinhados.
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.
CC12 Pgina 49
12. ANO
Clculo Combinatrio CC12
Introduo ao clculo combinatrio
1. 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 , que ( ) ( ) ( ) e que
( ) ( ) ( ).
4. +Reconhecer, dados conjuntos e de cardinais respetivamente iguais a e a
, que o cardinal do produto cartesiano igual a .
5. Reconhecer dados nmeros naturais e que existem
funes de domnio
{ } e de conjunto de chegada { } e designar esse
nmero por arranjos com repetio de elementos a (
).
6. Justificar que existem exatamente
sequncias de
elementos, no
necessariamente distintos, escolhidos num conjunto de cardinal , reconhecendo
que, dados objetos, existem exatamente
elementos ( ) ento () tem
elementos ( ()
).
8. Designar, dado , uma bijeo do conjunto { } sobre ele prprio por
permutao de elementos, reconhecer que existem exatamente
( ) ( ) funes desse tipo, designar este nmero por
fatorial de e represent-lo por ( fatorial).
9. Saber que, por conveno, , reconhecendo que esta definio a nica para a
qual a igualdade ( ) vale tambm para .
10. +Simplificar expresses envolvendo fatoriais.
11. Reconhecer, dados nmeros naturais e , , que existem
( ) ( )
()
funes injetivas de domnio { } e
conjunto de chegada { }, e designar este nmero por arranjos (sem
repetio) de elementos a (
).
12. Justificar que existem exatamente
sequncias de
elementos distintos
escolhidos num conjunto de elementos, reconhecendo que, dados objetos,
existem exatamente
()
subconjuntos de elementos ( ), e designar este nmero por combinaes
de elementos a , reconhecendo que, dado objetos, existem exatamente
formas de escolher ( ) de entre eles e representar este nmero por
,
por
ou por (
).
2. 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
e
utilizar esta igualdade para construir, progressivamente, o tringulo de Pascal, no qual
figuram, na -sima linha, os coeficientes binomiais
, ,
,
designando-a por binmio de Newton, e por esta razo, designar os nmeros
igualmente por coeficientes binomiais.
3. Resolver problemas
1. +Resolver problemas envolvendo cardinais de conjuntos e o nmero de aplicaes entre
conjuntos.
2. +Resolver problemas de contagens envolvendo arranjos e combinaes.
3. +Resolver problemas envolvendo o tringulo de Pascal e o binmio de Newton.
PRB12 Pgina 51
Probabilidades PRB12
Definio de probabilidade
1. Definir espaos de probabilidade
1. Identificar, dado um conjunto finito , uma probabilidade no conjunto () das partes
de , ou simplesmente uma probabilidade como uma funo de domnio ()
e de valores no negativos tal que () e, para () disjuntos,
( ) () (), designar, neste contexto, o conjunto por espao
amostral ou universo dos resultados, () por espao dos acontecimentos, os
respetivos elementos por acontecimentos, (), para (), por probabilidade
do acontecimento e o terno ( () ) por espao de probabilidades.
2. Designar, dado um espao de probabilidade ( () ), o espao amostral por
acontecimento certo, o conjunto vazio por acontecimento impossvel, 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 espao de probabilidade ( () ) e um acontecimento
por casos favorveis a os elementos de e por casos possveis os elementos do
espao amostral .
4. Designar, dado um espao de probabilidade ( () ), um acontecimento por
elementar quando e por composto quando .
5. Justificar, dado um conjunto finito , que a funo de domnio () definida por
() ()
) () e que ()
7. Provar, dado um espao de probabilidade ( () ) e acontecimentos (),
que se , () () () justificando que () (), e designar este
ltimo resultado por monotonia da probabilidade.
8. Justificar, dado um espao de probabilidade ( () ) que () () [].
9. Provar, dado um espao de probabilidade ( () ) e acontecimentos ()
que ( ) () () ( )
2. Definir a 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.
PRB12 Pgina 52
2. Designar, dado um espao de probabilidade ( () ) e acontecimentos
(), 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 espao de probabilidade ( () ) e um acontecimento (),
com () , que a funo
() (|) uma
probabilidade em ().
4. Justificar, dado um espao de 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 espao de probabilidade ( () ), e uma partio
{
)(
) (|
)(
)
(|
)(
),
probabilidade do acontecimento
) por
( ).
2. Justificar, dado um espao de probabilidade ( () ), e uma varivel
aleatria discreta de contradomnio constitudo por elementos
que
, onde
represent-la por e
interpret-la como uma medida da disperso, relativamente ao respetivo valor mdio,
dos valores tomados por .
3. +Reconhecer, dado um espao de probabilidade ( () ) e uma varivel aleatria
discreta de contradomnio constitudo por elementos
( ) que o
desvio padro de igual
.
4. Designar por distribuio de Bernoulli a distribuio de probabilidades de uma
varivel aleatria de contradomnio ][ se essa distribuio de probabilidades tiver
valor no nulo em , justificar que o respetivo valor em e designar por
parmetro da distribuio de Bernoulli.
5. Designar, dado um espao de probabilidade ( () ), um nmero natural e um
nmero real ][ por distribuio binomial de parmetros e a distribuio
de probabilidades de uma varivel aleatria { }, tal que
( )
( )
) e (
ento
.
2. #Provar, dadas sucesses (
) e (
ento
.
3. #Provar, dadas sucesses (
) e (
ento
.
4. #Provar, dadas sucesses (
) e (
, que (
) convergente
e
() ] [ (respetivamente da forma
() ] [),
onde um nmero real.
7. #Provar, dadas funes reais de varivel real e de domnio e um ponto
aderente a , que se existir uma vizinhana de , tal que para todo o ,
() () e
() (respetivamente
() ), ento
()
(respetivamente
()
()
()
() ento
()
()
())
.
2. Demonstrar, utilizando a frmula para o clculo da derivada de uma funo inversa, que
para todo o nmero natural par (respetivamente para todo o nmero natural
impar) a funo definida em
(respetivamente em ) por ()
diferencivel em
()
se ).
5. 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 .
FRVR12 Pgina 56
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
de , a
acelerao mdia de no intervalo no intervalo de tempo [
] na unidade
como a taxa mdia de variao de entre
,
(
)(
, e, para , a
acelerao instantnea de no instante na unidade
como a derivada de
segunda ordem de em .
6. 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, e o sentido das concavidades, os pontos de inflexo e as
assintotas ao respetivo grfico.
3. +Resolver problemas de otimizao, com aplicaes prticas, 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
de equaes da forma () () ( e 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.
TRI12 Pgina 57
Trigonometria TRI12
Diferenciao de funes trigonomtricas
1. Calcular a derivada de funes trigonomtricas
1. +Reconhecer que existe uma vizinhana de tal que para todo o no negativo
pertencente a , e provar que
.
3. Provar que a funo tangente diferencivel no respetivo domnio
.
Aplicaes aos osciladores harmnicos
2. Relacionar osciladores harmnicos e a Segunda Lei de Newton
1. Saber, fixadas unidades de tempo (), comprimento () e massa (), e dado um ponto
material de massa , na unidade , que se desloca num dado intervalo de
tempo ao longo de um eixo , que a acelerao do ponto proporcional, com
constante de proporcionalidade igual a , fora a que se encontra submetido, ou seja,
representando por () a funo posio de e por () a funo fora que sobre ele
se exerce ( funo real definida em , o vetor unitrio com a direo e sentido do
eixo ) numa unidade adequada, dependente apenas de e , que
) e de sentido
igual ao do vetor
, onde
, onde () e
crescente se e decrescente se .
2. +Provar, dado um nmero real , que
contnua.
3. +Provar que se ,
e
o facto da funo definida nos nmeros racionais por ()
ser crescente.
4. Justificar que, se ,
, e que, se
.
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
em ao conjunto ,
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 a funo
definida em
por ()
contnua.
7. Saber que a funo definida em ] ] por () (
.
8. Designar a funo exponencial de base simplesmente por funo exponencial e
represent-la tambm por .
9. Saber que
definida por
()
, por
logaritmo de base , represent-la por
e justificar que
()
e
) .
2. Designar o logaritmo de base 10 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 , que
() e que
() .
7. #Provar, dado , e
, que
()
()
(),
(),
()
() e
().
8. #Provar, dados , 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. Justificar, dado , , que para todo o
()
()
Limites notveis
4. Conhecer alguns limites notveis envolvendo funes exponenciais e logartmicas
1. +Provar, dado , que para todo o (
e
justificar que
.
2. Justificar, dado , que
.
3. Justificar que
()
e que
[ ()] .
4. +Calcular limites de funes e sucesses envolvendo logaritmos e exponenciais.
FEL12 Pgina 61
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
().
6. Resolver problemas
1. +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 assintotas ao respetivo
grfico.
2. +Resolver problemas envolvendo as propriedades algbricas das funes exponenciais e
logartmicas.
3. +Resolver problemas envolvendo a modelao de sistemas por equaes diferenciais
lineares do 1. grau.
PCI12 Pgina 62
Primitivas e Clculo Integral PCI12
Noo de Primitiva
1. Definir a noo de primitiva
1. Designar, dada uma funo 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. 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.
6. +Calcular primitivas de funes dadas por expresses da forma
()(()) em que
a derivada de uma funo de referncia para a diferenciao.
Noo de Integral
2. Abordar intuitivamente o integral definido de uma funo contnua no negativa
1. Saber, fixada uma unidade de medida de rea e dadas duas regies do plano e para
as quais est definida a rea, que a medida da rea de igual soma das medidas
das reas de e quando tem medida de rea nula e justificar que, se , a
medida da rea de inferior ou igual medida da rea de .
2. Saber, fixada uma unidade de medida de rea e dada uma regio do plano para a qual
est definida a rea, que se a imagem de por uma isometria, a medida da rea de
igual medida da rea de .
3. Identificar a medida da rea dos segmentos de reta como nula em qualquer unidade.
4. Saber, dado um referencial cartesiano e uma funo contnua tal que () (ou
() ) para [ ] que a noo de rea se pode estender regio do
plano delimitada pelo grfico de , o eixo da abcissas e as retas de equao e
.
PCI12 Pgina 63
5. Identificar, dado um referencial cartesiano e uma funo contnua tal que ()
para [ ], , o integral de entre 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 .
6. 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.
7. Saber que na expresso ()
9. Provar, dada uma funo contnua no negativa num intervalo [ ], que a funo
definida em [ ] por
() ()
[()]
) 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 justificar que se tem ()
()
.
12. Identificar uma funo de domnio [ ] ( ) como alternando de sinal um
nmero finito de vezes se for contnua e se existir uma sequncia (
,
{}, com
] ( ) e identificar o integral de
entre e como a soma ()
()
()
()
,
reconhecendo que este valor no depende da sequncia (
.
13. Reconhecer que a tese do Teorema fundamental do clculo integral e a frmula de
Barrow valem para funes que alternam de sinal um nmero finito de vezes.
14. Saber que possvel construir uma teoria da integrao que, em particular, permite
integrar qualquer funo contnua num intervalo da forma [ ] , ainda que
alterne de sinal um nmero infinito de vezes, e que possvel estender a essas funes
o teorema fundamental do clculo, pelo que, em particular, qualquer funo contnua
num intervalo I primitivvel em I.
3. Conhecer propriedades do integral definido
1. Reconhecer, dadas funes e definidas num intervalo [ ] ( ) que
alternam de sinal um nmero finito de vezes e um nmero real , que as funes
e alternam de sinal um nmero finito de vezes, justificar que
(() ())
()
()
e que () ()
e
designar o conjunto destes resultados por linearidade do integral definido.
PCI12 Pgina 64
2. Reconhecer, dadas duas funes e definidas num intervalo [ ] ( ) que
alternam de sinal um nmero finito de vezes, que se para todo o
] [ () () (respetivamente () ()) ento ()
()
(respetivamente ()
()
( )()
e designar este resultado por Teorema da mdia.
4. Saber, dada uma funo definida num intervalo que alterna de sinal um nmero
finito de vezes e dois pontos e de tais que , que, por conveno,
()
()
()
()
.
4. 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.
NC12 Pgina 65
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
),
designar o conjunto
, 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 ( ) ( ) ( ) ( ) ( )() .
6. Designar, dado um nmero complexo ( ), por parte real de e
por parte imaginria de , e represent-las respetivamente por () e por ().
NC12 Pgina 66
7. Justificar que um nmero complexo real se e somente se () e designar por
nmeros imaginrios puros os nmeros complexos no nulos tais que () .
8. Justificar, dados , que ( ) ( ) ( ) e
que ( ) ( ) ( )
9. Designar, dado um plano munido de um referencial ortonormado e , orientado
pelo primeiro quadrante, 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 a
imagem pela translao de vetor ( ) do ponto afixo de o 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 de afixo .
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
|.
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
||
.
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 qu
10. Justificar, dados nmeros complexos e , que |
|
||
||
e que (
.
NC12 Pgina 67
4. Definir a forma trigonomtrica de um nmero complexo
1. Designar um nmero complexo de mdulo 1 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 , onde um
nmero inteiro.
2. Justificar, dados nmeros complexos unitrios
, , que
( ) ( ) e que
()
e
()
.
3. +Reconhecer, dado um nmero complexo no nulo , 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 .
4. Designar a representao de um nmero complexo no nulo 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
.
5. Justificar, dado um nmero complexo no nulo , que existe um nico argumento de
no intervalo ] ] e design-lo por argumento principal de e represent-lo por
()
6. Reconhecer, dado um nmero complexo no nulo , que o nmero real um
argumento de se e somente se, no plano complexo, o afixo de pertencer ao lado
extremidade do ngulo orientado que tem por lado origem o eixo real positivo e medida
de amplitude, em radianos, igual a .
7. Justificar, dado um nmero real , que se o afixo de um nmero complexo , o afixo
do nmero complexo
, o argumento principal de a
medida, em radianos, do ngulo orientado de lado origem e de lado extremidade .
9. Justificar, dado um nmero complexo
|.
10. Justificar que um argumento do nmero complexo no nulo , se
e somente se ()
e ()
.
11. Provar, dado e , que ( )
() () e designar
este resultado por Frmula de De Moivre.
NC12 Pgina 68
5. Extrair razes n-simas de nmeros complexos
1. +Reconhecer, dado um nmero complexo no nulo e um nmero natural , que a
equao
||
)
, ,
onde um argumento de , e designar estes nmeros por razes -simas de ou
razes de ordem de .
2. Justificar, dado um nmero complexo no nulo , que a equao
tem duas
solues complexas das quais uma e apenas uma admite um argumento no intervalo
[ [, design-la por raiz quadrada de , represent-la por reconhecendo que se
trata de uma extenso da funo raiz quadrada definida nos nmeros reais positivos e
justificar que existem complexos e tais que .
3. Reconhecer, dados , ( ) que as razes da equao
so
dadas por
, a equao tem
duas solues complexas conjugadas uma da outra.
6. Resolver problemas
1. +Resolver problemas envolvendo nmeros complexos a 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 polar 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 complexos do segundo grau.