In the proof of Dupire equation we end up with an identity involving the Dirac delta function.
How to prove that $$\dfrac{E[\sigma_T^2\delta(S_T-K)]}{E[\delta(S_T-K)]}=E[\sigma_T^2|S_T = K].$$
where $\delta(x)$ is the Dirac delta function. $S_T$ is a random variable, and $\sigma_T$ also.