Problemas Teoremas

Março 29, 2010

Problema do mês :: Problem of the month #4. (Integral impróprio :: Improper integral). Resolução :: Solution

ver/see Problema do mês Problem of the month

\bigskip

Problema

Prove ou infirme: \pi =\displaystyle\int_{0}^{\infty }\dfrac{\cos x-\cos 3x}{x^{2}}dx

Solução de Prof. Paulo Sérgio

Para calcular esta integral, note que

\dfrac{1}{s^{2}}=\displaystyle\int_{0}^{\infty }xe^{-sx}dx

Assim,

I:=\displaystyle\int_{0}^{\infty }\dfrac{\cos \left( s\right) -\cos \left( 3s\right) }{s^{2}}ds

=\displaystyle\int_{0}^{\infty }\int_{0}^{\infty }xe^{-sx}\left[ \cos \left( s\right) -\cos \left( 3s\right) \right] dxds

Invertendo a ordem de integração e usando a definição de transformada de Laplace, temos:

I=\displaystyle\int_{0}^{\infty }x\int_{0}^{\infty }\left[ \mathcal{L}\left\{ \cos\left( s\right) \right\} -\mathcal{L}\left\{ \cos \left( 3s\right) \right\}\right] dx

=\displaystyle\int_{0}^{\infty }\left( \dfrac{x^{2}}{1+x^{2}}-\dfrac{x^{2}}{9+x^{2}}\right) dx

ou seja,

I=\displaystyle\int_{0}^{\infty }\dfrac{9}{9+x^{2}}dx-\displaystyle\int_{0}^{\infty }\dfrac{dx}{1+x^{2}}=\left[ 3\arctan \left( \dfrac{x}{3}\right) -\arctan \left( x\right) \right] _{0}^{\infty }

=\dfrac{3\pi }{2}-\dfrac{\pi }{2}=\dfrac{2\pi }{2}=\pi .

Outra resolução: fatima

* * *

Problem

Prove or disprove: \pi =\displaystyle\int_{0}^{\infty }\dfrac{\cos x-\cos 3x}{x^{2}}dx.

 

Solution by Prof. Paulo Sérgio

To evaluate this integral note that

\dfrac{1}{s^{2}}=\displaystyle\int_{0}^{\infty }xe^{-sx}dx

Hence,

I:=\displaystyle\int_{0}^{\infty }\dfrac{\cos \left( s\right) -\cos \left( 3s\right) }{s^{2}}ds

=\displaystyle\int_{0}^{\infty }\int_{0}^{\infty }xe^{-sx}\left[ \cos \left( s\right) -\cos \left( 3s\right) \right] dxds

By reversing the order of integration and using the definition of the Laplace transform we get:

I=\displaystyle\int_{0}^{\infty }x\int_{0}^{\infty }\left[ \mathcal{L}\left\{ \cos\left( s\right) \right\} -\mathcal{L}\left\{ \cos \left( 3s\right) \right\}\right] dx

=\displaystyle\int_{0}^{\infty }\left( \dfrac{x^{2}}{1+x^{2}}-\dfrac{x^{2}}{9+x^{2}}\right) dx

therefore,

I=\displaystyle\int_{0}^{\infty }\dfrac{9}{9+x^{2}}dx-\displaystyle\int_{0}^{\infty }\dfrac{dx}{1+x^{2}}=\left[ 3\arctan \left( \dfrac{x}{3}\right) -\arctan \left( x\right) \right] _{0}^{\infty }

=\dfrac{3\pi }{2}-\dfrac{\pi }{2}=\dfrac{2\pi }{2}=\pi .

Other Solver: fatima

Solução do Desafio — área entre círculos :: Challenge solution — area between circles

Enunciado do desafio :: Challenge Statement

Tem cinco moedas iguais, cada uma a tocar nas duas adjacentes. No espaço que fica no meio coloca uma moeda tangente às cinco.

Qual é a área total entre as moedas em função do diâmetro d das maiores?

Five equal coins are placed in such a way that each of them is tangent to the two adjacents ones. Another coin tangent to those five is put in the centre.

Find the total area between the coins as a function of the diameter d of each one of the outer five.

* * *

