ADEF are all parallelograms.
Connecting BF and AE, it is clear that BCAF is also a parallelogram, thus, □
AF=ED=BC,EF=AD,EB=CD,BF=AC
In quadrilaterals ABEF and AEBD, by Ptolemy's inequality we get
AB⋅EF+AF⋅BE⩾AE⋅BFBD⋅AE+AD⋅BE⩾AB⋅ED
That is
AB⋅AD+BC⋅CD⩾AE⋅ACBD⋅AE+AD⋅CD⩾AB⋅BC
Thus, from equations (1) and (2) we can obtain
DA⋅DB⋅AB+DB⋅DC⋅BC+DC⋅DA⋅CA=DB(AB⋅AD+BC⋅CD)+DC⋅DA⋅CA⩾DB⋅AE⋅AC+DC⋅DA⋅AC=AC(BD⋅AE+AD⋅CD)⩾AC⋅AB⋅BC
Therefore, the inequality is proved, and the equality holds if and only if the equalities in equations (1) and (2) hold simultaneously, i.e., the equality holds if and only if ABEF and AEBD are both cyclic quadrilaterals. This means the equality holds if and only if AFEBD is a cyclic pentagon. Since AFED is a parallelogram, the condition is equivalent to AFED being a rectangle (i.e., AD⊥BC) and ∠ABE=∠ADE=90∘, which is also equivalent to AD⊥BC and CD⊥AB. Therefore, the necessary and sufficient condition for the equality in the original inequality to hold is that D is the orthocenter of △ABC.