directrix of hyperbola proof