Sejam $f:[a,b]\to\mathbb{R}$ uma função contínua, $x_1,\ldots,x_n$ pontos distintos de $[a,b]$, e números reais de mesmo sinal $w_1,\ldots,w_n$. Mostre que existe pelo menos um ponto $c\in[a,b]$ tal que
$$\sum_{i=1}^nf(x_i)w_i=f(c)\sum_{i=1}^nw_i$$
Solução: Suponha sem perda de generalidade que $w_i>0$ para todo $1\leq i\leq n$, (a demonstração é análoga para o outro caso). Note inicialmente que $[a,b]$ é compacto, assim, visto que $f$ é contínua, $f$ atinge seu valor de máximo e mínimo no domínio, logo, exitem $c_1,c_2$ tais que $f(c_1)=m,f(c_2)=M$ e
$$m\leq f(x)\leq M,\quad\forall x\in [a,b]\qquad (1)$$
Defina $F:[a,b]\to\mathbb{R}$ por
$$F(x)=\sum_{i=1}^n[f(x)-f(x_i)]w_i$$
$F$ é claramente contínua, pois $f$ é contínua. Observe que
$$F(c_1)=\sum_{i=1}^n[m-f(x_i)]w_i\leq0,$$
pois de $(1)$ temos $m\leq f(x)\Rightarrow m-f(x)\leq0,\forall x \in[a,b]$ e por hipótese $w_i>0$.
Analogamente,
$$F(c_2)=\sum_{i=1}^n[M-f(x_i)]w_i\geq0,$$
pois de $(1)$ temos $M\geq f(x)\Rightarrow M-f(x)\geq0,\forall x \in[a,b]$ e por hipótese $w_i>0$.
Temos agora três casos a considerar:
Caso 1: $F(c_1)=0$, se ocorrer esse caso, então acabamos a questão, pois
$$F(c_1)=0$$
$$\sum_{i=1}^n[f(c_1)-f(x_i)]w_i=0$$
$$\sum_{i=1}^nf(c_1)w_i=\sum_{i=1}^nf(x_i)w_i$$
$$f(c_1)\sum_{i=1}^nw_i=\sum_{i=1}^nf(x_i)w_i$$
Caso 2: $F(c_2)=0$, concluímos como no caso anterior que $c_2$ satisfaz a igualdade desejada.
Caso 3: $F(c_1),F(c_2)\neq0$, assim só podemos ter $F(c_1)<0$ e $F(c_2)>0$. Como $F$ é contínua, pelo Teorema do Valor Intermediário, existe $c\in[a,b]$ tal que $F(c)=0$, nesse caso:
$$F(c)=0$$
$$\sum_{i=1}^n[f(c)-f(x_i)]w_i=0$$
$$\sum_{i=1}^nf(c)w_i=\sum_{i=1}^nf(x_i)w_i$$
$$f(c)\sum_{i=1}^nw_i=\sum_{i=1}^nf(x_i)w_i$$
Portanto, existe pelo menos um ponto $c\in[a,b]$ tal que
$$\sum_{i=1}^nf(x_i)w_i=f(c)\sum_{i=1}^nw_i$$
Nosso objetivo de hoje será calcular a soma dos inversos dos quadrados dos naturais de algumas maneiras distintas, obtendo assim uma pequena coleção de belas provas de tal fato. Teorema: $$ \sum_{k=1}^{\infty} \frac{1}{k^2} = \frac{\pi^2}{6}...
Na matemática, o número de Euler é uma das mais importantes constantes reais. A demonstração de que este número é irracional é considerada um dos mais elegantes teoremas de matemática. A demonstração baseia-se...
Este problema foi enviado pelo leitor e colaborador Prof. Aldenor Lemos, a motivação desta postagem veio do livro Logaritmos do Elon. o problema é o seguinte: Mostre que a soma é maior do que e conclua que . Isto se escreve também assim: Solução:...
Na postagem anterior mostramos a existência do número de Euler, agora prosseguiremos avançando nosso estudo desse número tão fascinante, e iremos mostrar que o número é irracional, começaremos definindo irracionalidade. Definição: Um número...
O teorema conhecido como teste da integral (ou teste de Leibniz) para verificar convergências de séries, faz uso da teoria de integrais impróprias. Teorema $1$:Se $f(n)$ representa o termo geral $u_n$ de uma série numérica infinita de termos positivos,...