Цитата:
Посмотрите в очень хорошей книжке
Арсений Владимирович Акопян, Алексей Александрович Заславский
"Геометрические свойства кривых второго порядка."
Там много всего про коники. В том числе и геометрическое доказательство оптических свойств.
Там доказательство приведено в предположении, что "биссектриса угла FPP′
(обозначим ее через l′) пересекает параболу еще в какой-нибудь точке." А если она в другую сторону наклонится, то есть "верхний" на рисунке угол не уменьшится, а увеличится.