Programa e Metas Curriculares Matemtica A

Ensino Secundrio
Cursos Cientfico-Humansticos de Cincias e Tecnologias e de Cincias Socioeconmicas (Submetido consulta pblica, 2013)

Programa de Matemtica A - Ensino Secundrio

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

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

Metas Curriculares de Matemtica A - Ensino Secundrio

Autores
Antnio Bivar Faculdade de Cincias da Universidade de Lisboa (aposentado) Carlos Grosso Escola Secundria c/ 3. Ciclo de Pedro Nunes Filipe Oliveira Faculdade de Cincias e Tecnologia da Universidade Nova de Lisboa Maria Clementina Timteo Agrupamento de Escolas de Queluz-Belas, Unidade Padre Alberto Neto Lusa Loura Faculdade de Cincias da Universidade de Lisboa (Probabilidades e Estatstica)

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

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

 no respeito pela estrutura intrnseca da Matemtica e do mtodo que a caracteriza que se procura igualmente, com este Programa, desenvolver no aluno o gosto por esta disciplina milenar, nas suas diversas vertentes, como o carcter organizador e agregador de conhecimento na sua expresso mais abstrata ou a eficcia de que se revestem os instrumentos matemticos quando aplicados ao estudo do mundo real. O calendrio de aplicao deste novo Programa est definido no Despacho n. 159717/2012, de 14 de dezembro, estando prevista para o ano letivo 2015-16 a sua implementao no 10. ano de escolaridade, prosseguindo nos anos seguintes para os 11. e 12. anos de escolaridade.

Introduo

Pgina 4

2. FINALIDADES DO ENSINO DA MATEMTICA

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

A estruturao do pensamento e o desenvolvimento do raciocnio abstrato

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

A modelao e a aplicao da Matemtica ao mundo real

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

Finalidades do Ensino da Matemtica

Pgina 5

3. OBJETIVOS
Os objetivos que traduzem os desempenhos fundamentais que os alunos devero evidenciar ao longo do Ensino Secundrio so explicitados por verbos a que se atribuem significados especficos e que servem de base leitura dos descritores elencados nas Metas Curriculares. Requerem-se assim os seguintes 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

Comunicao matemtica Na prtica letiva, os alunos devem ser estimulados a desenvolver a capacidade de compreender os enunciados dos problemas matemticos, identificando as questes que levantam, explicando-as oralmente de modo claro, conciso e coerente, e discutindo, do mesmo modo, estratgias que conduzam sua resoluo. Os alunos devem ser incentivados a expor as suas ideias, a comentar as afirmaes dos seus colegas e do professor e a colocar as suas dvidas. Sendo igualmente a redao escrita parte integrante da atividade matemtica, devem tambm ser incentivados a redigir convenientemente as respostas, explicando de forma adequada o raciocnio e apresentando as suas concluses de forma clara, escrevendo em portugus correto e evitando uma utilizao inapropriada de smbolos matemticos como abreviaturas estenogrficas. Resoluo de problemas A resoluo de problemas envolve, da parte dos alunos, a leitura e interpretao de enunciados, a mobilizao de conhecimentos de factos, conceitos e relaes, a seleo e aplicao adequada de regras e procedimentos, previamente estudados e treinados, a reviso, sempre que necessria, da estratgia preconizada e a interpretao dos resultados finais. Assim, a resoluo de problemas no deve confundir-se com atividades vagas de explorao e de descoberta que, podendo constituir estratgias de motivao, no se revelam adequadas concretizao efetiva de uma finalidade to exigente. Nos enunciados de exerccios e problemas deve ter-se em conta a convenincia de uma progressiva utilizao das tcnicas e princpios que vo sendo adquiridos, procurando-se um equilbrio entre a adequao das questes propostas a essa aquisio progressiva e uma ilustrao, nem sempre possvel, de situaes inteiramente inspiradas na vida corrente. Desta maneira, pode ser conveniente, em diversas situaes, propor problemas descrevendo situaes que no traduzam de modo plenamente realista aspetos da experincia quotidiana dos alunos, mas que sejam particularmente adaptados aos objetivos do ensino de determinadas matrias. Histria da Matemtica A Histria da Matemtica um tema que est contemplado explicitamente em alguns descritores das Metas. Os professores devero, no apenas nesses casos mas tambm a propsito de outros temas que para o efeito se revelem particularmente adequados, enquadrar de um ponto de vista histrico os contedos abordados. Tal atividade, para alm de ilustrar a forma como a Matemtica foi construda ao longo dos tempos, permite ainda, no s uma maior motivao para a aprendizagem, como, em muitos casos, tambm proporciona uma melhor compreenso dos prprios conceitos. Por outro lado, a interao da Matemtica com outras reas do conhecimento como a Astronomia, a Fsica, a Biologia ou a Economia constituiu um dos motores essenciais evoluo global das cincias, incluindo a prpria Matemtica, pelo que o conhecimento histrico dessa interao um fator essencial para uma compreenso mais profunda do pensamento cientfico.

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

10. ano Tabela de contedos

Domnio LTC10 18 aulas Contedos

Introduo Lgica bivalente e Teoria dos conjuntos Proposies - Valor lgico de uma proposio; Princpio do terceiro excludo e Princpio de no contradio; - Operaes sobre proposies: negao, conjuno, disjuno, implicao e equivalncia; - Prioridades das operaes lgicas; - Relaes lgicas entre as diferentes operaes; propriedade da dupla negao; princpio da dupla implicao; - Reflexividade e transitividade da implicao e da equivalncia; simetria da equivalncia; - Propriedades comutativa, associativa, de existncia de elemento neutro e de elemento absorvente e da idempotncia da disjuno e da conjuno e propriedades distributivas da conjuno em relao disjuno e da disjuno em relao conjuno; - Leis de De Morgan; - Implicao contra-recproca; - Resoluo de problemas envolvendo operaes lgicas sobre proposies. Condies e Conjuntos - Expresso proposicional ou condio; quantificador universal, quantificador existencial e segundas Leis de De Morgan; - Conjunto definido por uma condio; Igualdade entre conjuntos; conjuntos definidos em extenso; - Unio (ou reunio), interseo e diferena de conjuntos e conjunto complementar; - Incluso de conjuntos; - Relao entre operaes lgicas sobre condies e operaes sobre os conjuntos que definem; - Princpio de dupla incluso e demonstrao de equivalncias por dupla implicao; - Propriedades comutativa, associativa, de existncia de elemento neutro e elemento absorvente e da idempotncia da unio e da interseo e propriedades distributivas da unio em relao interseo e da interseo em relao unio; - Negao de uma implicao universal e contra-exemplos; demonstrao por contra-recproco; - Resoluo de problemas envolvendo operaes sobre condies e sobre conjuntos.

ALG10 30 aulas

Radicais - Monotonia da potenciao; razes de ndice , ; - Propriedades algbricas dos radicais: produto e quociente de razes com o mesmo ndice, potncias de razes e composio de razes; - Racionalizao de denominadores; - Resoluo de problemas envolvendo operaes com radicais. Potncias de expoente racional - Definio e propriedades algbricas das potncias de base positiva e expoente racional: produto e quociente de potncias com a mesma base, produto e quociente de potncias com o mesmo expoente e potncia de potncia; - Resoluo de problemas envolvendo operaes com potncias;

Contedos

Pgina 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

Geometria analtica no plano - Referenciais ortonormados; - Frmula da medida da distncia entre dois pontos no plano em funo das respetivas coordenadas; - Coordenadas do ponto mdio de um dado segmento de reta; - Equao cartesiana da mediatriz de um segmento de reta; - Equaes e inequaes cartesianas de um conjunto de pontos; - Equao cartesiana reduzida da circunferncia; - Definio de elipse e respetiva equao cartesiana reduzida; relao entre eixo maior, eixo menor e distncia focal; - Inequaes cartesianas de semiplanos; - Inequaes cartesianas de crculos e partes internas de elipses; - Resoluo de problemas envolvendo a noo de distncia entre pontos do plano; - Resoluo de problemas envolvendo equaes e inequaes cartesianas de subconjuntos do plano. Relaes de equivalncia, parties e vetores - Produtos cartesianos de conjuntos; - Relaes binrias e relaes de equivalncia; classes de equivalncia, conjuntos-quociente e parties; - Formas geomtricas, comprimentos, direes, amplitudes e vetores enquanto classes de equivalncia; vetores e translaes; - Resoluo de problemas envolvendo relaes de equivalncia e parties de conjuntos. Clculo vetorial no plano - Norma de um vetor; - Multiplicao por um escalar de um vetor; relao com a colinearidade e o vetor simtrico; - Diferena entre vetores; - Propriedades algbricas das operaes com vetores; - Base cannica do espao vetorial dos vetores de um plano munido de um referencial ortonormado e coordenadas de um vetor; combinao linear de vetores; - Vetor-posio de um ponto e respetivas coordenadas; - Coordenadas da soma e da diferena de vetores; coordenadas do produto de um vetor por um escalar e do simtrico de um vetor; relao entre as coordenadas de vetores colineares; - Vetor diferena de dois pontos; clculo das respetivas coordenadas; coordenadas do ponto soma de um ponto com um vetor; - Clculo da norma de um vetor em funo das respetivas coordenadas; - Vetor diretor de uma reta; relao entre as respetivas coordenadas e o declive da reta; - Paralelismo de retas e igualdade do declive;

Contedos

Pgina 11

- Equao vetorial de um reta; - Equaes paramtricas de uma reta; - Resoluo de problemas envolvendo a determinao de coordenadas de vetores no plano, a colinearidade de vetores e o paralelismo de retas do plano. Geometria analtica no espao - Referenciais cartesianos ortonormados do espao; - Equaes de planos paralelos aos planos coordenados; - Equaes cartesianas de retas paralelas a um dos eixos; - Distncia entre dois pontos no espao; - Equao do plano mediador de um segmento de reta; - Equao cartesiana reduzida da superfcie esfrica; - Inequao cartesiana reduzida da esfera; - Resoluo de problemas envolvendo a noo de distncia entre pontos do espao; - Resoluo de problemas envolvendo equaes e inequaes cartesianas de subconjuntos do espao. Clculo vetorial no espao - Generalizao ao espao da noo de vetor e dos conceitos e propriedades bsicas do clculo vetorial; - Equao vetorial da reta no espao; - Resoluo de problemas envolvendo clculo vetorial no espao.
FRVR10 56 aulas

Generalidades acerca de funes - Grficos de funes; - Restries de uma funo; - Imagem de um conjunto por uma funo; - Funes injetivas, sobrejetivas e bijetivas; - Composio de funes; - Funo inversa de uma funo bijetiva. Generalidades acerca de funes reais de varivel real - Funes reais de varivel real; funes definidas por expresses analticas; - Propriedades geomtricas dos grficos de funes; - Paridade; simetrias dos grficos das funes pares e das funes mpares; - Relao geomtrica entre o grfico de uma funo e o da respetiva inversa; - Homotetias e translaes nas variveis dependente e independente; - Contraes e dilataes relativamente a um eixo. Monotonia, extremos e concavidade - Intervalos de monotonia de uma funo real de varivel real; caso das funes afins e caso das funes quadrticas; - Vizinhana de um ponto da reta numrica; extremos relativos e absolutos; - Sentido da concavidade do grfico de uma funo real de varivel real.

Contedos

Pgina 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 ( ) ; - Estudo de funes definidas por ramos envolvendo funes polinomiais, mdulos e radicais. Resoluo de problemas - Equaes e inequaes envolvendo as funes polinomiais, raiz quadrada e raiz cbica, e a composio da funo mdulo com funes afins e com funes quadrticas; - Resoluo de problemas envolvendo as propriedades geomtricas dos grficos de funes reais de varivel real; - Resoluo de problemas envolvendo as funes afins, quadrticas, raiz quadrada, raiz cbica, mdulo, funes definidas por ramos e a modelao de fenmenos reais.
EST10 20 aulas

Caractersticas amostrais - Sinal de somatrio; traduo no formalismo dos somatrios das propriedades associativa e comutativa generalizadas da adio e distributiva generalizada da multiplicao em relao adio; - Noo de varivel estatstica quantitativa como funo numrica definida numa populao e de amostra de uma varivel estatstica; - Mdia de uma amostra; propriedades da mdia de uma amostra; - Varincia e desvio-padro de uma amostra; propriedades da varincia e do desvio-padro de uma amostra; - Percentil de ordem ; propriedades do percentil de ordem ; - Resoluo de problemas envolvendo a mdia e o desvio padro de uma amostra; - Resoluo de problemas envolvendo os percentis de uma amostra. Simulao Monte Carlo - Simulao de experincias aleatrias por recurso a algoritmos geradores de nmeros pseudo-aleatrios; - Propriedades inferenciais da mdia com recurso simulao Monte Carlo; - Resoluo de problemas envolvendo sequncias de nmeros pseudo-aleatrios.

Contedos

Pgina 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

no vazio majorado (respetivamente minorado), cuja existncia admitida. igualmente introduzido, neste domnio, o princpio de induo matemtica, que constitui um instrumento fundamental para o estudo de diversas propriedades das sucesses, servindo ainda de suporte terico definio de sucesses por recorrncia. So estudadas as progresses aritmticas e geomtricas bem como o clculo da soma de sequncias dos respetivos termos, destacando-se, em particular, a aplicao ao clculo de juros compostos. A noo de limite introduzida, de forma cuidada, neste domnio, o que o torna num dos domnios-chave do 11. ano de escolaridade. Uma abordagem puramente intuitiva dos limites leva rapidamente a insuficincias concetuais graves. pois exigida, em situaes muito simples, a justificao da convergncia de certas sucesses recorrendo diretamente definio. tambm desenvolvida, de forma bastante completa, a lgebra dos limites, incluindo uma anlise das situaes ditas indeterminadas, devendo os alunos justificar igualmente alguns destes resultados. No domnio Funes Reais de Varivel Real, do 11. ano, utilizam-se os conceitos introduzidos no domnio Sucesses, para, pelo processo atribudo a Heine, ficar definida a noo de limite de uma funo, num dado ponto ou em mais ou menos infinito. Neste contexto, so essencialmente duas as opes que classicamente se consideram para a definio de limite num ponto real, consoante o domnio em que se tomam as sucesses a tender para , para o efeito de testar a existncia do referido limite. A opo privilegiada desde h bastante tempo no Ensino Secundrio em Portugal tem sido a que consiste em considerar, de entre as sequncias no domnio da funo, apenas aquelas que nunca tomam o valor . Ou seja, tem-se optado pelo que vulgarmente se designa por limite por valores diferentes de . Neste programa optou-se pela verso alternativa que consiste em admitir, com o mesmo objetivo, sucesses podendo tomar o valor ; considera-se, com efeito, que esta opo apresenta diversas vantagens. Em primeiro lugar por ser mais simples de formular (e permitir tambm uma formulao mais simples da noo de continuidade) e em segundo porque a prpria noo de limite por valores diferentes (como outras afins como a de limite esquerda e direita) passa a poder ser encarada como caso particular de um noo geral de limite segundo um conjunto que muito simplesmente o limite da restrio da funo inicial a esse conjunto. Quanto escolha da definio de limite segundo Heine - que j prtica comum no Ensino Secundrio - permite, de forma bastante imediata, estender ao caso de funes reais a lgebra de limites estudada a propsito das sucesses, bem como os teoremas de convergncia por comparao, como o Teorema das funes enquadradas, que uma consequncia direta, com esta abordagem, do Teorema das sucesses enquadradas e que so estudados no 12 ano. Apresenta-se em seguida a noo de continuidade e, como uma aplicao da noo de limite de uma funo, o estudo das assntotas, em particular no caso do grfico de uma funo racional. A diferenciabilidade igualmente introduzida neste domnio, fazendo-se uma interpretao geomtrica da derivada de uma funo num dado ponto e estabelecendo-se frmulas para a soma, diferena, produto, quociente e composta de funes diferenciveis e calculando-se, directamente a partir da definio, a derivada de algumas funes elementares. A ligao entre o sinal da derivada e a monotonia de uma dada funo aqui estabelecida invocando-se o Teorema de Lagrange para uma das implicaes, o qual referido juntamente com o Teorema de Rolle, embora apenas se exija uma interpretao geomtrica desses resultados. Em contrapartida pretende-se que o aluno saiba justificar a propriedade segundo a qual se uma funo que atinge um extremo num dado ponto em que diferencivel, ento a derivada anula-se nesse ponto, desde que pertena a um intervalo aberto contido no domnio da funo. Finalmente, proposta especificamente a aplicao da diferenciabilidade cinemtica do ponto. Contedos Pgina 15

