Solution:
We take the hint. This statement is actually the "Radical Axis Theorem." To prove it, we let O1, O2, O3 be the centers of the circles and r1, r2, r3 their respective radii. We shall consider the set of points P satisfying PO12−PO22=r12−r22. For any P, let Q be the foot of the perpendicular from P to O1O2, and use directed distances on line O1O2 (i.e. distances may be positive or negative according to the order of the points). Then, PO12−PO22 equals
(PQ2+QO12)−(PQ2+QO22)=QO12−QO22=(QO1−QO2)(QO1+QO2)=O2O1(O2O1+2QO2),
a linear function of Q; hence there is exactly one position of Q for which PO12−PO22=r12−r22, and the desired set of P is a line perpendicular to O1O2 and passing through this Q. But, since AO1=r1, AO2=r2, we see that A lies on this line; similarly, so does D. So the line is line AD; i.e. PO12−PO22=r12−r22 iff P is on line AD. Likewise, one sees that PO12−PO32=r12−r32 iff P is on line BE, and PO22−PO32=r22−r32 iff P is on line CF. But then, if we take P to be the intersection of AD and CF, we have PO12−PO32=(PO12−PO22)+(PO22−PO32)=(r12−r22)+(r22−r32)=r12−r32, so P lies on BE. Thus, AD, BE, CF are concurrent.
Now the quadrilateral ABDE is cyclic with diagonals meeting at O, so triangles ABO, EDO are similar and AB/DE=BO/OD. Similarly, using two other quadrilaterals, we find that CD/FA=DO/OF, EF/BC=FO/OB. Multiplying together gives
DE⋅FA⋅BCAB⋅CD⋅EF=DOBO⋅FODO⋅BOFO=1,
which is what we need.