Собственно, доказательство теперь проводится совсем просто. Например, можно сказать, что при таком качении одной параболы по другой можно об этом думать, как о качении касательной-зеркала, а вторая парабола это её образ в этом зеркале. Тогда фокус второй параболы это зеркальный образ фокуса первой — а из картинки для оптического свойства мгновенно следует, что отражение фокуса параболы относительно любой касательной к этой параболе всегда попадает на директрису. (Что само по себе симпатичный факт — и каюсь, буквально в таком виде я его не помнил.)