No domnio Estatstica, estudam-se as retas de mnimos quadrados associadas a uma sequncia de pontos do plano. As coordenadas destes pontos podem em particular representar os valores de uma amostra bivariada, o que permite a aplicao deste conceito ao estudo da correlao de duas variveis estatsticas definidas numa mesma populao.

11. ano Tabela de contedos

Domnio TRI11 50 aulas Contedos

Extenso da Trigonometria a ngulos retos e obtusos e resoluo de tringulos - Extenso da definio das razes trigonomtricas ao caso de ngulos retos e obtusos; Lei dos senos e Lei dos cossenos; extenso da frmula fundamental da trigonometria; - Resoluo de tringulos; - Seno e cosseno da soma de ngulos cuja soma um ngulo convexo; - Seno e cosseno da diferena de ngulos convexos cuja diferena um ngulo convexo; - Seno e cosseno da metade de um ngulo. ngulos orientados, ngulos generalizados e rotaes - ngulos orientados; amplitudes de ngulos orientados e respetivas medidas; - Rotaes; - Orientao de um plano; - ngulos generalizados; medidas de amplitude de ngulos generalizados; - ngulos generalizados e rotaes. Razes trigonomtricas de ngulos generalizados - Circunferncia trigonomtrica (Crculo trigonomtrico); - Generalizao das definies das razes trigonomtricas aos ngulos orientados e generalizados e s respetivas medidas de amplitude; - Medidas de amplitude em radianos. Funes trigonomtricas - As funes reais de varivel real seno, cosseno e tangente: domnios, periodicidade, contradomnios, zeros e extremos locais; - Relaes entre razes trigonomtricas de ngulos complementares, suplementares, cuja diferena um ngulo reto ou um ngulo raso ou cuja soma um ngulo giro; - Generalizao da relao fundamental da Trigonometria e das frmulas trigonomtricas da soma, diferena e da duplicao; - Equaes do tipo e ; - Inequaes trigonomtricas com domnio num intervalo limitado; ( ) - Estudo das funes definidas analiticamente por , ( ) ( ) e ; - Funes trigonomtricas inversas; - Resoluo de problemas envolvendo razes trigonomtricas e a determinao de distncias; - Resoluo de problemas envolvendo funes trigonomtricas. Aplicaes aos osciladores harmnicos - Osciladores harmnicos: amplitude, pulsao, perodo, frequncia e fase; - Resoluo de problemas envolvendo osciladores harmnicos.

Contedos

Pgina 16

GA11 32 aulas

Declive e inclinao de uma reta do plano - Inclinao de uma reta do plano e relao com o respetivo declive. Produto escalar de vetores - Produto escalar de um par de vetores; - ngulo formado por um par de vetores no nulos; relao com o produto escalar; - Perpendicularidade entre vetores e relao com o produto escalar; - Desigualdade de Cauchy-Schwarz; - Simetria e bilinearidade do produto escalar; - Clculo do produto escalar de um par de vetores a partir das respetivas coordenadas; - Relao entre o declive de retas do plano perpendiculares; - Resoluo de problemas envolvendo a noo de produto escalar. Equaes de planos no espao - Vetores normais a um plano; - Relao entre a posio relativa de dois planos e os respetivos vetores normais; - Paralelismo entre vetores e planos; - Equaes cartesianas, vetoriais e paramtricas de planos; - Resoluo de problemas envolvendo a noo de produto escalar de vetores; - Resoluo de problemas relativos determinao de equaes de retas do plano em situaes envolvendo a noo de perpendicularidade; - Resoluo de problemas envolvendo a determinao de equaes de planos, em situaes envolvendo a perpendicularidade; - Resoluo de problemas envolvendo equaes de planos e de retas no espao.

PL11 6 aulas

Vocabulrio da otimizao - Funo objetivo; regio admissvel e pontos admissveis; - Conjunto de nvel de uma funo numrica. Introduo programao linear - Problemas de programao linear e respetivas funes objetivo e regies admissveis; conjuntos de nvel de um problema de programao linear; - Relao entre os mximos e mnimos da funo objetivo de um problema de programao linear e os vrtices da respetiva regio admissvel, quando esta limitada; - Resoluo de problemas de programao linear por mtodos geomtricos e analticos.

SUC11 38 aulas

Conjunto dos majorantes e conjunto dos minorantes de uma parte no vazia de - Conjuntos minorados, majorados e limitados; - Mximo, mnimo, supremo e nfimo de um conjunto; - Princpio do supremo; caracterizao do conjunto dos majorantes e do conjunto dos minorantes de um conjunto no vazio de nmeros reais; - Caracterizao do supremo e do nfimo de um conjunto no vazio de nmeros reais. Generalidades acerca de sucesses - Sucesses numricas; sucesses montonas, majoradas, minoradas e limitadas; conjunto dos majorantes e dos minorantes de uma sucesso; - Resoluo de problemas envolvendo o estudo da monotonia e a determinao de majorantes e minorantes de sucesses.

Contedos

Pgina 17

Princpio de induo matemtica - Princpio de induo matemtica; - Definio de uma sucesso por recorrncia; - Demonstrao de propriedades utilizando o princpio de induo matemtica. Progresses aritmticas e geomtricas - Progresses aritmticas e geomtricas; termos gerais e somas de termos consecutivos; - Resoluo de problemas envolvendo progresses aritmticas e geomtricas. Aplicaes aos juros compostos - Clculo de juros compostos; - Resoluo de problemas envolvendo juros compostos. Limites de sucesses - Limite de uma sucesso (casos de convergncia e de limites infinitos); unicidade do limite; caso de sucesses que diferem num nmero finito de termos; - Operaes com limites e situaes indeterminadas; - Levantamento algbrico de indeterminaes; - Limites de polinmios e de fraes racionais; ( ); - Limites , )e ( - Resoluo de problemas envolvendo limites de sucesses.
FRVR11 46 aulas

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

onde

so polinmios;

- Resoluo de problemas envolvendo a noo de limite de uma funo. Continuidade de funes - Funo contnua num ponto e num subconjunto do respetivo domnio; - Continuidade da soma, diferena, produto, quociente e composio de funes contnuas; - Continuidade das funes polinomiais, racionais, trigonomtricas, razes e potncias de expoente racional.

Contedos

Pgina 18

Assntotas ao grfico de uma funo - Assntotas verticais e assntotas oblquas ao grfico de uma funo; - Resoluo de problemas envolvendo a determinao das assntotas e da representao grfica de funes racionais definidas analiticamente por ( ) ( ); - Resoluo de problemas envolvendo a determinao de assntotas ao grfico de funes racionais e de funes definidas pelo radical de uma funo racional. Diferenciabilidade - Taxa mdia de variao de uma funo e interpretao geomtrica; - Derivada de uma funo num ponto e interpretao geomtrica; - Derivada da soma e da diferena de funes diferenciveis; - Derivada do produto e do quociente de funes diferenciveis; - Derivada da funo composta; - Derivada da funo definida por ( ) , inteiro; - Sinal da derivada de funes montonas; nulidade da derivada num extremo local de uma funo; - Teorema de Lagrange e de Rolle; interpretao geomtrica; - Monotonia das funes com derivada de sinal determinado num intervalo; - Clculo e memorizao da derivada das funes dadas pelas expresses e ; - Clculo da derivada de funes dadas por ( ) ( no nulo se mpar, se par); - Clculo e memorizao da derivada de funes dadas por ( ) ( racional, ); - Clculo de derivadas de funes utilizando as regras de derivao e as derivadas de funes de referncia; - Equaes de retas tangentes ao grfico de uma dada funo; - Resoluo de problemas envolvendo a determinao de equaes de retas tangentes ao grfico de funes reais de varivel real; - Resoluo de problemas envolvendo a aplicao do clculo diferencial ao estudo de funes reais de varivel real, a determinao dos respetivos intervalos de monotonia, extremos relativos e absolutos. Cinemtica do ponto - Aplicao da noo de derivada cinemtica do ponto: funes posio, velocidade mdia e velocidade instantnea de um ponto material que se desloca numa reta; unidades de medida de velocidade; - Resoluo de problemas envolvendo funes posio, velocidades mdias e velocidades instantneas e mudanas de unidades de velocidade.
EST11 6 aulas

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

Contedos

Pgina 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

multiplicao adequada. Comea-se por motivar estas definies, estabelecendo-se previamente determinadas propriedades que resultam necessariamente das caractersticas que se pretende atribuir aos nmeros complexos, em particular a existncia de um nmero cujo quadrado igual a . Trata-se de uma construo palpvel e concreta que pretende evitar algumas das reticncias evidenciadas geralmente pelos alunos quanto verdadeira existncia dos nmeros imaginrios e que est estreitamente relacionada com o habitual conceito de plano complexo. Aps a anlise das propriedades operatrias dos nmeros complexos, estudado em pormenor o grupo dos complexos de mdulo , estabelecendo-se assim uma base slida para a representao dos nmeros complexos na forma polar e, posteriormente, para a radiciao complexa. ainda estudada a representao complexa de algumas transformaes do plano, como rotaes, reflexes, translaes e homotetias, e aproveitam-se as frmulas de De Moivre para linearizar polinmios trigonomtricos, o que permite estabelecer rapidamente diversas frmulas de trigonometria e primitivar algumas funes.

12. ano Tabela de contedos

Domnio CC12 17 aulas Contedos

Factos elementares do Clculo Combinatrio - Conjuntos equipotentes e cardinais; cardinal da unio de conjuntos disjuntos; - Cardinal do produto cartesiano de conjuntos finitos; - Nmero de aplicaes entre conjuntos de cardinal finito; arranjos com repetio; - Nmero de subconjuntos de um conjunto de cardinal finito; - Nmero de bijees de um conjunto finito nele prprio; fatorial de um nmero inteiro no negativo; - Nmero de aplicaes injetivas entre conjuntos de cardinal finito; Arranjos sem repetio; - Nmero de subconjuntos de elementos de um conjunto de cardinal ; combinaes; - Resoluo de problemas envolvendo cardinais de conjuntos, contagens, arranjos e combinaes. Tringulo de Pascal e Binmio de Newton - Frmula do binmio de Newton; - Tringulo de Pascal: definio e construo; - Resoluo de problemas envolvendo o tringulo de Pascal e o binmio de Newton.

PRB12 27 aulas

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

Contedos

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

Aplicao do clculo diferencial resoluo de problemas - Resoluo de problemas de otimizao envolvendo funes diferenciveis; - Resoluo de problemas envolvendo funes posio, velocidades mdias e velocidades instantneas, aceleraes mdias e aceleraes instantneas e mudanas de unidades de acelerao; - Resoluo de problemas envolvendo a resoluo aproximada de equaes da forma ( ) ( ) utilizando uma calculadora grfica.
TRI12 22 aulas

Diferenciao de funes trigonomtricas - Limite notvel

( )

- Diferenciabilidade das funes seno, cosseno e tangente; - Resoluo de problemas envolvendo o estudo de funes definidas a partir de funes trigonomtricas. Aplicaes aos osciladores harmnicos - Relao Fundamental da Dinmica e lei de Hooke; - Os osciladores harmnicos como solues de equaes diferenciais da forma - Resoluo de problemas envolvendo osciladores harmnicos.
FEL12 41 aulas

Nmero de Neper - Sucesso de termo geral ( ) 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 , ,
( )

):

e relao com o limite da sucesso de termo geral ( e derivada da funo exponencial.

) ,

( );

- Resoluo de problemas envolvendo o estudo de funes definidas a partir de funes exponenciais e logartmicas, as respetivas propriedades algbricas e limites notveis.

Contedos

Pgina 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

Introduo aos nmeros complexos - A Frmula de Cardano e a origem histrica dos nmeros complexos; - Motivao da definio dos nmeros complexos e das operaes de soma e produto de nmeros complexos; - Propriedades das operaes ( ) ( ) ( )e ( ) ( ) ( ) definidas em : associatividade, comutatividade, distributividade de relativamente a e respetivos elementos neutros; definio do corpo dos nmeros complexos , enquanto munido destas operaes; - enquanto subconjunto de ; a unidade imaginria ( ); - Representao dos nmeros complexos na forma , . Parte real e parte imaginria dos nmeros complexos; o plano complexo e os eixos real e imaginrio; ponto afixo de um nmero complexo.

Contedos

Pgina 25

Complexo conjugado e mdulo dos nmeros complexos - Conjugado de um nmero complexo; propriedades algbricas e geomtricas; expresso da parte real e da parte imaginria de um nmero complexo em funo de e de ; - Mdulo de um nmero complexo; propriedades algbricas e geomtricas. Quociente de nmeros complexos - Inverso de um nmero complexo no nulo e quociente de nmeros complexos. Exponencial complexa e forma polar dos nmeros complexos ( ) - Complexos de mdulo ; a exponencial complexa ( ), ,e respetivas propriedades algbricas e geomtricas; argumento de um nmero complexo e representao polar dos nmeros complexos; - Frmulas de De Moivre. Razes n-simas de nmeros complexos - Solues das equaes da forma , razes dos polinmios complexos de grau . 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. e ; a funo raiz quadrada;

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 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.

10. ano

11. ano

