The First Law of Black Hole Mechanics

A simple proof of a strengthened form of the first law of black hole mechanics is presented. The proof is based directly upon the Hamiltonian formulation of general relativity, and it shows that the the first law variational formula holds for arbitrary nonsingular, asymptotically flat perturbations of a stationary, axisymmetric black hole, not merely for perturbations to other stationary, axisymmetric black holes. As an application of this strengthened form of the first law, we prove that there cannot exist Einstein-Maxwell black holes whose ergoregion is disjoint from the horizon. This closes a gap in the black hole uniqueness theorems.