Problemas Teoremas

Setembro 14, 2011

Interpretação geométrica de ∬dx dy = ∬ r dα dr na transformação de coordenadas cartesianas em polares

Filed under: Cálculo,Integrais,Matemática,Mathematics Stack Exchange — Américo Tavares @ 2:39 pm
Tags: ,

Nesta minha resposta a uma questão de hhh, no MSE, apresentei a seguinte interpretação geométrica da transformação de coordenadas cartesianas em polares, no cálculo do integral duplo  do elemento de área, que traduzo.

Por definição do integral duplo de uma função contínua numa região  R fechada e limitada R, no plano xy, tem-se

\displaystyle\iint_R f(x,y)\;\mathrm{d}x\;\mathrm{d}y=\displaystyle\lim_{n\to\infty}\displaystyle\sum_{i=1}^{n}f(x_{i},y_{i})\Delta A_{i},

em que \Delta A_{i} é a área de uma célula rectangular genérica e n o número de células.

Se f(x,y)=1, obtém-se a área de R

\displaystyle\iint_R\mathrm{d}x\;\mathrm{d}y=\displaystyle\lim_{n\to\infty}\displaystyle\sum_{i=1}^{n }\Delta A_{i}.

Se decompusermos R em células com a forma de sector circulares definidos por dois arcos cuja diferença de raios é \Delta r_{i} para a i-ésima célula genérica e por  dois raios que fazem um ângulo \Delta \theta _{i} entre eles, a área da célula, utilizando a respectiva fórmula, é

\dfrac{1}{2}\left[ \left( r_{i}+\dfrac{1}{2}\Delta r_{i}\right) ^{2}-\left( r_{i}-\dfrac{1}{2}\Delta r_{i}\right) ^{2}\right] \Delta \theta_{i}=r_{i}\Delta r_{i}\Delta\theta _{i},

em que r_{i} é o raio do ponto médio da célula. A mesma área de  R pode ser expressa por \lim_{n\to\infty}\sum_{i=1}^{n}r_{i}\Delta r_{i}\Delta \theta _{i}, o que, por definição de um integral duplo, é igual a

\displaystyle\iint_R r\;\mathrm{d}r\;\mathrm{d}\theta.

Figura: i-ésima célula genérica em coordenadas polares com a forma de um sector circular

Esta transformação é definida rigorosamente pelo valor absoluto do  jacobiano da transformação  \left\vert\dfrac{\partial (x,y)}{\partial (r,\theta )}\right\vert =r do sistema de coordenadas cartesianas no de polares (x=r\cos \theta ,y=r\sin\theta ):

\displaystyle\iint_R\mathrm{d}x\;\mathrm{d}y=\displaystyle\iint_R\left\vert\dfrac{\partial (x,y)}{\partial (r,\theta )}\right\vert \;\mathrm{d}r\;\mathrm{d}\theta =\displaystyle\iint_R r\;\mathrm{d}r\;\mathrm{d}\theta.

Cálculo do determinante jacobiano:

\begin{aligned}\dfrac{\partial (x,y)}{\partial (r,\theta )} &=\det\begin{pmatrix}\partial x/\partial r&\partial x/\partial \theta\\\partial y/\partial r&\partial y/\partial\theta\end{pmatrix}\\&=\det\begin{pmatrix}\cos \theta & -r\sin \theta\\\sin\theta & r\cos \theta\end{pmatrix}\\&=r\cos ^{2}\theta +r\sin ^{2}\theta\\&=r\end{aligned}

–

Nota: Um raciocínio idêntico que o generaliza  permite intepretar geometricamente a transformação de coordenadas cartesianas em coordenadas esféricas, ao calcular o integral triplo  do elemento de volume.

Setembro 13, 2011

Clube SPM — Entrevista ao Presidente da Sociedade Portuguesa de Matemática Miguel Abreu

Filed under: Divulgação,Matemática,Notícia,SPM — Américo Tavares @ 12:27 pm
Tags: ,

(Fonte)

Entrevista a Miguel Abreu (Professor Catedrático  do Departamento de Matemática IST ):

« (…)


O gosto pela matemática começou quando? A partir daí foi em exponencial…


