Note that ∠BΩD=∠ABΩ+BAΩ=B−α+α=B, where α is the Brocard angle. Thus triangles BΩD and ABD are similar. It follows that BD2=AD⋅ΩD. Let BD:DC=x:y, CE:EA=z:x, AF:FB=y:z. Then BD=ax/(x+y). We also have
ADΩD=x+y+zz,ADAΩ=x+y+zx+y.
Using this we get x2a2/(x+y)2=zAD2/(x+y+z). This implies that
AΩ2=(x+y+z)2(x+y)2AD2=x+y+z1⋅zx2⋅a2.
Thus
BC2AΩ2=x+y+z1⋅zx2.
We obtain
cyclic∑BC2AΩ2=x+y+z1cyclic∑zx2≥1,
as
(x+y+z)2≤(x+y+z)cyclic∑zx2,
by Cauchy-Schwarz inequality.