If ABCDEF is a convex cyclic hexagon, then its diagonals AD, BE, CF are concurrent if and only if BCAB⋅DECD⋅FAEF=1.
Alternative version. Let ABCDEF be a hexagon inscribed in a circle. Then, the lines AD, BE, CF are concurrent if and only if AB⋅CD⋅EF=BC⋅DE⋅FA. geometry theoremsgeometry