小島先生の新作を読んでいて、パッポス(パップス)の定理というものをこの年になって初めて知る【枯葉初心者おれカネゴン】。
無料で手に入るGeoGebraで試してみると、元の補助線2つが直線であろうと円であろうと放物線であろうと双曲線であろうと全部成り立っていた。試しに補助線なしで適当にプロットすると成り立たないことも確認。