12. ano

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. Alpuim, T., Estatstica, Apontamentos de Apoio disciplina de Estatstica da Licenciatura em Matemtica e Matemtica Aplicada, FCUL, 2012. Alpuim, T., Probabilidade, Apontamentos de Apoio disciplina de Probabilidade da Licenciatura em Matemtica e Matemtica Aplicada, FCUL, 2008. 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. 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. Common Core State Standards for Mathematics, Common Core State Standards Initiative, Preparing Americas students for college & Career, 2011. Comptences Terminales et savoirs requis en Mathmatiques, Humanits gnrales et technologiques, Ministre de la Communaut Franaise, Blgica, 1999. Curricula Liceo Scientifico Indicazioni, Ministero dellInstuzione, dellUniversit e della Ricerca, Itlia, 2010. (http://www.indire.it/lucabas/lkmw_file/licei2010///indicazioni_nuovo_impaginato/_Liceo%20scient ifico.pdf) 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. Ferreira, J.C., Introduo Anlise Matemtica, Lisboa, Fundao Calouste Gulbenkian, 2008. Figueira, M., Fundamentos de Anlise Infinitesimal, Textos de Matemtica, volume 5, 2 edio, Lisboa, DM-FCUL, 1997. 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. 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. Guerreiro, J.S., Curso de Anlise Matemtica, Lisboa, Escolar Editora, 2008. Kaminsky, J., Sloutsky, V. & Heckler, A., The advantage of abstract examples in learning math, Education Forum, 320 (pp. 454-455), 2008. Karpicke, J.D. & Roediger, H.L., The critical importance of retrieval for learning, Science, 319, (pp. 966-968), 2008. Katz, V.J., Histria da Matemtica, Lisboa, Fundao Calouste Gulbenkian, 2010. 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. Pgina 31

4. 5. 6. 7.

8. 9. 10. 11.

12.

13. 14. 15. 16. 17.

Bibliografia

18.

Loura, L.C.C. e Martins, M.E.G., Introduo Probabilidade, Projecto REANIMAT, Departamento de Matemtica da Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2003. Loura, L.C.C. e Martins, M.E.G., Clculo Combinatrio, Projecto REANIMAT, Departamento de Matemtica da Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2003. Machado, A., Abrantes, P., Carvalho, R.F., Matemtica: 12. ano: M12, Lisboa, Texto Editora, 1986. 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. Machado A., Geometria 10. ano, Projecto REANIMAT, Departamento de Matemtica da Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2002. Machado A., Geometria 11. ano, Projecto REANIMAT, Departamento de Matemtica da Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2003. Machado A., Nmeros Complexos 12. ano, Projecto REANIMAT, Departamento de Matemtica da Faculdade de Cincias da Universidade de Lisboa e Fundao Calouste Gulbenkian, 2004. Mathematics The National Curriculum for England, Department for Education and Employment, London, 1999. Mathmatiques, classe de seconde, Bulletin Officiel, n. 30, Ministre de Lducation Nationale, 2009. Mathmatiques, cycle terminal de la srie scientifique, classe de Premire, Bulletin Officiel Spcial, n. 9, Ministre de Lducation Nationale, 2010. Murteira, B. & Ribeiro, C., Introduo Estatstica, Lisboa, Escolar Editora, 2007. NMAP National Mathematics Advisory Panel, Foundations for success: Final Report, U.S. Department of Education, 2008. 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. Pestana, D., Introduo Probabilidade e Estatstica, Lisboa, Fundao Calouste Gulbenkian, 2008. Programme de lenseignement spcifique et de spcialit de mathmatiques, Classe terminale de la srie scientifique, Bulletin Officiel Spcial, n. 8, Ministre de Lducation Nationale, 2011. 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. Roediger, H.L., Karpicke, J.D., Test-enhanced learning: Taking memory tests improves long-term retention, Psychological Science, 17, (pp. 249-255), 2006. 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. Rohder, D. & Taylor, K., The effects of overlearning and distributed practice on the retention of mathematics knowledge, Applied Cognitive Psychology, 20, 2006.

19.

20. 21.

22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36.

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. Sarrico, C., Anlise Matemtica Leituras e exerccios, Projectos Cincia, Lisboa, Gradiva, 1997. Sebastio e Silva, J., Compndio de Matemtica (5 volumes), GEP, MEC, 1975-78. Sebastio e Silva, J., Guia para a utilizao do Compndio de Matemtica (3 volumes), GEP-MEC, 1975-77. 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. 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. 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. Struik, D., Histria Concisa das Matemticas, Coleco Cincia Aberta, Lisboa, Gradiva, 1997. 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.

38. 39. 40. 41. 42. 43. 44. 45.

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

METAS CURRICULARES PARA O ENSINO SECUNDRIO MATEMTICA A

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

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

Introduo

Pgina 1

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

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

Introduo

Pgina 2

10. ANO
Lgica e Teoria dos Conjuntos LTC10

Introduo Lgica bivalente e Teoria dos conjuntos 1. Operar com proposies 1. Designar por proposio toda a expresso suscetvel de ser verdadeira ou falsa, designar estes atributos por valores lgicos e por Princpio do terceiro excludo o facto de apenas se considerarem como proposies as expresses a que se atribua um daqueles dois valores lgicos. 2. Saber que uma proposio no pode ser simultaneamente verdadeira e falsa e designar esta propriedade por Princpio de no contradio. 3. Saber, dadas proposies e , que equivalente a uma proposio, designada por equivalncia entre e , que verdadeira se e somente se e tiverem o mesmo valor lgico e represent-la tambm por . 4. Identificar proposies e como equivalentes quando a proposio for verdadeira, e utilizar tambm a notao , quando no for ambgua, para indicar que a proposio de facto verdadeira, ou seja, que as proposies e tm o mesmo valor lgico. 5. Saber, dada uma proposio , que no uma proposio, designada por negao de , que verdadeira se for falsa e falsa se for verdadeira e represent-la tambm por . 6. Justificar que ( ) , designando esta propriedade por lei da dupla negao, e que, dada uma proposio , se e somente se . 7. Saber, dadas proposies e , que e uma proposio, designada por conjuno de e , que verdadeira se e somente se e forem simultaneamente verdadeiras, e represent-la tambm por . 8. Saber, dadas proposies e , que ou uma proposio, designada por disjuno de e , que falsa se e somente se e forem simultaneamente falsas, e represent-la tambm por . 9. Saber, dadas proposies e , que implica uma proposio, designada por implicao entre e , que falsa se e somente se for verdadeira e for falsa, represent-la tambm por , designar por antecedente e por consequente da implicao e utilizar tambm a notao , quando no for ambgua, para indicar que a proposio de facto verdadeira, ou seja, que se for verdadeira tambm o . 10. Saber que, por conveno, em qualquer sequncia de operaes lgicas, a menos de utilizao de parnteses, se respeitam as seguintes prioridades: negao; conjuno e disjuno; implicao e equivalncia. ) equivalente 11. #Justificar, dadas proposies e , que a proposio ( proposio e provar que a proposio equivalente proposio . 12. #Justificar que a proposio equivalente proposio ( ) ( ).

LTC10

Pgina 3

13. #Provar, dadas proposies e , que a proposio verdadeira se e somente se e forem ambas proposies verdadeiras (ou seja, ( ) ) ( ))), e designar esta propriedade por princpio da (( dupla implicao. ) ( )) ( ) 14. #Provar, dadas proposies e , que e que (( designando estas propriedades respetivamente por reflexividade e transitividade da implicao. ) ( )e que 15. #Provar, dadas proposies e , que , que ( ) ( )) ( ) designando estas propriedades respetivamente por (( reflexividade, simetria e transitividade da equivalncia. 16. #Provar, dada uma proposio e representando por (respetivamente ) uma qualquer proposio verdadeira (respetivamente falsa), que , , e , por este motivo designar por elemento neutro da conjuno e elemento absorvente da disjuno, por elemento neutro da disjuno e elemento absorvente da conjuno e justificar que e que . ( ) ( ) ( ) e que 17. #Provar, dadas proposies e , que ( ) ( ) ( ) e designar estas equivalncias por Primeiras Leis de De Morgan. 18. #Provar, dadas proposies e , que so verdadeiras as proposies ( ) ( ), ) ( ) ( )e ,( , bem como as que se obtm permutando em todas as ocorrncias os smbolos e , e design-las respetivamente por associatividade, comutatividade, distributividade e idempotncia. 19. #Provar, dadas duas proposies e , que a proposio equivalente proposio e designar esta ltima implicao por implicao contra-recproca da implicao . 20. +Simplificar expresses envolvendo operaes com proposies, substituindo-as por proposies equivalentes envolvendo menos smbolos, e determinar o respetivo valor lgico sempre que possvel. 2. Relacionar condies e conjuntos 1. Designar por expresso proposicional ou por condio uma expresso ( ) envolvendo uma varivel tal que, substituindo por um objeto , se obtm uma proposio ( ). 2. Saber, dada uma condio ( ), que qualquer que seja , ( ) uma proposio que verdadeira quando e apenas quando se obtm uma proposio verdadeira sempre ( ), e que se substitui em ( ) por um objeto arbitrrio , represent-la por designar o smbolo por quantificador universal. ( ) for uma proposio 3. Identificar uma condio ( ) como universal se ( ) verdadeira e como impossvel se for uma condio universal, e utilizar tambm ( ) (respetivamente ( ) ), quando no for ambgua, para a notao ( ) (respetivamente ( )) , de facto, verdadeira, indicar que a proposio ou seja, que a condio ( ) universal (respetivamente impossvel). 4. Saber, dada uma condio ( ), que existe tal que ( ) uma proposio que verdadeira se e somente se, para pelo menos um objeto , ( ) for verdadeira, ( ) e designar o smbolo por quantificador existencial. represent-la por

LTC10

Pgina 4

