One method of evaluating $\int_0^\infty \cos x^2 \, dx$ and $\int_0^\infty \sin x^2 \, dx$ is to consider the complex function $f(z) = e^{iz^2}$ and evaluate it along a contour shaped like a $45^\circ$ sector of a circle, centered at the origin and with radius $R$. (More precisely, one that starts at $0$, moves to $R$, then to $Re^{i\pi/4}$, then back to the origin.) Applying Cauchy's theorem and letting $R \to \infty$ gives the desired results.
One problem I have is with bounding the circular part of the contour integral. We have to show that to show that $\int_0^{\pi/4} f(Re^{i\theta}) Ri e^{i\theta} \, d\theta \to 0$ as $R \to \infty$. I found a way to do this, but it is pretty tedious.
First we have \begin{align*} \int_0^{\pi/4} f(Re^{i\theta}) Ri e^{i\theta} \, d\theta = \int_0^{\pi/4} e^{-R^2e^{i2\theta}} Ri e^{i\theta} \, d\theta = \int_0^{\pi/4} e^{-R^2(\cos2\theta + i\sin2\theta)} Ri e^{i\theta} \, d\theta \end{align*} So: \begin{align*} \left| \int_0^{\pi/4} f(Re^{i\theta}) Ri e^{i\theta} \, d\theta \right| \leq \int_0^{\pi/4} e^{-R^2\cos 2\theta} R \, d\theta \end{align*} In the interval $[0, \frac{\pi}{4}]$, we have $\cos 2\theta \geq 1 - \frac{4}{\pi}\theta$, so: \begin{align*} \left| \int_0^{\pi/4} f(Re^{i\theta}) Ri e^{i\theta} \, d\theta \right| \leq \int_0^{\pi/4} e^{-R^2(1-\frac{4}{\pi}\theta)} R \, d\theta = \frac{\pi R}{4} \int_{0}^1 e^{-R^2\phi} \, d\phi = \frac{\pi R}{4} \frac{1-e^{-R^2}}{R^2} \end{align*}
At this point, we can easily see that the right hand side goes to $0$ as $R \to \infty$. However, is there a nicer argument? The fact that I have to use crude inequalities like $\cos 2\theta \geq 1 - \frac{4}{\pi}\theta$ makes me feel like there would be. (Or maybe I am not used to using these kinds of inequalities in analysis yet!)