\( \newcommand{\nPr}[2]{{}^{#1}A_{#2} } \newcommand{\combin}[2]{{}^{#1}C_{#2} } \newcommand{\cmod}[3]{#1 \equiv #2\left(\bmod {}{#3}\right)} \newcommand{\frc}[2]{\displaystyle\frac{#1}{#2}} \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}[1]{\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{\argth}{\mathop{\rm argth}} \newcommand{\Var}{\mathop{\rm Var}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\tr}[1]{ \textnormal{Tr}\left({#1}\right)} \newcommand{\C}{\mathbb{C}} \newcommand{\E}{\mathbb{E}} \newcommand{\H}{\mathbb{H}} \newcommand{\I}{\mathbb{I}} \newcommand{\N}{\mathbb{N}} \newcommand{\P}{\mathbb{P}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\til}{\sim} \newcommand{\mdc}{\mathop{\rm m.d.c.}} \newcommand{\mmc}{\mathop{\rm m.m.c.}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\dfrc}{\displaystyle\frac} \newcommand{\Mod}[1]{\ (\mathrm{mod}\ #1)} \)
Mostrar mensagens com a etiqueta MathGurl. Mostrar todas as mensagens
Mostrar mensagens com a etiqueta MathGurl. Mostrar todas as mensagens

23/01/2025

P, o primo do π

 Em https://www.facebook.com/share/r/1A5j8LkLf2/, a Inês Guimarães (Mathgurl) apresentou-nos esta propriedade:


Em qualquer parábola, se traçarmos uma paralela à tangente ao vértice que passa pelo foco, ela corta a parábola em dois pontos, $A$ e $B$.
O quociente entre o comprimento do arco de parábola que une os pontos $A$ e $B$ e o comprimento do menor segmento que une o foco à directriz é constante.
Vamos chamar $P$ a essa constante, e ainda temos que \[P=\ln \left(1+\sqrt{2})\right)+\sqrt{2}\]
Este $P$ é designado por constante universal das parábolas.

A afirmação de que $P$ é constante é gira... A primeira coisa que me ocorreu foi "eu acho que sei provar isso". E de facto, sei. E provei. Deixei o meu rascunho manuscrito na minha página do facebook . Hoje vou apenas reescrever essa prova aqui, com mais algum cuidado.
Sem perda de generalidade, vamos supor que a equação da parábola é \[y=ax^2+bx+c\] com $a>0$ e $b,c\in\R$. Na verdade, para a afirmação feita eu até podia considerar $b=c=0$, mas não o vou fazer.
Neste blog, no post do dia 22 de Agosto de 2024 eu mostrei que as coordenadas do foco desta parábola são \[\left(x_F,y_F\right)=\left(-\frac{b}{2a},\frac{1-\Delta}{4a}\right)\] onde $\Delta=b^2-4ac$

Então, para determinar as coordenadas dos pontos $A$ e $B$ apenas tenho de resolver a equação \[ax^2+bx+c=y_F\] Ou seja \begin{eqnarray*} {\Leftrightarrow}&{ }&{ax^2+bx+c = \frac{1-\Delta}{4a}}\\ {\Leftrightarrow}&{ }&{ax^2+bx+c = \frac{1-b^2+4ac}{4a}}\\ {\Leftrightarrow}&{ }&{4a^2x^2+4abx+4ac =1-b^2+4ac}\\ {\Leftrightarrow}&{ }&{4a^2x^2+4abx+b^2 =1}\\ {\Leftrightarrow}&{}&{(2ax+b)^2 =1}\\ {\Leftrightarrow}&{ }&{2ax+b =\pm 1}\\ {\Leftrightarrow}&{ }&{2ax =-b\pm 1}\\ {\Leftrightarrow}&{ }&{x =\frac{-b\pm 1}{2a}} \end{eqnarray*} Assim sendo temos \[A\left(\frac{-b- 1}{2a},y_F\right)\text{ ; }B\left(\frac{-b+ 1}{2a},y_F\right)\] O comprimento do arco de parábola é dado pela conhecida fórmula \[ l = \int\limits_{x_A}^{x_B} {\sqrt {1 + \left( {y'} \right)^2 } dx} \] Onde $x_A$ e $x_B$ são as abcissas dos pontos $A$ e $B$, respectivamente.
Portanto, vamos lá a isso \begin{eqnarray*} {l}&{=}&{\int\limits_{x_A}^{x_B} {\sqrt {1 + \left( {y'} \right)^2 } dx}}\\ { }&{=}&{\int\limits_{\frc{-b- 1}{2a}}^{\frc{-b+ 1}{2a}} {\sqrt {1 + \left( {2ax+b} \right)^2 } dx}} \end{eqnarray*} Para calcular este integral dá-me jeito usar a substituição $ \sh \gamma=2ax+b $ ou seja $\gamma=\argsh \left(2ax+b\right)$ e $x=\frac{\sh \gamma -b}{2a}$ que nos leva a \[\frac{dx}{d\gamma}=\frac{\ch \gamma}{2a}\] por outro lado \[ x=x_A \Rightarrow \gamma=\argsh(-1)=-\argsh 1\] \[ x=x_B \Rightarrow \gamma=\argsh 1\] Então \begin{eqnarray*} {\int\limits_{\frac{-b- 1}{2a}}^{\frac{-b+ 1}{2a}} {\sqrt {1 + \left( {2ax+b} \right)^2 } dx}}&{=}&{\frac{1}{2a}\int\limits_{-\argsh 1}^{argsh 1} {\sqrt {1 + \shq \gamma } \ch \gamma d\gamma}}\\ { }&{=}&{\frac{1}{2a}\int\limits_{-\argsh 1}^{\argsh 1} {\chq \gamma d\gamma}}\\ { }&{=}&{\frac{1}{2a}\int\limits_{-\argsh 1}^{\argsh 1} {\frac{ 1+\ch\left(2\gamma\right)}{2} d\gamma}}\\ { }&{=}&{\frac{1}{4a}\int\limits_{-\argsh 1}^{\argsh 1} {1+\ch\left(2\gamma\right) d\gamma}}\\ { }&{=}&{\frac{1}{4a}\left[ {\gamma + \frac{{\sh(2\gamma )}}{2}} \right]_{ - \argsh 1}^{\argsh 1} }\\ { }&{=}&{\frac{1}{4a}\left[ {\gamma + \sh \gamma \ch \gamma } \right]_{ - \argsh 1}^{\argsh 1} }\\ { }&{=}&{\frac{1}{4a}\left[ 2 \argsh 1 + 2\sh (\argsh 1) \ch (\argsh 1) \right] }\\ { }&{=}&{\frac{1}{2a}\left[ \ln(1+\sqrt{2}) + 1 \sqrt{1+1} \right] }\\ { }&{=}&{\frac{1}{2a}\left[ \ln(1+\sqrt{2}) + \sqrt{2} \right] } \end{eqnarray*} A distância entre o foco e a directriz, é o dobro da distância do foco ao vértice.
Assim\[d(F,V)=2\left(y_F-y_V\right)=2\left(\frac{1-\Delta}{4a}-\frac{-\Delta}{4a}\right)=\frac{1}{2a}\].

Notem que $b$ e $c$ desapareceram dos cálculos, portanto, eu podia mesmo ter desaparecido com eles logo no princípio.

Assim, finalmente \[P=\frac{\frc{1}{2a}\left[ \ln(1+\sqrt{2}) + \sqrt{2} \right]}{\frc{1}{2a}}=\ln(1+\sqrt{2}) + \sqrt{2}\]
Será que existem "constantes" deste tipo para as hipérboles e elipses?
Eu tenho a resposta... mas vão ter de esperar, ou tentar chegar lá sozinhos.
PS: Para quem ainda não sabe, em Setembro de 2024, durante uma crise convulsiva, eu parti uma vértebra. Sinto dores até hoje... Portanto os meus posts passaram a ser ainda mais irregulares. Podem ir passando por aqui.

03/08/2024

Desenhos numa calculadora

Um dos meus (muitos) passatempos é o desenho.

Estive a converter um esboço meu da Kara In-Ze (supergirl/DCAU) numa versão digital.
 Podem visitar a minha galeria DeviantArt clicando na imagem.

Em 1994, quando me ofereceram a minha primeira calculadora gráfica (Casio fx-6300G), explorei como poderia fazer desenhos na calculadora. Assim que aprendi a programar a calculadora numa versão muito elementar do Casio-BASIC (lendo o manual), foi um dos meus primeiros programas.

Em 1996, comprei uma Casio cfx-9800G. Esta calculadora tinha um ecrã maior e tinha matrizes. Matrizes permitiram-me rever os conceitos por detrás do meu programa de desenho.

Em 1997 comprei uma casio cfx-9950G. E nesta criei o meu terceiro programa de desenho.
(A versão final é de 1999, e ainda corre nas calculadoras actuais)


Qual é a Matemática por detrás disto?
O ecrã utilizável tem resolução 127 × 63 pixels. ( $x$ × $y$, não batam, é assim que está no manual da calculadora)
Assim, comecei por definir a janela $[1,127]×[1,63]$ 

A forma mais simples de desenhar é com traços. Matematicamente, um traço pode ser visto como um segmento de recta.  Um segmento de recta era desenhado com o comando "Line", portanto, era possivel.
Então pensei numa forma de, recolhendo as coordenadas do ponto inicial $(x_i,y_i)$ e do ponto final $(x_f,y_f)$, codificá-las num único número através da fórmula:
\[s=100x_i+y_i+\frac{x_f}{1000}+\frac{y_f}{100000}\]
Por exemplo o segmento que une os pontos de coordenadas $(123,45)$ e $(10,60)$ é convertido no número $12345.01060$.

Com isto converti um desenho "sequência de traços" numa lista de números.
O programa da calculadora guarda as listas em colunas de uma matriz (a matriz L da calculadora).
Naturalmente, é fácil reverter o processo... a calculadora, além das operações básicas tem as funções "parte inteira" e "parte fraccionária".
Eu acabei por usar algumas das ideias por detrás deste programa para outras calculadoras.  (Nomeadamente a Ti84plus)

PS:
  1. Inicialmente este post ia ser um vídeo "Aqui há Matemática". Os vídeos ficam para uma próxima oportunidade.
  2. Dedico este post a todos os meus ex-explicandos e ex-alunos dos últimos 28 anos.
    (A dedicatória, deve-se ao facto de eu ter cessado funções)
  3. Dedico este post também à MathGurl (duvido que ela vá ver isto, é só uma forma de eu vos mandar para o canal dela) .


  4. Eu mudei o desenho no dia 23 de Agosto de 2024. O original, está aqui.