問題

円に内接する6角形ABCDEFの
対角線AD,BE,CF が1点で交わるための
十分条件として,
AB*CD*EF = BC*DE*FA
という,チェバの定理の様な結果を得ました。
しかしこれだけ簡単な結果であれば,
どこかに「・・・の定理」 として存在しているように思います。
どなたか,ご存知ありませんか。

という記事が MathEnet で
友田 勝久(大教大池田)さんから発せられました

残念ながら、「・・・の定理」としては
知りません(多分私は初めて見た?)が
結果がとてもきれいなので
解く意欲が沸きますね。

解くのは簡単ですが、
問題を見つけるのは難しいですね
必要部分
Ceva's Theorem for Chords に紹介されていることを
むらい(山城高校)さんより知らせて頂きました。