Começou na escola. Tinha jeito e é fácil gostar daquilo que conseguimos fazer bem. Fui aluno no Colégio Militar e tive lá, durante os três anos do ensino secundário, um professor de matemática fantástico: o Dr. José Sena Neves. Marcou-me muito, tanto a nível pessoal como matemático. Ficámos amigos e continuamos a falar regularmente. Depois entrei para engenharia electrotécnica no Instituto Superior Técnico (IST) e ao fim de um ano e meio percebi que só gostava das cadeiras de matemática. Tive a sorte de poder mudar para o curso de matemática que tinha acabado de abrir no IST e a partir daí “foi em exponencial”…


(…)


Lecciona no IST. O que ensina em concreto?


Ensino as cadeiras de cálculo e álgebra comuns à quase totalidade dos cursos do IST, bem como cadeiras de geometria para os alunos de matemática. Nos últimos anos tenho dado frequentemente a cadeira de Cálculo Diferencial e Integral I. Tenho tido assim o privilégio de ensinar aos caloiros do IST o Teorema Fundamental do Cálculo, certamente um dos teoremas mais bonitos e importantes, tanto para a matemática como para toda a ciência em geral.


Faz investigação Matemática em Geometria e Topologia Simplética. Consegue explicar devagarinho o que é ou será melhor passarmos à próxima pergunta?


A Geometria e Topologia Simplética tem origem na Física, mais precisamente nos espaços de fase e transformações canónicas da Mecânica Clássica. Estuda propriedades de generalizações desses espaços e transformações. No caso mais simples de espaços de dimensão 2, que inclui por exemplo o plano e a superfície de uma esfera, a Geometria e Topologia Simpléctica estuda propriedades das transformações destes espaços que preservam área.


(…)


O que faz a “SPM — Sociedade Portuguesa de Matemática” em concreto?


A SPM faz o que está especificado nos seus estatutos: promover o ensino, investigação e divulgação da matemática. Exemplos concretos na área do ensino são a formação de professores, acreditação de manuais escolares e análise das provas nacionais de avaliação. Na investigação, a SPM promove, apoia e divulga a organização de encontros científicos e contribui para a representação da comunidade matemática portuguesa em organizações internacionais, como a União Matemática Internacional e a Sociedade Europeia de Matemática. Na divulgação, temos por exemplo as Tardes de Matemática e o Clube de Matemática da SPM. Temos também actividades transversais a mais do que uma destas vertentes, como as Olimpíadas de Matemática, os Encontros Nacionais e as Escolas de Verão. Temos 3 publicações periódicas (Boletim, Gazeta e Jornal de Matemática Elementar) e lançamos regularmente livros. Apoiamos também as actividades do Seminário Nacional de História de Matemática que é uma secção autónoma da SPM.


(…) »

Setembro 7, 2011

Integral duplo calculável rodando os eixos

Filed under: Cálculo,Exercícios Matemáticos,Integrais,Matemática,Mathematics Stack Exchange — Américo Tavares @ 9:17 pm
Tags: , , ,

O cálculo de

\displaystyle\iint_A e^{x+y} \sin(x-y)\mathrm dx\mathrm dy

em que A é a região definida por

A =\{(x,y):0\leq x+y\leq 1,0\leq x-y \leq \pi\}

pode fazer-se por rotação dos eixos, depois de verificar que A é um rectângulo. (Ver esta questão de entrance_exam, no MSE ).

Transcrevo tradução de parte da minha resposta.

A dupla desigualdade 0\leq x+y\leq 1 significa que

