Me preguntaba cómo que se derivan de estas fórmulas, y por eso tenemos una fórmula distinta para a0? Todo lo que sé de ingeniería avanzada de matemáticas libro de texto son las siguientes fórmulas, pero ¿de dónde vienen?
a0=12L∫L−Lf(x)dx, an=1L∫L−Lf(x)cosnπxLdx, bn=1L∫L−Lf(x)sinnπxLdx
He encontrado la prueba en algún lugar en la red!
para alguna función con algunas propiedades tenemos: ∫T0f(x)dx=∫α+Tαf(x)dx
y ahora tenemos(supongamos que L=π): f(x)=a0+∞∑n=1(ancos(nx)+bn\sen(nx))
Si integramos de [−π,π] desde arriba tenemos: ∫π−πf(x)dx=∫π−πa0+∞∑n=1∫π−π(ancos(nx)+bn\sen(nx)) la suma llega a cero y, finalmente, tenemos: ∫π−πf(x)dx=2πa0
para an multiplicamos la forma general de la con cos(nx) bn, sin(nx) viene a jugar, este método es debido a Euler y se denomina fórmulas de Euler, Y también de fourier él mismo hizo de esta manera!