\( \newcommand{\combin}[2]{{}^{#1}C_{#2} } \newcommand{\cmod}[3]{#1 \equiv #2\left(\bmod {}{#3}\right)} \newcommand{\mdc}[2]{\left( {#1},{#2}\right)} \newcommand{\mmc}[2]{\left[ {#1},{#2}\right]} \newcommand{\cis}{\mathop{\rm cis}} \newcommand{\ImP}{\mathop{\rm Im}} \newcommand{\ReP}{\mathop{\rm Re}} \newcommand{\sen}{\mathop{\rm sen}} \newcommand{\tg}{\mathop{\rm tg}} \newcommand{\cotg}{\mathop{\rm cotg}} \newcommand{\cosec}{\mathop{\rm cosec}} \newcommand{\cotgh}{\mathop{\rm cotgh}} \newcommand{\cosech}{\mathop{\rm cosech}} \newcommand{\sech}{\mathop{\rm sech}} \newcommand{\sh}{\mathop{\rm sh}} \newcommand{\ch}{\mathop{\rm ch}} \newcommand{\th}{\mathop{\rm th}} \newcommand{\senEL}[1]{\mathop{\rm sen}^{#1}} \newcommand{\tgEL}[1]{\mathop{\rm tg}^{#1}} \newcommand{\cotgEL}[1]{\mathop{\rm cotg}^{#1}} \newcommand{\cosecEL}{\mathop{\rm cosec}^{#1}} \newcommand{\shEL}[1]{\mathop{\rm sh^{#1}}} \newcommand{\chEL}[1]{\mathop{\rm ch^{#1}}} \newcommand{\thEL}[1]{\mathop{\rm th^{#1}}} \newcommand{\cotghEL}[1]{\mathop{\rm cotgh^{#1}}} \newcommand{\cosechEL}[1]{\mathop{\rm cosech^{#1}}} \newcommand{\sechEL}[1]{\mathop{\rm sech^{#1}}} \newcommand{\senq}{\senEL{2}} \newcommand{\tgq}{\tgEL{2}} \newcommand{\cotgq}{\cotgEL{2}} \newcommand{\cosecq}{\cosecEL{2}} \newcommand{\cotghq}{\cotghEL{2}} \newcommand{\cosechq}{\cosechEL{2}} \newcommand{\sechq}{\sechEL{2}} \newcommand{\shq}{\shEL{2}} \newcommand{\chq}{\chEL{2}} \newcommand{\arctg}{\mathop{\rm arctg}} \newcommand{\arcsen}{\mathop{\rm arcsen}} \newcommand{\argsh}{\mathop{\rm argsh}} \newcommand{\argch}{\mathop{\rm argch}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\tr}[1]{ \textnormal{Tr}\left({#1}\right)} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\H}{\mathbb{H}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\dfrc}{\displaystyle\frac} \newcommand{\Mod}[1]{\ (\mathrm{mod}\ #1)} \)

27/03/2017

Um integral engraçado.

Já vi outras resoluções para isto. Vou apresentar a minha.
Problema: \[\int_{0}^{\pi} \sin x \ln {\cot \left( \frac{x}{2} \right)} dx \]
Possível resolução:
Vou começar por reescrever o integral na forma \[\int_{0}^{\pi} \sin x \ln \sqrt{ \frac{1+\cos (x)}{1-\cos(x)} } dx \] Depois faço a substituição $t=x+\frac{\pi}{2}$ obtendo \[\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} \cos t \ln \sqrt{ \frac{1+\sin (t)}{1-\sin (t)} } dt.\] Como a função integranda é ímpar, então, no intervalo $\left]-\frac{\pi}{2};\frac{\pi}{2}\right[$ o integral vale zero.


PS:
Apresento abaixo o integral inicial, calculado numericamente numa CASIO CG20 (utilizando apenas a funções da calculadora, sem recorrer a programação...)

14/03/2017

O resto de uma divisão...

Hoje vou apresentar uma resolução feita num intervalo, esboçada num recibo de café...com mais algum detalhe que o recibo.

Problema: Qual é o resto da divisão de $\underbrace {2323 ... 232323}_{\text{$4018$ dígitos}}$   por $999$?

17/12/2016

Uma potência de um binómio...

Hoje em dia, a capacidade de fazer contas não é considerada essencial para um bom matemático. Eu tenho as minhas reservas quanto a esta afirmação, mas não me apetece debatê-la aqui, e deixar isso para outros.
Quando se trata de potências de números da forma $a\pm b i$, se não quisermos andar com propriedades distributivas, temos duas formas "rápidas" de calcular, sem computadores ou calculadoras, ou quaisquer outras tecnologias: Binómio de Newton ou Fórmula de Moivre.
Qual a melhor?
Comecemos pelo exemplo: \[(2-3i)^5\] Pelo teorema binomial \begin{eqnarray*} (2-3i)^5&{=}&{\sum_{k=0}^{5}{\combin{5}{k}2^{5-k}(-3)^k i^k}}\\ {}&{=}&{(1\cdot 2^5-10\cdot 2^3\cdot 3^2+5\cdot 2^1\cdot 3^4)-i(5\cdot 2^4\cdot 3-10\cdot 2^2\cdot 3^3 +3^5 )}\\ {}&{=}&{(32-720+810)-i(240-1080+243)}\\ {}&{=}&{122-i(-597)}\\ {}&{=}&{122+597i} \end{eqnarray*} Pela fórmula de Moivre:
Comecemos por escrever $2-3i$ na forma polar: \[2-3i=\sqrt{13}\left(\frac{2}{\sqrt{13}}-i\frac{3}{\sqrt{13}}\right)=\sqrt{13}\cdot \cis \alpha\] onde $\alpha$ é um ângulo do quarto quadrante tal que: \[\cos \alpha=\frac{2}{\sqrt{13}}\] e \[\sin \alpha=-\frac{3}{\sqrt{13}}\] E pela fórmula de Moivre temos então que: \[(2-3i)^5=\sqrt{13}^5 \cdot \cis (5\alpha)=\sqrt{13}^5\cos(5\alpha)+i\sqrt{13}^5\sin(5\alpha)\] Tornando esta fórmula pouco prática se se desconhecermos fórmulas para os seno e cosseno de $5 \alpha$, e igualmente trabalhosa se conhecermos as fórmulas...
(Observação: as fórmulas são fáceis de deduzir a partir das formulas do seno e cosseno da soma, e ainda mais pela fórmula binomial...)
No entanto, se o problema fosse, por exemplo, $(1+i)^{10}$, aqui a fórmula de Moivre seria bem útil, pois desta vez, $\alpha$ seria um ângulo que não obriga a conhecer a fórmula do seno ou cosseno de $10 \alpha$: \[(1+i)^{10}=\sqrt{2}^{10}\cis \left(\frac{10\pi}{4}\right)=2^5 \cis \frac{5\pi}{2}=32 \cis \frac{\pi}{2}=32 i\]
E pensar que inicialmente eu pensei em ter este blog apenas para assuntos mais pesados...

18/11/2016

Dormindo sobre um problema de geometria analítica... ao nível do ensino secundário português

Estive a trabalhar das 9 da manhã às 23h00... com intervalo para refeições.
Lá depois da meia-noite fiz aquilo que uma pessoa de bom senso não faria: ir para o facebook dar palpites sobre Matemática

Por exemplo, li este problema:
Dados os pontos $M(a,0)$ e $N(0,a)$, determinar $P$ por forma a que o triângulo $MNP$ seja equilátero.

Provavelmente pelo cansaço, vi $N(-a,0)$ em vez do que realmente lá estava e portanto dei uma resposta errada!
(É bem feito para não me armar em guru da Matemática).
Uma resposta óbvia, é determinar $P$ por forma a que $\overline{MP}=\overline{NP}$.
Outra forma, menos óbvia, e que como auto-castigo, vou apresentar, é determinar os (dois) vectores $\vect{n}$ de norma $\overline{MN}\sin 60^0$ , ortogonais a $\vect{MN}$ e somá-los ao ponto $C$, ponto médio do segmento $[MN]$
Bom, mãos à obra:
\[\vect{MN}=N-M=(-a,a)\] Então os vectores perpendiculares a $\vect{MN}$ são da forma $\alpha(1,1)$, com $\alpha \in \R$. Os de norma $1$ são $\pm\displaystyle\frac{(1,1)}{\sqrt{2}}$. e
\[\overline{MN}=\sqrt{(-a)^2+a^2}=|a|\sqrt{2}\]
  • Supondo $a>0$ temos:
    \[\overline{MN}=a\sqrt{2}\] Assim sendo, temos $\vect{n}=\pm\displaystyle\frac{(1,1)}{\sqrt{2}}\times a\sqrt{2}\times \displaystyle\frac{\sqrt{3}}{2}=\pm\left(\displaystyle\frac{a\sqrt{3}}{2},\displaystyle\frac{a\sqrt{3}}{2}\right)$.
    Tal como eu disse, $C$ é o ponto médio de $[MN]$ ou seja \[C=\left(\frac{a+0}{2},\frac{0+a}{2}\right)=\left(\frac{a}{2},\frac{a}{2}\right)\] E finalmente: \[P=C+\vect{n}=\left(\frac{a}{2},\frac{a}{2}\right)\pm\left(\displaystyle\frac{a\sqrt{3}}{2},\displaystyle\frac{a\sqrt{3}}{2}\right)\] Ou seja: \[P=\left(\frac{a-a\sqrt{3}}{2},\frac{a-a\sqrt{3}}{2}\right)\vee P=\left(\frac{a+a\sqrt{3}}{2},\frac{a+a\sqrt{3}}{2}\right)\]
  • Supondo $a < 0$ temos:
    \[\overline{MN}=-a\sqrt{2}\]
  • ...
    Agora faça, você o resto e inclua as justificações que faltam. Já cumpri a minha parte do castigo. Agora o castigado será você porque se atreveu a ler isto!
Eu vou dormir. Boa noite e até logo!

15/09/2015

Cuidado com as substituições...

Embora neste blog, não esteja nos meus planos perder muito tempo com tecnicidades de cálculo, hoje abro uma excepção.
Este tipo de tecnicidades, no futuro será abordado no meu blog CarlosPaulices.
No meu blog cpmathexplicações está proposto um exercício que pede o cálculo do comprimento de uma cardióide a partir de uma parametrização.
O exercício acaba por conduzir ao cálculo do integral
\[ \int_0^{2\pi } {\sqrt {1 - \cos t} dt} \]
Há várias formas de calcular este integral, por exemplo, recorrendo a substituições. Neste caso, uma das substituições indicadas será por exemplo a clássica substituição $x=\tg \left(\frac{t}{2}\right)$. Um dos problemas de recorrer a esta substituição, e a muitas que acabam por recorrer a funções trigonométricas inversas, é que as pessoas têm a tendência a ignorar os contradomínios das funções trigonométricas inversas, e as suas implicações nos cálculos.
Neste caso, um tal descuido, pode conduzir, por exemplo, ao valor zero.
Zero, não pode ser, visto que este integral, quando multiplicado por $2\sqrt{2}$ é o comprimento da curva a verde da figura abaixo no momento em que a circunferência completa uma rotação de $2\pi$ radianos.
A verdade, é que só quando $t\in ]-\pi,\pi[$ é que $x=\tg \left(\frac{t}{2}\right)$ é equivalente a $t=2\arctg x$, e neste integral temos o problema de o intervalo de integração ser $[0,2\pi]$
O truque que recomendo para ultrapassar esta dificuldade menor é fazer \[ \int_0^{2\pi } {\sqrt {1 - \cos t} dt} = \int_0^\pi {\sqrt {1 - \cos t} dt} + \int_\pi ^{2\pi } {\sqrt {1 - \cos t} dt} \] Fazer a substituição $t=2\pi-x$ no último integral conduzir-nos-á à igualdade \[ \int_0^{2\pi } {\sqrt {1 - \cos t} dt} = 2\int_0^\pi {\sqrt {1 - \cos t} dt} \] E no integral da direita, a referida substituição pode ser feita sem problemas.
Mas já que aqui estamos, posso mostrar como é que eu calcularia este integral sem recorrer a essa substituição: \[ 2\int_0^\pi {\sqrt {1 - \cos t} dt}= 2\int_0^\pi {\sqrt {\frac{(1 - \cos t)(1+\cos t)}{1+\cos t}} dt}= 2\int_0^\pi{\frac{\sen t}{\sqrt{1+\cos t}} dt} \] Note-se que embora a primitiva da função integranda seja imediata, a função não está definida em $t=\pi$. \[ = \lim_{r\to\pi^-}- \left. {4\sqrt {1 + \cos t} } \right|_0^r =-4(\sqrt 0 - \sqrt 2)=4\sqrt{2} \] Assim sendo, o comprimento da cardióide da animação é \[2\sqrt{2}\times4\sqrt{2}=16\] E se ambas as circunferências tiverem raio $R$, o comprimento será $s=16R$.

O integral em si, não tem nada de especial, e existe muito software que o calcula. Por exemplo, o Wolfram Alpha ou as calculadoras Casio fx-9860GII,

E mesmo as Casio CG10 e CG20:
Mas, curiosamente, a minha Casio Algebra Fx 2.0plus, no menu CAS não calcula isto!
(Irónico que a máquina com computação algébrica não faça isto)
Embora hoje em dia haja software para estas operações, o tipo de ginástica mental e raciocínio que está por detrás destes cálculos faz com que seja sempre boa ideia perder algum tempo com eles, pelo menos quando se introduz o cálculo integral.
Portanto, nestas situações... deixem as calculadoras fora das avaliações!