Transcrição com diferente formatação (em LaTeX) da Resolução de RSCS publicada no blogue Simplesmente porque sim . . .[corrigido autor da solução]

Transcription in a different format (using LaTeX) and translation by myself of the Solution by RSCS posted in the blog Simplesmente porque sim . . .[solver corrected] 

Área do pentágono / Area of the pentagon

A_{P}=\dfrac{d^{2}}{4}\sqrt{25+10\sqrt{5}}

Área do círculo / Area of the circle

A_{C}=\pi\dfrac{d^{2}}{4}

[Soma dos] ângulos internos do pentágono: 540^\circ=3\pi / [Sum of the] pentagon internal angles: 540^\circ=3\pi

Raio da moeda mais pequena / Radius of the small coin

\dfrac{d}{2}\cdot\dfrac{1}{\cos 54^\circ}-\dfrac{d}{2}

[ Área do círculo pequeno / Area of the small circle

A_{c}=\pi\left( \dfrac{d}{2}\cdot\dfrac{1}{\cos 54^\circ}-\dfrac{d}{2}\right) ^{2}\qquad ]

Área Final / Final Area

A_{P}-5A_{C}\times\dfrac{108}{360}-A_{c}

* * *

Uma nota minha: Substituindo os resultados parciais na área final indicada na resolução, obtive, em função de d^2, para a área pedida:

A note of mine: Replacing the parcial results into the final area indicated in the above solution, I got the requested area as a function of d^2:

A=\dfrac{1}{4}\left( \sqrt{25+10\sqrt{5}}-\left( \dfrac{8}{5-\sqrt{5}}-\dfrac{4\sqrt{2}}{\sqrt{5-\sqrt{5}}}+\dfrac{5}{2}\right) \pi \right) d^{2}

ou seja / i. e.

\dfrac{A}{d^{2}}=\dfrac{\sqrt{25+10\sqrt{5}}}{4}-\left( \dfrac{2}{5-\sqrt{5}}-\dfrac{\sqrt{2}}{\sqrt{5-\sqrt{5}}}+\dfrac{5}{8}\right) \pi

Usei, entre outras relações, esta / Among others I used this identity:

\cos 54^\circ=\sin (90^\circ-54^\circ)=\sin 36^\circ=\sin (\pi /5)

Março 26, 2010

Desafio: área entre círculos :: Challenge: area between circles

Tem cinco moedas iguais, cada uma a tocar nas duas adjacentes. No espaço que fica no meio coloca uma moeda tangente às cinco.

Qual é a área total entre as moedas em função do diâmetro d das maiores?

Five equal coins are placed in such a way that each of them is tangent to the  two adjacents ones. Another coin  tangent to those five is put in the centre.

Find the total area between the coins as a function of the diameter d of each one of the outer five.

 

Figura auxiliar / Auxiliar figure

 Neste caso o $0.05 não é bem tangente aos €0.50. 

In this case the $0.05 coin is not quite tangent to the  five €0.50 coins. 

Imagine que as moedas eram círculos ideais, tangentes 3 a 3, excepto o central a 5.

Suppose all the coins are ideal circles arranged so that each  is tangent to  3 , except the central one which is tangent to the other 5.

 

P.S. English text edited.

Março 25, 2010

Fórmula de Herão da área de um triângulo obliquângulo

Considere-se o seguinte triângulo de vértices A,B,C (ângulos internos A,B,C)  e lados a,b,c.

\setlength{\unitlength}{1cm}\begin{picture}(8,6)\thicklines\put(1,1){\line(3,4){3}}\put(4,5){\line(3,-4){3}}\put(1,1){\line(1,0){6}}\put(2.3,3.2){\textit{b}}\put(5.7,3.1){\textit{a}}\put(3.8,0.5){\textit{c}}\put(4,2.7){\textit{S}}\put(0.6,0.5){\textit{A}}\put(7.1,0.5){\textit{B}}\put(3.8,5.3){\textit{C}}\end{picture} 

A fórmula de Herão da área S de um triângulo é:

S=\displaystyle\sqrt{p(p-a)(p-b)(p-c)}\qquad (\ast )

 

em que p é o semiperímetro do triângulo:

p=\dfrac{a+b+c}{2}\qquad\qquad (\ast\ast )

Dedução:

