Documente Academic
Documente Profesional
Documente Cultură
Matemtica A
Ensino Secundrio
Cursos Cientfico-Humansticos
de Cincias e Tecnologias e de Cincias Socioeconmicas
(Submetido consulta pblica, 2013)
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)
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
Ficha Tcnica
Pgina 1
Programa de Matemtica A
Ensino Secundrio
Cursos Cientfico-Humansticos de
Cincias e Tecnologias e de Cincias Socioeconmicas
1. INTRODUO
No mbito da reviso 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 3
Introduo
Pgina 4
Pgina 5
3. OBJETIVOS
Os objetivos que traduzem os desempenhos fundamentais que os alunos devero evidenciar ao
longo do Ensino Secundrio so explicitados por verbos a que se atribuem significados especficos e que
servem de base leitura dos descritores elencados nas Metas Curriculares.
Requerem-se assim os seguintes 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 hipotticodedutivo, 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 6
Objetivos
Pgina 7
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 8
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 9
Contedos
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 10
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
Contedos
Pgina 11
Contedos
Pgina 12
Estudo elementar das funes quadrticas, raiz quadrada, raiz cbica e mdulo e de
funes definidas por ramos
- Extremos, sentido das concavidades, razes e representao grfica de funes
quadrticas;
- Funes definidas por ramos;
|
|
- Estudo da funo
;
- As funes
e
enquanto funes inversas;
- Domnio e representao grfica das funes definidas analiticamente por
( )
e ( )
;
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 13
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 14
Pgina 15
Contedos
Contedos
Pgina 16
GA11
32 aulas
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
Contedos
Pgina 17
( )
,
( )
onde
so polinmios;
Contedos
Pgina 18
Contedos
Pgina 19
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 20
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 verificandose 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 ( )
definida no conjunto dos nmeros racionais (onde
), argumentando-se, com determinadas passagens ao limite, e admitindo alguns resultados
intuitivos, mas de demonstrao mais delicada, que esta funo se pode estender ao conjunto dos
nmeros reais mantendo, no essencial, as mesmas propriedades algbricas. Prope-se depois o clculo da
derivada da funo exponencial, partindo do limite
, que
admitido, embora se
abordem algumas propriedades de aproximao sequencial da exponencial que podem ser utilizadas na
respetiva justificao. As funes logartmicas so introduzidas como funes inversas das funes
exponenciais, tomadas como bijees sobre os respetivos contradomnios, j que se demonstra tratar-se
de funes injetivas. Esta abordagem permite estabelecer facilmente, a partir das propriedades
conhecidas das funes exponenciais, as propriedades algbricas e analticas das funes logartmicas.
Aborda-se ainda o clculo de alguns limites que comparam o crescimento das funes polinomiais,
exponenciais e logartmicas e que os alunos devem conhecer.
De forma anloga ao caso dos osciladores harmnicos, tambm o estudo de certas equaes
diferenciais lineares de primeira ordem permite justificar a utilizao de funes exponenciais na
modelao de inmeros fenmenos, como a evoluo de algumas populaes, da temperatura de
determinados sistemas ou o decaimento de uma substncia radioativa.
Considera-se relevante que os alunos terminem o Ensino Secundrio com algumas noes, ainda
que no inteiramente formalizadas, de Clculo Integral, j que, em certo sentido, se trata de um
complemento essencial do Clculo Diferencial. Podero dessa forma construir uma viso mais unificada e
abrangente da Anlise elementar. nesse esprito que foi concebido o domnio Primitivas e Clculo
Integral. Aps a introduo da definio de primitiva de uma funo e do estudo de algumas das
respetivas propriedades imediatas, abordada a noo de integral de uma funo contnua e no
negativa num intervalo limitado, de forma intuitiva e visual, recorrendo noo de rea e, utilizando-se
propriedades elementares admitidas para esta noo, demonstra-se o Teorema fundamental do clculo e
a frmula de Barrow. A definio posteriormente estendida s funes contnuas que alternam de sinal
um nmero finito de vezes, bem como os referidos resultados fundamentais, e, finalmente, refere-se
apenas a possibilidade de extenso a todas as funes contnuas. Neste domnio so, de modo geral,
estudadas as principais propriedades dos integrais definidos e analisadas algumas tcnicas de
primitivao e de integrao.
Finalmente, no domnio Nmeros Complexos, apresenta-se a motivao histrica para a introduo
dos nmeros imaginrios, relacionada com a frmula de Cardano para a resoluo de equaes do
terceiro grau. Introduz-se em seguida o corpo dos nmeros complexos, tendo-se optado por efetuar uma
construo algbrica que consiste em munir o conjunto
da operao de adio usual e de uma
Contedos
Pgina 21
Contedos
PRB12
27 aulas
Contedos
Espaos de probabilidade
- Probabilidade no conjunto das partes de um espao amostral finito; espao de
probabilidades;
- Acontecimento impossvel, certo, elementar e composto; acontecimentos
incompatveis, acontecimentos contrrios, acontecimentos equiprovveis e regra de
Laplace;
- Propriedades das probabilidades: probabilidade do acontecimento contrrio,
probabilidade da diferena e da unio de acontecimentos; monotonia da
probabilidade;
- Resoluo de problemas envolvendo a determinao de probabilidades em situaes
de equiprobabilidade de acontecimentos elementares;
- Resoluo de problemas envolvendo espaos de probabilidade e a determinao de
propriedades da funo de probabilidade.
Pgina 22
Probabilidade Condicionada
- Probabilidade condicionada;
- Acontecimentos independentes;
- Teorema da probabilidade total;
- Resoluo de problemas envolvendo probabilidade condicionada, acontecimentos
independentes e o Teorema da probabilidade total.
Variveis aleatrias discretas e distribuies de probabilidade
- Varivel aleatria discreta; distribuio de probabilidade discreta;
- Valor mdio e desvio-padro de uma varivel aleatria discreta;
- Distribuio de Bernoulli;
- Distribuio binomial;
- Resoluo de problemas envolvendo distribuies de probabilidade, a mdia e o desvio
padro de uma varivel aleatria;
- Resoluo de problemas envolvendo as distribuies de Bernoulli e binomial.
FRVR12
32 aulas
Limites e Continuidade
- Teoremas de comparao para sucesses e teorema das sucesses enquadradas;
- Convergncia das sucesses montonas e limitadas;
- Vizinhanas de
e de
;
- Teoremas de comparao envolvendo desigualdades entre funes e os respetivos
limites;
- Teorema das funes enquadradas;
- Utilizao dos teoremas de comparao e do teorema das funes enquadradas para
determinar limites de funes reais de varivel real;
- Teorema dos valores intermdios (Bolzano Cauchy);
- Bijetividade das funes montonas e contnuas num dado intervalo; continuidade da
funo inversa;
- Teorema de Weierstrass;
- Resoluo de problemas envolvendo os teoremas de comparao para o clculo de
limites de sucesses e de funes e a continuidade de funes.
Diferenciabilidade
- Derivada da funo inversa; aplicao derivada de .
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 23
- Limite notvel
Nmero de Neper
- Sucesso de termo geral
(
) e relao com juros compostos; capitalizao
contnua de juros e definio do nmero de Neper.
Funes exponenciais
- Propriedades da funo definida nos nmeros racionais pela expresso ( )
(
monotonia, continuidade, limites e propriedades algbricas;
- Extenso ao caso real: definio das funes exponenciais de base a e respetivas
propriedades;
- Funo exponencial
- Limite notvel
):
) ,
Funes logartmicas
- Funo logartmica de base
enquanto bijeo recproca da funo exponencial de
base ; logaritmo decimal e logaritmo neperiano;
- Monotonia, sinal, limites e propriedades algbricas dos logaritmos;
- Diferenciabilidade das funes logartmicas no respetivo domnio.
Limites notveis envolvendo funes exponenciais e logartmicas
- Limites
( )
( );
Contedos
Pgina 24
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
Contedos
Pgina 25
Resoluo de problemas
- Resoluo de problemas envolvendo propriedades algbricas e geomtricas dos
nmeros complexos, a respetiva forma polar, razes -simas de nmeros complexos e
as frmulas de De Moivre.
Contedos
Pgina 26
5. NVEIS DE DESEMPENHO
Os descritores especificados na tabela seguinte, que dizem respeito a propriedades que os alunos
devem reconhecer, a procedimentos que devem efetuar ou a problemas que devem resolver, foram
assinalados, nas Metas Curriculares, com o smbolo +. Para estes descritores especificaram-se, no
Caderno de Apoio, diferentes nveis de desempenho, materializados em exemplos de complexidade
variada que podero ser propostos aos alunos. Os exemplos que no Caderno de Apoio se encontram
assinalados com um ou dois asteriscos correspondem a desempenhos progressivamente mais avanados
que no sero exigveis totalidade dos alunos, estando os restantes associados a um desempenho
considerado regular. Pretende-se assim estabelecer, para estes descritores, um referencial que permita
ao professor apreender o grau de exigncia requerido.
Ano de escolaridade
10. ano
11. ano
12. ano
Descritores
LTC10 1.18, 2.9, 2.29, 3.1, 3.2.
ALG10 1.1, 1.2, 1.11, 2.1, 2.2, 2.4, 2.5, 3.1, 4.2, 4.5, 4.11, 5.1, 5.2, 5.3.
GA10 1.2, 1.4, 1.10, 1.14, 1.18, 2.1, 4.1, 5.4, 5.6, 6.1, 8.1, 8.2, 8.3, 9.5, 9.6, 12.1,
13.1, 13.2.
FRVR10 1.10, 1.11, 2.6, 2.7, 2.8, 2.10, 4.8, 6.1, 6.2, 6.3, 6.4
EST10 7.1, 7.2, 7.3
TRI11 1.8, 9.1, 10.1, 10.2, 10.3, 10.4, 11.2.
GA11 4.1, 4.2, 4.3, 4.4
SUC11 3.3, 5.2, 5.3, 7.3, 8.1, 8.2, 8.3, 8.4, 8.5.
FRVR11 4.1, 4.2, 4.3, 4.4, 4.5, 6.13, 9.1, 9.2, 9.3.
PL11 3.1
CC12 1.4, 1.10, 2.3, 2.4, 3.1, 3.2, 3.3, 4.1, 4.2, 4.3, 4.4.
PRB12 3.3, 4.1, 4.2, 4.3, 4.4, 4.5.
FRVR12 1.10, 2.1, 2.2, 3.1, 6.1, 6.2, 6.3, 6.4, 6.5.
TRI12 1.1, 3.1, 3.2, 3.3.
FEL12 4.4, 6.1, 6.2, 6.3.
PCI12 1.6, 4.1, 4.2, 4.3.
NC12 1.3, 4.3, 5.1, 6.1, 6.2, 6.3, 6.4, 6.5, 6.6.
Por outro lado, alguns descritores (ALG10 1.4; GA10 1.9, 3.7, 3.8, 10.3; TRI11 1.15, 1.17; GA11
2.9, 2.10; SUC11 7.7, 7.28, 7.29; FRVR11 2.4, 6.8, 6.11; FRVR12 1.5, 5.3, 5.4; FEL12 1.1, 2.1, 2.2, 2.3, 4.1),
relativos a propriedades que os alunos devem provar, encontram-se igualmente assinalados, nas Metas
Curriculares, com o smbolo +. Entende-se, neste caso, que embora todos os alunos devam conhecer o
resultado em causa e saber aplic-lo, a elaborao da respetiva demonstrao facultativa, por
corresponder a um nvel de desempenho superior. Finalmente, nos domnios LTC10, ALG10, SUC11,
FRVR12, PRB12 e FEL12 encontram-se assinalados com o smbolo # alguns descritores relativos a
conjuntos de demonstraes muito semelhantes entre si, ficando ao critrio do professor quais devem ser
tratadas como exemplo.
Nveis de desempenho
Pgina 27
6. INDICAES METODOLGICAS
Tendo em considerao, tal como para os nveis de desempenho, as circunstncias de ensino (e, de
modo muito particular, as caractersticas das turmas e dos alunos), as escolas e os professores devem
decidir quais as metodologias e os recursos mais adequados para auxiliar os seus alunos a alcanar os
desempenhos definidos nas Metas Curriculares.
A experincia acumulada das escolas e dos professores constitui um elemento fundamental no
sucesso de qualquer projeto educativo, no se pretendendo, por isso, espartilhar e diminuir a sua
liberdade pedaggica nem condicionar a sua prtica letiva. Pelo contrrio, o presente Programa
reconhece e valoriza a autonomia das escolas e dos professores, no impondo portanto metodologias
especficas.
Sem constituir ingerncia no trabalho dos professores, nota-se, contudo, que a aprendizagem
matemtica estruturada em patamares de crescente complexidade, pelo que na prtica letiva dever
ter-se em ateno a progresso dos alunos, sendo muito importante proceder-se a revises frequentes de
contedos j lecionados com vista sua consolidao, incluindo alguns j conhecidos do Ensino Bsico.
Utilizao da tecnologia
As salas de aulas esto, em geral, dotadas de um certo nmero de equipamentos que podem
constituir uma mais-valia para a prtica letiva. A tecnologia no Ensino Secundrio deve portanto ser
aproveitada para ajudar os alunos a compreender certos contedos e relaes matemticas e para o
exerccio de certos procedimentos; essa utilizao deve, no entanto, ser criteriosa, j que, caso contrrio,
pode condicionar e comprometer gravemente a aprendizagem e a avaliao.
Os professores e os alunos tm ao seu dispor, por exemplo, um vasto conjunto de recursos que
facilitam o clculo, as representaes geomtricas e a representao grfica de funes, mas importa que
os alunos adquiram capacidade crtica para reconhecer as situaes em que a tecnologia no permite s
por si justificar a adequao dos resultados encontradas ao problema proposto ou ilustrar devidamente os
conceitos e procedimentos matemticos envolvidos.
A utilizao da tecnologia no pode, pois, substituir a compreenso conceptual, a proficincia no
clculo e a capacidade de resolver problemas. Assim, os alunos devem dominar procedimentos como
operar com polinmios, efetuar representaes de grficos de funes, resolver equaes, calcular limites
e derivadas sem necessitarem de utilizar recursos tecnolgicos (calculadoras, computadores, etc.) que
substituam algumas das capacidades matemticas inerentes a esses procedimentos. Apenas a
memorizao e a compreenso cumulativa de conceitos, tcnicas e relaes matemticas permitem
resolver problemas progressivamente mais exigentes e alcanar conhecimentos progressivamente mais
complexos.
Em particular o professor deve alertar os alunos para as limitaes das calculadoras e computadores,
sublinhando sempre a importncia de relacionar quer as representaes grficas observadas, quer os
valores encontrados, com o conhecimento terico que permite atribuir o devido significado a essas
representaes e valores. um erro grave, por exemplo, pensar que a simples considerao de resultados
obtidos atravs de uma calculadora permite verificar se um nmero irracional (j que esta apenas
apresenta uma aproximao de um dado nmero como dzima finita at determinada ordem), concluir que
uma funo definida numa infinidade de pontos montona (teria de calcular-se o valor da funo em
cada ponto do respetivo domnio, e no apenas num subconjunto finito do mesmo, que o que na
realidade qualquer calculadora faz, alis em geral apenas com determinado grau de aproximao), se uma
sucesso convergente, ou, de maneira geral, deduzir qualquer propriedade do grfico de uma funo que
Indicaes metodolgicas
Pgina 28
necessite do conhecimento dos valores da funo numa infinidade de pontos do domnio (continuidade,
diferenciabilidade, limites, assntotas, resultados positivos de concavidade e monotonia, extremos, etc.).
No entanto, o conhecimento prvio de propriedades analticas de uma funo ou funes pode, em muitos
casos, permitir uma utilizao adequada das potencialidades da calculadora para visualizar pores
particularmente interessantes dos respetivos grficos, obter valores aproximados de solues de equaes,
de extremos e pontos de extremo, etc. As propriedades que, em cada caso, ser necessrio estabelecer
antes de se poderem extrair concluses justificadas a partir do que se observa na calculadora ou
computador dependem, evidentemente, da questo que se pretende resolver, podendo mesmo resumirse, em certos casos, simples continuidade; apenas em casos em que o conhecimento de um nmero finito
de pontos do grfico permite extrair alguma concluso segura (situaes de inexistncia de monotonia ou
de sentido determinado de concavidade em determinado intervalo, por exemplo) possvel praticamente
prescindir de um conhecimento prvio de alguma propriedade analtica da funo em estudo.
Como evidente, a calculadora grfica pode sempre ser utilizada para ilustrar propriedades de
grficos de funes adequadamente escolhidas pelo professor, ou para que o aluno teste o resultado de
variaes de parmetros em classes de funes de que j tenha algum conhecimento terico e, de maneira
geral, para uma abordagem experimental ao estudo de funes, desde que devidamente controlada e
acompanhada de uma anlise crtica da validade de conjeturas que essas experincias possam induzir.
Neste sentido, neste programa considera-se que no Ensino Secundrio a tecnologia, e mais
especificamente a calculadora grfica, deve ser utilizada em sala de aula e consequentemente em certos
instrumentos de avaliao (na resoluo de problemas requerendo clculos de valores aproximados de
solues de determinado tipo de equaes ou de funes envolvendo, por exemplo, razes
trigonomtricas, logaritmos, ou exponenciais) mas que se deve evitar a sua utilizao em outras provas de
avaliao em que os contedos e capacidades envolvidas claramente o no justifiquem ou mesmo o
desaconselhem.
Indicaes metodolgicas
Pgina 29
7. AVALIAO
O Decreto-Lei n. 139/2012, de 5 de julho, alterado pelo Decreto-Lei n. 91/2013 de 10 de julho,
estabelece os princpios orientadores da organizao, da gesto e do desenvolvimento dos currculos do
Ensino Bsico e do Ensino Secundrio, bem como da avaliao dos conhecimentos adquiridos e das
capacidades desenvolvidas pelos alunos do Ensino Bsico ministradas em estabelecimentos escolares
pblicos, particulares e cooperativos.
Os conhecimentos a adquirir e as capacidades a desenvolver pelos alunos do Ensino Secundrio, na
disciplina de Matemtica A, tm como referncia o programa dessa disciplina e as respetivas Metas
Curriculares definidas por ano de escolaridade. este documento que permitir cumprir a funo de
regulao do percurso de aprendizagem que a avaliao do desempenho dos alunos dever assumir.
Os resultados dos processos avaliativos (de carcter nacional, de escola, de turma e de aluno)
devem contribuir para a orientao cientifico-pedaggica do ensino, para que se possam superar, em
tempo til e de modo apropriado, dificuldades de aprendizagem identificadas e, simultaneamente,
reforar os progressos verificados. Todos estes propsitos devem ser concretizados recorrendo a uma
avaliao diversificada e frequente, contribuindo para que os alunos adquiram uma maior conscincia do
seu nvel de conhecimentos e valorizem a avaliao como um processo promotor de melhores
desempenhos.
A classificao resultante da avaliao interna no final de cada perodo, guiada pelos critrios de
avaliao da disciplina de Matemtica A definidos em cada agrupamento de escolas/escola no agrupada,
dever traduzir com fidelidade o nvel de desempenho do aluno no que se refere ao cumprimento do
programa e das respetivas metas curriculares.
Avaliao
Pgina 30
8. BIBLIOGRAFIA
1.
2.
3.
Anderson, J.R. & Schunn, C., Implications of the ACT-R learning theory: No magic bullets, Advances in
instructional psychology, Educational design and cognitive science (pp. 1-33), Mahwah, Lawrence
Erlbaum, 2000.
4.
Bivar, A., Grosso, C., Oliveira, F. & Timteo, M.C., Programa e Metas Curriculares do Ensino Bsico
Matemtica, Ministrio da Educao e Cincia, Direo Geral da Educao, 2013.
5.
Common Core State Standards for Mathematics, Common Core State Standards Initiative, Preparing
Americas students for college & Career, 2011.
6.
7.
8.
Fayol, M., Toom, A, Bivar, A., Santos, C., Aires, L.M., Fazer contas ajuda a pensar?, Questes-chave
da Educao, Fundao Francisco Manuel dos Santos, Porto, Porto Editora, 2010.
9.
Ferreira, J.C., Introduo Anlise Matemtica, Lisboa, Fundao Calouste Gulbenkian, 2008.
10.
11.
Geary, D., Berch, D.B., Ooykin, W., Embretson, S., Reyna, V., & Siegler, R., Learning mathematics:
Findings from The National (United States) Mathematics Advisory Panel, in N. Crato (Org.), Ensino da
matemtica: Questes e solues, (pp. 175-221), Lisboa, Fundao Calouste Gulbenkian, 2008.
12.
Geary, D.C., Development of mathematical understanding, in D. Kuhl & R.S. Siegler (Vol. Eds.),
Cognition, perception, and language, Vol. 2., W. Damon (Gen. Ed.), Handbook of child psychology, 6th
ed., (pp. 777-810), New York, John Wiley & Sons, 2006.
13.
14.
Kaminsky, J., Sloutsky, V. & Heckler, A., The advantage of abstract examples in learning math,
Education Forum, 320 (pp. 454-455), 2008.
15.
Karpicke, J.D. & Roediger, H.L., The critical importance of retrieval for learning, Science, 319, (pp.
966-968), 2008.
16.
17.
Kirschener, P., Sweller, J. & Clark, R., Why minimal guidance during instruction does not work: An
analysis of the failure of constructivist, discovery, problem-based, experiential, and inquiry-based
teaching, Educational Psychologist, 41 (2), (pp. 75-86), 2006.
Bibliografia
Pgina 31
18.
19.
20.
Machado, A., Abrantes, P., Carvalho, R.F., Matemtica: 12. ano: M12, Lisboa, Texto Editora, 1986.
21.
Machado A., Iniciao Lgica Matemtica 10. ano, Projecto REANIMAT, Departamento de
Matemtica da Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian,
2002.
22.
Machado A., Geometria 10. ano, Projecto REANIMAT, Departamento de Matemtica da Faculdade
de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2002.
23.
Machado A., Geometria 11. ano, Projecto REANIMAT, Departamento de Matemtica da Faculdade
de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2003.
24.
Machado A., Nmeros Complexos 12. ano, Projecto REANIMAT, Departamento de Matemtica da
Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2004.
25.
Mathematics The National Curriculum for England, Department for Education and Employment,
London, 1999.
26.
27.
Mathmatiques, cycle terminal de la srie scientifique, classe de Premire, Bulletin Officiel Spcial,
n. 9, Ministre de Lducation Nationale, 2010.
28.
Murteira, B. & Ribeiro, C., Introduo Estatstica, Lisboa, Escolar Editora, 2007.
29.
NMAP National Mathematics Advisory Panel, Foundations for success: Final Report, U.S.
Department of Education, 2008.
30.
Paas, F., Renkl, A., & Sweller, J., Cognitive load theory: Instructional implications of the interaction
between information structures and cognitive architecture, Instructional Science, 32, 1-8, 2004.
31.
Pestana, D., Introduo Probabilidade e Estatstica, Lisboa, Fundao Calouste Gulbenkian, 2008.
32.
33.
Rittle-Johnson, B., Siegler, R.S. & Alibali, M.W., Developing conceptual understanding and procedural
skill in mathematics: An iterative process, Journal of Educational Psychology, 93, (pp. 346-362), 2001.
34.
Roediger, H.L., Karpicke, J.D., Test-enhanced learning: Taking memory tests improves long-term
retention, Psychological Science, 17, (pp. 249-255), 2006.
35.
Roediger, H.L., Karpicke, J.D., The power of testing memory: Basic research and implications for
educational practice, Perspectives on Psychological Science, 1, (pp. 181-210), 2006.
36.
Rohder, D. & Taylor, K., The effects of overlearning and distributed practice on the retention of
mathematics knowledge, Applied Cognitive Psychology, 20, 2006.
Bibliografia
Pgina 32
37.
Sanchez L., Iniciao ao estudo das funes reais de varivel real, 10. ano, 11. ano e 12. ano,
Projecto REANIMAT, Departamento de Matemtica da Faculdade de Cincias da Universidade de
Lisboa e Fundao Calouste Gulbenkian, 2002.
38.
Sarrico, C., Anlise Matemtica Leituras e exerccios, Projectos Cincia, Lisboa, Gradiva, 1997.
39.
40.
Sebastio e Silva, J., Guia para a utilizao do Compndio de Matemtica (3 volumes), GEP-MEC,
1975-77.
41.
Silva, J.C., Fonseca, C.M., Fonseca, M.G., Lopes, I. & Martins, A., Programa de Matemtica A, 10.
ano, Ministrio da Educao, Departamento do Ensino Secundrio, 2001.
42.
Silva, J.C. , Fonseca, C.M., Fonseca, M.G., Lopes, I. & Martins, A., Programa de Matemtica A, 11.
ano, Ministrio da Educao, Departamento do Ensino Secundrio, 2002.
43.
Silva, J.C. , Fonseca, C.M., Fonseca, M.G., Lopes, I. & Martins, A., Programa de Matemtica A, 12.
ano, Ministrio da Educao, Departamento do Ensino Secundrio, Lisboa, 2002.
44.
Struik, D., Histria Concisa das Matemticas, Coleco Cincia Aberta, Lisboa, Gradiva, 1997.
45.
Sweller, J., Clark, R. & Kirschener, P., Teaching general problem-solving skills is not a substitute for, or
a viable addition to, teaching mathematics (pp. 1303-1304), Doceamus, 57(10), 2010.
Bibliografia
Pgina 33
Metas Curriculares
Matemtica A
Ensino Secundrio
Cursos Cientfico-Humansticos de
Cincias e Tecnologias e de Cincias Socioeconmicas
(Submetido consulta pblica, 2013)
Antnio Bivar, Carlos Grosso, Filipe Oliveira, Lusa Loura, Maria Clementina Timteo
Domnio
Subdomnio
1.
Objetivo geral
1.
Descritor
2.
Descritor
Introduo
Pgina 1
Introduo
Pgina 2
10. ANO
Lgica e Teoria dos Conjuntos LTC10
equivalente
proposio
(
) (
).
LTC10
Pgina 3
LTC10
Pgina 4
LTC10
Pgina 5
e represent-lo por
ou simplesmente por quando
e esta notao no for
ambgua, designando-o ento por complementar de em .
23. Justificar, dada uma condio ( ) e um conjunto , que o conjunto definido pela
( ) em igual a {
( )}.
condio
24. Justificar, dadas condies ( ) e ( ), que a proposio
( )
( )
equivalente proposio
, ( ( )
( )) ( ( )
( )) e designar uma
demonstrao da segunda proposio por demonstrao por dupla implicao da
primeira.
25. Reconhecer, dados conjuntos e , que
se e somente se
e
,e
designar esta propriedade por princpio da dupla incluso.
26. #Provar, dado um conjunto , que, para quaisquer subconjuntos
e
de ,
3. Resolver problemas
1. +Resolver problemas envolvendo operaes lgicas sobre proposies.
2. +Resolver problemas envolvendo operaes sobre condies e sobre conjuntos.
LTC10
Pgina 6
lgebra ALG10
Radicais
1. Definir e efetuar operaes com radicais
1. +Reconhecer, dados dois nmeros reais e e um nmero
mpar, que se
ento
.
2. +Reconhecer, dados dois nmeros reais
e
e um nmero
par, que se
ento
e se
ento
.
3. Saber, dado um nmero real e um nmero
mpar, que existe um nmero real
tal que
, provar que nico, design-lo por raiz ndice de e represent-lo
por .
4. +Saber, dado um nmero real positivo e um nmero
par, que existe um nmero
(
)
real positivo tal que
, provar que
e que no existe, para alm de
e de , qualquer outra soluo da equao
e represent-lo por .
5. Justificar, dado um nmero natural , que
, designar
de
expoente igual a , e, por esta razo, represent-lo tambm por (raiz ndice
de ).
6. #Provar, dados nmeros reais no negativos
e
e um nmero
par, que
e um nmero
, ( )
mpar, que
no
par),
.
10. Designar tambm por frao a representao do quociente entre nmeros reais
e
(com
),
e , neste contexto, respetivamente por numerador e
denominador e identificar duas fraes como equivalentes quando representam o
mesmo nmero.
11. +Determinar, dada uma frao com denominador irracional da forma
ou
e nmeros naturais,
e
),
( e nmeros inteiros e
uma frao equivalente com denominador inteiro e numerador dado pelo produto do
numerador original por uma soma em que cada parcela ou inteira ou dada pelo
produto de um nmero inteiro por um produto de razes de nmeros inteiros, e
designar esse processo por racionalizao de denominadores.
ALG10
Pgina 7
se
),
(sendo
), que
.
2. +Identificar, dado um nmero real no negativo
(
nmeros inteiros,
),
nmeros inteiros,
, a potncia de base
e de expoente ,
, como , reconhecendo que este nmero no depende da
frao escolhida para representar , e que esta definio a nica possvel por forma a
estender a propriedade ( )
a expoentes racionais positivos.
3. Identificar, dado um nmero real positivo
e um nmero racional positivo
potncia de base
e de expoente ,
, como
, a
Resolver problemas
1. +Resolver problemas envolvendo operaes com radicais e com potncias.
ALG10
Pgina 8
Resolver problemas
1. +Resolver problemas envolvendo a diviso inteira de polinmios e o Teorema do resto.
2. +Resolver problemas envolvendo a fatorizao de polinmios de que se conhecem
algumas razes.
3. +Resolver problemas envolvendo a determinao dos zeros e do sinal de funes
polinomiais de grau superior a dois.
ALG10
Pgina 9
] so (
).
] na forma
ou na forma
, verificando que
, 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 (
) pertencente a esse plano e um nmero
)
(
)
, que a equao (
uma equao cartesiana da
circunferncia de centro e de raio , e design-la por equao (cartesiana) reduzida
da circunferncia.
8. Designar, fixada uma unidade de comprimento e um plano, dados dois pontos e
, por elipse o conjunto de pontos
pertencentes a esse plano e um nmero
do plano tais que (
)
(
)
, por focos da elipse os pontos e , por
centro da elipse o ponto mdio do segmento de reta [ ], e por eixo maior da
elipse o nmero
(e
por semieixo maior da elipse), interpretando-o
geometricamente.
9. +Demonstrar, dada uma elipse de focos e e de eixo maior , que a mediatriz de
[ ] interseta a elipse em dois pontos e equidistantes do centro da elipse e que
se tem
, designando
tomando
, onde
por eixo
menor da elipse (e
GA10
12.
13.
14.
15.
16.
17.
18.
que a equao
e semieixo menor
a equao cartesiana
que tem focos (
)e (
),
onde
) uma inequao
, de semieixo maior
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 11
GA10
Pgina 12
3.
4.
5.
6.
.
+Reconhecer, dados vetores e e nmeros reais e que ( )
e
( ) ( ) .
Pgina 13
como o vetor
, represent-la por
e justificar que, para todo o vetor e para
quaisquer pontos e do plano,
.
5. Justificar, fixado um plano munido de um referencial ortonormado e dado um ponto
(
) e um vetor (
) desse plano, que o ponto
tem coordenadas
(
).
6. Justificar, fixada uma unidade de comprimento e um plano munido de um referencial
ortonormado que para qualquer vetor (
),
, que o vetor (
,e
GA10
Pgina 14
GA10
) e represent-la por (
).
Pgina 15
,
designar o terno ordenado ( ) por base cannica do espao vetorial dos
) por coordenadas do vetor e representar por
vetores do espao, (
) 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.
GA10
Pgina 16
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
, de grfico
FRVR10
Pgina 17
FRVR10
Pgina 18
definida em
} por
( )
) a imagem do
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 e de , se
ento ( )
( ).
2. Identificar, dada uma funo real de varivel real e
, como (estritamente)
decrescente em (ou simplesmente (estritamente) decrescente se
) se para
quaisquer dois elementos e de , se
ento ( )
( ).
3. Identificar, dada uma funo real de varivel real e
, como crescente, em
sentido lato, em (ou simplesmente crescente, em sentido lato se
) se para
quaisquer dois elementos e de , se
ento ( )
( ).
4. Identificar, dada uma funo real de varivel real e
, como decrescente, em
sentido lato, em (ou simplesmente decrescente, em sentido lato se
) se
para quaisquer dois elementos e de , se
ento ( )
( ).
5. Identificar, dada uma funo real de varivel real e
, como (estritamente)
montona em (ou simplesmente (estritamente) montona se
) se for
(estritamente) crescente ou (estritamente) decrescente em e como montona, em
sentido lato, em (ou simplesmente montona, em sentido lato se
) se for
crescente ou decrescente, em sentido lato, em .
6. Identificar, dada uma funo real de varivel real , um intervalo de (estrita)
monotonia de como um intervalo
tal que | (estritamente) montona.
7. Identificar, dada uma funo real de varivel real e
, como constante em
se para quaisquer elementos e de , ( )
( ).
8. Demonstrar que uma funo afim definida por ( )
estritamente crescente
(respetivamente decrescente) em se e somente se
(respetivamente
).
9. Demonstrar que, dada uma funo quadrtica da forma ( )
, se
ento
decrescente em ]
] e crescente em [
[ e que, se
, ento crescente
em ]
] e decrescente em [
[.
FRVR10
Pgina 19
FRVR10
Pgina 20
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.
FRVR10
Pgina 21
Estatstica EST10
Caractersticas amostrais
1. Manipular o sinal de somatrio
1. Designar, dados
,
, e uma sequncia de nmeros reais (
), a
soma
das
parcelas respetivamente iguais a
por
somatrio de a dos (ou por soma dos primeiros termos da sequncia,
quando esta designao no for ambgua), represent-la por
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
por somatrio de
a dos , e
represent-la por
.
3. Reconhecer, dados
,
e uma sequncia de nmeros reais (
), que
a igualdade ( )
representa, no formalismo dos somatrios, a
propriedade distributiva da multiplicao relativamente adio aplicada ao produto
de pela soma das parcelas
.
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 (
representa, no formalismo dos somatrios,
uma aplicao das propriedades associativa e comutativa da adio soma das
parcelas
.
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
o valor da varivel no elemento de com o nmero , por a
por a mdia
EST10
Pgina 22
(
) com valores (
),
4. Representar, dado
e uma amostra
e que
designando esta ltima igualdade por frmula da mdia para dados agrupados.
(
) e nmeros reais e , por
5. Representar, dado
, uma amostra
(
)
(respetivamente por
) a amostra
(
)), relativa varivel estatstica
(respetivamente a amostra
(respetivamente que
)
(
), a mdia de
6. Interpretar, dado
e uma amostra
como a
.
(
), por a soma
2. Representar dado
e uma amostra
(
) dos quadrados dos desvios dos
em relao mdia e provar que
(
), que possvel calcular
3. +Reconhecer, dado
e uma amostra
em funo de
mas que
s fica determinado se for conhecida a
totalidade desses
desvios, e referir, por esta razo, que
tem
graus de
liberdade.
(
), que
4. Justificar, dado
e uma amostra
se e somente se
.
(
) e nmeros reais e , que se
5. Justificar, dado
, uma amostra
(respetivamente
) ento
(respetivamente
).
(
), que
(
6. Justificar, dado
e uma amostra
) ,
onde
representam os valores da amostra .
(
),
7. Designar, dado
(
) e uma amostra
por
1. Designar, dado
, uma amostra
varincia da amostra e
EST10
Pgina 23
8. Justificar, dado
somente se
9. Justificar, dados
.
), uma amostra
e uma amostra
) ento
), que
se e
) e nmeros reais
e ,
(respetivamente
(respetivamente
| | ).
desvios-padro inferior a
11. Reconhecer que para comparar a disperso dos valores dos elementos de duas ou
mais amostras em torno da mdia, faz sentido comparar as respetivas varincias (ou os
respetivos desvios-padro), sempre que a caracterstica quantitativa em anlise seja a
mesma nas diversas amostras e que a respetiva medida esteja calculada na mesma
unidade.
12. Saber, dada uma populao, que existem critrios que conduzem recolha de amostras
cujas mdias e desvios padro so consideradas boas estimativas da mdia e do desvio
padro da populao.
4. Definir e conhecer propriedades do percentil de ordem
1. Designar, dado
sequncia (
( )
e uma amostra
( )
( ))
tal que
( )
), por amostra
( )
ordenada a
que a amostra
(
) e um nmero natural do
2. Designar, dado
, uma amostra
intervalo ]
], por percentil de ordem o valor mximo da amostra se
,a
mdia dos elementos de ordem
na amostra ordenada se
na amostra ordenada,
(onde, para
, [ ] designa a parte inteira de , ou seja, o maior nmero
natural inferior ou igual a ) e represent-lo por .
(
), que
3. Reconhecer, dado
e uma amostra
igual mediana
EST10
Pgina 24
tal que
(
]e
)
)
(
onde
a frequncia absoluta do
EST10
Pgina 25
11. ANO
Trigonometria TRI11
] , de ngulos internos
2. Provar, dado um tringulo acutngulo [
e de lados de medida
,
e
, fixada uma unidade de
e
comprimento, que
3.
4.
5.
6.
7.
8.
9.
10.
TRI11
Pgina 26
ngulos internos que lhe so adjacentes (ALA), a medida dos comprimentos dos
restantes lados e a medida das amplitudes dos restantes ngulos internos do tringulo,
] e obter valores
designar este procedimento por resoluo do tringulo [
aproximados destas medidas na forma de dzimas finitas at uma dada ordem,
utilizando uma mquina de calcular.
11. Estender a todos os ngulos convexos a propriedade segundo a qual, dados ngulos e
com a mesma amplitude , o seno e o cosseno de so respetivamente iguais ao
seno e ao cosseno de e design-los tambm respetivamente por seno e cosseno de .
12. Designar um ngulo igual soma de ngulos e por
e, se tiver amplitude
superior amplitude de , por
, diferena dos ngulos e , um ngulo cuja
soma com igual a , e saber que a amplitude de um ngulo igual soma ou
diferena de dois dados ngulos e depende apenas da amplitude de e de .
(
)
( )e
13. Justificar, dado um ngulo agudo e um ngulo reto , que
(
)
( ) e, se
(
)
( ) e que
que
for obtuso, que
(
)
( ) e estender a definio do seno e do cosseno aos ngulos nulos,
tomando
e
quando o ngulo nulo, reconhecendo que esta
definio a nica possvel por forma a estender as frmulas anteriores a este caso.
14. Estender a definio de tangente aos ngulos nulos ou obtusos de modo a generalizar a
estes ngulos a identificao da tangente com a razo entre o respetivo seno e cosseno.
15. +Provar, dados ngulos
e
cuja soma um ngulo convexo, que
(
)
( ) ( )
( ) ( )e
(
)
( ) ( )
( ) ( )
( )
e justificar que
e que ( )
.
16. Provar, dados ngulos
e
convexos tais
um ngulo convexo, que
(
)
( ) ( )
( ) ( ) e (
)
( ) ( )
( ) ( ).
17. Provar, dado um ngulo convexo , e representando por um ngulo tal que
soma
, que
igual
estas frmulas e as frmulas para o seno e cosseno da soma de dois ngulos para obter
valores exatos das razes trigonomtricas de um ngulo de amplitude to prxima
quanto se pretender de um dado ngulo agudo, partindo das razes trigonomtricas
exatas conhecidas dos ngulos de
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 27
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
for o lado extremidade do ngulo orientado de lado origem
e com a mesma amplitude do que enquanto ngulos orientados.
2. Designar, em dado plano orientado, como rotaes em sentido direto as rotaes de
ngulos com orientao positiva e como rotaes em sentido retrgado as rotaes
de ngulos com orientao negativa.
4. Definir ngulos generalizados
1. Identificar, fixado um plano orientado, um ngulo generalizado (ou ngulo
trigonomtrico) como um par ordenado (
), onde um ngulo orientado ou um
ngulo nulo e um nmero inteiro, que positivo ou nulo se tiver orientao
positiva e negativo ou nulo se
tiver orientao negativa, interpretando-o
intuitivamente como o resultado de rodar o lado extremidade do ngulo (ou, no caso
de ser nulo, o nico lado, coincidente com ), realizando | | voltas completas, no
sentido determinado pelo sinal de .
2. Designar, fixado um plano orientado, o lado origem (respetivamente extremidade) de
um ngulo orientado tambm por lado origem (respetivamente extremidade) dos
ngulos generalizados (
) e um ngulo nulo
tambm como lado origem e
extremidade dos ngulos generalizados (
).
TRI11
Pgina 28
TRI11
Pgina 29
positivo
e de amplitude igual a
reconhecer que
, represent-la por
( ),
( ),
ou
(
)
(
)
,
e
real de varivel real tangente tem
}, contradomnio , perodo fundamental
.
domnio
e que
Pgina 30
2.
3.
4.
5.
que
as
funes
],
]
e
e
aos
TRI11
Pgina 31
peridica de perodo
e designar
TRI11
Pgina 32
,
a
projeo ortogonal de
na reta
, se e tiverem o mesmo sentido
(respetivamente se tiverem sentidos contrrios), reconhecendo que este valor
independente da escolha do ponto , identificar o produto escalar de vetores e
como nulo se um dos vetores for nulo e representar o produto escalar de vetores e
por .
2. Identificar, dados vetores no nulos e , ngulo dos vetores e como qualquer
ngulo convexo, nulo ou raso
tal que e , reconhecendo que tm
todos a mesma amplitude, designar tambm essa amplitude por ngulo formado pelos
vetores e quando essa designao no for ambgua, e represent-la por ( ).
3. Provar, dados vetores e no nulos, que
( ).
4. Identificar vetores e como perpendiculares quando um deles for nulo ou quando,
no sendo nulo nenhum dos dois, forem perpendiculares duas retas de vetores diretores
respetivamente iguais a e a , e indicar que e so perpendiculares escrevendo
.
5. Justificar, dados vetores e , que
.
6. Justificar, dado um vetor , que .
7. Justificar, dados vetores e que | | 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
, comeando por justificar que
e
.
GA11
Pgina 33
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
, comeando por justificar que
e
.
3. Determinar equaes de planos no espao
1. Identificar um vetor como normal a um plano se for nulo ou, no sendo nulo, se
as retas de vetor diretor forem perpendiculares a .
2. Justificar, dados planos e e vetores e no nulos, normais respetivamente a e
, que e so (estritamente) paralelos ou coincidentes se e somente se e
forem colineares e
e
so perpendiculares se e somente se e forem
perpendiculares.
3. Justificar, dado um vetor no nulo normal a um plano e um ponto
, que para
todo o ponto do plano,
.
4. Reconhecer, fixado um referencial ortonormado do espao e dado um vetor no nulo
(
) e um ponto (
), que existe um nico plano que passa por
tal que normal a , provar que (
)
se e somente se
(
)
(
)
(
)
.
5. Justificar que as equaes da forma
, onde
,
(
) (
), so equaes de planos e, reciprocamente, que qualquer plano
admite uma equao cartesiana daquela forma.
) (
)
6. Justificar, dados
,(
), que o vetor de coordenadas (
normal ao plano de equao
.
7. Identificar, dado um plano , um vetor como paralelo a quando for nulo ou,
no sendo nulo, se for vetor diretor de uma reta de .
8. Provar, dado um plano , um ponto
e dois vetores e no colineares paralelos
a , que para todo o ponto
do espao,
e
designar esta equao por equao vetorial do plano .
)
)e
9. Provar, dado um plano , um ponto (
e dois vetores (
) no colineares paralelos a , que para todo o ponto (
) do espao,
(
e
designar este sistema de equaes por sistema das equaes paramtricas do plano .
4. Resolver problemas
1. +Resolver problemas envolvendo a noo de produto escalar de vetores.
2. +Resolver problemas relativos determinao de equaes de retas do plano em
situaes diversas envolvendo a noo de perpendicularidade.
3. +Resolver problemas relativos determinao de equaes de planos em situaes
diversas envolvendo a noo de perpendicularidade.
4. +Resolver problemas envolvendo equaes de planos e de retas no espao.
GA11
Pgina 34
Introduo otimizao
1. Definir o vocabulrio bsico dos problemas de otimizao
1. Designar por funo objetivo uma funo
da qual se pretende determinar,
se existir, o mximo (ou o mnimo) num dado subconjunto no vazio
, 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 um nmero real , por conjunto de nvel de
associado a o conjunto
,
.
( )
} e justificar que
se
PL11
Pgina 35
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 , dito termo geral da sucesso, a imagem ( ) de
por e
por ( )
(ou simplesmente por ( ), ou ainda por , quando estas
notaes no forem ambguas) a prpria sucesso .
2. Identificar uma sucesso ( ) como crescente (respetivamente decrescente)
quando o for como funo real de varivel real, ou seja, quando para quaisquer
,
(respetivamente
) e reconhecer
que ( ) crescente (respetivamente decrescente) se e somente se para todo
,
(respetivamente
).
3. Identificar uma sucesso ( ) como crescente (respetivamente decrescente) em
sentido lato quando para quaisquer
,
(respetivamente
) e reconhecer que ( )
crescente (respetivamente
descrescente) em sentido lato se e somente se para todo
,
(respetivamente
).
SUC11
Pgina 36
SUC11
), dada por
Pgina 37
3. +Reconhecer, dado
, que a soma dos termos de uma progresso geomtrica de
comprimento , de primeiro termo
e de razo diferente de , dada por
.
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 , a operao que consiste em calcular um
juro igual a % do capital disponvel no incio de cada perodo de tempo com durao
igual a e adicion-lo ao capital findo esse perodo, comeando este processo a partir
do instante , e levando-o a cabo vezes seguidas.
2. Provar, dado um capital inicial , que, aplicando-se juros compostos taxa de % a ,
o capital disponvel ao fim de
periodos de tempo
igual a
) .
durante
Limites de sucesses
7. Definir o limite de uma sucesso
1. Identificar, dada uma sucesso ( ) , um nmero real como limite da sucesso ( )
ou como limite de
quando tende para
quando, para todo o nmero real
|
|
, existir uma ordem
tal que
, referir, nesta
situao, que
tende para (
), e designar a sucesso ( )
por
convergente quando um tal limite existe e por divergente no caso contrrio.
2. Provar que o limite de uma dada sucesso ( ), quando existe, nico e represent-lo
por
,
ou simplesmente por
.
3. +Reconhecer que as sucesses convergentes so limitadas.
4. Identificar uma sucesso ( ) como tendo limite
(
ou
tal que
(
ou
SUC11
Pgina 38
, a
(
se
e a , se
se
,a
, ou seja, em
nulo, que
13. #Provar, dada uma sucesso convergente ( ) e um nmero real , que a sucesso de
(
)
termo geral
convergente e que
.
(
)
14. #Provar, dada uma sucesso convergente
e um nmero racional , que, se
,
ou se os termos da sucesso forem todos no negativos e for positivo, ou ainda se os
termos da sucesso forem todos positivos, ento a sucesso de termo geral ( )
( )
(
) .
convergente e
15. Provar, dadas sucesses ( ) e ( ), com limites respetivamente
e
(ou
(
)
ambas com limite
), que
e representar esta propriedade por
(ou por
).
16. #Provar, dadas sucesses ( ) e ( ), com limites respetivamente
e
(ou
(
)
ambas com limite
), que
e representar esta propriedade por
(
)
(ou por
).
17. Justificar, dadas sucesses ( ) e ( ), que apenas da informao
e
(
) e referir esta
nada se pode concluir acerca da existncia de
) (
).
situao por indeterminao do tipo (
18. #Provar, dadas sucesses ( ), com limite
, e ( ) com limite
ou
(
)
(respetivamente com limite
ou
), que
(respetivamente
)
lim(
)
e
representar
estas
propriedades
por
)
) (
)
)
(
e (
(respetivamente por (
) (
)
e (
).
19. #Provar, dadas sucesses ( ), com limite
, e ( ) com limite
(
)
(respetivamente com limite
ou
), que
(respetivamente
(
)
)
) e representar esta propriedade por (
)
) (
)
(respetivamente por (
e (
).
(
)
20. #Provar, dada uma sucesso
com limite
e de termos no negativos
(respetivamente com limite
) e um nmero racional positivo (respetivamente
SUC11
Pgina 39
se for mpar).
21. Justificar, dadas sucesses ( ) e ( ) que apenas da informao
(ou
(
)e
)e
nada se pode concluir acerca da existncia de
referir esta situao por indeterminao do tipo
.
22. #Provar, dada uma sucesso ( ) de termos no nulos, positiva a partir de certa
ordem, com limite nulo (
propriedade por
), que
e representar esta
.
24. #Provar, dada uma sucesso (
que
ou para
e com os coeficientes dos termos de maior grau das respetivas formas reduzidas.
28. +Provar, dado um nmero real
, que
se
e que
.
29. +Provar, dado um nmero real
caso de
, que
, que
se
) .
e (
).
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.
SUC11
Pgina 40
direita de , referir, nesta situao, que ( ) tende para quando tende para
por valores superiores a e estender esta definio ao caso de limites infinitos.
6. Saber, dada uma funo real de varivel real e um ponto aderente ao respetivo
( )e
( ) existirem e forem iguais,
domnio , que se
e se os limites
ento existe o limite
( )
( )
( ).
( )
( )
( ).
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 41
que ( ) tende para quando tende para mais infinito e estender esta definio e
propriedade ao caso de limites infinitos.
10.Identificar, dada uma funo real de varivel real cujo domnio tem
como ponto
aderente,
como limite de ( ) quando tende para menos infinito quando
para toda a sucesso ( ) de elementos de
com limite
,
( )
, justificar
( ), referir, nesta
que um tal limite, se existir, nico, represent-lo por
situao, que ( ) tende para quando tende para menos infinito e estender esta
definio e propriedade ao caso de limites infinitos.
11. Identificar, dadas funes
,
, um nmero real
e um nmero
racional , as funes
(soma de com ),
,
(produto
de
{
por
),
(quociente
( )
}),
(produto de
de
por
onde
pelo escalar
) e
)( )
( )
( ), (
)( )
( ) ( ),
( )
( )
,
( )
( )( )
( )e ( )
( ) , podendo utilizar-se, para representar as potncias
de expoente racional, as notaes envolvendo razes.
12. Justificar que os limites da soma, do produto e do quociente de funes
e
e do produto por um escalar e da potncia de expoente racional de uma
funo
, se calculam, em pontos aderentes aos domnios respetivamente de
,
, ,
.
, que
do respetivo domnio
FRVR11
Pgina 42
contnua em .
6. Designar por funo racional uma funo real de varivel real dada por uma
expresso da forma
7.
8.
9.
10.
( )
,
( )
onde
so polinmios.
(respetivamente se
))
) e design-la, quando
, por
assntota horizontal.
3. Provar, dada uma funo real de varivel real
(respetivamente
reta de declive
( )
( )
, que a condio
(respetivamente em
).
4. Resolver problemas
1. +Resolver problemas envolvendo o estudo de funes racionais.
2. +Calcular, por meios algbricos, limites de funes reais de varivel real em situao de
indeterminao e referir um desses clculos como um levantamento da
indeterminao.
3. +Resolver problemas envolvendo a noo de limite e de continuidade de uma funo
real de varivel real.
4. +Resolver problemas envolvendo a determinao das assntotas e da representao
grfica de funes racionais definidas em
{ } por ( )
FRVR11
Pgina 43
entre
e dois pontos
e como
( )
( )
do respetivo
2. Justificar, dada uma funo real de varivel real e dois pontos e do respetivo
domnio, que o declive da reta secante ao grfico de
nos pontos (
( )) e
(
( )) igual taxa mdia de variao de entre e .
3. Identificar, dada uma funo real de varivel real e um ponto do respetivo domnio,
a taxa instantnea de variao de
no ponto
( )
como o limite
( )
existir e
diferencivel em
e um
( ))
referencial ortonormado, a reta tangente ao grfico de no ponto (
como a reta de declive ( ) que passa por
e justificar, representando por ( ),
, o declive da reta secante ao grfico de que passa pelo ponto
e pelo ponto
( )
(
( )), que
( ).
4.
5.
6.
corresponder ( )
Identificar uma funo real de varivel real como diferencivel num conjunto
quando diferencivel em todos os pontos de .
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 ( )
).
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.
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( ) ( )
Provar, dado um conjunto
e funes reais de varivel real
,
diferenciveis num ponto
de , que a funo
diferencivel em
e que
( )( )
( ) ( )
( ) ( )
FRVR11
Pgina 44
( ) ( ) ( )
( ( ))
, que a funo
diferencivel em
( )
)( )
( )
composta
diferencivel em e que (
( ( ))
9. Calcular, utilizando a definio, uma expresso analtica para os valores das funes
derivadas das funes de referncia (para o clculo de derivadas) definidas por
e , ou constantes, e saber de memria estes resultados.
10. Provar, dado um nmero natural
(respetivamente dado um nmero inteiro
negativo), que uma funo real de varivel real de domnio (respetivamente de
domnio
{ }) definida por ( )
diferencivel e que, para todo o
,
( )
, considerando tambm estas funes como funes de referncia
(para o clculo de derivadas).
11. +Provar, dado um nmero natural par (respetivamente dado um nmero natural
mpar
), que uma funo real de varivel real de domnio
(respetivamente de
domnio
,
{ }) definida por
( )
( )
12. Provar, para todo o nmero racional uma funo real de varivel real de domnio
( )
diferencivel e que, para todo o
, ( )
, 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 para origem das medidas de tempo, uma unidade de
tempo , uma reta numrica com unidade de comprimento e um intervalo , uma
funo
, como funo posio de um ponto
que se desloca na reta
durante o intervalo de tempo , se, para cada
, ( ) for a abcissa do ponto de
que representa a posio que ocupa, unidades de tempo depois de se
, ou
| | unidades de tempo antes de
se
, designando tambm por instante,
neste contexto, cada
.
2. Identificar, fixados um instante para origem das medidas de tempo, uma unidade de
tempo , uma reta numrica com unidade de comprimento , um intervalo , a funo
posio de um ponto que se desloca na reta durante o intervalo de tempo , e
dados dois instantes
de , a velocidade mdia de no intervalo de tempo
[
] na unidade
e, para
, a velocidade instantnea de
derivada de em , ( ), caso exista.
FRVR11
no instante
entre
na unidade
( )
( )
como a
Pgina 45
[ que existe
[ tal que
( )
( )
( )
, interpretar
FRVR11
Pgina 46
Estatstica EST11
so
equivalentes, onde e representam, respetivamente, as mdias das amostras
(
)e
(
).
e designar a reta
EST11
Pgina 47
pontos o conjunto {( (
) (
)
(
)} e saber que uma anlise
visual e intuitiva da nuvem de pontos poder permitir argumentar se ser ou no
adequada a interpretao da relao entre as duas variveis estatsticas atravs do
ajustamento da reta de mnimos quadrados.
8. Determinar, dada uma amostra de dados bivariados quantitativos e aps a escolha da
varivel resposta e da varivel explicativa e, ainda, da avaliao emprica da possvel
existncia de relao linear entre as duas variveis estatsticas mediante a observao
da representao grfica da nuvem de pontos, o declive e a ordenada na origem da reta
de mnimos quadrados.
9. Designar, dado um nmero natural e uma amostra de dados bivariados quantitativos
(
, reconhecer que
onde
)(
, represent-lo por
EST11
Pgina 48
12. ANO
Clculo Combinatrio CC12
7.
8.
9.
10.
11.
sucessivas de um desses objetos, repondo o objeto escolhido aps cada uma das
extraes.
Designar, dado um conjunto , por conjunto das partes de o conjunto formado
pelos subconjuntos de , represent-lo por ( ) e justificar que se
tem
elementos (
) ento ( ) tem elementos (
( )
).
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).
Saber que, por conveno,
, reconhecendo que esta definio a nica para a
qual a igualdade
(
) vale tambm para
.
+Simplificar expresses envolvendo fatoriais.
Reconhecer, dados nmeros naturais
e
,
, que existem
(
conjunto de chegada {
repetio) de elementos
} e
sequncias de
elementos distintos
CC12
Pgina 49
subconjuntos de elementos (
), e designar este nmero por combinaes
de elementos a , reconhecendo que, dado
objetos, existem exatamente
formas de escolher
por
ou por ( ).
(
)
,
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.
CC12
Pgina 50
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 ( )
( ) disjuntos,
e de valores no negativos tal que ( )
e, para
(
)
( )
( ), designar, neste contexto, o conjunto
por espao
amostral ou universo dos resultados, ( ) por espao dos acontecimentos, os
( ), por probabilidade
respetivos elementos por acontecimentos, ( ), para
( ) ) por espao de probabilidades.
do acontecimento e o terno (
( ) ), o espao amostral
2. Designar, dado um espao de probabilidade (
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.
( ) ) e um acontecimento
3. Designar, dado um espao de probabilidade (
por casos favorveis a os elementos de e por casos possveis os elementos do
espao amostral .
( ) ), um acontecimento
4. Designar, dado um espao de probabilidade (
por
elementar quando
e por composto quando
.
5. Justificar, dado um conjunto finito , que a funo de domnio ( ) definida por
( )
6.
7.
8.
9.
( )
a nica probabilidade em
PRB12
)
( )
em que
Pgina 51
( ) ) e acontecimentos
2. Designar, dado um espao de probabilidade (
( ), com ( )
, por probabilidade de
se , por probabilidade
condicionada de se ou por probabilidade de ocorrer sabendo que ocorreu a
quantidade
)
( )
e represent-la por ( | ).
( ) ) e um acontecimento
( ),
3. #Provar, dado um espao de probabilidade (
( )
com ( )
, que a funo
definida pela expresso
( | ) uma
probabilidade em ( ).
( ) ), e dois acontecimentos e
4. Justificar, dado um espao de probabilidade (
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
{
} de constituda por acontecimentos de probabilidade no nula, que
( | ) ( )
( | ) ( )
para todo o acontecimento
, ( )
( | ) ( ) e designar este resultado por Teorema da probabilidade total.
3. Definir variveis aleatrias discretas e distribuies de probabilidade
( ) ), uma
1. Identificar, dado um conjunto finito e um espao de probabilidade (
varivel aleatria discreta como uma funo
e a distribuio de
probabilidades (ou funo massa de probabilidade) da varivel aleatria como a
funo que a cada valor
do contradomnio de
faz corresponder ( ),
( )
probabilidade do acontecimento
{
} formado pelos resultados do
universo nos quais a varivel aleatria toma o valor e representar ( ) por
(
) .
( ) ),
2. Justificar, dado um espao de probabilidade (
e uma varivel
aleatria discreta de contradomnio constitudo por elementos
que
(
)(
, onde
), designar por valor mdio de ou por
a quantidade
represent-la por
igual
Pgina 52
4. Resolver problemas
1. +Resolver problemas envolvendo clculo combinatrio e a determinao de
probabilidades em situaes de equiprobabilidade de acontecimentos elementares.
2. +Resolver problemas envolvendo espaos de probabilidades e a determinao de
propriedades da funo de probabilidade.
3. +Resolver problemas envolvendo probabilidade condicionada, acontecimentos
independentes e o Teorema da probabilidade total.
4. +Resolver problemas envolvendo a funo de distribuio, a mdia e o desvio padro de
uma varivel aleatria.
5. +Resolver problemas envolvendo as distribuies de Bernoulli e binomial.
PRB12
Pgina 53
Limites e Continuidade
1. Utilizar teoremas de comparao e os Teoremas das sucesses e funes
1. #Provar, dadas sucesses convergentes ( ) e ( ), que se, a partir de certa ordem,
ento
.
(
)
2. #Provar, dadas sucesses
e ( ) , que se, a partir de certa ordem,
e
ento
.
3. #Provar, dadas sucesses ( ) e ( ) , que se, a partir de certa ordem,
e
ento
.
4. #Provar, dadas sucesses ( ) e ( ) convergentes com o mesmo limite e uma
sucesso ( ) tal que, a partir de certa ordem,
, que ( ) convergente
e
, e designar este resultado por teorema das sucesses enquadradas.
5. +Provar que uma sucesso crescente (respetivamente decrescente) em sentido lato e
majorada (respetivamente minorada) convergente, de limite igual ao supremo
(respetivamente igual ao nfimo) do conjunto dos termos da sucesso.
6. Designar por vizinhana de
(respetivamente por vizinhana de
) um
[ (respetivamente da forma (
[),
intervalo 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
( )
caso de limites por valores superiores ou inferiores a bem como ao caso de limites em
, e designar este resultado por teorema das funes enquadradas.
10. +Utilizar os teoremas de comparao e o teorema das funes enquadradas para
determinar limites de sucesses e de funes reais de varivel real.
2. Conhecer propriedades elementares das funes contnuas
1. Saber, dada uma funo real de varivel real contnua num intervalo
[
](
),
(
)
(
)
que para qualquer valor
do intervalo de extremos
e
existe
tal
que ( )
e designar esta propriedade por Teorema dos valores intermdios ou
por Teorema de Bolzano-Cauchy.
FRVR12
Pgina 54
Diferenciabilidade
4. Operar com derivadas
1. Saber, dada uma funo real de varivel real bijetiva diferencivel num ponto
,
que se
( )
ento
diferencivel em
( ) e provar que
(
)( )
( )
( ))
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
(respetivamente em
{ }) e que para todo o
(respetivamente para todo o
),
( )
se
).
FRVR12
Pgina 55
6. Justificar, dada uma funo duas vezes diferencivel num intervalo , que se o grfico
da funo tem a concavidade voltada para cima (respetivamente voltada para baixo)
no intervalo ento, para todo o
, ( )
(respetivamente ( )
).
7. Identificar, dada uma funo de domnio , o ponto ( ( )) onde
como
ponto de inflexo do grfico de se existirem nmeros reais
e
tais que
[
]
e a concavidade do grfico de no intervalo [ ] tem sentido contrrio
concavidade do grfico de no intervalo [ ] e, nesse caso, referir que o grfico de
tem ponto de inflexo em .
8. Justificar, dada uma funo duas vezes diferencivel num intervalo , que se o grfico
de tem ponto de inflexo em ento ( )
.
9. Identificar, fixado um instante
para origem das medidas de tempo, uma unidade de
tempo , uma reta numrica com unidade de comprimento , um intervalo
,
no vazio nem reduzido a um ponto, dada a funo posio de um ponto que se
desloca na reta
durante o intervalo de tempo e dois instantes
de , a
acelerao mdia de no intervalo no intervalo de tempo [
] na unidade
entre
no instante
na unidade
( )
( )
, e, para
, a
como a derivada de
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
( ) ( e
de equaes da forma ( )
funes contnuas) utilizando uma
calculadora grfica, em casos em que possvel justificar, atravs da leitura das
informaes fornecidas pela calculadora, que determinados valores coincidem, at
casa decimal indicada, com solues da referida equao, utilizando propriedades
conhecidas das funes contnuas, como o Teorema dos valores intermdios, ou outras
propriedades analticas das funes e , previamente estabelecidas.
FRVR12
Pgina 56
Trigonometria TRI12
de
e provar que
no negativo
Pgina 57
TRI12
Pgina 58
Nmero de Neper
1. Definir o nmero de Neper
(
ser crescente.
.
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
,(
e ( )
que
] por ( )
]
(
em
a funo
Pgina 59
Funes logartmicas
3. Definir as funes logartmicas e estabelecer as respetivas propriedades principais
1. Reconhecer, dado um nmero real
,
que a funo
( )
bijetiva e designar a respetiva bijeo recproca,
2.
3.
4.
5.
definida por
, por
( )
logaritmo de base , represent-la por
e justificar que
( )
e
.
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 .
Justificar que a funo logaritmo de base crescente se
e decrescente se
.
Justificar que
o nico zero da funo logaritmo de base
,
e que, se
( )
(respetivamente se
),
(respetivamente
( )
).
( )
( )
Justificar, dado
, que
e que
.
6. Justificar, dado
7. #Provar, dado
( )
( )
, que
,
( ),
8. #Provar, dados
( )
,
( )
e que
(
, que
( )
( )e
, que
( )
( )
.
( )
( )
9. Justificar, dado
e
, que
.
10. Justificar, dado
, que a funo exponencial de base
respetiva derivada dada, em , pela expresso ( ) .
( )
( ),
( ).
diferencivel e que a
( )
( )
Limites notveis
4. Conhecer alguns limites notveis envolvendo funes exponenciais e logartmicas
1. +Provar, dado
justificar que
2. Justificar, dado
3. Justificar que
.
, que
( )
.
e que
( )]
FEL12
Pgina 60
Modelos exponenciais
5. Estudar modelos de crescimento e decrescimento exponencial
1. Saber que a evoluo de determinadas grandezas, como a massa de uma substncia
radioativa, a temperatura de alguns sistemas ou o nmero de indivduos de certas
populaes, pode ser modelada por uma equao diferencial de 1. ordem da forma
, que traduz o facto de, em cada instante, a taxa de variao ser
aproximadamente proporcional quantidade de grandeza presente.
2. Justificar, dado um nmero real , que as funes ( )
, onde uma constante
real, so solues em da equao diferencial
e que todas as solues desta
equao so dessa forma, mostrando que dada uma qualquer soluo , tem derivada
nula a funo
( ).
6. Resolver problemas
1. +Resolver problemas envolvendo 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.
FEL12
Pgina 61
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 62
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 .
[
para
],
, o integral de
entre
( )
9. Provar, dada uma funo contnua no negativa num intervalo [
], que a funo
definida em [ ] por ( ) ( ) a primitiva de no intervalo [
] nula em
( )
( )
( ), ento
[ ( )] , onde
( )
] (
no interval [
)
]
( )
e [ ( )]
( ), e designar este resultado por Frmula de Barrow.
11. Identificar, dado um referencial cartesiano e uma funo contnua tal que ( )
e ( ( ) ) como o simtrico da
medida da rea da regio do plano delimitada pelas retas de equao
e
,o
[
para
],
, o integral de
entre
( ) .
{ }, com
positiva em cada um dos intervalos [ ,
entre
como a soma
( )
( )
, tal que
no negativa ou no
](
) e identificar o integral de
( )
( )
( )
( ))
( )
( )
e que
( )
( )
Pgina 63
( )
( ) (respetivamente ( )
( )
(respetivamente
( )
integral definido.
3. Reconhecer, dada uma funo
( )) ento
[
](
se para
( )
) que
todo o
( )
] tal que
](
) que alterna de
( )
) ( )
( )
( )
, e de , se tem
( )
( )
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.
PCI12
Pgina 64
NC12
Pgina 65
( )
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
de
.
) do ponto
afixo de
o ponto afixo
( )
e que
( )
de igual a |
e justificar qu
NC12
que | |
| |
| |
e que ( )
Pgina 66
por
), e representar, para
, o nmero complexo
, o argumento principal de
( )
( )
NC12
( )
) e designar
Pgina 67
e um nmero natural
(
, que a
equao
tem exatamente as solues
,
,
| |
onde um argumento de , e designar estes nmeros por razes -simas de ou
razes de ordem de .
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
.
) que as razes da equao
3. Reconhecer, dados
,(
dadas por
so
e que, se ,
so nmeros reais e se
duas solues complexas conjugadas uma da outra.
, a equao tem
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.
NC12
Pgina 68