Showing that $\langle p\rangle=\int\limits_{-\infty}^{+\infty}p |a(p)|^2 dp$ How do I show that $$\int \limits_{-\infty}^{+\infty} \Psi^* \left(-i\hbar\frac{\partial \Psi}{\partial x} \right)dx=\int \limits_{-\infty}^{+\infty} p \left|a(p)\right|^2dp\tag1$$
given that $$\Psi(x)=\frac{1}{\sqrt{2 \pi \hbar}}\int \limits_{-\infty}^{+\infty} a(p) \exp\left(\frac{i}{\hbar} px\right)dp\tag2$$

My attempt: $$\frac {\partial \Psi(x)}{\partial x} = \frac{1}{\sqrt{2\pi \hbar}} \int\limits_{-\infty}^{+\infty} \frac{\partial}{\partial x} \left(a(p)\exp\left(\frac{i}{\hbar} px\right)\right)dp\tag3$$
$$=\frac{1}{\sqrt{2\pi \hbar}} \int\limits_{-\infty}^{+\infty} a(p) \cdot \exp\left(\frac{i}{\hbar} px\right)\frac{i}{\hbar}p \cdot dp\tag4$$
Multiplying by $-i\hbar$:
$$-i\hbar \frac {\partial \Psi}{\partial x}=\frac{1}{\sqrt{2\pi \hbar}} \int\limits_{-\infty}^{+\infty} a(p) \cdot \exp\left(\frac{i}{\hbar} px\right)p \cdot dp\tag5$$
At this point I'm stuck because I don't know how to evaluate the integral without knowing $a(p)$. And yet, the right hand side of equation (1) doesn't have $a(p)$ substituted in.

The conclusion follows from the Fourier inversion formula (in distribution sense):
$$\begin{align*}
&\int_{-\infty}^{\infty} \Psi^{*} \left( -i\hbar \frac{\partial \Psi}{\partial x} \right) \, dx \\
&= \int_{-\infty}^{\infty} \left( \frac{1}{\sqrt{2\pi\hbar}} \int_{-\infty}^{\infty} a(p)^{*}e^{-ipx/\hbar} \, dp \right) \left( \frac{1}{\sqrt{2\pi\hbar}} \int_{-\infty}^{\infty} p' a(p')e^{ip'x/\hbar} \, dp' \right) \, dx \\
&= \frac{1}{2\pi\hbar} \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}  p' a(p)^{*}a(p') e^{i(p'-p)x/\hbar} \, dp'dp dx \\
&= \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}  p' a(p)^{*}a(p') \left( \frac{1}{2\pi\hbar} \int_{-\infty}^{\infty} e^{i(p'-p)x/\hbar} \, dx \right) \, dp' dp \\
&= \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}  p' a(p)^{*}a(p') \delta(p-p') \, dp' dp \\
&= \int_{-\infty}^{\infty} p a(p)^{*}a(p) \, dp
= \int_{-\infty}^{\infty} p \left| a(p) \right|^2 \, dp.
\end{align*}$$