( ) for uma proposio 5. Identificar uma condio ( ) como possvel se ( ) , quando no for ambgua, para verdadeira e utilizar tambm a notao ( ) , de facto, verdadeira, ou seja, que a condio ( ) indicar que a proposio possvel. ( ) equivalente 6. Saber, dada uma condio ( ), que a negao da proposio ( ) , que a negao da proposio ( ) equivalente proposio ( ), designar estas propriedades por Segundas Leis de De Morgan, proposio provar que uma delas pode ser deduzida da outra e relacionar ambas, informalmente, com as Primeiras Lei de De Morgan. ( ) 7. Representar, dada uma condio ( ) e um conjunto , a proposio , ( ), justificar que verdadeira quando e apenas quando se obtm uma por proposio verdadeira sempre que se substitui em ( ) por um objeto arbitrrio pertencente a e nesse caso designar ( ) por condio universal em e uma ( ) por condio impossvel em . condio tal que ( ) 8. Representar, dada uma condio ( ) e um conjunto , a proposio ( ) e justificar que verdadeira se e somente se, para pelo menos um por objeto pertencente a , ( ) for verdadeira. 9. +Reconhecer, dada uma condio ( ) e um conjunto , que a negao da proposio ( ) equivalente proposio ( ) e a negao da proposio ( ) equivalente proposio ( ). ( )} um conjunto 10. Representar, dada uma condio ( ), por { tal que { ( )} por definio em ( ), designando a igualdade compreenso do conjunto pela condio ( ). 11. Saber, dados conjuntos e , que se e somente se , . { { ( )} e ( )}, que 12. Justificar, dados conjuntos se e somente ( ). se , ( ) 13. Designar, dado um objeto e um conjunto , por elemento de quando , } o conjunto dados objetos ( ), representar por { cujos { } por elementos so exatamente e designar a igualdade definio em extenso do conjunto de elementos . 14. Identificar, dada uma condio ( ) e um conjunto , o conjunto { ( ) } como conjunto definido por ( ) em (ou conjunto-soluo de ( ) em ) e ( )}. represent-lo tambm por { 15. Identificar, dados conjuntos e , o conjunto unio (ou reunio) de e e o { }e conjunto interseo de e respetivamente como { }. 16. Justificar, dadas condies ( ) e ( ) e um conjunto , que o conjunto definido pela ( )} { ( )}. condio ( ) ( ) em igual a { 17. Justificar, dadas condies ( ) e ( ) e um conjunto , que o conjunto definido pela ( )} { ( )}. condio ( ) ( ) em igual a { 18. Identificar, dados conjuntos e , como estando contido em ( ) quando , e, nesse caso, designar por subconjunto de ou por uma parte de . 19. Reconhecer, dados conjuntos e , que se e somente se e se e somente se e que o conjunto vazio est contido em qualquer conjunto.

LTC10

Pgina 5

20. Justificar, dado um conjunto que, para qualquer subconjunto de e , designando, por este motivo, para subconjuntos de , o conjunto por elemento neutro da interseo e elemento absorvente da unio, e o conjunto vazio por elemento neutro da unio e elemento absorvente da interseo. 21. Justificar, dadas condies ( ) e ( ) e um conjunto , que { ( )} { ( )} se e somente se , ( ) ( ). 22. Designar, dados conjuntos e , por diferena entre e o conjunto { } e represent-lo por ou simplesmente por 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 , , onde (respetivamente ) designa o complementar e de (respetivamente de ) em e designar estas igualdades por Leis de De Morgan para conjuntos. 27. #Provar, dados conjuntos , e , que so verdadeiras as igualdades ( ) ( ), ( ) ( ) ( ) e , , bem como as que se obtm permutando em todas as ocorrncias os smbolos e , e design-las respetivamente por associatividade, comutatividade, distributividade e idempotncia . 28. #Provar, dados conjuntos , e , que , que ( ) ( ) ( )e designar estas propriedades respetivamente por reflexividade e transitividade da incluso. 29. +Reconhecer, dadas condies ( ) e ( ), que a negao da proposio ( ) equivalente proposio ( ) ( ) , isto , que essa , ( ) proposio falsa se e somente se existir tal que ( ) verdadeira e ( ) falsa, designando por contra-exemplo para a proposio inicial. ( ) ( ) 30. Justificar, dadas condies ( ) e ( ), que a proposio ( ) ( ), designar a segunda proposio por equivalente proposio contra-recproco da primeira e uma demonstrao da segunda proposio por demonstrao por contra-recproco da primeira. 31. Justificar, dados subconjuntos e de um conjunto , que se e somente se . 3. Resolver problemas 1. +Resolver problemas envolvendo operaes lgicas sobre proposies. 2. +Resolver problemas envolvendo operaes sobre condies e sobre conjuntos.

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 por raiz ndice de

o nico nmero real cuja potncia de

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

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

(respetivamente nmeros reais mpar (respetivamente um nmero , ( ) .

e justificar que para

9. #Provar, dados nmeros naturais e (respetivamente nmeros naturais mpares e ) e um nmero real no negativo (respetivamente um nmero real ), que . 10. Designar tambm por frao a representao do quociente entre nmeros reais e (com ), e , neste contexto, respetivamente por numerador e denominador e identificar duas fraes como equivalentes quando representam o mesmo nmero. 11. +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

Potncias de expoente racional 2. Definir e efetuar operaes com potncias de expoente racional 1. +Reconhecer, dado um nmero real no negativo ( se ), (sendo e um nmero racional no negativo e nmeros inteiros, e

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

e um nmero racional no negativo se , a potncia de base

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

, reconhecendo que esta

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

ALG10

Pgina 8

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

ALG10

Pgina 9

Geometria Analtica GA10

Geometria Analtica no plano 1. Definir analiticamente conjuntos elementares de pontos do plano 1. Designar por referencial ortonormado um referencial ortogonal e monomtrico de um dado plano, tal que a unidade de comprimento comum aos eixos coordenados coincide com uma unidade de comprimento pr-fixada e, dados nmeros reais e , designar por ( ), o ponto de abcissa e ordenada nesse referencial. 2. +Reconhecer, fixada uma unidade de comprimento, dado um plano munido de um referencial ortonormado e pontos ( )e ( ) pertencentes a esse plano, que ) ( ) , e represent-la a medida da distncia entre e igual a ( ). por ( 3. Demonstrar, dada uma reta numrica e dois pontos e de abcissas e respetivamente, que a abcissa do ponto mdio do segmento de reta de extremos e igual a . 4. + Reconhecer, utilizando argumentos geomtricos baseados no Teorema de Tales ou em consequncias conhecidas deste Teorema, que, dado um plano munido de um referencial ortonormado e dois pontos ( )e ( ) pertencentes a esse plano, as coordenadas do ponto mdio do segmento de reta [ ] so ( ). 5. Designar, dado um plano munido de um referencial ortonormado e uma funo numrica de domnio constitudo por pares ordenados de nmeros reais, a equao ) ( ) ( ) por equao cartesiana do conjunto { ( }. 6. Determinar, dado um plano munido de um referencial ortonormado e dois pontos ( )e ( ) desse plano, uma equao cartesiana da mediatriz do segmento de reta [ ] 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 por semieixo menor da elipse). Pgina 10

10. +Reconhecer, fixada uma unidade de comprimento, dado um plano munido de um referencial ortonormado e da elipse de semieixo maior 11. que a equao e semieixo menor a equao cartesiana que tem focos ( )e ( ),

12.

13.

14.

15.

16.

17.

18.

onde , e design-la por equao (cartesiana) reduzida da elipse. Designar, dado um plano munido de um referencial ortonormado e uma funo numrica de domnio constitudo por pares ordenados de nmeros reais, a inequao ) ( ) ( ) por inequao cartesiana do conjunto { ( }. Identificar, dada uma reta e um ponto fora de , o semiplano aberto de fronteira determinado pelo ponto como o conjunto constitudo por e pelos pontos do plano que contm a reta e o ponto tais que o segmento de reta [ ] no interseta e o semiplano fechado de fronteira determinado pelo ponto como a unio com do acima referido semiplano aberto. Saber, dada uma reta de um plano , que existem exatamente dois semiplanos abertos de fronteira no plano , que esse semiplanos so disjuntos e que a respetiva unio coincide com . +Reconhecer, dado um plano munido de um referencial ortonormado e uma reta do plano de equao reduzida ( ), que os dois semiplanos abertos (respetivamente fechados) determinados por tm por inequaes cartesianas e (respetivamente e ) e design-los respetivamente por semiplano superior e semiplano inferior em relao reta . Reconhecer, dado um plano munido de um referencial ortonormado e uma reta do plano de equao cartesiana ( ), que os dois semiplanos abertos (respetivamente fechados) determinados por tm por inequaes cartesianas e (respetivamente e ) e design-los respetivamente por semiplano direita e semiplano esquerda da reta . Justificar, fixada uma unidade de comprimento, dado um plano munido de um ) ( ) referencial ortonormado, que a inequao ( ( , ) uma inequao do crculo de centro ( ) e de raio . Saber que a parte interna de uma elipse constituda pelos pontos do plano que, no pertencendo elipse, esto nos segmentos de reta que unem a elipse ao respetivo centro. +Reconhecer, fixada uma unidade de comprimento, dado um plano munido de um referencial ortonormado, que a inequao ( ) uma inequao , de semieixo maior e da parte interna da elipse de centro na origem, focos no eixo semieixo menor .

2. Resolver problemas 1. +Resolver problemas envolvendo a noo de distncia entre pontos do plano, e equaes e inequaes cartesianas de subconjuntos do plano.

GA10

Pgina 11

Relaes de equivalncia, parties e vetores 3. Interpretar os vetores como classes de equivalncia 1. Identificar, dados conjuntos e , o produto cartesiano de por como o conjunto ) {( } dos pares ordenados ( ) tais que e pertencem, respetivamente a e a e represent-lo por . 2. Identificar, dados conjuntos e , uma relao binria entre e como uma parte do produto cartesiano , utilizar a expresso ( est na relao com ) para indicar que ( ) e, se , designar por relao binria em . 3. Identificar, dado um conjunto , uma relao binria em como reflexiva quando , como simtrica quando ( ) e como transitiva quando para quaisquer for verdadeira a implicao ( ) . 4. Identificar, fixado um conjunto , uma relao de equivalncia em como uma relao binria , em , reflexiva, simtrica e transitiva, e elementos e de como -equivalentes (ou simplesmente como equivalentes se esta designao no for ambgua) quando . 5. Identificar, dado um conjunto , uma partio em como um conjunto de partes de no vazias, duas a duas disjuntas e cuja unio igual a . 6. Identificar, dados um conjunto , uma relao de equivalncia em e , a classe de equivalncia de para a relao como o conjunto { } dos elementos de que esto na relao com , designando cada um deles por representante de . 7. +Provar, dado um conjunto e uma relao de equivalncia em , que o conjunto { } das classes de equivalncia dos elementos de para a relao uma partio de e design-lo por conjunto quociente de pela relao . 8. +Provar, dado um conjunto e uma partio de , que existe uma e apenas uma relao de equivalncia em tal que , e que elementos e de so -equivalentes se e somente se pertencerem a um mesmo conjunto de . 9. Interpretar como relaes binrias as relaes de semelhana e de congruncia de figuras geomtricas no espao e reconhecer que se trata de relaes de equivalncia, designando as classes de equivalncia para a relao de semelhana por formas geomtricas ou simplesmente formas. 10. Interpretar como relao binria a relao de igualdade geomtrica de segmentos num plano ou no espao e reconhecer que se trata de uma relao de equivalncia, designando as classes de equivalncia por comprimentos. 11. Interpretar como relao binria a relao de paralelismo de retas num plano ou no espao (considerando que uma reta paralela a si prpria) e reconhecer que se trata de uma relao de equivalncia, designando as classes de equivalncia por direes. 12. Interpretar como relao binria a relao de igualdade de amplitude de ngulos num plano ou no espao e reconhecer que se trata de uma relao de equivalncia designando as classes de equivalncia por amplitudes. ] como o par 13. Interpretar, dados pontos pontos e , o segmento orientado [ ). ordenado (

GA10

Pgina 12

14. Interpretar como relao binria a relao de equipolncia de segmentos orientados num plano e reconhecer que se trata de uma relao de equivalncia, designando as classes de equivalncia por vetores desse plano. 15. Justificar, fixado um plano e um vetor desse plano, que o grfico da translao coincide, enquanto conjunto de pares ordenados, com o prprio vetor enquanto classe de equivalncia de segmentos orientados. 4. Resolver problemas 1. +Resolver problemas envolvendo relaes de equivalncia e parties de conjuntos. Clculo vetorial no plano 5. Operar com vetores 1. Identificar, fixada uma unidade de comprimento e dado um vetor , a norma do vetor como a medida do comprimento de um segmento orientado representante de e represent-la por . 2. Identificar, dado um vetor e um nmero real (tambm designado por escalar) , o produto de por ( ) como o vetor de norma | | (fixada uma mesma unidade de comprimento para o clculo das normas), com a direo e sentido de se e e com a direo de e sentido contrrio ao de se se e , justificar que no depende da unidade de comprimento fixada e que ( ) , vetor simtrico de . Justificar, dados vetores e colineares ( ), que existe um nmero real (e apenas um) tal que . Justificar, dados vetores e , que existe um e somente um vetor tal que , provando que ( ), designar por diferena entre e e represent-lo por . ) +Reconhecer, dado um vetor e nmeros reais e , que ( . +Reconhecer, dados vetores e e nmeros reais e que ( ) e ( ) ( ) .

3. 4.

5. 6.

6. Operar com coordenadas de vetores 1. +Reconhecer, fixada uma unidade de comprimento, um plano munido de um referencial e ortonormado de origem e um vetor do plano que, sendo ( ), ( ), , existe um e somente um par ordenado ( ) de nmeros reais tais que , designar o par ordenado ( ) por base cannica do espao ) por coordenadas do vetor , a expresso vetorial dos vetores do plano, ( por combinao linear do vetores da base cannica, de coeficientes e representar por ( ) o vetor de coordenadas ( ). 2. Identificar, fixado um plano munido de um referencial ortonormado de origem e dado um ponto , o vetor-posio do ponto como o vetor e justificar que as coordenadas do vetor posio de um dado ponto coincidem com as coordenadas do ponto. GA10 Pgina 13

3. Justificar, fixado um plano munido de um referencial ortonormado e dados vetores ( ) e ( ) e um nmero real , que o vetor (respetivamente ) ) ), que o vetor tem coordenadas ( ) (respetivamente ( tem coordenadas ( ), que o vetor simtrico do vetor ( ) tem coordenadas ( ) e que dois vetores no nulos so colineares se e somente se as respetivas coordendadas forem todas no nulas e os quocientes das coordenadas correspondentes forem iguais, ou as primeiras ou segundas coordenadas de ambos os vetores forem nulas. 4. Justificar, fixado um plano munido de um referencial ortonormado e dados pontos ( )e ( ) que o vetor tem coordenadas ( ), comeando por justificar que , identificar, a diferena entre os pontos e como o vetor , represent-la por e justificar que, para todo o vetor e para quaisquer pontos e do plano, . 5. Justificar, fixado um plano munido de um referencial ortonormado e dado um ponto ( ) e um vetor ( ) desse plano, que o ponto tem coordenadas ( ). 6. Justificar, fixada uma unidade de comprimento e um plano munido de um referencial ortonormado que para qualquer vetor ( ), .

7. Conhecer propriedades dos vetores diretores de retas do plano 1. Identificar, dado um vetor no nulo e uma reta , como tendo a direo de quando tiver a direo das retas suporte dos segmentos orientados que representam . 2. Designar por vetor diretor de uma dada reta qualquer vetor no nulo com a mesma direo do que . 3. Provar, fixado um plano munido de um referencial ortonormado e uma reta no vertical de declive , que o vetor ( ) vetor diretor de se e somente se e ,e que, em particular, o vetor de coordenadas ( ) vetor diretor da reta . 4. Justificar, fixado um plano munido de um referencial ortonormado, que os vetores diretores das retas verticais so os vetores ( ), . 5. Provar, fixado um plano munido de um referencial ortonormado, que dada uma reta de vetor diretor , os pontos de so os pontos , , onde um qualquer ponto de , e designar esta equao por equao vetorial da reta . 6. Justificar, fixado um plano munido de um referencial ortonormado e dados , que um ponto ( ) pertence reta de vetor diretor ( ) passando pelo ponto ( ) se e somente se existir tal que , e designar este sistema por sistema das equaes paramtricas da reta . 8. Resolver problemas 1. +Resolver problemas envolvendo a determinao das coordenadas de vetores do plano. 2. +Resolver problemas envolvendo a colinearidade de vetores do plano. 3. +Resolver problemas envolvendo equaes vetoriais, paramtricas e cartesianas de retas do plano.

GA10

Pgina 14

Geometria Analtica no espao 9. Definir referenciais cartesianos do espao 1. Identificar um referencial (cartesiano) ortonormado do espao (ou simplesmente referencial cartesiano) como um terno ordenado de retas numricas que se intersetam nas respetivas origens, duas a duas perpendiculares e com unidades de comprimento coincidentes com uma mesma unidade de comprimento pr-fixada, designar a origem comum das trs retas por origem do referencial, a primeira reta por eixo das abcissas, a segunda por eixo das ordenadas, a terceira por eixo das cotas, genericamente cada uma delas por eixo coordenado e, se for representada por a origem do referencial, representar estes trs eixos respetivamente por , e e o referencial por . 2. Designar, dado um ponto e uma reta , por projeo ortogonal de sobre como o prprio ponto quando pertencer a e como o p da perpendicular traada de para no caso contrrio, reconhecendo que a interseo com do plano normal a passando por . 3. Designar, dado um referencial ortonormado e um ponto de projees ortogonais , no eixo das abcissas, , no eixo das ordenadas e , no eixo das cotas, por abcissa de , ordenada de e cota de respetivamente a abcissa de , de e de nas respetivas retas numricas, e o terno ordenado destes trs valores por coordenadas de . 4. Designar por planos coordenados os trs planos determinados por dois dos eixos coordenados, represent-los por , e consoante os eixos coordenados que contm, e reconhecer que so perpendiculares dois a dois. 5. +Reconhecer, dado um referencial ortonormado e um terno ordenado de nmeros reais ( ), que existe um e apenas um ponto com essas coordenadas e represent-lo por ( ). 6. +Reconhecer, dado um referencial ortonormado e um ponto ( ) de projeo ortogonal no plano que, nesse plano, munido do referencial constituido pelos eixos e , tem coordenadas ( ) e enunciar resultados anlogos para os planos e . 10. Definir analiticamente conjuntos elementares de pontos do espao 1. Justificar, dado um referencial ortonormado do espao e , que a equao do plano paralelo ao plano coordenado que interseta o eixo das abcissas no ponto ( ) e determinar as equaes dos planos paralelos aos planos coordenados e . 2. Justificar, dado um referencial cartesiano do espao e que a reta de equao a reta paralela ao eixo das cotas que interseta o plano coordenado no ponto ( ) e determinar as equaes das retas paralelas ao eixo das abcissas e ao eixo das ordenadas. 3. +Provar, fixada uma unidade de comprimento e dados um referencial ortonormado do espao e pontos ( )e ( ), que a medida da distncia entre e igual a ( ) ( ) ( ) e represent-la por ( ).

GA10

Pgina 15

4. Determinar, dado um referencial ortonormado do espao e as coordenadas de dois pontos e do espao, uma equao do plano mediador do segmento de reta [ ] na forma , . 5. Justificar, fixada uma unidade de comprimento e dados um referencial ortonormado do ) ( ) espao, um ponto ( ) e um nmero , que ( ( ) uma equao cartesiana da superfcie esfrica de centro e de raio , e design-la por equao (cartesiana) reduzida da superfcie esfrica. 6. Justificar, fixada uma unidade de comprimento e dados um referencial ortonormado do ) ( ) espao, um ponto ( ) e um nmero , que ( ( ) uma inequao cartesiana da esfera de centro e de raio , e design-la por inequao (cartesiana) reduzida da esfera. Clculo vetorial no espao 11. Definir vetores do espao 1. Designar um par de segmentos orientados do espao por equipolentes quando so complanares e equipolentes num plano que os contenha, interpretar esta relao como uma relao binria e reconhecer que uma relao de equivalncia. 2. Designar por vetores do espao as classes de equivalncia da relao de equipolncia definida no conjunto dos segmentos orientados do espao. 3. Estender do plano ao espao a definio de norma de um vetor, de adio de um ponto com um vetor, de translao de um dado vetor e as operaes de subtrao de dois pontos, de adio e subtrao de vetores, de multiplicao de um vetor por um escalar e as respetivas propriedades geomtricas e algbricas. 12. Operar com coordenadas de vetores do espao 1. +Reconhecer, fixado um referencial ortonormado no espao de origem e um vetor que, , e , existe um e somente sendo ( ), ( ), ( ), ) de nmeros reais tais que um terno ordenado ( , designar o terno ordenado ( ) por 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

Funes Reais de Varivel Real FRVR10

Generalidades acerca de funes 1. Definir a composio de funes e a funo inversa de uma funo bijetiva 1. Interpretar, dados conjuntos e , uma funo ou aplicao , de grfico ,

2. 3.

4.

5.

6.

7.

8. 9.

10. 11. 12.

como o terno ordenado ( o grfico ) e reconhecer que um conjunto de uma funo de em quando e apenas quando para todo o existir um e somente um elemento tal que ( ) . Identificar, dados conjuntos e , uma funo e um conjunto , a restrio de a como a funo | tal que, , | ( ) ( ). Identificar, dados conjuntos e , uma funo e , o conjunto ( ) ( )} das imagem de por como o conjunto { imagens por dos elementos de , represent-lo tambm por { ( ) }. Identificar, dados conjuntos e , uma funo como injetiva se para todos os pertencentes a , ( ) ( ) (ou, de modo ( ) equivalente, ( ) ) e designar tambm uma tal funo por injeo de em . Identificar, dados conjuntos e , uma funo como sobrejetiva se para todo o pertencente a , existir um elemento pertencente a tal que ( )e reconhecer que uma funo sobrejetiva se e somente se coincidirem os respetivos contradomnio e conjunto de chegada e designar tambm uma tal funo por sobrejeo de em ou por funo de sobre . Identificar, dados conjuntos e , uma funo como bijetiva se for simultaneamente injetiva e sobrejetiva e designar tambm uma tal funo por bijeo de em . Identificar, dadas funes e , a funo composta de com como a funo , tal que { ( ) } e ( ) , ( ( )) e design-la tambm por composto com , aps e seguida de . Designar, dado um conjunto , por funo identidade em a funo tal ( ) que , e justificar que se trata de uma funo bijetiva. Justificar, dados conjuntos e e uma funo bijetiva, que para todo o pertencente a existe um e apenas um elemento pertencente a tal que ( ) e, representando-o por , designar por funo inversa de a funo ( ) tal que , . ) +Reconhecer, dada uma funo bijetiva, que bijetiva e que ( e designar tambm por bijeo recproca de . Reconhecer, dada uma funo , que bijetiva se e somente se existir uma ( ) funo , tal que ( ) ( ). Justificar que uma funo bijetiva se e somente se existir uma funo tal que e e que, nesse caso, .

FRVR10

Pgina 17

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

FRVR10

Pgina 18

13. Designar, dado um plano munido de um referencial ortogonal e um nmero (respetivamente ) , por contrao horizontal (respetivamente dilatao horizontal) de coeficiente a transformao do plano que ao ponto ( ) associa o ponto ( ) de coordenadas ( ). 14. Reconhecer, dados uma funo real de varivel real , um nmero (respetivamente ) e um plano munido de um referencial ortogonal, que o grfico de uma funo grfico de coeficiente . 15. Reconhecer, dada uma funo real de varivel real e um plano munido de um referencial ortogonal, que o grfico de uma funo definida em por ( ) ( ) a imagem do grfico de pela reflexo de eixo . 16. Reconhecer, dada uma funo real de varivel real e um plano munido de um referencial ortogonal, que o grfico de uma funo definida em { } por ( ) ( ) a imagem do grfico de pela reflexo de eixo . 3. Identificar intervalos de monotonia de funes reais de varivel real 1. Identificar, dada uma funo real de varivel real e , como (estritamente) crescente em (ou simplesmente (estritamente) crescente se ) se para quaisquer dois elementos 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 definida em { } por ( ) ( ) a imagem do pela dilatao horizontal (respetivamente pela contrao horizontal) de

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

FRVR10

Pgina 20

4. Justificar que a funo definida por ( ) bijetiva e que para todo o ( ) . , 5. Justificar que a funo definida por ( ) bijetiva e que para todo o ( ) . , 6. Determinar o domnio e esboar o grfico de funes definidas analiticamente por { } ( ) ( ). 7. Identificar funo polinomial como uma funo que pode ser definida analiticamente por um polinmio com uma s varivel. 8. Esboar o grfico de funes definidas por ramos envolvendo funes polinomiais at ao 3. grau, mdulos e radicais quadrados e cbicos. 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 ), design-la por amostra da varivel estatstica ou sequncia ( simplesmente por amostra e por valores da amostra os valores , , sempre que estes abusos de linguagem no forem ambguos. ( ) de uma varivel estatstica, 3. Representar, dado e uma amostra por a mdia , designando-a igualmente por mdia da amostra sempre que este abuso de linguagem no for ambguo.

EST10

Pgina 22

4. Representar, dado

( ) com valores ( ), por o conjunto dos valores da amostra, por os elementos de , por ( ) o cardinal do conjunto { { } }, designar por e uma amostra frequncia absoluta do valor , e justificar que 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 (repetivamente ), ou seja, varivel estatstica cujo valor em cada unidade estatstica se calcula adicionando ao valor (respetivamente multiplicando por o valor) de e justificar que (respetivamente que ) ( ), a mdia de 6. Interpretar, dado e uma amostra como a abcissa do centro de gravidade de um segmento de reta no qual se colocou, para cada valor da amostra, um ponto material no ponto de abcissa de massa igual respetiva frequncia absoluta .

3. Definir e conhecer propriedades da varincia e do desvio padro de uma amostra ( )e { }, por desvio de em relao mdia a quantidade , represent-la por e provar que . ( ), por 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 por desvio padro da amostra .

EST10

Pgina 23

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

( (

e uma amostra

), que ) e nmeros reais

se e

. ), uma amostra

(respetivamente (respetivamente | | ). 10. Reconhecer, dada uma varivel estatstica quantitativa em determinada populao, ( ) uma uma amostra de dimenso dessa populao e sendo

) ento

e ,

amostra correspondente da varivel estatstica , que para todo o a percentagem dos elementos da amostra nos quais os valores da varivel estatstica tm desvios em relao mdia superiores a desvios-padro inferior a e interpretar este resultado como traduo quantitativa da afirmao segundo a qual o par ( ) reflete a distribuio dos valores da amostra em termos de localizao e de disperso.

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

e uma amostra
( ))

( )

(
( )

), por amostra
(

tal que

ordenada a ) , com os mesmos valores

, cada um deles figurando na sequncia um nmero de vezes igual respetiva frequncia absoluta enquanto valor da amostra . ( ) e um nmero natural do 2. Designar, dado , uma amostra intervalo ] ], por percentil de ordem o valor mximo da amostra se ,a mdia dos elementos de ordem e na amostra ordenada se ] e for inteiro, e nos restantes casos, o elemento de ordem [

que a amostra

na amostra ordenada,

(onde, para , [ ] designa a parte inteira de , ou seja, o maior nmero natural inferior ou igual a ) e represent-lo por . ( ), que 3. Reconhecer, dado e uma amostra igual mediana de e saber que tambm usual definir o primeiro e o terceiro quartil de modo a coincidirem, respetivamente, com e .

EST10

Pgina 24

4. Designar, dados nmeros nmeros reais ( intervalos de classe [ ordem , o nmero ou seja, tal que intervalo de classe ] Simulao Monte Carlo

naturais e , , uma sequncia crescente de ) e um conjunto de dados quantitativos organizados nos [, que se supem de igual amplitude , por percentil de ( ) ) ( onde ) ( ) , ( ]e

tal que

a frequncia absoluta do .

o maior nmero natural tal que

5. Utilizar algoritmos geradores de Nmeros Pseudo-Aleatrios 1. Saber que existem algoritmos determinsticos (entre os quais o algoritmo congruencial de Lehmer) que, sob condies adequadas, geram uma sequncia de nmeros com propriedades estatsticas prximas das que se podem verificar numa sequncia gerada por uma experincia aleatria natural, e designar esse tipo de sequncias por sequncias de nmeros pseudo-aleatrios. 2. Gerar sequncias de nmeros pseudo-aleatrios com um dado comprimento , recorrendo a uma folha de clculo ou a uma mquina de calcular adequada. 3. Simular experincias aleatrias com um dado nmero finito de casos possveis programando clculos adequados a partir sequncias de nmeros pseudo-aleatrios, recorrendo a uma folha de clculo ou a uma mquina de calcular, designar a sequncia de resultados assim obtidos por experincia pseudoaleatria e o processo utilizado para os obter por simulao de Monte Carlo. 6. Ilustrar propriedades inferenciais da mdia recorrendo simulao Monte Carlo 1. Obter, fixado um certo conjunto de dados quantitativos, amostras de igual dimenso , recorrendo a uma sequncia de nmeros pseudo-aleatrios e reconhecer que a distribuio dos valores que se obtm para a mdia de cada uma das amostras de dimenso to mais concentrada em torno da mdia do conjunto de dados inicial quanto maior for o valor de e quanto menor for o desvio padro do conjunto de dados inicial. 7. Resolver problemas 1. +Resolver problemas envolvendo a mdia e o desvio padro de uma amostra. 2. +Resolver problemas envolvendo os percentis de uma amostra. 3. +Resolver problemas envolvendo sequncias de nmeros pseudo-aleatrios.

EST10

Pgina 25

11. ANO
Trigonometria TRI11

Extenso da Trigonometria a ngulos retos e obtusos e resoluo de tringulos 1. Definir as razes trigonomtricas dos ngulos retos e obtusos e resolver tringulos ] e fixada uma unidade de comprimento, 1. Justificar, dado um tringulo acutngulo [ , que a altura relativa ao vrtice dada por onde e . , , ] , de ngulos internos 2. Provar, dado um tringulo acutngulo [ e de lados de medida , e , fixada uma unidade de e comprimento, que 3. , e designar estas igualdades por Lei dos senos ou Analogia dos senos. Estender a definio do seno aos ngulos retos, tomando quando o ngulo reto, reconhecendo que esta definio a nica possvel por forma a estender a Lei dos senos a tringulos retngulos. Estender a definio do seno aos ngulos obtusos tomando, para um ngulo obtuso, , onde suplementar a , reconhecendo que esta definio a nica possvel por forma a estender a Lei dos senos a tringulos obtusngulos. , e , ], de lados de medida Justificar, dado um tringulo [ fixada uma unidade de comprimento, e sendo agudos os ngulos internos em e , , o quadrado da altura que, se relativa ao vrtice dado por ( ) ( ) , e , fixada ], de lados de medida Provar, dado um tringulo [ , uma unidade de comprimento, e sendo agudo o ngulo interno em , que, se , e designar este resultado por Teorema de Carnot ou Lei dos cossenos. Estender a definio do cosseno aos ngulos retos, tomando quando o ngulo reto, reconhecendo que esta definio a nica possvel por forma a estender a Lei dos cossenos ao caso de um ngulo interno reto, reconhecendo que neste caso se reduz ao Teorema de Pitgoras. +Estender a definio do cosseno aos ngulos obtusos tomando, para um ngulo obtuso, , onde suplementar a , reconhecendo que esta definio a nica possvel por forma a estender a Lei dos cossenos ao caso de um ngulo interno obtuso. Justificar que a igualdade se estende aos casos em que reto ou obtuso. ], fixadas unidades de comprimento e de Determinar, dado um tringulo [ amplitude de ngulos e conhecidas as medidas dos comprimentos dos trs lados (LLL), a medida do comprimento de dois dos lados e da amplitude do ngulo interno por eles formado (LAL) ou a medida do comprimento de um dos lados e das amplitudes dos dois

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 e igual

e justificar que possvel utilizar

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

3. Identificar, fixados um plano orientado e um ngulo unidade e sendo a medida de amplitude dos ngulos giros, a medida de amplitude do ngulo generalizado ( ) como , onde a medida de amplitude do ngulo orientado ou nulo . 4. Reconhecer que dois ngulos generalizados ( )e( ) tm a mesma amplitude se e somente e tiverem a mesma amplitude e e justificar, fixados um plano orientado e um ngulo unidade que, dado um nmero real e fixada uma semirreta para lado origem, existe um e apenas um ngulo generalizado cuja medida de amplitude igual a . 5. Identificar, fixado um plano orientado, um ponto e um ngulo generalizado ( ), a rotao de centro e ngulo generalizado ( ), no caso de ser um ngulo nulo, como a aplicao identidade no plano e nos restantes casos como a aplicao do plano sobre si prprio que a cada ponto distinto de associa a imagem desse ponto pela rotao de centro e ngulo orientado e ao ponto associa o prprio ponto . 6. Reconhecer, dado um plano orientado, um ponto e ngulos generalizados ( )e ( ), ngulos orientados, que as rotaes de centro e ngulos generalizados ( )e( ) coincidem se e somente se e tiverem a mesma amplitude ou se tiverem sentidos contrrios e os valores absolutos das respetivas amplitudes tiverem soma igual medida de um ngulo giro. 5. Definir as razes trigonomtricas dos ngulos generalizados 1. Designar um plano munido de um referencial ortonormado como estando orientado pelo primeiro quadrante quando se considera, nesse plano, uma orientao para a qual o primeiro quadrante, considerado como ngulo orientado de lado origem coincidente com o semieixo positivo e lado extremidade coincidente com semieixo positivo , tem orientao positiva e nas representaes grficas de tais planos e referenciais usar o movimento dos ponteiros do relgio para orientar os ngulos. 2. Designar, dado um referencial ortonormado em dado plano orientado pelo primeiro quadrante, a circunferncia centrada na origem e de raio do plano tambm por circunferncia trigonomtrica (ou, por abuso de linguagem, por crculo trigonomtrico). 3. Identificar, dado um referencial ortonormado em dado plano , orientado pelo primeiro quadrante, e um ngulo orientado do plano , o seno de (respetivamente o cosseno de ) como a ordenada (respetivamente a abcissa) do ponto , interseo da circunferncia trigonomtrica com o lado extremidade do ngulo orientado de lado origem coincidente com o semieixo positivo e de amplitude igual a , represent-lo por ( ), ( ), ou (respetivamente por ( ) ou por ), reconhecer que este valor no depende da escolha do referencial, mantendo a mesma orientao do plano, e que esta definio estende a definio de seno (respetivamente de cosseno) de ngulos geomtricos convexos, se o identificarmos com o seno (respetivamente cosseno) de um ngulo orientado com a mesma amplitude. 4. Identificar, dado um referencial ortonormado em dado plano , orientado pelo primeiro quadrante, e um ngulo orientado de lados no perpendiculares, a tangente de como a ordenada do ponto , interseo da reta de equao , tangente circunferncia trigonomtrica no ponto de coordenadas ( ), com a reta suporte do lado extremidade do ngulo orientado de lado origem coincidente com o semieixo

TRI11

Pgina 29

positivo

e de amplitude igual a

, represent-la por

( ),

( ),

ou

reconhecer que

e que esta definio estende a definio de tangente de

um ngulo agudo, se a identificarmos com a tangente de um ngulo orientado com a mesma amplitude. 5. Identificar, dado um ngulo generalizado ( ), o seno de , o cosseno de e a tangente de como, respetivamente, o seno, o cosseno e a tangente de . 6. Justificar, dados ngulos generalizados e com a mesma amplitude , que o seno, o cosseno e a tangente de so respetivamente iguais ao seno, ao cosseno e tangente de e design-los tambm respetivamente por seno, cosseno e tangente de . 6. Definir medidas de ngulos em radianos 1. Designar por radiano a amplitude de um ngulo ao centro de uma circunferncia que nela determina um arco de comprimento igual ao raio e reconhecer que o radiano no depende da escolha da circunferncia, aproximando o comprimento do arco de circunferncia por comprimentos de linhas poligonais inscritas. 2. Efetuar converses de medidas de amplitude de ngulos de graus para radianos e de radianos para graus, comeando por justificar que um ngulo giro tem amplitude de radianos. 7. Definir funes trigonomtricas e deduzir propriedades 1. Identificar, dado um nmero real , a tangente de (respetivamente o seno de e o cosseno de ) como a tangente (respetivamente o seno e o cosseno) de um ngulo generalizado de medida de amplitude igual a , em radianos, sempre que esse valor esteja definido, e designar a funo assim determinada nesse conjunto de nmeros reais e com conjunto de chegada por (funo) tangente (respetivamente (funo) seno e (funo) cosseno), representando-a por ou (respetivamente por ou e por ) e o respetivo valor num ponto do domnio tambm por ou (respetivamente por ou e por ). 2. Identificar, dado um nmero , uma funo como peridica de perodo ou ) ( ) -peridica se para todo o , e ( 3. Designar, dada uma funo , o nmero por o perodo fundamental de ou por perodo positivo mnimo de se for - peridica e no admitir outro perodo inferior a . 4. Justificar que as funes reais de varivel real seno e cosseno tm domnio , contradomnio [ ] e perodo fundamental . 5. Provar que os zeros da funo seno (respetivamente da funo cosseno) so os nmeros da forma , (respetivamente da forma , ). 6. Justificar que a funo seno (respetivamente a funo cosseno) admite extremos locais nos pontos de abcissa da forma , (respetivamente da forma x , ). 7. Justificar que para todo o 8. Justificar que a funo { ( ) ( ) , e real de varivel real tangente tem }, contradomnio , perodo fundamental . domnio e que

os respetivos zeros so os nmeros da forma , . 9. Justificar que as funes seno e tangente so mpares e a funo cosseno par. TRI11 Pgina 30

8. Estabelecer frmulas bsicas da trigonometria 1. Provar que para todo o , , reconhecendo que esta igualdade generaliza a frmula fundamental da Trigonometria, e referi-la igualmente por essa designao. ( ) 2. Reconhecer que, para todos os , , ( ) , ( ) e ( ) , estendendo-se assim as frmulas j conhecidas envolvendo apenas medidas de amplitude de ngulos geomtricos convexos. ( ) ( ) 3. Justificar que, para todo o , e . ( ) ( ) 4. Esboar o grfico de funes definidas por , ( ) ( ) ( ) e ( ) , onde . 9. Definir funes trigonomtricas inversas 1. +Reconhecer ] [ que as funes [ ] [ ], [ ] , [ e ] e aos

, obtidas por restrio respetivamente das funes

2. 3. 4. 5.

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

10. Resolver problemas 1. +Resolver equaes trigonomtricas e problemas envolvendo frmulas trigonomtricas e a determinao de razes trigonomtricas. 2. +Resolver problemas envolvendo a resoluo de tringulos. 3. +Resolver problemas envolvendo a determinao de distncias utilizando ngulos e as respetivas razes trigonomtricas. 4. +Resolver problemas envolvendo funes trigonomtricas.

TRI11

Pgina 31

11. Osciladores harmnicos 1. Designar por oscilador harmnico um sistema constitudo por um ponto que se desloca numa reta numrica em determinado intervalo de tempo , de tal forma que a respetiva abcissa, como funo de , seja dada por uma expresso da forma ( ) ( ), onde , e [ [, designar estas constantes, respetivamente, por amplitude, pulsao e fase, justificar que a funo peridica de perodo e designar por frequncia do oscilador harmnico. 2. +Resolver problemas envolvendo osciladores harmnicos.

TRI11

Pgina 32

Geometria Analtica GA11

Declive e inclinao de uma reta 1. Definir a inclinao de uma reta 1. Identificar, fixado um plano munido de um referencial ortonormado de origem e dada uma reta que passa pela origem e distinta do eixo , a inclinao de como a amplitude do ngulo convexo formado pelo semi-eixo positivo das abcissas e a semirreta , onde um qualquer ponto de de ordenada positiva, e identificar a inclinao do eixo das abcissas como a amplitude nula. 2. Identificar, fixado um plano munido de um referencial ortonormado de origem , a inclinao de uma reta como a inclinao da reta paralela a que passa por . 3. Justificar, fixado um plano munido de um referencial ortonormado, que o declive de uma reta no vertical igual tangente trigonomtrica da respetiva inclinao. Produto escalar 2. Definir e conhecer propriedades do produto escalar de vetores 1. Identificar, fixada uma unidade de comprimento, dados vetores no nulos e , o produto escalar (ou interno) de e como o nmero , [(respetivamente o nmero )] onde, fixado um ponto , a projeo ortogonal de na reta , se e tiverem o mesmo sentido (respetivamente se tiverem sentidos contrrios), reconhecendo que este valor independente da escolha do ponto , identificar o produto escalar de vetores e como nulo se um dos vetores for nulo e representar o produto escalar de vetores e por . 2. Identificar, dados vetores no nulos e , ngulo dos vetores e como qualquer ngulo convexo, nulo ou raso tal que e , reconhecendo que tm todos a mesma amplitude, designar tambm essa amplitude por ngulo formado pelos ). vetores e quando essa designao no for ambgua, e represent-la por ( ). 3. Provar, dados vetores e no nulos, que ( 4. Identificar vetores e como perpendiculares quando um deles for nulo ou quando, no sendo nulo nenhum dos dois, forem perpendiculares duas retas de vetores diretores respetivamente iguais a e a , e indicar que e so perpendiculares escrevendo . 5. Justificar, dados vetores e , que . 6. Justificar, dado um vetor , que . 7. Justificar, dados vetores e que | | 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

Programao Linear PL11

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 , . Introduo programao linear 2. Conhecer as propriedades elementares dos problemas de programao linear 1. Designar por problema de programao linear um problema de otimizao no qual a funo objetivo definida no conjunto por uma expresso da forma ( ) ( e nmeros reais no simultaneamente nulos) e a regio admissvel definida por um nmero finito de desigualdades da forma , , no ambos nulos, 1 . 2. Justificar que num problema de programao linear os conjuntos de nvel da funo objetivo so retas paralelas entre si e design-las por retas de nvel. 3. Designar um subconjunto do plano por limitado quando existe um crculo tal que 4. Saber, dado um referencial cartesiano, que o conjunto de pontos que representam uma regio admissvel S limitada associada a um problema de programao linear um polgono convexo e, em particular que se dois pontos e pertencem a ento [ ] . 5. Reconhecer, dado um problema de programao linear, que se a regio admissvel for limitada, a funo objetivo admite um mximo e um mnimo e que estes so atingidos em pelo menos um vrtice da regio admissvel, traando, num referencial cartesiano, retas de nvel de intersetando e recorrendo intuio geomtrica. 6. Justificar, dado um problema de programao linear, que se o mximo (ou o mnimo) da funo for atingido em dois vrtices consecutivos e da regio admissvel ]. ento tambm atingido em todos os pontos do segmento de reta [ 3. Resolver problemas 1. +Resolver problemas de programao linear por mtodos geomtricos e analticos. { ( ) } 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

4. Identificar uma sucesso ( ) como majorada se o conjunto { } dos respetivos termos for majorado e designar os majorantes deste conjunto tambm por majorantes da sucesso. 5. Identificar uma sucesso ( ) como minorada se o conjunto { } dos respetivos termos for minorado e designar os minorantes deste conjunto tambm por minorantes da sucesso. 6. Designar por limitada uma sucesso ( ) simultaneamente majorada e minorada. Princpio de Induo Matemtica 3. Utilizar o princpio de induo matemtica ( ) verdadeira se ( ) 1. Saber, dada uma condio ( ), que a proposio ( ) for verdadeira e se, alm disso, ( ), designar este resultado por princpio de induo (matemtica), ( ), enquanto antecedente da implicao ( ) ( ) ( ), por hiptese de induo e a proposio ( ) por hereditariedade da propriedade ( ) e saber que o princpio de induo pode estender-se, mutatis mutandis, fixado um nmero inteiro e uma condio ( ), ( ), onde demonstrao da proposio { }. 2. Saber, dada uma funo e , que existe uma sucesso ( ) de elementos de tal que e ( ) , reconhecer que nica, referir que estas condies definem a sucesso ( ) por recorrncia e saber que estes resultado podem estender-se, mutatis mutandis, definio de funes de em , onde { }, tambm designadas por sucesses (indiciadas em ). 3. +Utilizar o princpio de induo para efetuar demonstraes. Progresses aritmticas e geomtricas 4. Calcular o termo geral de progresses aritmticas e geomtricas 1. Designar, dados , por progresso aritmtica de primeiro termo e razo a sucesso definida por recorrncia por e, para todo o , . 2. Justificar que o termo geral da progresso aritmtica de primeiro termo e de ( ) . razo dado por 3. Designar, dados , por progresso geomtrica de primeiro termo e razo a sucesso definida por recorrncia por e para todo , . 4. Justificar que o termo geral da progresso geomtrica de primeiro termo e razo no nula dado por . 5. Calcular a soma dos termos de progresses aritmticas e geomtricas finitas 1. Designar, dado , por progresso aritmtica (finita) de comprimento (respetivamente progresso geomtrica (finita) de comprimento ), a sequncia ( ) dos primeiros termos de uma progresso aritmtica (respetivamente geomtrica) ( ) . 2. +Reconhecer, dado , que a soma dos termos de uma progresso aritmtica de comprimento , ( ), dada por .

SUC11

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 ( ) .

3. Justificar, dado um nmero real , um nmero natural e um capital disponvel no incio de um determinado perodo de um ano, que dividindo esse ano em periodos iguais de medida temporal esses ( 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 ( ) e aplicando juros compostos taxa de % a durante perodos ao capital inicial , o capital disponvel ao fim do ano igual a

) quando, para todo o , existir uma ordem , referir, nesta situao, que tende para ) e reconhecer que uma tal sucesso divergente. 5. Identificar uma sucesso ( ) como tendo limite ( , ou (

) quando, para todo o , existir uma ordem tal que , referir, nesta situao, que tende para ) e reconhecer que uma tal sucesso divergente (e no tende para ).

6. Reconhecer, dada uma sucesso ( ) com limite ou tendendo para ou para (respetivamente sem limite), que qualquer sucesso ( ) que possa ser obtida de

SUC11

Pgina 38

( ) alterando apenas um nmero finito de termos, tem o mesmo limite (respetivamente no tem limite). 7. +Provar, dada uma sucesso ( ) limitada e uma sucesso ( ) com limite nulo, que . 8. Provar, dados nmeros reais e utilizando a definio de limite, que o limite da sucesso de termo geral , se 9. e , a se ( e para todo o ) igual a e a , se se ,a

, ou seja, em

particular, que o limite de uma sucesso constante igual prpria constante. Provar, utilizando a definio de limite, que, dado um nmero racional , se e se . 10. Provar, dadas duas sucesses ( ) e ( ) convergentes, com limites respetivamente ) convergente e que ( ) iguais a e , que a sucesso ( . 11. #Provar, dadas duas sucesses ( ) e ( ) convergentes, com limites respetivamente ) convergente e que iguais a e , que a sucesso ( . 12. #Provar, dada uma sucesso ( ) convergente de termos no nulos, com limite no nulo, que e justificar que se for tambm dada uma sucesso ( ento a sucesso ( ) convergente e . )

convergente, com limite

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

), que a sucesso de termo geral ( ) tem limite (respetivamente tem limite se for par e limite se for mpar) e representar esta propriedade por ( ) ) ) (respetivamente por ( se for par e por ( se for mpar). 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 com limite nulo ( . 24. #Provar, dada uma sucesso ( que ) de termos no nulos e a tender para . ou para , e representar esta propriedade por . ) de termos no nulos, negativa a partir de certa ordem, ), que e representar esta propriedade por 23. #Provar, dada uma sucesso ( ), que e representar esta

25. Justificar, dadas sucesses ( ) e ( (respetivamente

), que apenas da informao e , onde ( ) no se anula) nada se e referir esta situao por

pode concluir acerca da existncia do limite indeterminao do tipo

(respetivamente indeterminao do tipo ).

26. Justificar, dado um polinmio ( ) de grau superior ou igual a , que a sucesso ( ( )) ( ) tal que se o coeficiente do termo de maior grau da forma ( ) reduzida de for positivo e que no caso contrrio. 27. Calcular, dadas sucesses ( ( ) ) e ( ( ) ) , onde ( ) e ( ) so polinmios, ( ) sem razes naturais, o limite
( ) ( )

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

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 ) . ( ) e (

, comeando por observar, no

30. Saber de memria os limites das sucesses de termo geral 8. Resolver problemas

).

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

SUC11

Pgina 40

Funes Reais de Varivel Real FRVR11

Limites segundo Heine de funes reais de varivel real 1. Definir limite de uma funo num ponto e estudar as respetivas propriedades fundamentais 1. Identificar, dado um conjunto e , como ponto aderente a quando existe uma sucesso ( ) de elementos de tal que . 2. Identificar, dada uma funo real de varivel real e um ponto , como limite de ( ) quando tende para quando for aderente ao domnio de e para toda a sucesso ( ) de elementos de convergente para , ( ) , justificar que um tal limite, se existir, nico, represent-lo por ( ) , referir, nesta situao, que ( ) tende para quando tende para e estender esta definio e propriedade ao caso de limites infinitos. 3. Identificar, dada uma funo real de varivel real , um conjunto e , como o limite de ( ) quando tende para por valores em quando | ( ), represent-lo por ( ) e estender esta definio ao caso de limites infinitos. 4. Identificar, dada uma funo real de varivel real e , como o limite de ( ) quando tende para por valores inferiores a quando ( ), design-lo tambm por limite de ( ) ( ), representar por
] [

esquerda de , referir, nesta situao, que ( ) tende para quando tende para por valores inferiores a e estender esta definio ao caso de limites infinitos. 5. Identificar, dada uma funo real de varivel real e , como o limite de ( ) quando tende para por valores superiores a quando ( ), design-lo tambm por limite de ( ) ( ), representar por
] [

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 ( ) e que, nesse caso, ( ) ( ) ( ).

7. Saber, dada uma funo real de varivel real e um ponto , que se os limites ( ) e ( ) existirem e forem ambos iguais a ( ), ento existe o limite ( ) e que, nesse caso, ( ) ( ) ( ).

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

um tal limite, se existir, nico, represent-lo por

( ), referir, nesta situao,

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 ) e

pelo escalar

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

( )( ) ( )e ( ) ( ) , podendo utilizar-se, para representar as potncias de expoente racional, as notaes envolvendo razes. 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 , , , e a partir dos limites de e nesse pontos de forma anloga ao

caso das sucesses, reconhecendo que se mantm as situaes indeterminadas. 13. Justificar, dado , funes e e um ponto aderente a , que se [ ( ) ( )] ( ) e se limitada ento e estender este resultado ao caso de limites por valores superiores ou inferiores a bem como ao caso de limites em 14. Justificar, dadas funes reais de varivel real e e um ponto aderente a ( ) ( ) ( )( ) se e ento . 2. Definir a noo de continuidade e as respetivas propriedades fundamentais 1. Justificar, dada uma funo real de varivel real e um ponto ( ) existe ento igual a ( ). que se o limite 2. Designar, dada uma funo real de varivel real funo por contnua em quando o limite do respetivo domnio . , que

e um ponto do respetivo domnio, a ( ) existe.

3. Designar, dada uma funo real de varivel real de domnio , a funo por contnua no conjunto quando contnua em todos os pontos de e simplesmente por contnua quando contnua em todos os pontos de .

FRVR11

Pgina 42

4. +Provar que se uma funo real de varivel real de domnio for contnua em e ( ) (respetivamente ( ) ou ( ) ) ento existe uma vizinhana de tal que no se anula (respetivamente positiva ou negativa) em . 5. Justificar que se as funes reais de varivel real e so contnuas num ponto , ento as funes , e so contnuas em e, se ( ) , a funo contnua em .
( ) , ( )

6. Designar por funo racional uma funo real de varivel real dada por uma expresso da forma 7. 8. 9. 10. onde e so polinmios. Justificar que as funes polinomiais e racionais so contnuas. Justificar que as potncias de expoente racional so contnuas. Saber que as funes seno, cosseno e tangente so contnuas. Justificar, dadas funes reais de varivel real e e , que se contnua em e continua em ( ) ento a funo composta contnua em .

3. Definir assntotas ao grfico de uma funo 1. Identificar, dado um referencial cartesiano, uma funo real de varivel real e ,a reta de equao como assntota vertical ao grfico de quando pelo menos um dos limites laterais de no ponto for infinito. 2. Designar, dada uma funo real de varivel real e um referencial cartesiano, a reta de equao ( ) por assntota ao grfico de em (respetivamente )) por assntota ao grfico de em ) se ( ( ) ( (respetivamente se assntota horizontal. 3. Provar, dada uma funo real de varivel real (respetivamente reta de declive 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 ( ) . 5. +Resolver problemas envolvendo a determinao de assintotas ao grfico de funes racionais e de funes definidas pelo radical de uma funo racional.
( )

( ( )

))

) e design-la, quando , que a condio

( )

, por

) necessria (mas no suficiente) para que exista uma (respetivamente em ).

que seja assntota ao grfico de em

FRVR11

Pgina 43

Diferenciabilidade de funes reais de varivel real 5. Definir a noo de derivada 1. Identificar, dada uma funo real de varivel real domnio, a taxa mdia de variao de entre e dois pontos
( ) ( )

e .

do respetivo

e como

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

quando este existe e finito, design-lo por derivada de no ponto , represent-lo por ( ) e, nesse caso, identificar a funo como diferencivel em ou derivvel em . 4. Justificar, dada uma funo real de varivel real e um ponto do respetivo domnio, que o limite
( ) ( )

existe se e somente se o limite

existir e

que, nesse caso, ambos os limites so iguais. 5. Identificar, dada uma funo real de varivel real

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 ( ).

diferencivel em

6. Operar com derivadas 1. Designar, dada uma funo real de varivel real , a funo derivada de como a funo de domnio faz { } que a cada 2. 3. 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 ( )( ) ( ) ( ) ( ) ( )

4.

5.

6.

FRVR11

Pgina 44

7. Provar, dado um conjunto diferenciveis num ponto que ( ) ( )

( ) ( ) ( ) ( ( )) ( )

e funes reais de varivel real de , com ( ) , que a funo

, e

diferencivel em

8. +Provar, dada uma funo de varivel real

diferencivel num ponto tal que , diferencivel em

e uma funo real ( ) que a funo

)( ) ( ) composta diferencivel em e que ( ( ( )) 9. Calcular, utilizando a definio, uma expresso analtica para os valores das funes derivadas das funes de referncia (para o clculo de derivadas) definidas por e , ou constantes, e saber de memria estes resultados. 10. Provar, dado um nmero natural (respetivamente dado um nmero 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 ( )

( )

diferencivel e que, para todo o

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 como a taxa mdia de variao de no instante entre e ,
( ) ( )

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

na unidade

como a

FRVR11

Pgina 45

8. Aplicar a noo de derivada ao estudo de funes 1. Provar, dada uma funo real de varivel real com domnio contendo um intervalo ] [, ( ), e diferencivel em que se atinge um extremo local em ento ( ) e dar um contra-exemplo para a implicao recproca. 2. Saber, dada uma funo real de varivel real contnua em [ ] , ( ), e diferencivel em ] [ que existe ] [ tal que ( )
( ) ( )

, interpretar

geometricamente este resultado e design-lo por Teorema de Lagrange e, no caso em que ( ) ( ), por Teorema de Rolle. 3. Justificar, utilizando o Teorema de Lagrange, que se uma funo real de varivel real contnua num dado intervalo de extremo esquerdo e extremo direito , diferencivel ( ) em] [ e, ] [ ( ) (respetivamente ] [ ) ento estritamente crescente (respetivamente estritamente descrescente ) no intervalo . 4. Justificar, utilizando o Teorema de Lagrange, que se uma funo real de varivel real contnua num dado intervalo de extremo esquerdo e extremo direito , diferencivel ( ) em] [e ] [ ( ) (respetivamente ] [ ) ento crescente em sentido lato (respetivamente descrescente em sentido lato) no intervalo . 5. Justificar que se uma funo real de varivel real contnua num dado intervalo de extremo esquerdo e extremo direito , diferencivel em] [ e, ] [, ( ) , ento constante em . 9. Resolver problemas 1. +Resolver problemas envolvendo a determinao de equaes de retas tangentes ao grfico de funes reais de varivel real. 2. +Resolver problemas envolvendo funes posio, velocidades mdias e velocidades instantneas e mudanas de unidades de velocidade. 3. +Resolver problemas envolvendo o estudo de funes reais de varivel real, a determinao dos respetivos intervalos de monotonia, extremos relativos e absolutos.

FRVR11

Pgina 46

Estatstica EST11

Reta de mnimos quadrados, amostras bivariadas e coeficiente de correlao 1. Determinar os parmetros da reta de mnimos quadrados 1. Designar, fixado um referencial ortogonal num plano e dados um nmero natural , uma sequncia ( ( ) ( ) ( )) de pontos desse plano e uma reta de equao ( ) por desvio vertical do ponto ( ) em relao reta ( { }) a quantidade , interpret-lo geometricamente e represent-lo por . 2. Provar, fixado um referencial ortogonal num plano e dados um nmero natural , uma sequncia ( ( ) ( ) ( )) de pontos desse plano e uma reta de equao ( ), que as condies e so equivalentes, onde e representam, respetivamente, as mdias das amostras ( )e ( ). 3. + Reconhecer, fixado um referencial ortogonal num plano e dados um nmero natural , uma sequncia ( ( ) ( ) ( )) de pontos desse plano e uma reta de equao , onde e , ou seja, tal que nula a soma dos desvios verticais da sequncia de pontos em relao reta , que a funo ( definida em pela expresso ( ) ) atinge um mnimo absoluto no ponto

e designar a reta

com esse declive (e

ordenada na origem igual a ) por reta de mnimos quadrados da sequncia de pontos. 4. Identificar, dadas duas variveis estatsticas quantitativas e em determinada populao e uma amostra de dimenso dessa populao cujos elementos esto ( ) e ( ) as amostras numerados de a , e sendo correspondentes das variveis estatsticas e , a amostra bivariada das variveis estatsticas e (ou simplesmente amostra de dados bivariados (quantitativos)) como a sequncia (( )( ) ( )), represent-la por ( ) e designar por valores da amostra os pares ordenados ( ), e por dimenso da amostra o nmero natural . 5. Determinar, em casos concretos de amostras de dados bivariados, qual das variveis estatsticas dever ser tomada como independente e qual deve ser tomada como dependente, utilizando argumentos que envolvam o conhecimento emprico das condicionantes fsicas (ou outras) que podero ter determinado a estrutura de relao entre as duas variveis estatsticas. 6. Designar, dada uma amostra de dados bivariados, a varivel considerada dependente por varivel resposta e a varivel considerada independente por varivel explicativa.

EST11

Pgina 47

7. Designar, fixado um referencial ortonormado num plano, e uma amostra de dados bivariados quantitativos ( ) (( )( ) ( )), por nuvem de pontos o conjunto {( ( ) ( ) ( )} e saber que uma anlise visual e intuitiva da nuvem de pontos poder permitir argumentar se ser ou no adequada a interpretao da relao entre as duas variveis estatsticas atravs do ajustamento da reta de mnimos quadrados. 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 ), por coeficiente de correlao o quociente
( )( )

, represent-lo por

o declive da reta de mnimos quadrados,

justificar que e tm o mesmo sinal e saber que | | sempre menor ou a igual 1, tomando o valor 1 unicamente nos casos em que todos os pontos ( ), , esto alinhados. 2. Resolver problemas 1. +Resolver problemas envolvendo a determinao da reta de mnimos quadrados. 2. +Resolver problemas cujo contexto seja o da anlise de dados bivariados, envolvendo a identificao da varivel resposta e da varivel explicativa e a anlise emprica do ajustamento da reta de mnimos quadrados. 3. +Resolver problemas envolvendo o clculo e interpretao do coeficiente de correlao.

EST11

Pgina 48

12. ANO
Clculo Combinatrio CC12

Introduo ao clculo combinatrio 1. Conhecer factos elementares da combinatria 1. Saber, dados conjuntos e , que se e somente se existir uma bijeo de sobre e nesse caso identificar os conjuntos e como equipotentes. ) 2. Saber, dados conjuntos e tais que , que ( . ) ( ) ( ) e que 3. Provar, dados conjuntos e , que ( ( ) ( ) ( ). 4. +Reconhecer, dados conjuntos e de cardinais respetivamente iguais a ea , que o cardinal do produto cartesiano igual a . 5. Reconhecer dados nmeros naturais e que existem funes de domnio } e designar esse { } e de conjunto de chegada { nmero por arranjos com repetio de elementos a ( ). 6. Justificar que existem exatamente sequncias de elementos, no necessariamente distintos, escolhidos num conjunto de cardinal , reconhecendo que, dados objetos, existem exatamente formas distintas de efetuar extraes 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 ( ) ( )
( )

7.

8.

9. 10. 11.

funes injetivas de domnio {

} e

conjunto de chegada { repetio) de elementos

}, e designar este nmero por arranjos (sem a ( ). sequncias de elementos distintos

12. Justificar que existem exatamente

escolhidos num conjunto de elementos, reconhecendo que, dados objetos, existem exatamente formas distintas de efetuar extraes sucessivas de um desses objetos, sem repor o objeto escolhido aps cada uma das extraes.

CC12

Pgina 49

13. Justificar que um conjunto de

elementos tem exatamente

subconjuntos de elementos ( ), e designar este nmero por combinaes de elementos a , reconhecendo que, dado objetos, existem exatamente formas de escolher por ou por ( ). ( ) de entre eles e representar este nmero por ,

2. Conhecer o tringulo de Pascal e o binmio de Newton 1. Justificar, dados nmeros naturais e , que de dois modos distintos: utilizando um clculo algbrico e um argumento combinatrio. 2. Justificar dado , que , interpretando esta igualdade luz do nmero de subconjuntos de um conjunto de elementos. 3. +Reconhecer, dados nmeros naturais e , , que e utilizar esta igualdade para construir, progressivamente, o tringulo de Pascal, no qual figuram, na -sima linha, os coeficientes binomiais , , ,, e , por esta ordem. 4. +Reconhecer, dado , a igualdade entre polinmios nas variveis e , ( ) , designando-a por binmio de Newton, e por esta razo, designar os nmeros igualmente por coeficientes binomiais. 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 ( ) ( ) a nica probabilidade em ( ) tal que os acontecimentos elementares so equiprovveis e designar esta definio da funo de probabilidade por definio de Laplace. ( ) ) e um acontecimento Provar, dado um espao de probabilidade ( ( ) que ( ) ( ) e que ( ) ( ) ) e acontecimentos ( ), Provar, dado um espao de probabilidade ( ) ( ) ( ) justificando que ( ) que se , ( ( ), e designar este ltimo resultado por monotonia da probabilidade. ( ) ) que ( ) ( ) [ ]. Justificar, dado um espao de probabilidade ( ( ( ) ) ( ) Provar, dado um espao de probabilidade e acontecimentos ) ( ) ( ) ( ) que (

6. 7.

8. 9.

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

em que

representa a probabilidade no espao inicial.

PRB12

Pgina 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 valor esperado de a quantidade , represent-la por ou por ( ) , por desvio padro de a quantidade ( ) represent-la por e

interpret-la como uma medida da disperso, relativamente ao respetivo valor mdio, dos valores tomados por . ( ) ) e uma varivel aleatria 3. +Reconhecer, dado um espao de probabilidade ( discreta de contradomnio constitudo por elementos ( ) que o desvio padro de igual .

4. Designar por distribuio de Bernoulli a distribuio de probabilidades de uma varivel aleatria de contradomnio ] [ se essa distribuio de probabilidades tiver valor no nulo em , justificar que o respetivo valor em e designar por parmetro da distribuio de Bernoulli. ( ) ), um nmero natural e um 5. Designar, dado um espao de probabilidade ( ] [ por distribuio binomial de parmetros e a distribuio nmero real { }, tal que de probabilidades de uma varivel aleatria ( ) ( ) , reconhecendo que esta a probabilidade de obter sucessos numa sequncia de ensaios independentes, sabendo que a probabilidade de se obter um sucesso em cada um dos ensaios igual a . PRB12 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

Funes Reais de Varivel Real FRVR12

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 ( ) ) e estender este resultado ao caso de limites por valores superiores ou inferiores a bem como ao caso de limites em . 8. #Provar, dado e funes reais de varivel real e de domnio tais que ( ) ( ) e , que se existir uma vizinhana de tal que para todo o , ( ) ( ), ento e estender este resultado ao caso de limites por valores e superiores ou inferiores a bem como ao caso de limites em . 9. #Provar, dado um nmero real , funes reais de varivel real , e de domnio ( ) ( ) e , que se e se existir uma vizinhana de tal que para todo o , ( ) ( ) ( ), ento ( ) , estender este resultado ao 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

2. Justificar, dada uma funo real de varivel real de domnio [ ]( ), contnua e [ ] estritamente crescente (respetivamente decrescente), que [ ( ) ( )] [ ] ( ) ( )] (respetivamente [ ) bijetiva e saber que a bijeo recproca de contnua. 3. Saber, dada uma funo real de varivel real contnua num intervalo [ ]( ), que admite mximo e mnimo absolutos e designar este resultado por Teorema de Weierstrass 3. Resolver problemas 1. +Resolver problemas envolvendo os teoremas de comparao e das sucesses e funes enquadradas para o clculo de limites e a continuidade de funes reais de varivel real.

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

).

