Dimostrazione della irrazionalità di π: differenze tra le versioni

<math>\frac{d}{dx}\left[F_n^{(1)}(x)\sin(\pi x) - \pi F_n(x) \cos(\pi x)\right] = \pi^2 a^n f(x) \sin(\pi x)</math> .