Difference between revisions of "Value of Ai'(0)"

Theorem: The following formula holds: $$\mathrm{Ai}'(0)=-\dfrac{1}{3^{\frac{1}{3}}\Gamma\left(\frac{1}{3}\right)},$$ where $\mathrm{Ai}$ denotes the Airy Ai function and $\Gamma$ denotes the gamma function.