\setlength{\unitlength}{1cm}\begin{picture}(10,6)\put(4,5){\line(0,-1){4}}\put(4.1,2.7){\textit{h}}\thicklines\put(1,1){\line(3,4){3}}\put(4,5){\line(5,-4){5}}\put(1,1){\line(1,0){8}}\put(0.6,0.8){\textit{A}}\put(9.0,0.8){\textit{B}}\put(3.9,5.2){\textit{C}}\put(2.3,3.2){\textit{b}}\put(6.5,3.1){\textit{a}}\put(4.8,0.5){\textit{c}}\put(4.1,1.2){\textit{P}}\put(2.6,1.2){\textit{r}}\put(6.3,1.2){\textit{s}}\put(5.0,2.7){\textit{S}}\end{picture}

Seja \overline{CP}=h a altura do triângulo [A,B,C] traçada sobre o lado AB. O ponto P, projecção do vértice C sobre o lado AB, divide-o em dois segmentos \overline{AP}=r e \overline{PB}=s tais que \overline{AB}=c=r+s. O teorema de Pitágoras aplicado ao triângulo [C,P,A] traduz-se em

b^{2}=r^{2}+h^{2}\qquad \left( 1\right)

e aplicado ao triângulo [C,P,B] em

h^{2}=a^{2}-s^{2}\qquad \left( 2\right)

Ora r=c-s pelo que

r^{2}=c^{2}-2cs+s^{2}\qquad \left( 3\right)

Substituindo \left( 2\right) e \left( 3\right) em \left( 1\right) vem:

b^{2}=c^{2}+a^{2}-2cs\qquad \left( 4\right)

donde

s=\dfrac{1}{2c}\left( c^{2}+a^{2}-b^{2}\right) \qquad \left( 5\right)

Eliminando s em \left( 2\right), tem-se sucessivamente

h^{2}=a^{2}-\left[ \dfrac{1}{2c}\left( c^{2}+a^{2}-b^{2}\right) \right] ^{2}

=\dfrac{\left( 2ac+c^{2}+a^{2}-b^{2}\right) \left( 2ac-c^{2}-a^{2}+b^{2}\right) }{4c^{2}}

=\dfrac{\left( a+b+c\right) \left( a+c-b\right) \left( b+a-c\right) \left( b-a+c\right) }{4c^{2}}

Chamando ao semi-perímetro do triângulo p, vem

a+b+c=2p\qquad \left( 6\right)

a+c-b=2\left( p-b\right)

b+a-c=2\left( p-c\right)

b-a+c=2\left( p-a\right)

e

h^{2}=\dfrac{2p\cdot 2\left( p-b\right) \cdot 2\left( p-c\right) \cdot 2\left( p-a\right) }{4c^{2}}

=\dfrac{4p\left( p-b\right) \left( p-c\right) \left( p-a\right) }{c^{2}}

A altura é então igual a:

h=\dfrac{2}{c}\sqrt{p\left( p-a\right)\left( p-b\right)\left( p-c\right) }\qquad\left( 7\right)

e a área S do triângulo [A,B,C]:

S=\dfrac{ch}{2}=\sqrt{p\left( p-a\right) \left( p-b\right) \left( p-c\right) }\qquad\left( \ast\right)

* * *

Neste meu livro de Trigonometria do liceu — CALADO, J., Compêndio de Trigonometria, Ensino Liceal, 3.º ciclo, Empresa Literária Fluminense Lda., Lisboa, 1967 –  deduzia-se esta relação, ao estudar a resolução de triângulos obliquângulos, quando são dados os três lados. Eis uma cópia das páginas relevantes:

Qiaochu Yuan mostra que é possível prová-la, sem usar métodos trigonométricos ou geométricos, no seu post Heron’s formula.

Exemplos de aplicação:

1. Determine a área do triângulo pitagórico de lados 3, 4 e 5.

Podemos ver que este triângulo é rectângulo. A área pode ser dada por

S=\dfrac{3\times 4}{2}=\dfrac{12}{2}=6

Dado que p=\dfrac{a+b+c}{2}=\dfrac{3+4+5}{2}=6, vem, usando a  fórmula de Herão

S=\sqrt{p(p-a)(p-b)(p-c)}=\sqrt{6(6-3)(6-4)(6-5)}=\sqrt{36}=6