5. Relacionar a derivada de segunda ordem com o sentido da concavidade do grfico de uma funo e com a noo de acelerao 1. Designar, dada uma funo real de varivel real diferencivel num intervalo tal que a funo derivada diferencivel num ponto , a derivada ( ) ( ) por derivada de segunda ordem de no ponto e represent-la por ( ) 2. Identificar uma funo real de varivel real como duas vezes diferencivel num dado intervalo se ( ) existir para todo o . 3. +Provar, dada uma funo duas vezes diferencivel num intervalo ] [, ,e ] [ tal que ( ) , que se ( ) (respetivamente ( ) ) admite um mnimo (respetivamente um mximo) local em . 4. +Provar, dada uma funo diferencivel num intervalo , que tem a concavidade voltada para cima (respetivamente voltada para baixo) em se e somente se for estritamente crescente (respetivamente estritamente decrescente) em . 5. Justificar, dada uma funo duas vezes diferencivel num intervalo de extremo ( ) esquerdo e extremo direito , que se para todo o ] [, (respetivamente ( ) ), o grfico da funo tem a concavidade voltada para cima (respetivamente voltada para baixo) no intervalo .

FRVR12

Pgina 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 como a taxa mdia de variao de acelerao instantnea de segunda ordem de em . 6. Resolver problemas 1. +Resolver problemas envolvendo propriedades das funes diferenciveis. 2. +Esboar o grfico de funes definidas analiticamente comeando por determinar o respetivo domnio, e, sempre que possvel, os zeros, os intervalos de monotonia, os extremos locais e absolutos, e o sentido das concavidades, os pontos de inflexo e as assintotas ao respetivo grfico. 3. +Resolver problemas de otimizao, com aplicaes prticas, envolvendo funes diferenciveis. 4. +Resolver problemas envolvendo funes posio, velocidades mdias, e velocidades instantneas, aceleraes mdias e aceleraes instantneas e mudanas de unidades de acelerao. 5. +Resolver problemas envolvendo a determinao de valores aproximados de solues ( ) ( 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. entre e ,
( ) ( )

, e, para

, a

no instante

na unidade

como a derivada de

FRVR12

Pgina 56

Trigonometria TRI12

Diferenciao de funes trigonomtricas 1. Calcular a derivada de funes trigonomtricas 1. +Reconhecer que existe uma vizinhana pertencente a , de tal que para todo o no negativo

e provar que

, referindo este limite

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

Aplicaes aos osciladores harmnicos 2. Relacionar osciladores harmnicos e a Segunda Lei de Newton 1. Saber, fixadas unidades de tempo ( ), comprimento ( ) e massa ( ), e dado um ponto material de massa , na unidade , que se desloca num dado intervalo de tempo ao longo de um eixo , que a acelerao do ponto proporcional, com constante de proporcionalidade igual a , fora a que se encontra submetido, ou seja, representando por ( ) a funo posio de e por ( ) a funo fora que sobre ele se exerce ( funo real definida em , o vetor unitrio com a direo e sentido do eixo ) numa unidade adequada, dependente apenas de e , que ( ) ( ), e designar este resultado por Relao Fundamental da Dinmica ou por Segunda Lei de Newton. 2. Saber que uma mola exerce sobre um ponto material , colocado na respetiva extremidade, uma fora de intensidade proporcional distncia ( ) e de sentido igual ao do vetor , onde a posio que ocupa quando a mola no se encontra esticada ou comprimida, designar este resultado por Lei de Hooke, e reconhecer que a funo ( ) ( ) , onde ( ) e designam respetivamente as abcissas de e de satisfaz, na ausncia de outras foras, uma equao diferencial de 2. ordem da forma ( ) ( ) onde um nmero real positivo e a massa de . 3. Justificar, dado , que as funes definidas por uma expresso da forma ( ) ( ), onde e so constantes reais, satisfazem a equao diferencial , saber que todas as solues desta equao so dessa forma, e reconhecer que um sistema constitudo por uma mola e por um ponto material colocado na respetiva extremidade constitui um oscilador harmnico. 3. Resolver problemas 1. +Resolver problemas envolvendo o estudo de funes definidas a partir de funes trigonomtricas, a determinao dos respetivos intervalos de monotonia bem como os extremos relativos e absolutos. TRI12 Pgina 57

2. +Resolver problemas envolvendo derivadas de funes trigonomtricas e osciladores harmnicos. 3. +Resolver problemas envolvendo a Segunda Lei de Newton.

TRI12

Pgina 58

Funes Exponenciais e Logartmicas FEL12

Nmero de Neper 1. Definir o nmero de Neper 1. +Provar que a sucesso de termo geral ( ) crescente, majorada, justificar

que convergente, designar por nmero de Neper ( ) o respetivo limite, interpretar todos estes resultados luz da noo de juro composto e saber que um nmero irracional. Funes exponenciais 2. Definir as funes exponenciais e estabelecer as respetivas propriedades principais 1. +Provar, dado um nmero real , que a funo definida no conjunto dos nmeros racionais por ( ) crescente se e decrescente se . 2. +Provar, dado um nmero real , que e justificar que a funo definida no conjunto dos nmeros racionais por ( ) contnua. 3. +Provar que se , , utilizando o limite j conhecido o facto da funo definida nos nmeros racionais por ( ) 4. Justificar que, se , , e que, se . 5. Saber, dado um nmero real e um nmero irracional , que se ( ) uma qualquer sucesso de nmeros racionais de limite , a sucesso de termo geral convergente e o respetivo limite depende apenas de e de , e que, representando esse limite por , se estende a funo definida por ( ) em ao conjunto , obtendo-se por este processo uma funo contnua nesse conjunto, designada por funo exponencial de base , que mantm a monotonia, os limites em e as propriedades algbricas de em : para todos e , ( ) , , ,( ) e ( ) . a funo em ser crescente. e

6. Saber que, tal como no caso em que , mais geralmente quando definida em por ( ) contnua. 7. Saber que a funo definida em e justificar, dado que ] ( ] por ( ) ) . (

) tem por limite

