PlanetPhysics/Fresnel Formulae

Proof.

\begin{pspicture}(-1,-1)(6.2,4.2) \psaxes[Dx=10,Dy=10]{->}(0,0)(-1,-1)(6,4) \rput(-0.2,4.1){} \rput(6.1,-0.2){} \rput(-0.17,-0.22){0} \rput(5,-0.3){} \rput(0.7,0.3){} \rput(1.4,1.7){} \rput(4.7,2.2){} \psline[linecolor=blue,linewidth=0.05]{->}(0,0)(5,0) \psline[linecolor=blue,linewidth=0.04]{->}(3.55,3.55)(0,0) \psarc[linecolor=blue,linewidth=0.04]{->}(0,0){5}{-1}{45} \psarc(0,0){0.5}{0}{45} \end{pspicture}

The function \,\, is entire, whence by the fundamental theorem of complex analysis we have

where is the perimeter of the circular sector described in the picture.\, We split this contour integral to three portions:

By the entry concerning the Gaussian integral, we know that

For handling , we use the substitution Using also de Moivre's formula we can write Comparing the graph of the function \,\, with the line through the points \,\, and\, \, allows us to estimate downwards: Hence we obtain and moreover Therefore Failed to parse (syntax error): {\displaystyle \lim_{R\to\infty}I_2 = 0.\\}

Then make to the substitution It yields

Thus, letting\, ,\, the equation (2) implies

Because the imaginary part vanishes, we infer that\, ,\, whence (3) reads So we get also the result\, ,\, Q.E.D.