He used the extreme value theorem. The theorem asserts that a continuous function on a compact set (for our purposes closed and bounded set) has a maximum (and a minimum). In this case the the closed and bounded set is the sphere of all possible orientations for solar panels. The theorem is mentioned in most introductory calculus courses, but the proof is definitely not 'trivial'.