Prove a seguinte propriedade da função gamma para todo n nos naturais:
[tex]\Gamma\left(\dfrac{1}{2}+n\right)=\dfrac{1\cdot3\cdot5\dots(2n-1)}{2^n}\sqrt{ \pi}\\[/tex]
Use indução finita.
Obs: Cálculos auxiliares para o problema:
[tex] \begin{cases}\Gamma\left(\dfrac{1}{2}\right)=\sqrt{\pi}\\\\\Gamma\left(\dfrac{3}{4}\right)=\dfrac{\sqrt{\pi}}{2}\\ \\ \Gamma\left( \dfrac{7}{2} \right)=\dfrac{15\sqrt{\pi}}{4} \\ \\\Gamma\left(x+1\right)=x\Gamma(x) \end{cases}[/tex]
[tex]\Gamma\left(\dfrac{1}{2}+n\right)=\dfrac{1\cdot3\cdot5\dots(2n-1)}{2^n}\sqrt{ \pi}\\[/tex]
Use indução finita.
Obs: Cálculos auxiliares para o problema:
[tex] \begin{cases}\Gamma\left(\dfrac{1}{2}\right)=\sqrt{\pi}\\\\\Gamma\left(\dfrac{3}{4}\right)=\dfrac{\sqrt{\pi}}{2}\\ \\ \Gamma\left( \dfrac{7}{2} \right)=\dfrac{15\sqrt{\pi}}{4} \\ \\\Gamma\left(x+1\right)=x\Gamma(x) \end{cases}[/tex]
More Questions From This User See All
Lista de comentários
Verified answer
Provemos, inicialmente, que a propriedade é válida para o elemento mínimo dos naturais [tex]n=1[/tex].
Conforme o enunciado, temos que:
[tex]\Gamma\left(\cfrac{1}{2} + 1 \right) \\\\= \cfrac{1}{2} \cdot \Gamma\left(\cfrac{1}{2}\right)\\\\= \cfrac{1}{2}\sqrt{\pi}[/tex]
Testemos se esse valor condiz com a propriedade que queremos demonstrar:
[tex]\Gamma\left(\cfrac{1}{2} + 1 \right) \\\\= \cfrac{1}{2^1} \sqrt{\pi} \\\\= \cfrac{1}{2} \sqrt{\pi}[/tex]
[tex]n=1[/tex] é válido.
Hipótese de indução - suponha que a seguinte propriedade é válida para algum [tex]n \in \mathbb{N}[/tex]:
[tex]\Gamma\left(\cfrac{1}{2} + n \right) = \cfrac{1 \cdot 3 \cdot 5 \cdot ... \cdot (2n - 1)}{2^n} \sqrt{\pi}[/tex]
Passo indutivo - demonstrar que é válida também para [tex]n+1[/tex]:
[tex]\Gamma\left(\cfrac{1}{2} + (n+1) \right)\\\\\\= \Gamma\left(\cfrac{1}{2} + \cfrac{2n}{2} + 1 \right)\\\\\\= \Gamma\left(\cfrac{2n + 1}{2} + 1 \right)\\\\\\= \cfrac{2n + 1}{2} \cdot \Gamma\left(\cfrac{2n + 1}{2} \right)\\\\\\= \cfrac{2n + 1}{2} \cdot \Gamma\left(\cfrac{1}{2} + \cfrac{2n}{2} \right)\\\\\\= \cfrac{2n + 1}{2} \cdot \Gamma\left(\cfrac{1}{2} + n\right)[/tex]
Podemos substituir a função conforme a hipótese de indução:
[tex]\cfrac{2n + 1}{2} \cdot \cfrac{1 \cdot 3 \cdot 5 \cdot ... \cdot (2n - 1)}{2^n} \sqrt{\pi}\\\\= \cfrac{1 \cdot 3 \cdot 5 \cdot ... \cdot (2n - 1) \cdot (2n + 1)}{2^{n+1}}\sqrt{\pi}\\\\\\\boxed{\Gamma\left(\cfrac{1}{2} + (n+1) \right)= \cfrac{1 \cdot 3 \cdot 5 \cdot ... \cdot (2n - 1) \cdot (2n + 1)}{2^{n+1}}\sqrt{\pi}}[/tex]
Como a propriedade [tex]P(n)[/tex] em questão é válida para o elemento mínimo dos naturais, e como a validade de [tex]P(n) \Longrightarrow P(n+1)[/tex], logo, se pode afirmar que é válida [tex]\forall n \in \mathbb{N}[/tex].