8. Designar a funo exponencial de base represent-la tambm por . 9. Saber que

simplesmente por funo exponencial e

, referindo este limite como um limite notvel. e que para todo o ,

10. Provar que a funo exponencial diferencivel em ( ) ( ) FEL12

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, definida por , por

2.

3. 4.

5.

( ) 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 ( ) 8. #Provar, dados ( ), , ,

, que e ( ) e

( ) ( ) , que

e que , que ( )e ( ) ( (
( ) . ( )

( ) ) ) ( ) ( ).

. ( ),

( ) 9. Justificar, dado e , que . 10. Justificar, dado , que a funo exponencial de base respetiva derivada dada, em , pela expresso ( ) .

diferencivel e que a ( )

11. Justificar, dado

, que para todo o

( )

Limites notveis 4. Conhecer alguns limites notveis envolvendo funes exponenciais e logartmicas 1. +Provar, dado justificar que 2. Justificar, dado 3. Justificar que , que
( )

, que para todo o . . e que [ ( )] .

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

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

Primitivas e Clculo Integral PCI12

Noo de Primitiva 1. Definir a noo de primitiva 1. Designar, dada uma funo definida num intervalo uma funo por primitiva de em quando diferencivel em , e, para todo o , ( ) ( ) e designar como primitivvel em quando admite uma primitiva nesse intervalo. 2. Justificar, dada uma funo primitivvel num intervalo e e duas primitivas de nesse intervalo, que a funo constante em . 3. Justificar que se primitivvel num intervalo , ento as primitivas de nesse intervalo so as funes definidas pelas expresses ( ) , , onde uma qualquer primitiva de em , representar esta expresso por ou por ( ) e designar as constantes por constantes de primitivao. 4. Justificar, dado um intervalo , um ponto , e uma funo primitivvel em , que existe uma nica primitiva de em tal que ( ) . 5. Justificar, dadas funes e primitivveis num intervalo e , que e so primitivveis em , que a soma de uma primitiva de com uma primitiva de uma primitiva de e o produto de uma primitiva de por uma primitiva de e representar estes resultados, respetivamente, pelas expresses ( )) ( ( ) ( ) ( ) e ( ) ( ) , quando estas notaes no forem ambguas e design-los conjuntamente por linearidade da primitivao. 6. +Calcular primitivas de funes dadas por expresses da forma ( ) ( ( )) em que a derivada de uma funo de referncia para a diferenciao. Noo de Integral 2. Abordar intuitivamente o integral definido de uma funo contnua no negativa 1. Saber, fixada uma unidade de medida de rea e dadas duas regies do plano e para as quais est definida a rea, que a medida da rea de igual soma das medidas das reas de e quando tem medida de rea nula e justificar que, se ,a medida da rea de inferior ou igual medida da rea de . 2. Saber, fixada uma unidade de medida de rea e dada uma regio do plano para a qual est definida a rea, que se a imagem de por uma isometria, a medida da rea de igual medida da rea de . 3. Identificar a medida da rea dos segmentos de reta como nula em qualquer unidade. 4. Saber, dado um referencial cartesiano e uma funo contnua tal que ( ) (ou ( ) ) para [ ] que a noo de rea se pode estender regio do plano delimitada pelo grfico de , o eixo da abcissas e as retas de equao e .

PCI12

Pgina 62

5. Identificar, dado um referencial cartesiano e uma funo para [ ], , o integral de entre

contnua tal que ( )

e ( ( ) ) como a medida, na unidade quadrada associada unidade de comprimento desse referencial, da rea da regio do plano delimitada pelas retas de equao e , o eixo das abcissas e o grfico de . 6. Conhecer a origem histrica da expresso ( ) , representando o smbolo uma soma e ( ) a medida da rea de um retngulo com lados de medida ( ) e , sendo esta ltima infinitesimal. 7. Saber que na expresso ( ) , o smbolo pode ser substitudo por qualquer ] que se para todo o outro e designar, por esta razo, a varivel como muda. 8. Justificar, dadas funes e contnuas num intervalo [ [ ] ( ) ( ), ento ( )

( ) 9. Provar, dada uma funo contnua no negativa num intervalo [ ], que a funo definida em [ ] por ( ) ( ) a primitiva de no intervalo [ ] nula em e designar este resultado por Teorema fundamental do clculo (integral). 10. Provar, dada uma funo contnua no negativa num intervalo [ que ( ) [ ( )] , onde uma qualquer primitiva de ] ( ) ]

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 ( ) . 12. Identificar uma funo de domnio [ ] ( ) como alternando de sinal um nmero finito de vezes se for contnua e se existir uma sequncia ( ) , eixo das abcissas e o grfico de e justificar que se tem { }, com positiva em cada um dos intervalos [ , entre e como a soma ( ) , tal que no negativa ou no ]( ) e identificar o integral de ( ) ( ) . ( ) , ( )

