円錐曲線の焦点を通る任意の直線に対して交点と焦点を結ぶ2つの線分の調和平均は一定らしい