2. Calcule a área do triângulo isósceles de lados 6, 5 e 5.

Como a altura é 4, a área é igual a

S=\dfrac{6\times 4}{2}=12

ou pela fórmula (\ast)

S=\sqrt{8(8-6)(8-5)(8-5)}=\sqrt{2^43^2}=4\times 3=12.

3. Ache a área do triângulo obliquângulo A,B,C cujos lados a,b,c são, respectivamente, iguais a 8,10,12.

Agora temos

p=\dfrac{8+10+12}{2}=15

S=\sqrt{p(p-a)(p-b)(p-c)}=\sqrt{15(15-8)(15-10)(15-12)}

=\sqrt{1575}=15\sqrt{7}.

Note que neste caso os comprimentos dos lados do triângulo formam uma progressão aritmética de razão 2.

É logo no primeiro problema (Problema 1.1) do capítulo 1 - Estratégias de resolução de problemas, do livro de Terence Tao Como Resolver Problemas Matemáticos, que o autor considera o caso geral inverso: os comprimentos dos lados formam uma progressão aritmética, e pede-se para determinar os seus lados e ângulos, conhecida a  área do triângulo e a razão da progressão. 

31.05.10: acrescentada dedução geométrica.  

Março 23, 2010

1.º Prémio do Milénio atribuído a Perelman pela Resolução da Conjectura de Poincaré

Filed under: Matemática,Notícia,Topologia — Américo Tavares @ 1:33 pm
Tags: , ,

Actualização de 21.07.10: Perelman recusou o prémio, segundo um comunicado do CMI, noticiado, entre nós, pelo Público de 01.07.2010 – 18:11.

Em 18 deste mês o Clay Mathematics Institute (CMI) anunciou a atribuição ao Dr. Grigoriy Perelman (ou Grigori Perelman),  St. Petersburg, Rússia,   do Prémio pela Resolução da Conjectura de Poincaré, o primeiro dos Problemas do  Milénio a ser resolvido.

http://www.claymath.org/millennium/Poincare_Conjecture/HSpace2.jpg

The Clay Mathematics Institute hereby awards the Millennium Prize for resolution of the Poincaré conjecture to Grigoriy Perelman.

(…)

The Poincaré conjecture is one of the seven Millennium Prize Problems established by CMI in 2000. The Prizes were conceived to record some of the most difficult problems with which mathematicians were grappling at the turn of the second millennium; to elevate in the consciousness of the general public the fact that in mathematics, the frontier is still open and abounds in important unsolved problems; to emphasize the importance of working towards a solution of the deepest, most difficult problems; and to recognize achievement in mathematics of historical magnitude.
   
   Press Release  
   

* * *

Actualização: em dailymail.co.uk, no artigo World’s cleverest man turns down $1million prize after solving one of mathematics’ greatest puzzles, de Will Stewart, Last updated at 11:32 AM on 23rd March 2010, lê-se: “A Russian awarded $1million (£666,000) for solving one of the most intractable problems in mathematics said yesterday that he does not want the money.”

Nova actualização (25.03.10, 0.23 AM) – lê-se num comentário de ontem ao artigo do dailymail.co.ok :

“There are reports this morning saying that Dr. Perelman has not in fact turned down the prize; he just hasn’t decided.”  

* * *

ICM2006 (em Madrid): em 2006 foi-lhe atribuída a Medalha Fields [recusada].

(vídeo [ver item "2006 Fields Medals announcements"]  ou em ICM 2006 – 1 ano depois, do blogue Lost …)

(vídeo sobre o trabalho de Perelman ver idem Laudationes: The work of Grigori Perelman – John Lott)

 

International Congress of Mathematicians Madrid 2006 Fields Medals announcements

Fields Medal:


Grigory Perelman

CITATION: “For his contributions to geometry and his revolutionary insights into the analytical and “geometric structure of the Ricci flow”

The name of Grigory Perelman is practically a household word among the scientifically interested public. His work from 2002-2003 brought groundbreaking insights into the study of evolution equations and their singularities.

Most significantly, his results provide a way of resolving two outstanding problems in topology: the Poincare Conjecture and the Thurston Geometrization Conjecture. As of the summer of 2006, the mathematical community is still in the process of checking his work to ensure that it is entirely correct and that the conjectures have been proved. After more than three years of intense scrutiny, top experts have encountered no serious problems in the work.

