Finding a maximum likelihood solution typically requires taking the derivatives of the likelihood function with respect to all the unknown values, the parameters and the latent variables, and simultaneously solving the resulting equations.
The EM algorithm proceeds from the observation that the following is a way to solve these two sets of equations numerically.