Solution (source code)

= Solution

For a linear dielectric, $D=εE$ (equivalently $D=ε_0E+P$). With no free charge, Gauss law gives $\nabla\mathbin\cdot D=0$. Across an interface without free surface charge, $D_n$ is continuous; electrostatic Faraday law makes $E_t$ continuous.