reconhecendo que este valor no depende da sequncia ( )

13. Reconhecer que a tese do Teorema fundamental do clculo integral e a frmula de Barrow valem para funes que alternam de sinal um nmero finito de vezes. 14. Saber que possvel construir uma teoria da integrao que, em particular, permite integrar qualquer funo contnua num intervalo da forma [ ] , ainda que alterne de sinal um nmero infinito de vezes, e que possvel estender a essas funes o teorema fundamental do clculo, pelo que, em particular, qualquer funo contnua num intervalo I primitivvel em I. 3. Conhecer propriedades do integral definido 1. Reconhecer, dadas funes e definidas num intervalo [ ] ( ) que alternam de sinal um nmero finito de vezes e um nmero real , que as funes e alternam de sinal um nmero finito de vezes, justificar que ( ( ) ( )) ( ) ( ) e que ( ) ( ) e designar o conjunto destes resultados por linearidade do integral definido. PCI12 Pgina 63

2. Reconhecer, dadas duas funes e definidas num intervalo alternam de sinal um nmero finito de vezes, que ] [ ( ) ( ) (respetivamente ( ) ( ) ( ) ( )) ento (respetivamente

[ ]( se para ( )

) que todo o ( )

) e designar este resultado por monotonia do ]( ( ) ) que alterna de ( ) ( )