For decades the Poincaré Conjecture has been considered one of the most important problems in mathematics. The conjecture received increased attention from the general public when it was named as one of the seven Millennium Prize Problems established by the Clay Mathematics Institute in 2000. The institute has pledged to award a prize of one-million US dollars for the solution of each problem. The work of Perelman on the Poincaré Conjecture is the first serious contender for one of these prizes.  

P.S. Em Dezembro 13, 2007 publiquei umas notas que tomei da conferência do Prof. Marcelo Viana em 12.12.07, na Gulbenkian, sobre a conjectura de Poincaré e Perelman.

[23.03.10: editado para completar, actualizar  e melhorar o texto] 

(mais…)

Março 22, 2010

Solução do Desafio sobre sequências (sucessões): descobrir o termo geral :: Solution to the Challenge: Find the general term of a sequence

Enunciado do Desafio/Challenge Statement

Qual é o próximo termo da sucessão seguinte? / Which is the next term of the following sequence?

\dfrac{1}{4},\dfrac{1}{8},\dfrac{1}{8},\dfrac{3}{16},\dfrac{3}{8},\dots

E o termo de ordem 20? / And its 20^{\text{th }}  term?

Adenda/Addendum

Nota: os termos são fracções reduzidas.

Remark: every term of the sequence is a  fraction in its lowest terms.

    Solução/Solution

O termo geral da sucessão é/The sequence general term is:

   \dfrac{(n-1)!}{2^{n+1}}