\left\{\begin{array}{c}0\leq x+y\\x+y\leq 1\end{array}\right.\Leftrightarrow \left\{\begin{array}{c}y\geq -x\\y\leq 1-x \end{array}\right.

e 0\leq x-y\leq \pi significa que

\left\{\begin{array}{c}0\leq x-y\\x-y\leq \pi\end{array} \right. \Leftrightarrow \left\{\begin{array}{c}y\leq x\\y\geq x-\pi. \end{array}\right.

Por isso as condições 0\leq x+y\leq 1 e 0\leq x-y\leq \pi são equivalentes ao sistema de quatro inequações

\left\{\begin{array}{c}y\geq -x\\y\leq 1-x \\y\leq x \\y\geq x-\pi.\end{array}\qquad\right.

A região A  é o rectângulo limitado pelas rectas y=-x, y=1-x, y=x, y=x-\pi   (ver figura).

Para calcular

I:=\displaystyle\iint_{A}e^{x+y}\sin (x-y)\;\mathrm{d}x\mathrm{d}y

podemos considerar o sistema de coordenadas x',y' rodado de \theta =-\pi /4 em relação ao sistema x,y, como se mostra na figura, o que corresponde à seguinte transformação

\begin{aligned}x^{\prime } &=x\cos \left( -\dfrac{\pi }{4}\right) +y\sin \left( -\dfrac{\pi}{4}\right) =\dfrac{1}{2}\sqrt{2}x-\dfrac{1}{2}\sqrt{2}y\\y^{\prime } &=-x\sin \left( -\frac{\pi }{4}\right) +y\cos \left( -\dfrac{\pi}{4}\right) =\dfrac{1}{2}\sqrt{2}x+\dfrac{1}{2}\sqrt{2}y,\end{aligned}

cuja inversa é

\begin{aligned}x&=x^{\prime }\cos \left( -\dfrac{\pi }{4}\right) -y^{\prime }\sin \left( -\dfrac{\pi }{4}\right) =\dfrac{1}{2}\sqrt{2}x^{\prime }+\dfrac{1}{2}\sqrt{2}y^{\prime }\\y &=x^{\prime }\sin \left( -\dfrac{\pi }{4}\right) +y^{\prime }\cos \left( -\dfrac{\pi }{4}\right) =-\dfrac{1}{2}\sqrt{2}x^{\prime }+\dfrac{1}{2}\sqrt{2}y^{\prime }.\end{aligned}

Visto que \dfrac{\partial (x,y)}{\partial (x^{\prime},y^{\prime })}=1, o integral I transforma-se em

\begin{aligned}I&=\displaystyle\int_{y^{\prime }=0}^{\sqrt{2}/2}\left( \displaystyle\int_{x^{\prime }=0}^{\pi \sqrt{2}/2}e^{\sqrt{2}y^{\prime }}\sin (\sqrt{2}x^{\prime })\mathrm{d}x^{\prime}\right) \mathrm{d}y^{\prime }\\&=\displaystyle\int_{y^{\prime }=0}^{\sqrt{2}/2}\sqrt{2}e^{y^{\prime }\sqrt{2}}\mathrm{d}y^{\prime }\\&=e-1,\end{aligned}

atendendo a que

x-y=\dfrac{1}{2}\sqrt{2}x^{\prime}+\dfrac{1}{2}\sqrt{2}y^{\prime }-\left( -\dfrac{1}{2}\sqrt{2}x^{\prime }+\dfrac{1}{2}\sqrt{2}y^{\prime }\right) =\sqrt{2}x^{\prime }

x+y=\frac{1}{2}\sqrt{2}x^{\prime }+\dfrac{1}{2}\sqrt{2}y^{\prime }-\dfrac{1}{2}\sqrt{2}x^{\prime }+\dfrac{1}{2}\sqrt{2}y^{\prime }=\sqrt{2}y^{\prime }.

Em alternativa poderíamos dividir A em três regiões, um triângulo (0\le x\le 1/2), um paralelogramo (1/2\le x\le\pi/2) e um triângulo (\pi/2\le x\le (1+\pi)/2), e determinar I nas variáveis originais x,y:

\begin{aligned}I&=\displaystyle\int_{0}^{1/2}\left( \displaystyle\int_{-x}^{x}e^{x+y}\sin (x-y)\mathrm{d}y\right) \mathrm{d}x\\&+\displaystyle\int_{1/2}^{\pi /2}\left( \displaystyle\int_{-x}^{1-x}e^{x+y}\sin (x-y)\mathrm{d} y\right) \mathrm{d}x\\&+\displaystyle\int_{\pi /2}^{(1+\pi )/2}\left( \int_{x-\pi }^{1-x}e^{x+y}\sin (x-y)\mathrm{d}y\right) \mathrm{d}x.\end{aligned}

A SPM no Facebook

Filed under: Notícia — Américo Tavares @ 3:43 pm
Tags:

A SPM já tem uma página disponível no Facebook. Para aceder ao perfil e ficar a par das últimas acções promovidas pela SPM procure “Sociedade Portuguesa de Matemática” ou clique aqui.

Soma dos quadrados dos primeiros n números inteiros positivos

Filed under: Demonstração,Matemática,Matemática Discreta,Matemáticas Gerais,Mathematics Stack Exchange — Américo Tavares @ 9:43 am
Tags: , , ,

Em resposta a uma questão  de George Edison, no MSE, apresentei as seguintes duas demonstrações de

\displaystyle\sum_{k=1}^nk^2 = \dfrac{n(n+1)(2n+1)}{6}

Demonstração 1. (Dias Agudo, Cândido da Silva, Matemáticas Gerais III, Exercício 2.5.1). Seja S:=\sum_{k=1}^{n}k^{2}. Considere-se (1+a)^{3}=1+3a+3a^{2}+a^{3} e some-se (1+a)^{3} para a=1,2,\ldots ,n:

\begin{aligned}(1+1)^{3} &=1+3\cdot 1+3\cdot 1^{2}+1^{3} \\(1+2)^{3} &=1+3\cdot 2+3\cdot 2^{2}+2^{3} \\(1+3)^{3} &=1+3\cdot 3+3\cdot 3^{2}+3^{3} \\&\cdots \\(1+n)^{3} &=1+3\cdot n+3\cdot n^{2}+n^{3}\end{aligned}

O termo (1+1)^3 no primeiro membro da primeira soma cancela o termo 2^3 no segundo membro da segunda, (1+2)^3, o 3^3, (1+3)^3, o 4^3, …, o (1+n-1)^3 cancela n^3. Assim

(1+n)^{3}=n+3\left( 1+2+\ldots +n\right) +3S+1

e

S=\dfrac{n(n+1)(2n+1)}{6},

porque

1+2+\ldots +n=\dfrac{n\left( n+1\right) }{2}.

Demonstração 2. (Balakrishnan, Combinatorics, Schaum’s Outline of Combinatorics, Exercício 1.42 ). De

\dbinom{k}{1}+2\dbinom{k}{2}=k+2\dfrac{k\left( k-1\right) }{2}=k^{2},

obtem-se

\begin{aligned}S &:=\displaystyle\sum_{k=1}^{n}k^{2}=\displaystyle\sum_{k=0}^{n}\dbinom{k}{1}+2\dbinom{k}{2}=\displaystyle\sum_{i=1}^{n}\dbinom{k}{1}+2\displaystyle\sum_{k=1}^{n}\dbinom{k}{2} \\&=\dbinom{n+1}{2}+2\dbinom{n+1}{3} \\&=\dfrac{n\left( n+1\right) \left( 2n+1\right) }{6}.\end{aligned}

Setembro 3, 2011

Projecção ortogonal de um ponto sobre uma recta

Filed under: Exercícios Matemáticos,Geometria,Matemática,Matemática-Secundário,Problemas — Américo Tavares @ 7:36 pm
Tags: , , ,

Problema: São dadas as coordenadas de três pontos A, B e P, num referencial cartesiano (x,y) . Seja r a recta definida por A e B, e seja s a recta perpendicular a r que passa por P. Determinar as coordenadas do ponto I de intersecção das rectas s e r, ou seja a projecção de P sobre r.

Aproximações racionais a π e medida de irracionalidade

Filed under: Geral,Matemática — Américo Tavares @ 2:16 pm
Tags: ,

Seja \alpha um número irracional. Diz-se que  \mu é uma medida de irracionalidade de \alpha , (G. Rhin, C. Viola, On the irrationality measure of \zeta(2)) se, qualquer que seja \varepsilon >0, existir um número q_0>0 tal que

\left\vert \alpha -\dfrac{p}{q}\right\vert >\dfrac{1}{q^{\mu +\varepsilon }},

para todos os inteiros p e q, com q>q_0.

No caso de \pi o menor expoente \mu conhecido é 7,6063\dots (mathworld.wolfram link), estabelecido, em 2008, por V. Salikhov, On the irrationality measure of π,  melhorando o anterior de M. Hata (8,016045\dots).

Vem isto a propósito do artigo All Rational Approximations of Pi Are Useless, de Jon McLoone, no Wolfram Blog. Por um pequeno comentário  que fiz, recebi esta T-shirt

Wolfram Mathematica T-shirt.

Tema: Rubric. Blog em WordPress.com.