integral definido. 3. Reconhecer, dada uma funo

definida num intervalo [ [ ] tal que

sinal um nmero finito de vezes, que existe

e designar este resultado por Teorema da mdia. 4. Saber, dada uma funo definida num intervalo que alterna de sinal um nmero finito de vezes e dois pontos e de tais que , que, por conveno, ( ) ( ) e justificar que com esta conveno, dados quaisquer pontos ( ) ( ) ( ) .

, 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

Nmeros Complexos NC12

Introduo aos nmeros complexos 1. Conhecer o contexto histrico do aparecimento dos nmeros complexos e motivar a respetiva construo 1. Saber que, em meados do sculo XVI, Girolamo Cardano apresentou uma frmula, dita frmula resolvente para equaes do terceiro grau, que permite obter uma soluo real de equaes do terceiro grau da forma em funo dos nmeros reais e . 2. Saber que ao substituir formalmente e por certos valores na frmula de Cardano esta passa a apresentar o smbolo e que, operando formalmente com este smbolo, considerando em particular que , se obtm efetivamente uma soluo real da equao , e que este facto est na origem da motivao para se definir adequadamente um nmero cujo quadrado igual a . 3. +Reconhecer que se existir um conjunto contendo , munido de duas operaes e que estendem respetivamente a operao de adio e de multiplicao de nmeros reais, mantendo os mesmos elementos neutros, que so associativas, comutativas, tais que distributiva relativamente a , e tal que contm um elemento que satisfaz , ento, para , tem-se necessariamente em a equivalncia bem como as igualdades ( ) ( ) ( ), ( ) ( ) ( ) e notando, em particular, que os resultados das operaes e sobre elementos de da forma ( ) tm essa mesma forma. 2. Definir o corpo dos nmeros complexos ) e uma 1. Definir em uma operao aditiva por ( ) ( ) ( operao multiplicativa por ( ) ( ) ( ) (( ) ( ) ), designar o conjunto , quando munido destas duas operaes, por corpo dos nmeros complexos e represent-lo por . 2. Justificar que as operaes e , definidas em , so associativas, comutativas, que ( ) e ( ) so respetivamente os elementos neutros de e e que distributiva relativamente a . 3. Justificar que dados ,( ) ( ) ( )e( ) ( ) ( ), e, por esta razo, identificar com um subconjunto de , associando a cada o par ordenado ( ) e representando portanto o nmero complexo ( ) por . 4. Representar o nmero complexo ( ) por , design-lo por unidade imaginria e provar que . 5. Provar que, dado um nmero complexo , existe um nico nmero real e um nico nmero real tais que , observando que por definio um par ordenado ( ) e que ( ) ( ) ( ) ( ) ( )( ) . 6. Designar, dado um nmero complexo ( ), por parte real de e por parte imaginria de , e represent-las respetivamente por ( ) e por ( ).

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 . 3. Operar com nmeros complexos 1. Designar, dado um nmero complexo , , por conjugado de o nmero complexo , representando-o por , e justificar que o ponto afixo de a imagem pela reflexo de eixo real do ponto de afixo . 2. Justificar, dados nmeros complexos e , que , e . 3. Justificar, dado um nmero complexo , que ( )

) do ponto

afixo de

o ponto afixo

e que

( )

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

e provar que o inverso

de igual a |

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

10. Justificar, dados nmeros complexos e ,

e que ( )

NC12

Pgina 66

4. Definir a forma trigonomtrica de um nmero complexo 1. Designar um nmero complexo de mdulo 1 por unitrio e justificar, dado um nmero complexo , que unitrio se e somente se existir um nmero real tal que , designando , nesse caso, por um argumento de e justificar que dois argumentos de um mesmo nmero complexo diferem por , onde um nmero inteiro. 2. Justificar, dados nmeros complexos unitrios e ( ) , , que ( ) e que ( ) por ( ), e representar, para , o nmero complexo

, designando esta expresso por exponencial complexa de

( )

e motivando esta notao observando que se tem

3. +Reconhecer, dado um nmero complexo no nulo , que existe um nico nmero positivo e um nico nmero complexo unitrio tais que , que | | e se for um argumento de , designar igualmente por um argumento de . 4. Designar a representao de um nmero complexo no nulo na forma | | , onde um argumento de , por forma trigonomtrica ou forma polar de , e justificar, dados nmeros complexos no nulos e de argumentos respetivamente iguais a e a , que se e somente se | | | | e existir tal que . 5. Justificar, dado um nmero complexo no nulo , que existe um nico argumento de no intervalo ] ] e design-lo por argumento principal de e represent-lo por ( ) 6. Reconhecer, dado um nmero complexo no nulo , que o nmero real um argumento de se e somente se, no plano complexo, o afixo de pertencer ao lado extremidade do ngulo orientado que tem por lado origem o eixo real positivo e medida de amplitude, em radianos, igual a . 7. Justificar, dado um nmero real , que se o afixo de um nmero complexo , o afixo do nmero complexo a imagem de pela rotao de centro e ngulo generalizado de medida . 8. Reconhecer, dados trs pontos , e afixos respetivamente dos nmeros complexos e , distintos dois a dois, que se , o argumento principal de a medida, em radianos, do ngulo orientado de lado origem e de lado extremidade . 9. Justificar, dado um nmero complexo , que se o afixo de um nmero complexo , o afixo do nmero complexo a imagem de pela rotao de centro e ngulo orientado de medida , argumento de , composta com a homotetia de centro e razo | |. 10. Justificar que um argumento do nmero complexo no nulo , se e somente se ( ) e ( ) e que, nesse caso, se ) ( ) ( ( ) . 11. Provar, dado e , que ( este resultado por Frmula de De Moivre. ) e designar

NC12

Pgina 67

5. Extrair razes n-simas de nmeros complexos 1. +Reconhecer, dado um nmero complexo no nulo 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

, que estas solues so distintas quando , a equao tem

e que, se , so nmeros reais e se duas solues complexas conjugadas uma da outra. 6. Resolver problemas

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

NC12

Pgina 68