\n\n\n \n
\n Neste capítulo, vamos revisar os aspectos da trigonometria circular. Definiremos as funções trigonométricas circulares e estudaremos suas principais propriedades e identidades. Evidenciaremos alguns limites, os gráficos para cada uma dessas funções e deduziremos as derivadas para elas. Finalmente, definiremos as funções trigonométricas inversas e estudaremos também alguns limites, os gráficos e as derivadas das funções inversas. \n
\n\n \n```\n\n\n## 1.1 A trigonometria circular {#SECTION00510000000000000000}\n\n\n \n\n```{=html}\n\n
\n A trigonometria surgiu do estudo das medidas de um triângulo retângulo. A palavra trigonometria significa, em grego, medidas dos lados do triângulo. Dado um triângulo retângulo, marca-se um dos ângulos não reto e as relações trigonométricas atribuídas a esse ângulo são as seis razões possíveis envolvendo as medidas da hipotenusa, do cateto oposto (ao ângulo marcado) e do cateto adjacente (ao ângulo marcado). \n
\n
\n
\n```\n\n::: {.raw_html}\n \n
\n Observando o triângulo ![\"$OPA$\"](\"img/img12.svg\")
da figura anterior e sendo ![\"$\\alpha$\"](\"img/img13.svg\")
o ângulo ![\"$P\\hat{O}A$\"](\"img/img14.svg\")
, temos as seis relações trigonométricas associadas a este ângulo , dadas por\n
\n\n\n\n
\n \n\n\n
\n e chamadas respectivamente de seno, cosseno, tangente, cotangente, secante e cossecante de . É comum ainda representar a cossecante do ângulo por \n ![\"${\\mathrm{cossec}}\\alpha$\"](\"img/img27.svg\")
e a tangente de por \n ![\"$\\tan](\"img/img28.svg\")
. A notação \n é a notação padrão para a tangente no sistema de medida estadunidense e, por isso, muitas calculadoras usam essa notação.\n
\n
\n Podemos pensar que à medida que o ângulo varia, variam também as razões entre os lados desse triângulo e, consequentemente, variam as relações trigonométricas associadas ao ângulo . Dessa forma, podemos pensar que as relações trigonométricas são dadas em função do ângulo .\n
\n
\n Observemos que é imediato dessas definições que\n
\n\n\n\n
\n \n ![\"$\\displaystyle](\"img/img19.svg\") | \n ![\"$\\displaystyle](\"img/img29.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img21.svg\") | \n ![\"$\\displaystyle](\"img/img30.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img23.svg\") | \n ![\"$\\displaystyle](\"img/img31.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img25.svg\") | \n ![\"$\\displaystyle](\"img/img32.svg\") | \n \n |
\n
\n\n\n \n \n
\n Queremos então construir as funções trigonométricas, que a cada ângulo associam o seno, o cosseno, a tangente, a cotangente, a secante e a cossecante de . Temos alguns problemas nesse sentido. Primeiro quando pensamos em função, pensamos em domínio, imagem, gráfico da função entre outras propriedades. Um dos problemas é que o sistema cartesiano, utilizado para representar graficamente uma função, possui uma escala de medida baseada no comprimento. Por outro lado, um ângulo é tradicionalmente medido em graus. Precisamos utilizar um sistema de medida de ângulos compatível com o sistema cartesiano. Além disso, a trigonometria em um triângulo retângulo somente pode levar em conta ângulos de amplitude entre 0 e 90 graus (exluindo-se esses dois) e, no caso de funções, queremos estender ao máximo o domínio de definição, pretendendo, inclusive, calcular o valor das seis razões trigonométricas quando possui uma medida negativa.\n
\n
\n Vamos construir então o aparato compatível para o desenvolvimento dos nossos estudos.\n
\n
\n A trigonometria circular é construída sobre uma circunferência unitária, isto é, de raio 1, centrada na origem, cuja equação é \n ![\"$x^{2}](\"img/img33.svg\")
. Essa circunferência é chamada de circunferência trigonométrica, ou círculo trigonométrico.\n
\n\n:::\n\n```{=html} \n
\n
\n```\n\n\n::: {.raw_html}\n
\n Nessa circunferência, convencionamos que:\n \n
\n | - | O ponto ![\"$V=(1,0)$\"](\"img/img34.svg\") é a origem de quaisquer arcos a serem marcados na circunferência.\n |
\n | - | A cada ponto ![\"$A$\"](\"img/img35.svg\") da circunferência, correspondem um arco ![\"$VA$\"](\"img/img36.svg\") e um ângulo associado ![\"$V\\hat{O}A$\"](\"img/img37.svg\") , marcado no sentido anti-horário, ao qual é atribuída uma medida positiva.\n |
\n | - | A cada ponto da circunferência, correspondem também um arco e um ângulo associado , marcado no sentido horário, ao qual é atribuída uma medida negativa.\n |
\n
\n
\n A medida que atribuiremos a esse ângulo é baseada em algum dos sistemas de medidas de ângulos conhecidos. São três os sistemas de medidas de ângulo mais difundidos: graus, grados e radianos.\n
\n
\n O sistema grado é o menos utilizado e consiste em dividir a circunferência trigonométrica em 400 partes iguais, cada fração chamada de 1 grado. É um sistema baseado em escala decimal. Os eixos coordenados dividem portanto a circunferência em 4 partes cada uma com medida 100 grados.\n
\n
\n O sistema grau é bastante conhecido dos estudantes de ensino médio e fundamental. Consiste em dividir a circunferência trigonométrica em 360 partes iguais, cada uma dessas partes chamada de 1 grau. Os eixos coordenados dividem então a circunferência em 4 partes iguais de medida 90 graus cada uma.\n
\n
\n Relata-se que o sistema grau surgiu por volta de 4000 a.C. com os egípcios. Eles desejavam construir um calendário e, para isso, criaram um círculo com marcas onde poderiam contar os dias do ano. Quando um ano se passasse, a contagem deveria voltar ao ponto de partida, para o início de uma nova contagem. Naquela época, acreditavam que o Sol é que girava em torno da Terra e acreditavam que esta volta completa durava 360 dias. Então construíram uma circunferência dividida em 360 partes iguais e a cada dia que se passava, o marcador avançava \n ![\"$\\frac{1}{360}$\"](\"img/img38.svg\")
da circunferência.\n Algumas destas informações foram atualizadas com o tempo. Hoje sabe-se com mais precisão o tempo que a Terra leva para dar uma volta completa em torno do Sol, mas a divisão da circunferência em 360 partes iguais já havia sido consolidada.\n
\n
\n O sistema radiano é o mais adequado para o nosso estudo. Como sabemos, o comprimento de uma\n circunferência é calculado por ![\"$2\\pi](\"img/img39.svg\")
, sendo ![\"$r$\"](\"img/img40.svg\")
o raio da circunferência. Isto significa que a circunferência trigonométrica possui comprimento igual a ![\"$2\\pi$\"](\"img/img41.svg\")
. Os eixos coordenados dividem portanto essa circunferência em 4 arcos, de comprimento \n ![\"$\\frac{\\pi}{2}$\"](\"img/img42.svg\")
cada um. A cada ponto da circunferência, a medida do arco será exatamente a medida do seu comprimento, considerada negativa, se o arco estiver marcado no sentido horário.\n
\n
\n Dessa forma, a cada ponto sobre a circunferência está associado um arco e para este arco, um ângulo de medida positiva e um ângulo de medida negativa. Queremos agora a partir de uma medida, positiva ou negativa, determinar um ponto cujo arco e cujo ângulo estejam associados a esta medida.\n
\n
\n A cada número real \n ![\"$0](\"img/img43.svg\")
está associado um ponto da circunferência de forma que o arco , marcado no sentido anti-horário, mede ![\"$u$\"](\"img/img1.svg\")
unidades de comprimento. A partir do número real , digamos \n ![\"$u](\"img/img44.svg\")
, ainda podemos marcar o ponto na circunferência, no sentido anti-horário, porém, o comprimento do arco é ![\"$(u-2\\pi)$\"](\"img/img45.svg\")
.\n
\n
\n Convencionamos então que a cada número real ![\"$u](\"img/img46.svg\")
está associado um ponto da circunferência, de forma que o comprimento do arco , marcado no sentido anti-horário, mede ![\"$(u-2k\\pi)$\"](\"img/img47.svg\")
para algum \n ![\"$k](\"img/img48.svg\")
com ![\"$k](\"img/img49.svg\")
. Mais precisamente, ![\"$k$\"](\"img/img50.svg\")
satisfaz \n ![\"$2k\\pi](\"img/img51.svg\")
. Em outras palavras, a medida do arco é igual a descontando-se voltas completas na circunferência.\n
\n
\n Admitindo convenções similares para a marcação de arcos no sentido horário, temos que a cada número real negativo, ![\"$u](\"img/img52.svg\")
corresponde um único ponto ![\"$B$\"](\"img/img53.svg\")
na circunferência de forma que o arco ![\"$VB$\"](\"img/img54.svg\")
mede para algum \n com ![\"$k<0$\"](\"img/img55.svg\")
. Em outras palavras, a medida do arco é igual a adicionando-se ![\"$(-k)$\"](\"img/img56.svg\")
voltas completas na circunferência.\n \n
\n \n
\n
\n Figura 1.3:\n Ângulos positivo e negativo.\n \n \n ![\"Image](\"img/./angposneg.png\") |
\n
\n
\n \n
\n Dessa forma, temos que a cada \n ![\"$u](\"img/img57.svg\")
, também chamado ângulo radiano , corresponde um ponto na circunferência de modo que o arco mede \n ![\"$(\\vert](\"img/img58.svg\")
para \n que satisfaz \n . Desse ponto em diante, escreveremos simplesmente que o ponto , ou que o arco , está associado ao ângulo radiano , ou ainda que o arco ou o ângulo mede radianos.\n
\n
\n Note que, se \n ![\"$u](\"img/img59.svg\")
então a área do setor circular ![\"$OVA$\"](\"img/img60.svg\")
é igual a \n ![\"$\\frac{u}{2}$\"](\"img/img61.svg\")
unidades de área. Dado um ângulo radiano \n , seja o ponto sobre a circunferência tal que ![\"$AV$\"](\"img/img62.svg\")
tem medida . O ponto possui, no sistema cartesiano prefixado, duas coordenadas ![\"$A=(a,b)$\"](\"img/img63.svg\")
. O seno de é definido como sendo a ordenada do\n ponto , isto é,\n
\n \n \n\n
\n
![\"$\\displaystyle](\"img/img64.svg\")
ordenada de
![\"$\\displaystyle](\"img/img65.svg\")
\n
\n e o cosseno
de
é definido como sendo a absissa do ponto
, isto é,\n \n
\n
![\"$\\displaystyle](\"img/img66.svg\")
absissa de
![\"$\\displaystyle](\"img/img67.svg\")
\n
\n \n
\n Outra forma de ver isto, é traçarmos pelo ponto a perpendicular ![\"$AP$\"](\"img/img68.svg\")
ao eixo ![\"$x$\"](\"img/img69.svg\")
e a perpendicular ![\"$AQ$\"](\"img/img70.svg\")
ao eixo ![\"$y$\"](\"img/img71.svg\")
. O seno do ângulo é então o comprimento do segmento orientado ![\"$OQ$\"](\"img/img72.svg\")
(ou ![\"$PA$\"](\"img/img73.svg\")
) com relação ao eixo . Se o segmento tiver sentido contrário ao eixo , entenderemos seu comprimento como negativo. O cosseno do ângulo é igual ao comprimento do segmento orientado ![\"$OP$\"](\"img/img74.svg\")
(ou ![\"$QA$\"](\"img/img75.svg\")
) com relação ao eixo . Se o segmento estiver orientado contrariamente ao eixo entenderemos o comprimento como sendo negativo.\n
\n:::\n\n\n```{=html} \n
\n
\n```\n\n\n::: {.raw_html}\n \n
\n Outras quatro razões trigonométricas chamadas respectivamente de tangente, cotangente, secante e cossecante, são definidas por \n
\n \n\n\n
\n
![\"$\\displaystyle](\"img/img76.svg\")
e
![\"$\\displaystyle](\"img/img77.svg\")
\n
\n \n
\n Naturalmente, a observação destas razões no triângulo retângulo, acarreta que as razões sejam sempre números positivos. A definição sobre a circunferência trigonométrica estende estes conceitos. Mas também traz alguns problemas. Por exemplo, a abscissa ou a ordenada do ponto podem ser nulas, o que acarreta seno ou cosseno de igual a zero. Algumas das razões acima não estarão definidas nesses casos.\n
\n
\n Dados dois ângulos radianos, de medidas e ![\"$-u$\"](\"img/img78.svg\")
, consideremos os pontos e ![\"$A'$\"](\"img/img79.svg\")
sobre a circunferência,\n associados aos ângulos radianos e respectivamente. Os pontos e estão sobre a circunferência e são simétricos um do outro em relação ao eixo .\n
\n\n:::\n\n\n```{=html} \n
\n
\n```\n\n\n::: {.raw_html}\n \n
\n Logo,\n
\n\n\n\n
\n \n abscissa de ![\"$\\displaystyle](\"img/img80.svg\") | \n ![\"$\\displaystyle](\"img/img81.svg\") abscissa de ![\"$\\displaystyle](\"img/img82.svg\") | \n \n |
\n \n | ordenada de | \n ![\"$\\displaystyle](\"img/img83.svg\") ordenada de ![\"$\\displaystyle](\"img/img84.svg\") | \n \n |
\n
\n \n
ou ainda,
\n \n
\n
![\"$\\displaystyle](\"img/img88.svg\")
\n \n
\n \n \n
\n Temos então as igualdades\n
\n
\n \n \n
\n Note que as coordenadas do ponto são então \n ![\"$A](\"img/img96.svg\")
e, como o ponto está sobre a circunferência, suas coordenadas devem satisfazer a equação da circunferência \n . Temos então\n
\n
\n
\n \n ![\"$\\displaystyle](\"img/img97.svg\") | \n \n (1.3) |
\n
\n
\n que é conhecida como a relação fundamental da trigonometria (circular).\n \n
\n Assim como no caso de seno e cosseno, podemos também fazer uma visualização geométrica das outras quatro funções trigonométricas.\n
\n
\n Consideremos, no círculo trigonométrico, a reta paralela ao eixo e que passa pelo ponto e a reta ![\"$t$\"](\"img/img98.svg\")
paralela ao eixo e que passa pelo ponto ![\"$W](\"img/img99.svg\")
. São duas retas tangentes à circunferência\n trigonométrica. Dado um ângulo radiano representado pelo arco , prolongamos o segmento ![\"$OA$\"](\"img/img100.svg\")
até que ele\n intercepte as retas e respectivamente nos pontos ![\"$M$\"](\"img/img101.svg\")
e ![\"$N$\"](\"img/img8.svg\")
. A tangente do ângulo é o comprimento do\n segmento orientado ![\"$VM$\"](\"img/img102.svg\")
com relação ao eixo . A cotangente de é igual ao comprimento do segmento orientado ![\"$WN$\"](\"img/img103.svg\")
, com relação ao eixo .\n
\n\n:::\n\n\n```{=html} \n\n
\n
\n```\n\n\n::: {.raw_html}\n \n
\n Nestes termos, notemos que os triângulos ![\"$OAP$\"](\"img/img104.svg\")
e ![\"$OVM$\"](\"img/img105.svg\")
são semelhantes e, portanto,\n
\n \n\n\n
\n
![\"$\\displaystyle](\"img/img106.svg\")
\n
\n \n
\n Também o triângulo ![\"$ONW$\"](\"img/img107.svg\")
é semelhante ao triângulo e, dessa semelhança, temos que\n
\n \n
\n
![\"$\\displaystyle](\"img/img108.svg\")
\n
\n e isso significa que as coordenadas de e são \n ![\"$M](\"img/img109.svg\")
e \n ![\"$N](\"img/img110.svg\")
.\n
\n
\n Note que se \n ![\"$u](\"img/img111.svg\")
para \n , então o ponto coincidirá com ![\"$(0,1)$\"](\"img/img112.svg\")
ou ![\"$(0,-1)$\"](\"img/img113.svg\")
e então o prolongamento do segmento não intercepta a reta e nesses casos, não está definida a tangente de . Isso pode também ser observado na expressão \n ![\"${\\mathrm](\"img/img114.svg\")
, pois nos pontos mencionados, temos um denominador nulo. O mesmo ocorre com \n ![\"${\\mathrm](\"img/img115.svg\")
nos casos em que \n ![\"$u](\"img/img116.svg\")
, pois nesses pontos, \n ![\"${\\mathrm](\"img/img117.svg\")
.\n
\n
\n Considerando ainda o ângulo , determinado pelo arco , traçamos pelo ponto a reta ![\"$s$\"](\"img/img118.svg\")
, tangente a\n circunferência trigonométrica que passa pelo ponto . Essa reta corta os eixos e nos pontos que chamaremos, respectivamente ![\"$X$\"](\"img/img119.svg\")
e ![\"$Y$\"](\"img/img120.svg\")
. A secante do ângulo (denotada por ![\"$\\sec](\"img/img121.svg\")
) é igual ao comprimento do segmento orientado ![\"$OX$\"](\"img/img122.svg\")
, com relação ao eixo e a cossecante de (denotada por ![\"$\\csc](\"img/img123.svg\")
) é igual ao comprimento do segmento orientado ![\"$OY$\"](\"img/img124.svg\")
, com relação ao eixo .\n
\n\n\n\n
\n
\n Figura 1.7:\n Secante e cossecante de um ângulo.\n \n \n ![\"Image](\"img/./angseccsc.png\") |
\n
\n
\n \n
\n Vemos na figura anterior, que os triângulos e ![\"$OAY$\"](\"img/img125.svg\")
são semelhantes e dessa semelhança vem\n
\n \n
\n
![\"$\\displaystyle](\"img/img126.svg\")
\n
\n \n
\n Também os triângulos e ![\"$OAX$\"](\"img/img127.svg\")
são semelhantes e, portanto,\n
\n \n
\n
![\"$\\displaystyle](\"img/img128.svg\")
\n
\n e isso significa que as coordenadas dos pontos
e
são, \n
![\"$X](\"img/img129.svg\")
e \n
![\"$Y](\"img/img130.svg\")
.\n
\n
\n Note ainda que se \n para \n , então como antes, coincidirá com ou\n e a reta tangente à circunferência que passa por será paralela ao eixo e não existirá a secante de . Lembre-se que nestes pontos \n ![\"$\\cos](\"img/img131.svg\")
. Também se \n , não existirá pelo mesmo motivo. Nesses pontos \n .\n
\n
\n O que queremos agora é deduzir as fórmulas de soma de arcos para o seno e o cosseno. Consideremos dois ângulos radianos e ![\"$v$\"](\"img/img2.svg\")
. O ângulo radiano fica determinado pelo arco e o ângulo radiano fica denotado pelo arco .\n
\n
\n \n
\n Baixamos pelo ponto a perpendicular ao segmento ![\"$OV$\"](\"img/img132.svg\")
. Essa perpendicular cruza o eixo em um ponto que\n chamaremos de ![\"$C$\"](\"img/img133.svg\")
. Vamos rotacionar o ângulo ![\"$V\\hat{O}B$\"](\"img/img134.svg\")
de forma que o segmento coincida com o segmento .\n Temos então esquema da figura 1.9.\n
\n
\n \n
\n Nesses termos, o arco está agora ascociado ao ângulo ![\"$(u+v)$\"](\"img/img135.svg\")
. Lembremos também que o novo triângulo ![\"$OBC$\"](\"img/img136.svg\")
é retângulo em e ainda valem as relações\n
\n \n
\n
![\"$\\displaystyle](\"img/img137.svg\")
e
![\"$\\displaystyle](\"img/img138.svg\")
\n
\n \n
\n Pelo ponto baixamos a perpendicular ao eixo que cruza esse eixo no ponto ![\"$P$\"](\"img/img4.svg\")
. Pelo ponto também baixamos a perpendicular ao eixo que cruza esse eixo no ponto ![\"$Q$\"](\"img/img6.svg\")
. Pelo ponto , baixamos a perpendicular ao segmento ![\"$BP$\"](\"img/img139.svg\")
, que cruza esse segmento em um ponto que chamaremos de e a perpendicular ao eixo que cruza esse eixo em um ponto que chamaremos ![\"$R$\"](\"img/img5.svg\")
.\n
\n \n
\n \n
\n Temos então\n
\n \n
\n
![\"$\\displaystyle](\"img/img140.svg\")
e
![\"$\\displaystyle](\"img/img141.svg\")
\n
\n e também,\n
\n \n
\n
![\"$\\displaystyle](\"img/img142.svg\")
e
![\"$\\displaystyle](\"img/img143.svg\")
\n
\n \n
\n Com base na figura, vemos que os triângulos retângulos ![\"$OQA$\"](\"img/img144.svg\")
e ![\"$ORC$\"](\"img/img145.svg\")
são semelhantes e, portanto, valem as igualdades\n
\n \n
\n
![\"$\\displaystyle](\"img/img146.svg\")
e
![\"$\\displaystyle](\"img/img147.svg\")
\n
\n \n
\n Notemos agora que o triângulo retângulo ![\"$CMB$\"](\"img/img148.svg\")
é também semelhante ao triângulo retângulo . Para mostrar isso, mostraremos que o ângulo ![\"$R\\hat{O}C$\"](\"img/img149.svg\")
tem a mesma medida do ângulo ![\"$C\\hat{B}M$\"](\"img/img150.svg\")
. De fato, o segmento ![\"$CM$\"](\"img/img151.svg\")
é paralelo ao eixo e então os ângulos alternos internos e ![\"$M\\hat{C}O$\"](\"img/img152.svg\")
possuem a mesma medida.\n
\n
\n Então,\n
\n \n
\n
![\"$\\displaystyle](\"img/img153.svg\")
\n
\n e, portanto,\n
\n \n
\n
![\"$\\displaystyle](\"img/img154.svg\")
\n
\n
\n donde os triângulos retângulos e são semelhantes. Levando em conta a primeira semelhança (entre e ), são semelhantes os triângulos retângulos e . Dessa última semelhança e, sabendo que ![\"$OA](\"img/img155.svg\")
, temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img156.svg\")
e
![\"$\\displaystyle](\"img/img157.svg\")
\n
\n \n
\n Segue disto que\n
\n
\n \n ![\"$\\displaystyle](\"img/img158.svg\") | \n ![\"$\\displaystyle](\"img/img159.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img160.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img161.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img162.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img163.svg\") | \n \n (1.4) |
\n
\n
\n e também,\n
\n
\n \n ![\"$\\displaystyle](\"img/img164.svg\") | \n ![\"$\\displaystyle](\"img/img165.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img166.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img167.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img168.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img169.svg\") | \n \n (1.5) |
\n
\n \n \n
\n As fórmulas, (1.4) e (1.5), juntamente com as fórmulas (1.1), (1.2) e (1.3) são as cinco principais fórmulas da trigonometria circular. Com essas fórmulas, podemos obter outras fórmulas conhecidas, tais como as fórmulas de duplicação de arcos,\n
\n
\n \n
e\n
\n \n \n \n ![\"$\\displaystyle](\"img/img174.svg\") | \n ![\"$\\displaystyle](\"img/img175.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img176.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img177.svg\") | \n \n |
\n
\n
\n e as fórmulas de diferença de arcos,\n
\n
\n \n
e\n \n
\n \n \n ![\"$\\displaystyle](\"img/img181.svg\") | \n ![\"$\\displaystyle](\"img/img182.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img183.svg\") | \n \n |
\n
\n \n \n
\n Ainda como exemplo, vamos obter outras identidades trigonométricas. São de fácil demonstração e somente estamos\n explicitando por motivos de referência futura. Para ser mais preciso, essas identidades serão úteis na seção\n 1.7.\n
\n \n
Proposição 1.1 \n
Valem as seguintes identidades trigonométricas circulares\n \n \n
\n \n \n \n:::\n\n## 1.2 Funções trigonométricas circulares {#SECTION00520000000000000000}\n\n\n```{html}\n\n
\n Nesta seção, vamos estudar os aspectos principais das funções trigonométricas circulares. Será conveniente que o leitor possua conhecimentos conceituais sobre domínio, imagem, gráfico e também limites de funções.\n
\n
\n Admitindo que é uma variável real, podemos considerar as funções que a cada valor de associam o seno, o\n cosseno, a tangente, a cotangente, a secante e a cossecante de , quando existirem. Olhemos uma por uma essas\n funções.\n
\n
\n Para cada valor real de , a função \n
\n```\n\n::: {.raw_html}\n \n
\n
\n associa o seno do ângulo (radiano) . Da seção anterior, temos que esta função assume 0 para os valores ![\"$u](\"img/img216.svg\")
, para qualquer \n . Também essa função é limitada, assumindo no máximo 1 e no mínimo -1. É uma função periódica de período . O seu gráfico é como na figura abaixo.\n
\n
\n
\n Figura 1.11:\n Gráfico da função seno circular.\n \n \n ![\"Image](\"img/./fsin.png\") |
\n
\n
\n \n
\n Notemos que é uma função contínua (mostraremos isto detalhadamente na próxima seção), não injetora e nem sobrejetora de \n ![\"$\\mathbb{R}$\"](\"img/img217.svg\")
em \n . Também o comportamento oscilatório para os infinitos, faz com que não existam os limites de ![\"$f(u)$\"](\"img/img218.svg\")
quando \n ![\"$u](\"img/img219.svg\")
.\n
\n
\n A função cosseno se comporta de forma similar. Basta notar que \n ![\"$\\cos(u-\\frac{\\pi}{2})](\"img/img220.svg\")
, isto é, a função cosseno é apenas um deslocamento horizontal da função seno. Dessa forma, a função \n ![\"$w](\"img/img221.svg\")
, definida em \n é também uma função contínua, periódica de período , que assume máximo 1 e mínimo -1. Os zeros dessa função (os pontos onde a função intercepta o eixo ) são \n ![\"$u](\"img/img222.svg\")
para qualquer \n . O gráfico fica como na figura abaixo.\n
\n
\n
\n Figura 1.12:\n Gráfico da função cosseno circular.\n \n \n ![\"Image](\"img/./fcos.png\") |
\n
\n
\n \n
\n Não é uma função injetora e nem sobrejetora de \n em \n .\n
\n
\n Para a função tangente, lembremos que \n ![\"$f(u)](\"img/img223.svg\")
e então por se\n tratar de uma razão, precisamos nos preocupar com os valores de que anulam o denominador. Tais pontos não estarão\n no domínio de definição de \n ![\"$f(u)](\"img/img224.svg\")
. Os valores para os quais \n , são \n , com\n \n . O domínio da função tangente é então \n ![\"$\\mathbb{R}-](\"img/img225.svg\")
.\n
\n
\n Como seno e cosseno são funções periódicas em , então a função tangente também será periódica. O que ocorre é que\n o período da fração diminui para ![\"$\\pi](\"img/img9.svg\")
pelo jogo de sinal entre numerador e denominador. De fato, as funções seno e\n cosseno em módulo são periódicas de período .\n
\n
\n Vamos analizar os limites (laterais) nos pontos onde a função tangente não está definida. São os pontos \n . Pela periodicidade da função, basta analizar os limites em um destes pontose a análise valerá\n para os demais. Vamos considerar, por simplicidade, ![\"$k](\"img/img226.svg\")
. Então se se aproxima de \n teremos o\n denominador ![\"$\\cos](\"img/img227.svg\")
indo para 0, e o numerador \n ![\"${\\mathrm](\"img/img228.svg\")
indo para 1 e, portanto, a razão vai para o infinito. Resta o\n estudo do sinal. Se \n ![\"$u](\"img/img229.svg\")
então os valores de são ligeiramente maiores que \n .\n Neste caso, o seno será positivo e o cosseno negativo e, portanto,\n
\n \n
\n
![\"$\\displaystyle](\"img/img230.svg\")
\n
\n \n
\n Quando \n ![\"$u](\"img/img231.svg\")
então os valores de serão menores que \n e, neste caso, seno e\n cosseno serão positivos e, portanto,\n
\n \n \n
\n
![\"$\\displaystyle](\"img/img232.svg\")
\n
\n \n
\n Estendendo esta análise para os outros valores de , temos para todo \n ,\n
\n \n \n
\n
![\"$\\displaystyle](\"img/img233.svg\")
e
![\"$\\displaystyle](\"img/img234.svg\")
\n
\n \n
\n Por se tratar de um quociente de duas funções, a função tangente será uma função contínua nos pontos em que o\n denominador não se anulae cruzará o eixo nos pontos em que o numerador se anular, isto é, para com \n . Seu gráfico é como na figura abaixo.\n
\n
\n
\n Figura 1.13:\n Gráfico da função tangente circular.\n \n \n ![\"Image](\"img/./ftg.png\") |
\n
\n
\n \n
\n É uma função ímpar. Não é injetora, mas é sobrejetora de \n em \n . Observe\n atentamente que se analisada em apenas um dos intervalos de amplitude , da forma\n \n ![\"$(k\\pi-\\frac{\\pi}{2},k\\pi+\\frac{\\pi}{2})$\"](\"img/img235.svg\")
então torna-se uma função crescente e injetiva e, portanto, bijetiva.\n
\n
\n A análise da função \n ![\"$f(u)](\"img/img236.svg\")
é feita da mesma forma que a\n função tangente. Por se tratar de um quociente, o domínio de definição consiste dos valores de para os quais \n ![\"${\\mathrm](\"img/img237.svg\")
. A função seno se anula nos pontos para \n . Desta forma, o domínio da função cotangente é\n o conjunto \n ![\"$\\mathbb{R}-](\"img/img238.svg\")
. Também esta função se anula nos pontos em que o numerador se anula,\n isto é, em \n para todo \n .\n
\n
\n É também uma função periódica de período . Vamos analisar os limites nos pontos onde esta função não está\n definida, isto é, nos pontos onde o denominador se anula. Pela periodicidade, basta analizar os limites em um destes\n pontos e esta análise valerá para os demais. Consideremos então por simplicidade o caso em que , isto é, o ponto\n ![\"$u](\"img/img239.svg\")
. Quando se aproxima de 0 o denominador \n se aproxima de 0 também e o numerado se aproxima de 1.\n A fração vai portanto para o infinito. Resta o estudo de sinais.\n
\n
\n Quando \n ![\"$u](\"img/img240.svg\")
, então é positivo; e tanto seno quanto cosseno são positivos, resultando\n
\n \n
\n
![\"$\\displaystyle](\"img/img241.svg\")
\n
\n e quando \n ![\"$u](\"img/img242.svg\")
então o seno será negativo e o cosseno positivo, neste caso\n
\n \n
\n
![\"$\\displaystyle](\"img/img243.svg\")
\n
\n \n
\n Transmitindo estes fatos para os demais pontos onde a função não está definida, temos que\n
\n \n
\n
![\"$\\displaystyle](\"img/img244.svg\")
e
![\"$\\displaystyle](\"img/img245.svg\")
\n
\n para qualquer \n .\n
\n
\n O gráfico então é a curva da figura abaixo.\n
\n
\n
\n Figura 1.14:\n Gráfico da função cotangente circular.\n \n \n ![\"Image](\"img/./fctg.png\") |
\n
\n
\n \n
\n É uma função ímpar, sobrejetora mas não injetora de \n em \n . Se analisada por partes,\n isto é, em apenas um dos intervalos de amplitude da forma \n ![\"$(k\\pi,](\"img/img246.svg\")
, então temos injetividade (e\n portanto bijetividade) em qualquer um destes intervalos.\n
\n
\n Agora a função \n ![\"$f(u)](\"img/img247.svg\")
. Usando a identidade \n ![\"$\\sec](\"img/img248.svg\")
, vemos que o\n domínio desta função fica caracterizado pelo conjunto \n , dos pontos tais que o\n denominador não se anule. É uma função que nunca se anula, pois o numerador é fixo e não nulo. Note que o denominador\n assume todos os valores reais entre ![\"$-1$\"](\"img/img249.svg\")
e ![\"$1$\"](\"img/img250.svg\")
(inclusive estes dois). Isto significa que a fração poderá resultar em\n qualquer um dos valores maiores que ou menores que (inclusive estes dois). O conjunto imagem então é o\n conjunto \n ![\"$(-\\infty,-1]](\"img/img251.svg\")
.\n
\n
\n Vamos verificar o comportamento da função nas proximidades dos pontos onde não estiver definida. Sendo o denominador\n uma função periódica de período e o numerador constante, então o quociente é também uma função periódica de\n período . Por este motivo, olhemos para o intervalo ![\"$[0,2\\pi]$\"](\"img/img252.svg\")
; e usando a periodicidade deduzimos o\n comportamento da função para os demais pontos onde não estiver definida.\n
\n
\n Quando \n ![\"$u](\"img/img253.svg\")
pela direita, os valores de se aproximam de 0 negativamente e, portanto, \n ![\"$f(u)](\"img/img254.svg\")
. Pela esquerda, os valores de vão para 0 positivamente e, portanto, \n ![\"$f(u)](\"img/img255.svg\")
. Resumindo,\n
\n \n
\n
![\"$\\displaystyle](\"img/img256.svg\")
e
![\"$\\displaystyle](\"img/img257.svg\")
\n
\n \n
\n Se \n ![\"$u](\"img/img258.svg\")
pela direita, então se aproxima de 0 positivamente e, portanto, \n e\n se \n pela esquerda, então se aproxima de 0 negativamente e, portanto, \n .\n Isto é,\n
\n \n
\n
![\"$\\displaystyle](\"img/img259.svg\")
e
![\"$\\displaystyle](\"img/img260.svg\")
\n
\n \n
\n Note ainda que nos pontos \n ![\"$\\{2k\\pi;](\"img/img261.svg\")
, temos \n ![\"$\\cos](\"img/img262.svg\")
e então, \n ![\"$\\sec](\"img/img263.svg\")
nestes pontos. Nos pontos\n \n ![\"$\\{(2k+1)\\pi;](\"img/img264.svg\")
temos \n ![\"$\\cos](\"img/img265.svg\")
e então \n ![\"$\\sec](\"img/img266.svg\")
nestes pontos. O gráfico desta função é mostrado\n na figura abaixo.\n
\n
\n
\n Figura 1.15:\n Gráfico da função secante circular.\n \n \n ![\"Image](\"img/./fsec.png\") |
\n
\n
\n \n
\n Note que não é uma função injetora, nem sobrejetora de \n em \n .\n
\n
\n Finalmente para a função \n ![\"$f(u)](\"img/img267.svg\")
, levamos em conta que \n ![\"$\\csc](\"img/img268.svg\")
e\n analisamos este quociente. O domínio é o conjunto de pontos tais que o denominador não se anula, ou seja, o conjunto\n \n . Também o denominador assume todos os valores (não nulos) entre e e, portanto, a\n função assume todos os valores menores que e maiores que . O conjunto imagem é então o conjunto\n \n .\n
\n
\n Trata-se de um quociente com denominador periódico e numerador constante e, portanto, essa função também é periódica, de\n período . Basta analizarmos o intervalo \n ![\"$[-\\frac{\\pi}{2},\\frac{3\\pi}{2}]$\"](\"img/img269.svg\")
e repetirmos o comportamento para os\n demais pontos, onde o denominador se anula.\n
\n
\n Quando ![\"$u](\"img/img270.svg\")
pela direita, então os valores de \n se aproximam de 0 positivamente e então \n ![\"$f(u)](\"img/img271.svg\")
. Se pela esquerda, então os valores de \n vão para 0 negativamente e então \n .\n Resumindo isto, temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img272.svg\")
e
![\"$\\displaystyle](\"img/img273.svg\")
\n
\n \n
\n Se se aproxima de pela direita, então o denominador \n se aproxima de 0 negativamente e então \n . Se se aproxima de pela esquerda, então o denominador se aproxima de 0 positivamente e, assim,\n \n . Dessa forma, temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img274.svg\")
e
![\"$\\displaystyle](\"img/img275.svg\")
\n
\n \n
\n Temos ainda que nos pontos \n ![\"$\\{](\"img/img276.svg\")
o denominador da fração assume o valor 1 e,\n portanto, ![\"$f$\"](\"img/img277.svg\")
é igual a 1 nestes pontos. Analogamente nos pontos \n ![\"$\\{](\"img/img278.svg\")
o\n denominador é igual a -1 e, portanto, a função assume o valor -1 nestes pontos. O gráfico de é representado na\n figura abaixo.\n
\n
\n
\n Figura 1.16:\n Gráfico da função cossecante circular.\n \n \n ![\"Image](\"img/./fcossec.png\") |
\n
\n
\n \n
\n Não é uma função injetora e nem sobrejetora de \n em \n .\n
\n
\n Nota: Observe que a função seno é um deslocamento da função cosseno (e vice-versa) e por este motivo, os quocientes \n e \n são também deslocamentos um do outro. Compare isto nos limites que\n deduzimos e nos gráficos das duas funções.\n \n ![\"$\\blacksquare$\"](\"img/img279.svg\")
\n
\n \n
\n Vamos resumir em uma tabela o domínio e a imagem de cada uma das funções trigonométricas.\n
\n \n
\n
\n Tabela 1.1:\n Domínio e imagem das funções trigonométricas circulares\n | função | \n domínio | \n imagem | \n
\n \n | \n | \n \n | \n ![\"$[-1,1]$\"](\"img/img280.svg\") | \n
\n | \n \n | \n | \n
\n \n ![\"${\\mathrm](\"img/img281.svg\") | \n \n | \n \n | \n
\n | \n | \n \n | \n \n | \n
\n | \n \n | \n \n | \n
\n | \n \n | \n \n | \n
\n \n \n
\n\n :::\n\n\n```{=html} \n \n
\n\n```\n\n\n## 1.3 Continuidade das funções trigonométricas circulares {#SECTION00530000000000000000}\n\n::: {.raw_html}\n \n
\n Nesta seção vamos mostrar que as funções trigonométricas circulares são contínuas nos seus domínios de definição. Mais\n precisamente, queremos primeiro mostrar que\n
\n \n
\n
![\"$\\displaystyle](\"img/img282.svg\")
e
![\"$\\displaystyle](\"img/img283.svg\")
\n
\n para qualquer \n ![\"$a](\"img/img284.svg\")
. Para as outras quatro funções trigonométricas circulares, a continuidade seguirá da\n continuidade destas duas funções e da propriedade de continuidade do quociente de funções contínuas.\n
\n
\n Observando os gráficos destas duas funções nas figuras 1.11 e 1.12, vemos que são gráficos formados\n por linhas contínuas e, do ponto de vista gráfico, as funções são contínuas satisfazendo portanto os limites acima.\n Todavia, precisamos ser mais rigorosos.\n
\n
\n Vamos primeiro listar alguns resultados a respeito de limites que iremos utilizar nesta seção. Não vamos demonstrar\n aqui estes resultados, pois está fora do nosso interesse principal. O leitor interessado nestas demonstrações pode\n consultar [4, Leithold].\n
\n \n
\n \n \n
Teorema 1.3 (Teorema do confronto, ou Teorema do sanduíche) \n
Sejam , ![\"$g$\"](\"img/img285.svg\")
e ![\"$h$\"](\"img/img293.svg\")
funções tais que \n ![\"$f(x)](\"img/img294.svg\")
para todo em algum intervalo em torno de um ponto\n ![\"$a$\"](\"img/img295.svg\")
, exceto possivelmente no ponto . Se\n \n \n
\n
![\"$\\displaystyle](\"img/img296.svg\")
\n
\n
\n então\n \n \n
\n
![\"$\\displaystyle](\"img/img297.svg\")
\n
\n \n
\n \n
Teorema 1.5 \n
O limite \n ![\"$\\lim\\limits_{x](\"img/img302.svg\")
existe, se e somente se, existe o limite \n ![\"$\\lim\\limits_{x](\"img/img303.svg\")
; e mais\n ainda,\n \n
\n
![\"$\\displaystyle](\"img/img304.svg\")
\n
\n \n
\n Agora começamos o trabalho de provar a continuidade das funções seno e cosseno.\n \n
\n \n
\n \n \n
Prova.\n \n Provaremos que os limites laterais existem e são iguais a 1. Consideremos primeiro o caso
![\"$u](\"img/img306.svg\")
0$\" loading=\"lazy\">; e podemos também\n considerar que \n
![\"$u](\"img/img307.svg\")
. No círculo trigonométrico, construímos o arco
de comprimento
. Então\n o ângulo
![\"$A\\hat{O}V$\"](\"img/img308.svg\")
tem medida
radianos. Consideremos a reta
de equação
![\"$u=1$\"](\"img/img309.svg\")
, perpendicular ao eixo
,\n passando pelo ponto
![\"$V$\"](\"img/img310.svg\")
. Prolonguemos o segmento
até interceptar a reta
em um ponto que designaremos por
.\n Consideremos então o triângulo
![\"$AOV$\"](\"img/img311.svg\")
, o setor circular
e o triângulo retângulo
![\"$OVP$\"](\"img/img312.svg\")
.\n \n
\n
\n Figura 1.17:\n Visualização geométrica do limite.\n \n \n ![\"Image](\"img/./limfund.png\") |
\n
\n
\n \n
\n Vemos claramente que a área do triângulo retângulo é maior que a área do setor circular que por sua vez é\n maior que a área do triângulo . O triângulo tem base com medida 1 e altura com medida \n e, portanto, a sua área é \n ![\"$\\frac{{\\mathrm](\"img/img313.svg\")
. O setor circular tem área igual a \n . O\n triângulo tem base com medida 1 e altura com medida \n e, portanto, área igual a \n ![\"$\\frac{{\\mathrm](\"img/img314.svg\")
. Nestes\n termos\n
\n \n
\n
![\"$\\displaystyle](\"img/img315.svg\")
\n
\n \n
\n Multiplicando tudo por 2 e dividindo por \n (que é positivo), temos\n \n
\n
\n
![\"$\\displaystyle](\"img/img316.svg\")
\n
\n ou ainda\n
\n \n
\n
![\"$\\displaystyle](\"img/img317.svg\")
\\frac{{\\mathrm {sen}}u}{u} > \\cos u. $\" loading=\"lazy\">\n
\n \n
\n Da primeira desigualdade, temos que \n ![\"${\\mathrm](\"img/img318.svg\")
. Substituindo por \n ![\"$\\frac{1}{2}u$\"](\"img/img319.svg\")
temos que \n ![\"${\\mathrm](\"img/img320.svg\")
. Assim,\n
\n
\n \n ![\"$\\displaystyle](\"img/img321.svg\") | \n ![\"$\\displaystyle](\"img/img322.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img323.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img324.svg\") | \n \n |
\n
\n \n \n
\n Segue que \n ![\"$\\frac{1-\\cos](\"img/img325.svg\")
e reorganizando os termos obtemos \n ![\"$\\cos](\"img/img326.svg\")
1-\\frac{1}{2}u^{2}$\" loading=\"lazy\">.\n Logo\n
\n \n
\n
![\"$\\displaystyle](\"img/img327.svg\")
\\frac{{\\mathrm {sen}}u}{u} > \\cos u > 1-\\frac{1}{2}u^{2}. $\" loading=\"lazy\">\n
\n \n
\n Como o limite das funções 1 e \n ![\"$(1-\\frac{1}{2}u^{2})$\"](\"img/img328.svg\")
existem e são iguais a 1 quando \n , então segue do\n Teorema do confronto (Teorema 1.3) que\n
\n \n
\n
![\"$\\displaystyle](\"img/img329.svg\")
\n
\n \n
\n Agora, se , levando em conta que \n ![\"$\\frac{{\\mathrm](\"img/img330.svg\")
é uma função par, então o comportamento pela direita de zero é\n o mesmo pela esquerda. Segue que\n
\n \n
\n
![\"$\\displaystyle](\"img/img331.svg\")
\n
\n também e isso prova o limite desejado.\n
![\"$\\qedsymbol$\"](\"img/img193.svg\")
\n
\n
Teorema 1.7 \n
As funções seno e cosseno são contínuas em , isto é,\n \n \n
\n
![\"$\\displaystyle](\"img/img332.svg\")
e
![\"$\\displaystyle](\"img/img333.svg\")
\n
\n \n \n
Prova.\n \n Para o primeiro limite, supondo primeiro
0$\" loading=\"lazy\">, usamos a desigualdade\n \n \n
\n
![\"$\\displaystyle](\"img/img334.svg\")
\\frac{{\\mathrm {sen}}u}{u} > \\cos u > 1-\\frac{1}{2}u^{2}, $\" loading=\"lazy\">\n
\n
\n obtida na demonstração do teorema anterior; e o teorema do confronto garante que \n ![\"$\\lim\\limits_{u](\"img/img335.svg\")
. Para lembremos que cosseno é uma função par e então o comportamento à esquerda de 0 é o mesmo comportamento\n à direita de 0. Segue que\n
\n \n
\n
![\"$\\displaystyle](\"img/img336.svg\")
\n
\n e isto prova o primeiro limite.\n
\n
\n Para provar o segundo limite, usaremos o item (c) do teorema 1.2. Como os limites de \n e de\n existem quando então o limite do produto existe e\n
\n \n
\n
![\"$\\displaystyle](\"img/img337.svg\")
\n
\n \n
\n Agora, como \n ![\"$\\frac{u](\"img/img338.svg\")
para todo ![\"$u](\"img/img339.svg\")
então do teorema 1.4 segue que\n
\n \n
\n
![\"$\\displaystyle](\"img/img340.svg\")
\n
\n e isto finaliza esta demonstração.\n
\n
\n \n \n
\n \n
\n
\n
\n Os limites indicados no início desta seção seguem agora imediatamente do teorema 1.5 e deste último teorema.\n
\n \n
Corolário 1.9 \n
As funções seno e cosseno são contínuas em qualquer ponto \n , isto é,\n \n \n
\n
![\"$\\displaystyle](\"img/img358.svg\")
e
![\"$\\displaystyle](\"img/img359.svg\")
\n
\n \n
\n Podemos agora analisar a continuidade das outras quatro funções trigonométricas circulares, já que estas são escritas\n como um quociente em termos de seno e cosseno. Usando o item (d) do teorema 1.2, podemos facilmente provar as\n próximas afirmações.\n
\n
\n As funções tangente, cotangente, secante e cossecante são contínuas nos seus domínios de definição. De outra forma,\n
\n
\n \n:::\n\n\n```{=html} \n\n
\n \n\n```\n\n\n## 1.4 Derivadas de funções trigonométricas circulares {#SECTION00540000000000000000}\n\n::: {.raw_html}\n \n
\n Nesta seção estamos interessados em obter as fórmulas de derivada para as seis funções trigonométricas circulares. Para\n isto, usaremos a definição de derivada\n
\n \n
\n
![\"$\\displaystyle](\"img/img366.svg\")
\n
\n para obter as derivadas das funções seno e cosseno. Feito isto, usaremos a regra do quociente para determinar as\n derivadas das outras quatro funções trigonométricas. Lembremos rapidamente da regra do quociente para derivadas. Se
\n e
são funções deriváveis em um ponto
e \n
![\"$g(u)](\"img/img367.svg\")
, então o quociente é derivável neste ponto
; e mais\n ainda\n \n \n
\n
![\"$\\displaystyle](\"img/img368.svg\")
\n
\n \n
\n Primeiro precisamos estabelecer um limite necessário para a obtenção da derivada da função cosseno.\n \n
\n \n
\n \n \n
\n \n
\n Agora estamos prontos para obter as derivadas das funções trigonométricas. Comecemos com \n ![\"$f(u)](\"img/img379.svg\")
, definida em toda a reta real. Aplicando a definição de derivada temos que\n
\n \n
\n
![\"$\\displaystyle](\"img/img380.svg\")
\n
\n
\n para todo \n tal que o limite exista. Observe que para o limite existe e então a derivada da função seno\n existe em pelo menos um ponto. Vamos provar que o limite existe para qualquer \n .\n
\n
\n Desta forma, para todo \n , temos\n
\n
\n \n ![\"$\\displaystyle](\"img/img381.svg\") | \n ![\"$\\displaystyle](\"img/img382.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img383.svg\") | \n \n |
\n
\n \n \n
\n As duas parcelas dentro do último limite, são funções cujo limite em existe para todo \n (ver proposições\n 1.6 e 1.10). Então\n
\n
\n \n | \n ![\"$\\displaystyle](\"img/img384.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img385.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img386.svg\") | \n \n |
\n
\n \n \n
\n Como o limite existe para todo \n , a função \n é derivável em todo \n ; e, além disso,\n
\n \n
\n
![\"$\\displaystyle](\"img/img387.svg\")
\n
\n \n
\n Tomemos agora a função \n ![\"$f(u)](\"img/img388.svg\")
, definida em toda a reta real. Da definição de\n derivada,\n
\n \n
\n
![\"$\\displaystyle](\"img/img389.svg\")
\n
\n para todo \n tal que o limite existe. Observe novamente que já provamos que este limite existe pelo menos para\n . Para \n , temos que\n
\n
\n \n ![\"$\\displaystyle](\"img/img390.svg\") | \n ![\"$\\displaystyle](\"img/img391.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img392.svg\") | \n \n |
\n
\n \n \n
\n Novamente, as parcelas dentro do limite são funções tais que o limite existe em para todo \n . Assim,\n
\n
\n \n | \n ![\"$\\displaystyle](\"img/img393.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img394.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img395.svg\") | \n \n |
\n
\n \n \n
\n O limite existe, portanto, para todo \n e, assim, segue que a função \n é derivável em todo \n ; e, além disso,\n
\n \n
\n
![\"$\\displaystyle](\"img/img396.svg\")
\n
\n \n
\n Conhecendo agora as derivadas de seno e cosseno, definidas em todo \n , vamos utilizar estas para determinar as\n derivadas das outras quatro funções trigonométricas circulares, já que são escritas em termos de seno e cosseno.\n
\n
\n Consideremos agora a função \n , definida em \n . Como \n e são diferenciáveis em todo \n , a derivada do\n quociente \n existe em todos os pontos onde \n ![\"$\\cos](\"img/img397.svg\")
.\n
\n
\n Dessa forma, para todo \n ![\"$u](\"img/img188.svg\")
, temos\n
\n
\n \n ![\"$\\displaystyle](\"img/img398.svg\") | \n ![\"$\\displaystyle](\"img/img399.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img400.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img401.svg\") | \n \n |
\n
\n \n \n
\n Portanto\n
\n \n
\n
![\"$\\displaystyle](\"img/img402.svg\")
\n
\n
\n para \n ![\"$u](\"img/img403.svg\")
.\n
\n
\n Analogamente, para a função \n , temos para todo \n tal que \n ,\n
\n
\n \n ![\"$\\displaystyle](\"img/img404.svg\") | \n ![\"$\\displaystyle](\"img/img405.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img406.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img407.svg\") | \n \n |
\n
\n \n \n
\n Então,\n
\n \n
\n
![\"$\\displaystyle](\"img/img408.svg\")
\n
\n para todo \n ![\"$u](\"img/img191.svg\")
.\n
\n
\n Considerando agora a função \n ![\"$f(u)](\"img/img409.svg\")
, temos para todo \n tal\n que \n ,\n
\n
\n \n ![\"$\\displaystyle](\"img/img410.svg\") | \n ![\"$\\displaystyle](\"img/img411.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img412.svg\") | \n \n |
\n
\n \n \n
\n Da mesma forma, para a função \n ![\"$f(u)](\"img/img413.svg\")
, temos que\n
\n
\n \n ![\"$\\displaystyle](\"img/img414.svg\") | \n ![\"$\\displaystyle](\"img/img415.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img416.svg\") | \n \n |
\n
\n
\n para todo \n tal que \n .\n
\n
\n Vamos resumir as fórmulas de derivação para as funções trigonométricas circulares em uma tabela.\n
\n \n
\n
\n Tabela 1.2:\n Derivadas das funções trigonométricas circulares.\n | \n |
\n
\n
\n
\n\n:::\n\n\n```{=html} \n\n
\n\n```\n\n\n## 1.5 As funções trigonométricas circulares inversas {#SECTION00550000000000000000}\n\n::: {.raw_html}\n \n
\n Antes de começarmos, lembremos que nenhuma das funções trigonométricas circulares é bijetora dos seus domínios de\n definição em \n . Sabemos também que somente as funções bijetoras possuem função inversa. O que precisamos então é\n restringir o domínio e/ou o contradomínio de tais funções, conforme o caso exigir, a fim de torná-las bijetoras e só\n então poderemos definir as funções inversas.\n
\n
\n Comecemos então pela função seno que não é injetora e nem sobrejetora de \n em\n \n . Resolvemos o problema da sobrejetividade restringindo o contradomínio, tornando-o igual à imagem\n . O problema da injetividade é resolvido restringindo o domínio. Consideramos então o domínio como sendo\n \n ![\"$[-\\frac{\\pi}{2},](\"img/img422.svg\")
. A função seno é bijetora de \n em . Podemos\n definir então a função inversa do seno, que a cada número real \n ![\"$u](\"img/img423.svg\")
associa o (único) número \n ![\"$w](\"img/img424.svg\")
, satisfazendo a relação \n ![\"$u](\"img/img425.svg\")
.\n
\n
\n Representamos a função inversa do seno por por \n ![\"$w](\"img/img426.svg\")
, ou \n ![\"$w](\"img/img427.svg\")
. Neste texto, vamos utilizar\n a primeira notação e muito cuidado para não confundir as expressões \n ![\"${\\mathrm](\"img/img428.svg\")
e \n ![\"$({\\mathrm](\"img/img429.svg\")
. A segunda\n expressão é o inverso multiplicativo do seno, ou seja \n ![\"$({\\mathrm](\"img/img430.svg\")
. Assim, temos\n definida a função\n
\n \n
\n
\n que deve satisfazer a relação \n . Desta igualdade, vemos que quando se aproxima de (somente pela\n esquerda), devemos ter ![\"$w$\"](\"img/img434.svg\")
se aproximando de \n e quando tender a (somente pela direita), devemos\n ter tendendo a \n ![\"$-\\frac{\\pi}{2}$\"](\"img/img435.svg\")
. Isto é,\n
\n \n
\n
![\"$\\displaystyle](\"img/img436.svg\")
e
![\"$\\displaystyle](\"img/img437.svg\")
\n
\n \n
\n Deve ser uma função crescente no intervalo de definição , já que da relação \n vemos que conforme \n cresce, o ângulo radiano deve também crescer em \n ![\"$-[\\frac{\\pi}{2},](\"img/img438.svg\")
. Como é de se esperar\n de uma função inversa, são válidas as seguintes relações,\n
\n
\n \n ![\"$\\displaystyle](\"img/img439.svg\") | \n ![\"$\\displaystyle](\"img/img440.svg\") para![\"$\\displaystyle](\"img/img441.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img442.svg\") | \n para![\"$\\displaystyle](\"img/img443.svg\") | \n \n |
\n
\n \n \n
\n O gráfico desta função, definida apenas no intervalo , é dado por\n
\n
\n
\n Figura 1.18:\n Gráfico da função seno inverso.\n \n \n ![\"Image](\"img/./farcsin.png\") |
\n
\n
\n \n
\n Agora tomemos a função cosseno. Sabemos que a função cosseno, também não é injetora e\n nem sobrejetora de \n em \n . Colocando o contradomínio como sendo a imagem a tornamos sobrejetora.\n Colocando o domínio como sendo ![\"$[0,\\pi]$\"](\"img/img444.svg\")
a tornamos injetora de em . Definimos assim, a função\n inversa do cosseno, denotada por \n ![\"$f(u)](\"img/img445.svg\")
(ou ![\"$\\arccos](\"img/img446.svg\")
), por\n
\n \n
\n \n
\n que deve satisfazer \n ![\"$u](\"img/img449.svg\")
. Usando esta última igualdade, vemos que quando estiver suficientemente próximo de\n (somente pela direita) então estará próximo de e quando estiver suficientemente próximo de \n (somente pela esquerda), então estará próximo de 0. Valem portanto os limites,\n
\n \n
\n
![\"$\\displaystyle](\"img/img450.svg\")
e
![\"$\\displaystyle](\"img/img451.svg\")
\n
\n \n
\n O gráfico desta função é dado por,\n
\n
\n
\n Figura 1.19:\n Gráfico da função cosseno inverso.\n \n \n ![\"Image](\"img/./farccos.png\") |
\n
\n
\n \n
\n É uma função decrescente no intervalo de definição. Analogamente, as relações inversas são,\n
\n
\n \n ![\"$\\displaystyle](\"img/img452.svg\") | \n para | \n \n |
\n \n ![\"$\\displaystyle](\"img/img453.svg\") | \n para![\"$\\displaystyle](\"img/img454.svg\") | \n \n |
\n
\n \n \n
\n Note que existe uma relação entre os gráficos das funções seno e cosseno inversas. Se tomarmos o gráfico da função seno\n inverso e aplicarmos uma reflexão em torno do eixo e um deslocamento de \n unidades para cima,\n teremos o gráfico da função cosseno inverso. Esta relação é descrita pela igualdade \n ![\"$\\cos^{-1}](\"img/img455.svg\")
.\n
\n
\n É fácil provar esta última igualdade usando que \n ![\"$\\cos](\"img/img456.svg\")
é válido\n para todo \n ![\"$w](\"img/img457.svg\")
. Vejamos os detalhes. Primeiro observemos que a função \n ![\"$w](\"img/img458.svg\")
é uma função ímpar, pois\n se \n ![\"$w](\"img/img459.svg\")
, então \n ![\"${\\mathrm](\"img/img460.svg\")
e, portanto, \n ![\"$u](\"img/img461.svg\")
, o que acarreta \n ![\"$-w](\"img/img462.svg\")
e\n segue que \n ![\"${\\mathrm](\"img/img463.svg\")
. Agora vamos à igualdade de interesse. Se \n , então temos que \n ![\"$-u\n](\"img/img464.svg\")
, donde \n ![\"$w](\"img/img465.svg\")
e, portanto, \n ![\"$w](\"img/img466.svg\")
. Como também \n ![\"$w](\"img/img467.svg\")
então \n .\n
\n
\n Consideremos agora a função tangente, que é sobrejetora, porém não é injetora de \n \n em \n . Para resolver o problema da injetividade precisamos restringir somente o domínio desta função. Considerando\n então o domínio como sendo o intervalo \n ![\"$(-\\frac{\\pi}{2},](\"img/img468.svg\")
temos a bijetividade da função tangente, de\n \n em \n . Definimos então a função inversa da tangente, denotada por \n ![\"$f(u)](\"img/img469.svg\")
(ou ![\"$\\arctan](\"img/img470.svg\")
), como\n
\n \n
\n \n
\n de tal forma que vale a relação \n ![\"${\\mathrm](\"img/img473.svg\")
. Esta relação mostra que quando cresce indefinidamente então devemos\n ter se aproximando de \n e quando cresce indefinidamente, com valores negativos, então deve\n estar se aproximando de \n . Isto se resume nos limites\n
\n \n
\n
![\"$\\displaystyle](\"img/img474.svg\")
e
![\"$\\displaystyle](\"img/img475.svg\")
\n
\n \n
\n O gráfico desta função é dado por,\n
\n
\n
\n Figura 1.20:\n Gráfico da função tangente inversa.\n \n \n ![\"Image](\"img/./farctan.png\") |
\n
\n
\n \n
\n É uma função monótona crescente e ímpar. As retas \n ![\"$w](\"img/img476.svg\")
são assíntotas horizontais desta função. Esta\n função desempenha um papel importante na matemática. Ela associa bijetivamente toda a reta real com um intervalo\n limitado. Valem as relações inversas,\n
\n
\n \n ![\"$\\displaystyle](\"img/img477.svg\") | \n para![\"$\\displaystyle](\"img/img478.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img479.svg\") | \n para![\"$\\displaystyle](\"img/img480.svg\") | \n \n |
\n
\n \n \n
\n Agora a função cotangente. Vimos que a cotangente não é uma função injetora, mas é\n sobrejetora de \n em \n . A restrição do domínio para o intervalo ![\"$(0,\\pi)$\"](\"img/img481.svg\")
faz da função cotangente, uma função\n bijetora de em \n . Assim podemos definir a função cotangente inversa, denotada por \n ![\"$f(u)](\"img/img482.svg\")
e\n dada por\n
\n \n
\n \n
\n desde que valha a relação \n ![\"$u](\"img/img485.svg\")
. Esta relação mostra que se tende ao infinito, então deve estar indo\n para 0; e se vai para o infinito negativo, então deve estar indo para . Temos assim,\n
\n \n
\n
![\"$\\displaystyle](\"img/img486.svg\")
e
![\"$\\displaystyle](\"img/img487.svg\")
\n
\n \n
\n O gráfico da função cotangente inversa é\n
\n
\n
\n Figura 1.21:\n Gráfico da função cotangente inversa.\n \n \n ![\"Image](\"img/./farcctg.png\") |
\n
\n
\n \n
\n Vemos que é uma função estritamente decrescente. Além disso, são válidas as relações inversas,\n
\n
\n \n ![\"$\\displaystyle](\"img/img488.svg\") | \n para | \n \n |
\n \n ![\"$\\displaystyle](\"img/img489.svg\") | \n para![\"$\\displaystyle](\"img/img490.svg\") | \n \n |
\n
\n \n \n
\n Assim como no caso do cosseno inverso, existe uma relação entre os gráficos das funções tangente e cotangente inversas.\n Esta relação é semelhante àquela envolvendo seno e cosseno inversos. É \n ![\"${\\mathrm](\"img/img491.svg\")
.\n Também é fácil provar esta relação usando a igualdade \n ![\"${\\mathrm](\"img/img492.svg\")
, que é válida para todo \n ![\"$w\n](\"img/img493.svg\")
. Desta vez deixamos os detalhes por conta do leitor.\n
\n
\n Tomando a função secante, lembremos que ela não é injetora e nem sobrejetora de \n em\n \n . A imagem é o conjunto \n e então restringimos o contradomínio no conjunto imagem e\n tornamos a secante sobrejetora. Para a injetividade, escolhemos o conjunto \n ![\"$[0,\\pi]](\"img/img494.svg\")
. Nestes termos a função secante, é bijetora de \n ![\"$[0,](\"img/img495.svg\")
em \n . Definimos então a função secante inversa, denotada por \n ![\"$f(u)](\"img/img496.svg\")
, como\n
\n \n
\n \n
\n desde que valha a relação \n ![\"$\\sec](\"img/img500.svg\")
. Desta relação vemos pelo gráfico da função secante que quando vai ao\n infinito positivamente ou negativamente então deve estar se aproximando de \n . Isto é,\n
\n \n
\n
![\"$\\displaystyle](\"img/img501.svg\")
\n
\n \n
\n Também quando se aproxima de (somente pela esquerda), devemos ter se aproximando de e quando \n tende a (somente pela direita) deve estar indo para 0. Temos então os limites\n
\n \n
\n
![\"$\\displaystyle](\"img/img502.svg\")
e
![\"$\\displaystyle](\"img/img503.svg\")
\n
\n \n
\n O gráfico desta função é da forma,\n
\n
\n
\n Figura 1.22:\n Gráfico da função secante inversa.\n \n \n ![\"Image](\"img/./farcsec.png\") |
\n
\n
\n \n
\n Para esta função, valem as relações inversas,\n
\n
\n \n ![\"$\\displaystyle](\"img/img504.svg\") | \n para![\"$\\displaystyle](\"img/img505.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img506.svg\") | \n para![\"$\\displaystyle](\"img/img507.svg\") | \n \n |
\n
\n \n \n
\n Finalmente, a função cossecante não é injetora nem sobrejetora de \n em \n .\n Restringimos então o contradomínio pela sua imagem, que é o conjunto \n . Para acertar a\n injetividade, escolhemos a restrição do domínio ao conjunto \n ![\"$[-\\frac{\\pi}{2},](\"img/img508.svg\")
. Assim a função cossecante se tornará bijetiva. Então definimos a função\n cossecante inversa, denotada por \n ![\"$f(u)](\"img/img509.svg\")
e dada por\n
\n \n
\n \n
\n de tal forma que \n ![\"$\\csc](\"img/img512.svg\")
. Desta relação, observando o gráfico da função cossecante, temos que quando cresce\n indefinidamente (positivamente ou negativamente), os valores de devem estar se aproximando de 0. Por isto temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img513.svg\")
\n
\n \n
\n Também se se aproxima de (somente pela esquerda), devemos ter se aproximando de \n . Da mesma\n forma, se se aproxima de (somente pela direita) então devemos ter se aproximando de \n . Assim,\n
\n \n
\n
![\"$\\displaystyle](\"img/img514.svg\")
e
![\"$\\displaystyle](\"img/img515.svg\")
\n
\n \n
\n O gráfico desta função é da forma,\n
\n
\n
\n Figura 1.23:\n Gráfico da função cossecante inversa.\n \n \n ![\"Image](\"img/./farccsc.png\") |
\n
\n
\n \n
\n Para esta função, valem as relações inversas são,\n
\n
\n \n ![\"$\\displaystyle](\"img/img516.svg\") | \n para | \n \n |
\n \n ![\"$\\displaystyle](\"img/img517.svg\") | \n para![\"$\\displaystyle](\"img/img518.svg\") | \n \n |
\n
\n \n \n
\n Novamente vemos a presença de uma relação entre os gráficos de secante e cossecante inversas. É novamente a igualdade\n \n ![\"$\\csc^{-1}](\"img/img519.svg\")
. Podemos provar esta igualdade usando \n ![\"$\\csc](\"img/img520.svg\")
,\n válida para \n . Detalhes novamente por conta do leitor.\n
\n
\n Resumimos as funções trigonométricas circulares inversas, com seus respectivos domínios e imagens na próxima tabela.\n \n
\n \n
\n
\n Tabela 1.3:\n Domínio e imagem das funções trigonométricas circulares inversas\n | \n |
\n
\n
\n
\n\n:::\n\n## 1.6 Continuidade das funções trigonométricas circulares inversas {#SECTION00560000000000000000}\n\n::: {.raw_html}\n \n
\n Antes de obtermos as derivadas das funções trigonométricas circulares inversas, vamos analisar a continuidade destas\n funções em todos os pontos de definição. Esta continuidade pode ser obtida em virtude da continuidade das funções\n trigonométricas circulares estabelecida na seção 1.3. Mais precisamente se \n ![\"$I](\"img/img527.svg\")
é um intervalo e\n \n ![\"$f:](\"img/img528.svg\")
é contínua em ![\"$I$\"](\"img/img529.svg\")
, então ![\"$J$\"](\"img/img530.svg\")
é um intervalo e também\n
\n \n
\n
![\"$\\displaystyle](\"img/img531.svg\")
\n
\n
\n para qualquer ![\"$b](\"img/img532.svg\")
. Isto é o que afirma o próximo teorema, que enunciaremos sem demonstração. A demonstração pode\n ser encontrada em [5, Lima, pág 237].\n \n
\n \n
\n
\n
\n Este teorema se aplica às seis funções trigonométricas circulares inversas. As seis funções trigonométricas circulares\n são contínuas em seus respectivos domínios de definição. As restrições bijetivas são todas definidas em conjuntos que\n são intervalos e, portanto, as funções trigonométricas circulares inversas são contínuas nos seus intervalos de\n definição, respeitando a lateralidade dos extremos fechados em cada um destes intervalos.\n
\n
\n Resumindo, temos que,\n
\n
\n
\n \n ![\"$\\lim\\limits_{u](\"img/img536.svg\") , | \n para todo | \n \n ![\"$a](\"img/img537.svg\") , | \n
\n \n ![\"$\\lim\\limits_{u](\"img/img538.svg\") , | \n para todo | \n \n , | \n
\n \n ![\"$\\lim\\limits_{u](\"img/img539.svg\") , | \n para todo | \n \n , | \n
\n \n ![\"$\\lim\\limits_{u](\"img/img540.svg\") , | \n para todo | \n \n , | \n
\n \n ![\"$\\lim\\limits_{u](\"img/img541.svg\") , | \n para todo | \n \n ![\"$a](\"img/img542.svg\") e | \n
\n \n ![\"$\\lim\\limits_{u](\"img/img543.svg\") , | \n para todo | \n \n . | \n
\n
\n
\n \n
\n Note que o domínio de definição das funções arco secante e arco cossecante não são intervalos, mas sim uma união de\n dois intervalos. Estudados separadamente cada um destes intervalos, temos no caso da função arco secante que a função\n secante é contínua e bijetora de \n ![\"$(\\frac{\\pi}{2},\\pi]$\"](\"img/img544.svg\")
em \n ![\"$(-\\infty,-1]$\"](\"img/img545.svg\")
e, portanto, o teorema 1.11 se\n aplica a este intervalo. Novamente a função secante é contínua e bijetora de \n ![\"$[0,\\frac{\\pi}{2})$\"](\"img/img546.svg\")
em \n ![\"$[1,\\infty)$\"](\"img/img547.svg\")
e o\n teorema 1.11 se aplica também a este intervalo. Segue que a função arco secante é contínua em ambos os\n intervalos \n e \n e, portanto, contínua na união destes intervalos. Raciocínio similar para a\n função arco cossecante.\n \n
\n
\n \n\n:::\n\n\n```{=html} \n
\n\n```\n\n\n## 1.7 Derivadas das funções trigonométricas circulares inversas {#SECTION00570000000000000000}\n\n::: {.raw_html}\n \n
\n Estamos agora interessados nas derivadas das funções trigonométricas inversas. Para obter a derivada ![\"$(f^{-1})'$\"](\"img/img548.svg\")
de uma\n função inversa \n ![\"$y](\"img/img549.svg\")
, tradicionalmente usamos diferenciação implícita na igualdade \n ![\"$f(f^{-1}(x))](\"img/img550.svg\")
, ou\n equivalentemente, na igualdade ![\"$f(y)](\"img/img551.svg\")
.\n
\n
\n Comecemos com a função \n definida para todo \n , com \n . Sabemos que a diferenciação não pode ser estabelecida nos extremos do intervalo\n fechado e então vamos considerar, ainda bijetivamente, que \n ![\"$u](\"img/img552.svg\")
e \n ![\"$w](\"img/img553.svg\")
.\n Para e nos intervalos citados, vale a relação \n ![\"${\\mathrm](\"img/img554.svg\")
. Ao derivarmos com respeito a , lembremos que \n é variável dependente de e, portanto, devemos usar a regra da cadeia. Derivando então a relação \n , com\n respeito a , temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img555.svg\")
\n
\n \n
\n Como queremos determinar \n ![\"$w'](\"img/img556.svg\")
vamos então isolar este termo na última igualdade. Obtemos assim,\n
\n \n
\n
![\"$\\displaystyle](\"img/img557.svg\")
\n
\n \n
\n Obviamente, queremos também que essa derivada seja dada somente em termos de , e não de . Precisamos substituir a\n expressão ![\"$\\cos](\"img/img558.svg\")
do segundo membro, mas só conhecemos a relação \n . Então usamos o fato de que \n ![\"$\\cos](\"img/img559.svg\")
0$\" loading=\"lazy\">\n para \n , para escrever\n
\n \n
\n
![\"$\\displaystyle](\"img/img560.svg\")
\n
\n e segue que\n \n \n
\n
![\"$\\displaystyle](\"img/img561.svg\")
\n
\n para todo \n . Note que a derivada não está definida para ![\"$u](\"img/img562.svg\")
e para .\n
\n
\n Tomemos agora a função \n ![\"$w](\"img/img563.svg\")
, definida para todo \n , com \n ![\"$w](\"img/img564.svg\")
. A derivada\n será estabelecida então para \n com \n ![\"$w](\"img/img565.svg\")
. Então derivamos a relação \n implicitamente\n em relação à variável , obtendo\n
\n \n
\n
![\"$\\displaystyle](\"img/img566.svg\")
\n
\n e isolando o termo de interesse, temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img567.svg\")
\n
\n \n
\n Novamente, vamos substituir a variável dependente , no segundo membro, pela variável independente. Lembremos que\n para \n a função seno é positiva. Segue que\n
\n \n
\n
![\"$\\displaystyle](\"img/img568.svg\")
\n
\n e, portanto,\n
\n \n
\n
![\"$\\displaystyle](\"img/img569.svg\")
\n
\n \n
\n Tomando agora a função \n ![\"$w](\"img/img570.svg\")
, definida para \n , assumindo valores \n . Para todo \n , temos a igualdade \n ![\"$u](\"img/img571.svg\")
e então derivando em relação a\n , vem\n
\n \n
\n
![\"$\\displaystyle](\"img/img572.svg\")
\n
\n \n
\n Desta igualdade e da identidade (1.9) da proposição 1.1, obtemos\n
\n \n
\n
![\"$\\displaystyle](\"img/img573.svg\")
\n
\n e desta forma,\n
\n \n
\n
![\"$\\displaystyle](\"img/img574.svg\")
\n
\n para todo \n . Note que o lado direito está bem definido para todo \n .\n
\n
\n Agora consideremos \n ![\"$w](\"img/img575.svg\")
. Esta função está definida para todo \n , com valores \n . Derivando então a igualdade \n em relação a , temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img576.svg\")
\n
\n donde temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img577.svg\")
\n
\n \n
\n Usando agora a identidade (1.8), da proposição 1.1, temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img578.svg\")
\n
\n e obtemos a derivada\n
\n \n
\n
![\"$\\displaystyle](\"img/img579.svg\")
\n
\n definida para todo \n .\n
\n
\n Seja agora \n ![\"$w](\"img/img580.svg\")
, definida para todo \n ![\"$u](\"img/img581.svg\")
com valores em \n ![\"$w](\"img/img582.svg\")
. Para a diferenciação, vamos considerar bijetivamente que \n ![\"$u](\"img/img583.svg\")
com valores em \n ![\"$w](\"img/img584.svg\")
. Para qualquer \n no intervalo de diferenciação, temos \n ![\"$u](\"img/img585.svg\")
e derivando esta igualdade em , obtemos\n
\n \n
\n
![\"$\\displaystyle](\"img/img586.svg\")
\n
\n e isolando o termo de interesse, vem\n
\n \n
\n
![\"$\\displaystyle](\"img/img587.svg\")
\n
\n \n
\n Usaremos novamente a igualdade (1.7) da proposição 1.1. Extraindo a raiz quadrada em ambos os\n membros de (1.7), conseguimos\n
\n \n
\n
![\"$\\displaystyle](\"img/img588.svg\")
\n
\n \n
\n Como \n não podemos garantir que a tangente de seja positiva,\n mas sim que \n ![\"${\\mathrm](\"img/img589.svg\")
é positivo. Assim,\n
\n
\n \n ![\"$\\displaystyle](\"img/img590.svg\") | \n ![\"$\\displaystyle](\"img/img591.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img592.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img593.svg\") | \n \n |
\n
\n \n \n
\n Segue que\n
\n \n
\n
![\"$\\displaystyle](\"img/img594.svg\")
\n
\n para todo \n .\n
\n
\n Nota: Observe que para tornar a função secante uma função bijetiva, acabamos por escolher um intervalo do domínio onde a\n função torna-se bijetora. Esta escolha não é única. Outras escolhas também tornam a função secante bijetora. Alguns\n autores escolhem \n ![\"$w](\"img/img595.svg\")
, pois esta escolha, além de outras\n implicações, tornará mais simples a fórmula de derivada, que será \n ![\"$\\frac{d}{du}](\"img/img596.svg\")
, já que neste intervalo, teríamos \n ![\"$u](\"img/img597.svg\")
, e não precisaríamos manter o módulo. O leitor poderá\n encontrar em alguns livros de Cálculo Diferencial e Integral esta última fórmula para a derivada da secante inversa.\n \n \n
\n \n
\n Para finalizar esta etapa, tomamos \n ![\"$w](\"img/img598.svg\")
, que é definida para todo \n com \n ![\"$w](\"img/img599.svg\")
. Descartando os extremos fechados de cada intervalo,\n derivamos \n ![\"$u](\"img/img600.svg\")
em relação a , obtendo\n
\n \n
\n
![\"$\\displaystyle](\"img/img601.svg\")
\n
\n donde segue\n
\n \n
\n
![\"$\\displaystyle](\"img/img602.svg\")
\n
\n \n
\n Extraindo raiz quadrada em ambos os membros da igualdade (1.8), da proposição 1.1, conseguimos\n a identidade\n
\n \n
\n
![\"$\\displaystyle](\"img/img603.svg\")
\n
\n \n
\n Agora como \n ![\"$w](\"img/img604.svg\")
não podemos garantir que \n ![\"${\\mathrm](\"img/img605.svg\")
seja positiva, mas\n sabemos que \n ![\"${\\mathrm](\"img/img606.svg\")
é positivo. Então\n
\n
\n \n ![\"$\\displaystyle](\"img/img607.svg\") | \n ![\"$\\displaystyle](\"img/img608.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img609.svg\") | \n \n |
\n \n | | \n ![\"$\\displaystyle](\"img/img610.svg\") | \n \n |
\n
\n
\n donde temos\n
\n \n
\n
![\"$\\displaystyle](\"img/img611.svg\")
\n
\n para todo \n
.\n
\n
\n Nota: Aqui ocorre o mesmo que o comentado na nota anterior. A escolha de \n ![\"$w](\"img/img612.svg\")
, tornará a fórmula de derivada mais simples. Será \n ![\"$\\frac{d}{du}](\"img/img613.svg\")
, já\n que no intervalo mencionado temos \n sempre positivo. O leitor poderá encontrar em alguns livros de Cálculo\n Diferencial e Integral esta última fórmula para a derivada da cossecante inversa.\n \n \n
\n
\n Resumimos as derivadas das funções trigonométricas circulares inversas na próxima tabela.\n
\n
\n
\n Tabela 1.4:\n Derivadas das funções trigonométricas circulares inversas.\n | \n |
\n
\n
\n \n \n
\n Observe que as derivadas das inversas das co-funções diferem das derivadas das inversas das funções apenas pelo sinal.\n Isto é decorrência das relações mencionadas na seção anterior,\n
\n
\n \n ![\"$\\displaystyle](\"img/img622.svg\") | \n ![\"$\\displaystyle](\"img/img623.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img624.svg\") | \n ![\"$\\displaystyle](\"img/img625.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img626.svg\") | \n ![\"$\\displaystyle](\"img/img627.svg\") | \n \n |
\n
\n \n \n
\n Derivando estas três igualdades em ambos os membros, com relação a , obtemos\n
\n
\n \n ![\"$\\displaystyle](\"img/img628.svg\") | \n ![\"$\\displaystyle](\"img/img629.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img630.svg\") | \n ![\"$\\displaystyle](\"img/img631.svg\") | \n \n |
\n \n ![\"$\\displaystyle](\"img/img632.svg\") | \n ![\"$\\displaystyle](\"img/img633.svg\") | \n \n |
\n
\n
![\"$\\displaystyle](\"img/img15.svg\")
![\"$\\displaystyle](\"img/img16.svg\")
![\"$\\displaystyle](\"img/img17.svg\")
![\"$\\displaystyle](\"img/img18.svg\")
![\"$\\displaystyle](\"img/img20.svg\")
![\"$\\displaystyle](\"img/img22.svg\")
![\"$\\displaystyle](\"img/img24.svg\")
![\"$\\displaystyle](\"img/img26.svg\")
![\"$\\displaystyle](\"img/img85.svg\")
![\"$\\displaystyle](\"img/img86.svg\")
![\"$\\displaystyle](\"img/img87.svg\")
![\"$\\displaystyle](\"img/img89.svg\")
![\"$\\displaystyle](\"img/img90.svg\")
![\"$\\displaystyle](\"img/img91.svg\")
![\"$\\displaystyle](\"img/img92.svg\")
![\"$\\displaystyle](\"img/img93.svg\")
![\"$\\displaystyle](\"img/img94.svg\")
![\"$\\displaystyle](\"img/img95.svg\")
![\"Image](\"img/./anguv.png\")
![\"Image](\"img/./anguv2.png\")
![\"Image](\"img/./anguv3.png\")
![\"$\\displaystyle](\"img/img170.svg\")
![\"$\\displaystyle](\"img/img171.svg\")
![\"$\\displaystyle](\"img/img172.svg\")
![\"$\\displaystyle](\"img/img173.svg\")
![\"$\\displaystyle](\"img/img178.svg\")
![\"$\\displaystyle](\"img/img179.svg\")
![\"$\\displaystyle](\"img/img180.svg\")
![\"$(i)$\"](\"img/img184.svg\")
![\"$u,v,(u+v)](\"img/img185.svg\")
![\"$\\displaystyle](\"img/img186.svg\")
![\"$(ii)$\"](\"img/img187.svg\")
![\"$\\displaystyle](\"img/img189.svg\")
![\"$(iii)$\"](\"img/img190.svg\")
![\"$\\displaystyle](\"img/img192.svg\")
![\"$\\displaystyle](\"img/img194.svg\")
![\"$\\displaystyle](\"img/img195.svg\")
![\"$\\displaystyle](\"img/img196.svg\")
![\"$\\displaystyle](\"img/img197.svg\")
![\"$\\displaystyle](\"img/img198.svg\")
![\"$\\displaystyle](\"img/img199.svg\")
![\"$\\displaystyle](\"img/img200.svg\")
![\"$\\displaystyle](\"img/img201.svg\")
![\"$\\displaystyle](\"img/img202.svg\")
![\"$\\displaystyle](\"img/img203.svg\")
![\"$\\displaystyle](\"img/img204.svg\")
![\"$\\displaystyle](\"img/img205.svg\")
![\"$\\displaystyle](\"img/img206.svg\")
![\"$\\displaystyle](\"img/img207.svg\")
![\"$\\displaystyle](\"img/img208.svg\")
![\"$\\displaystyle](\"img/img209.svg\")
![\"$\\displaystyle](\"img/img210.svg\")
![\"$\\displaystyle](\"img/img211.svg\")
![\"$\\displaystyle](\"img/img212.svg\")
![\"$\\displaystyle](\"img/img213.svg\")
![\"$\\displaystyle](\"img/img214.svg\")
![\"$\\displaystyle](\"img/img215.svg\")
![\"$x](\"img/img286.svg\")
![\"$\\lim\\limits_{x](\"img/img287.svg\")
![\"$\\lim\\limits_{x](\"img/img288.svg\")
![\"$k](\"img/img289.svg\")
![\"$\\lim\\limits_{x](\"img/img290.svg\")
![\"$\\lim\\limits_{x](\"img/img291.svg\")
![\"$\\lim\\limits_{x](\"img/img292.svg\")
![\"$f(x)](\"img/img298.svg\")
![\"$f(x)$\"](\"img/img299.svg\")
![\"$g(x)$\"](\"img/img300.svg\")
![\"$\\displaystyle](\"img/img301.svg\")
\n ![\"$\\displaystyle](\"img/img305.svg\")
\n ![\"$\\displaystyle](\"img/img341.svg\")
e![\"$\\displaystyle](\"img/img342.svg\")
\n ![\"$\\displaystyle](\"img/img343.svg\")
\n ![\"$\\cos](\"img/img344.svg\")
![\"${\\mathrm](\"img/img345.svg\")
![\"$\\displaystyle](\"img/img346.svg\")
![\"$\\displaystyle](\"img/img347.svg\")
![\"$\\displaystyle](\"img/img348.svg\")
![\"$\\displaystyle](\"img/img349.svg\")
![\"$\\displaystyle](\"img/img350.svg\")
![\"${\\mathrm](\"img/img351.svg\")
![\"${\\mathrm](\"img/img352.svg\")
![\"$\\displaystyle](\"img/img353.svg\")
![\"$\\displaystyle](\"img/img354.svg\")
![\"$\\displaystyle](\"img/img355.svg\")
![\"$\\displaystyle](\"img/img356.svg\")
![\"$\\displaystyle](\"img/img357.svg\")
![\"$\\lim\\limits_{u](\"img/img360.svg\")
![\"$a](\"img/img361.svg\")
![\"$\\lim\\limits_{u](\"img/img362.svg\")
![\"$a](\"img/img363.svg\")
![\"$\\lim\\limits_{u](\"img/img364.svg\")
![\"$\\lim\\limits_{u](\"img/img365.svg\")
![\"$\\displaystyle](\"img/img369.svg\")
\n ![\"$h](\"img/img370.svg\")
![\"$(1+\\cos](\"img/img371.svg\")
![\"$\\displaystyle](\"img/img372.svg\")
![\"$\\displaystyle](\"img/img373.svg\")
![\"$\\displaystyle](\"img/img374.svg\")
![\"$\\frac{{\\mathrm](\"img/img375.svg\")
![\"$\\frac{{\\mathrm](\"img/img376.svg\")
![\"$\\displaystyle](\"img/img377.svg\")
![\"$\\displaystyle](\"img/img378.svg\")
![\"$-{\\mathrm](\"img/img417.svg\")
![\"$\\sec^{2}](\"img/img418.svg\")
![\"$-\\csc^{2}](\"img/img419.svg\")
![\"${\\mathrm](\"img/img420.svg\")
![\"$-{\\mathrm](\"img/img421.svg\")
![\"$\\displaystyle](\"img/img431.svg\")
![\"$\\displaystyle](\"img/img432.svg\")
![\"$\\displaystyle](\"img/img433.svg\")
![\"$\\displaystyle](\"img/img447.svg\")
![\"$\\displaystyle](\"img/img448.svg\")
![\"$\\displaystyle](\"img/img471.svg\")
![\"$\\displaystyle](\"img/img472.svg\")
![\"$\\displaystyle](\"img/img483.svg\")
![\"$\\displaystyle](\"img/img484.svg\")
![\"$\\displaystyle](\"img/img497.svg\")
![\"$\\displaystyle](\"img/img498.svg\")
![\"$\\displaystyle](\"img/img499.svg\")
![\"$\\displaystyle](\"img/img510.svg\")
![\"$\\displaystyle](\"img/img511.svg\")
![\"$\\cos^{-1}](\"img/img521.svg\")
![\"${\\mathrm](\"img/img522.svg\")
![\"${\\mathrm](\"img/img523.svg\")
![\"$\\sec^{-1}](\"img/img524.svg\")
![\"$\\csc^{-1}](\"img/img525.svg\")
![\"$[-\\frac{\\pi}{2},0)](\"img/img526.svg\")
![\"$a](\"img/img533.svg\")
![\"$f^{-1}:](\"img/img534.svg\")
![\"$b](\"img/img535.svg\")
![\"$(-1,1)$\"](\"img/img614.svg\")
![\"$\\frac{1}{\\sqrt{1](\"img/img615.svg\")
![\"$-\\frac{1}{\\sqrt{1](\"img/img616.svg\")
![\"$\\frac{1}{1+u^{2}}$\"](\"img/img617.svg\")
![\"$-\\frac{1}{1+u^{2}}$\"](\"img/img618.svg\")
![\"$(-\\infty,-1)](\"img/img619.svg\")
![\"$\\frac{1}{\\vert](\"img/img620.svg\")
![\"$-\\frac{1}{\\vert](\"img/img621.svg\")
![\"Padre](\"img/PadreTransparente.png\")
\n\n![\"Márcio](\"img/MoitinhaTransparente.png\")
\n\n ![\"Livros](\"img/livrosepena.png\")
\n\n```\n\n## Aspectos Moralizantes das Fábulas “O Lobo e o Cordeiro”\n\n```{=html} \n\n ![\"Imagem](\"img/site.jpg\")
![\"Manuscrito](\"img/manuscrito.png\")
\n\n ![\"Cordeiro](\"img/cordeiro.png\")
\n![\"Lobo](\"img/lobo.png\")
\n\n ![\"Uvas.](\"img/uvas.png\")
\n ![\"Uvas.](\"img/raposa.png\")
\n
+
+```
+
+## Aspectos Moralizantes das Fábulas “O Lobo e o Cordeiro”
+
+```{=html}
+
+ 
+ 
+