mas expresso como fracção reduzida  [gcd (greatest common divisoré o m.d.c. ou mdc  (máximo divisor comum)]/but written as a  fraction in its lowest terms 

  \dfrac{((n-1)!)/\gcd ((n-1)!,2^{n+1})}{2^{n+1}/\gcd ((n-1)!,2^{n+1})}\qquad (*)

 

 

Em PARI/GP obtém-se com/With this line of code in PARI/GP


        for(n=1,20,print(n ” : ” ((n-1)!/(2^(n+1)))))

isto / we get

    1 : 1/4
    2 : 1/8
    3 : 1/8
    4 : 3/16
    5 : 3/8
    6 : 15/16
    7 : 45/16
    8 : 315/32
    9 : 315/8
    10 : 2835/16
    11 : 14175/16
    12 : 155925/32
    13 : 467775/16
    14 : 6081075/32
    15 : 42567525/32
    16 : 638512875/64
    17 : 638512875/8
    18 : 10854718875/16
    19 : 97692469875/16
    20 : 1856156927625/32
   
   

Assim o sexto é/Hence the 6th term is

\dfrac{15}{16}

 e o vigésimo/and the 20th,

\dfrac{1856156927625}{32}.

   
O leitor d3r4z descobriu o 6.º temo aqui / The reader d3r4z found the 6th term here

(\ast ) – 24.03.10 –  acrescentado / added

Março 21, 2010

Primos em Python/A Python script for computing primes

Filed under: Matemática,Programação,Python — Américo Tavares @ 4:45 pm
Tags:

A função seguinte – primes(N),  em Python, no ambiente IDLE 2.6.4 (*), –  gera duas listas de números  para  calcular e apresentar os números primos até N.  


>>> def primes(N):
               x, y = [0]*(N+2), [0]*(N+1)
               x[1], p = 1, 2
               x_p = 1   
               while p <= N:      
                      print p,           
                      for m in range(1,N/p+1):  
                              if x[m] != 0:   
                                     x[m*p] = x[m] * x_p    
                      while x[p] != 0:            
                      y[p] = y[p-1] + x[p]
                      p += 1 

ou com comentários para melhor compreensão do script         

>>> def primes(N):
    # Define two arrays
    # x_0, x_1, . . . , x_{N+1}          
    # and y_0, y_1, . . . , y_N
    # and initialize them
    # x_0, x_1, . . . = 0,1,0,0,0, . . .
    # and y_0, y_1, . . . = 0,0,0,0, . . .
         x, y = [0]*(N+2), [0]*(N+1)
         x[1], p = 1, 2
         x_p = 1       # Set x_p = 1

         while p <= N: # Find the smallest p such that        
            print p,   # x_p = 0
            for m in range(1,N/p+1): # For every m such that
                    if x[m] != 0:    # x_m does not equal 0,
                           x[m*p] = x[m] * x_p  # set x_{m*p} 
            while x[p] != 0:         # = x_m times x_p       
            y[p] = y[p-1] + x[p]
            p += 1     # Add 1 to p

   
Por exemplo, até N=1000:

>>> primes(1000)
2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181 191 193 197 199 211 223 227 229 233 239 241 251 257 263 269 271 277 281 283 293 307 311 313 317 331 337 347 349 353 359 367 373 379 383 389 397 401 409 419 421 431 433 439 443 449 457 461 463 467 479 487 491 499 503 509 521 523 541 547 557 563 569 571 577 587 593 599 601 607 613 617 619 631 641 643 647 653 659 661 673 677 683 691 701 709 719 727 733 739 743 751 757 761 769 773 787 797 809 811 821 823 827 829 839 853 857 859 863 877 881 883 887 907 911 919 929 937 941 947 953 967 971 977 983 991 997

(*) Do Glossary de Python v2.6.4 documentation: IDLE “An Integrated Development Environment for Python. IDLE is a basic editor and interpreter environment which ships with the standard distribution of Python. Good for beginners, it also serves as clear example code for those wanting to implement a moderately sophisticated, multi-platform GUI application.”

P.S. Este script é uma modificação ao de  Alec Edgington neste comentário (em resposta a uma ideia de Tim Gowers.)

P.P.S. como explico aqui.

Adenda de 22.03.10:

Exercício: qual é o número primo mais próximo de 100000? Antes é o 99991 e depois, 100003, logo 100003 é o mais próximo.

Na próxima centena de milhar é . . . 199999 , o seguinte é 200003.

Intel Science Talent Search 2010 Winners

Filed under: Ciência,Divulgação,Notícia — Américo Tavares @ 2:29 pm
Tags: , ,

(via Return to Mount Bourbaki,  Akhil Mathew Climbing Mount Bourbaki )

 

        Intel Corporation News Release

First place: Erika DeBenedictis, 18, of Albuquerque, N.M., (…) for her project developing a software navigation system to help improve spacecraft travel through the solar system. Erika’s research found that the gravity and movement of planets create “easy transit routes,” which will ultimately help spacecraft move faster and with less fuel.

Second place: David Liu, 18, of Saratoga, Calif., (…) for his work to develop a system to recognize and understand digital images. David’s work has already been used to examine aerial images to identify hazards to buried oil pipelines and could also be used to enable unmanned aerial vehicles and Web-based image searches.

Third place: Akhil Mathew, 18, of Madison, N.J., (…) for his math project on Deligne categories, a setting for studying a wide range of algebraic structures with ties to theoretical physics.

(…)

Other top honors from the competition include:

Fourth place: Lynnelle Ye, 18, Palo Alto, Calif., (…) for her project that provided strategies for winning at a computer game titled “Graph Chomp.”

Fifth place: Eric Brooks, 16, Hewlett, N.Y., (…) for his research studying racial genetic factors that may affect the spread of prostate cancer.

Sixth place: John Capodilupo, 18, of Grand Rapids, Mich., (…) for his project that used cluster analysis of objects in the night sky to study the structure and evolution of the early universe.

Seventh place: Benjamen Sun, 17, of Grand Forks, N.D., (…) for his work studying how sand, dust and other debris on city streets can adsorb pollutants from rain and, thus, contaminate city water sources.

Eighth place: Katherine Rudolph, 18, of Naperville, Ill., (…) for her math project that investigated dense packing of identical spheres, the results of which can be used in fields from chemistry to cryptology.

Ninth place: Yale Fan, 18, of Beaverton, Ore., (…) for his research that demonstrated the advantages of quantum computing in performing difficult computations.

Tenth place: Linda Zhou, 18, of River Edge, N.J., (…) for her project that researched how to reverse drug resistance in breast cancer cells.

(…)

The Intel Science Talent Search encourages students to tackle challenging scientific questions and develop the skills necessary to solve the problems of tomorrow. Over the past 68 years, Science Talent Search finalists have gone on to win seven Nobel Prizes, two Fields Medals, three National Medals of Science and 11 MacArthur Foundation Fellowships.

(…)

   

Março 20, 2010

Relação de recorrência, recursiva ou equação às diferenças associada ao logaritmo de dois (ln 2)

As relações de recorrência associadas a \ln 2 são:

\left( n+1\right) b_{n+1}-3\left( 2n+1\right) b_{n}+nb_{n-1}=0\qquad n\geq 1\qquad \left( 1\right)

e

\left( n+1\right) a_{n+1}-3\left( 2n+1\right) a_{n}+na_{n-1}=0\qquad n\geq 1\qquad \left( 2\right)

em que, a_{0}=1,a_{1}=3 e b_{0}=0,b_{1}=2, podendo demonstrar-se  [1, secção 3] que

\dfrac{b_{n}}{a_{n}}\rightarrow \ln 2\qquad \left( 3\right) .

A fórmula explícita da sucessão \left( a_{n}\right) , — de inteiros — é, como demonstraremos, dada por:

a_{n}=\displaystyle\sum_{k=0}^{n}\dbinom{n}{k}\dbinom{n+k}{k}\qquad \left( 4\right)

pelo que

a_{n+1}=\dbinom{2n+2}{n+1}+\displaystyle\sum_{k=0}^{n}\dbinom{n+1}{k}\dbinom{n+1+k}{k}

e

a_{n-1}=\displaystyle\sum_{k=0}^{n}\dbinom{n-1}{k}\dbinom{n-1+k}{k}

Vamos mostrar que \left( 4\right) verifica \left( 2\right) .

Escrevendo

B_{n,k}=-\left( 4n+2\right) \dbinom{n}{k}\dbinom{n+k}{k}

será

B_{n,k-1}=-\left( 4n+2\right) \dbinom{n}{k-1}\dbinom{n+k-1}{k-1}

Assim

B_{n,k}-B_{n,k-1}=

 

=-\left( 4n+2\right) \dbinom{n}{k}\dbinom{n+k}{k}+\left( 4n+2\right) \dbinom{n}{k-1}\dbinom{n+k-1}{k-1}

 

Substituindo agora a_{n+1},a_{n} e a_{n-1} na relação de recorrência, vem

\left( n+1\right) \left[ \dbinom{2n+2}{n+1}+\displaystyle\sum_{k=0}^{n}\dbinom{n+1}{k}\dbinom{n+1+k}{k}\right]

 

-3\left( 2n+1\right) \displaystyle\sum_{k=0}^{n}\dbinom{n}{k}\dbinom{n+k}{k}+n\displaystyle\sum_{k=0}^{n}\dbinom{n-1}{k}\dbinom{n-1+k}{k}=0

donde

-\left( n+1\right) \dbinom{2n+2}{n+1}=

 

=\displaystyle\sum_{k=0}^{n}\left[ \left( n+1\right) \dbinom{n+1}{k}\dbinom{n+1+k}{k}-3\left( 2n+1\right) \dbinom{n}{k}\dbinom{n+k}{k}\right] +\displaystyle\sum_{k=0}^{n}\left[n\dbinom{n-1}{k}\dbinom{n-1+k}{k}\right]

 

=\displaystyle\sum_{k=0}^{n}\left[ -\left( 4n+2\right) \dbinom{n}{k}\dbinom{n+k}{k}+\left( 4n+2\right) \dbinom{n}{k-1}\dbinom{n+k-1}{k-1}\right]

 

=\displaystyle\sum_{k=0}^{n}B_{n,k}-B_{n,k-1}

que é uma soma telescópica em k. Prosseguindo, tem-se

-\left( n+1\right) \dbinom{2n+2}{n+1}=B_{n,n}-B_{n,-1}=B_{n,n}

porque B_{n,-1}=0. Mas

B_{n,n}=-\left( 4n+2\right) \dbinom{2n}{n}

pelo que basta verificar que

\left( n+1\right) \dbinom{2n+2}{n+1}=\left( 4n+2\right) \dbinom{2n}{n}

é  uma identidade, o que deixo ao cuidado dos meus leitores.

__________

[1] Eric Reyssat, Irrationalité de \zeta (3) selon Apéry, Séminaire Delange-Pisot-Poitou (Théorie des nombres) 20e année, 1978/79, nº 6, 6 p.

P.S: retirei uma igualdade desnecessária para esta demonstração e acrescentei [1].

Março 19, 2010

Dia do pai

Filed under: Blogue — Américo Tavares @ 5:51 pm
Tags:

                          _1_ | _7_
                            7   |   7
       7 3
      5, 2
_______
    1 4 6
3  6 5
_______
3 7 9, 6

2009 Putnam results

Filed under: Matemática,Math,Putnam — Américo Tavares @ 12:43 pm
Tags: , , ,

De ontem (via Qiaochu Yuan,  Annoying Precision ):

 Art of Problem Solving, Dr. Kent Merryfield    

[   Birch & Swinnerton Dyer ], Fri Mar 18, 2010: 

    
    Team ranks:

    1. MIT (Qingchun Ren, Bohua Zhan, Yufei Zhao)

    2. Harvard (Iurie Borieco, Arnav Tripathy, Alex Zhai)

    3. Caltech (Jason Bland, Sam Elder, Gjergji Zaimi)

    4. Stanford (Young Hun Jung, Seok Hyeung Lee, Jeffrey Wang)

    5. Princeton (Peter Diao, Adam Hesterberg, John Parton)

 
    Honorable mention:

    Duke

    U. of Maryland

    U. of Toronto

    U. of Virginia

    U. of Waterloo

 
    Putnam Fellows (in alphabetical order):

    William Johnson, U. of Washington (Seattle)

    Xiaosheng Mu, Yale

    Qingchun Ren, MIT

    Arnav Tripathy, Harvard

    Yufei Zhao, MIT

 

    Group N1:

    Yakov Berchenko-Kogan, Caltech

    Sergei Bernstein, MIT

    Jason Bland, Caltech

    Kestutis Cesnavicius, Rice

    Palmer Mebane, Harvey Mudd

    John Pardon, Princeton

    Jacob Steinhardt, MIT

    Yi Sun Harvard

    Alex Zhai, Harvard

    Bohua Zhan, MIT

 

    Group N2:

    Yi-Wei Chan, Illinois

    Jeffrey Chen, Stanford

    Miles Edwards, Indiana

    Sam Elder, Caltech

    Zhou Fan, Harvard

    Whan Ghang, MIT

    Seok Hyeong Lee, Stanford

    Panupong Pasupat, MIT

    Colin Sandon, MIT

    Eric Stansifer, Caltech

 
    The Elizabeth Lowell Putnam Prize doesn’t seem to have been awarded.

Março 17, 2010

Geometria: onde está o teorema de Pitágoras no logótipo do NTR ?

Filed under: Demonstração,Geometria,Matemática — Américo Tavares @ 9:08 pm
Tags: , , ,

Consegue aplicar o teorema de Pitágoras para explicar este logótipo? Melhor, acha que esta figura demonstra o teorema de Pitágoras?

Obs. Os dois quadrados maiores são iguais.

Fonte do logo — Primeiro slide de:

 Hyperelliptic Curves, Continued Fractions and Somos Sequences, Algorithmic Number Theory, Turku, May 8, 2007 

de 

 Alf van der Poorten (Emeritus Professor of Mathematics, ceNTRe for Number Theory Research, Sydney) 

18.03.10

P.S. E agora?

P.P.S.

Ver também nesta minha entrada, Exemplo de «Le triangle», na página 54 da revista La Recherche Spécial Mathématiques Nov 2008 – demonstração do teorema de Pitágoras (Pythagore).

 

larecherchepitagoras1

P.P.P.S.

Reportando-me à figura em que designei pelas letras a,b,c os lados dos quadrados pretos e dos triângulos.

O quadrado da esquerda por ter os lados iguais a a+b, tem de área (a+b)^2. A área do da direita é igual. A área total do quadrado da esquerda é

c^2+4\times\dfrac{ab}{2}=c^2+2ab

A área total do da direita é

(a+b)^2=a^2+b^2+2ab

Igualando estas áreas, tem-se

c^2+2ab=a^2+b^2+2ab

donde se demonstra que

c^2=a^2+b^2\ \square

Página Seguinte »

Tema: Rubric. Blog em WordPress.com.