Because of the requirement on the length, the configuration is fixed: M lies on the ray CB past B, and N lies on the ray ED past D. See the figure. Let α=∠BAC and β=∠ABC. Moreover, let H be the orthocentre of the triangle (in other words: the intersection of AD, BE, and CF). Thales's theorem yields that AFHE, BDHF, CEHD, ABDE, BCEF, and CAFD are cyclic. Because of the cyclic quadrilateral ABDE, we get ∠CED=180∘−∠AED=∠ABD=β and because of the cyclic quadrilateral BCEF, we get ∠AEF=180∘−∠CEF=∠CBF=β. Analogously, ∠CDE and ∠BDF equal α.
From ∠CED=β=∠AEF it follows that ∠DEH=90∘−β=∠FEH. Hence, EH is the angular bisector of ∠DEF. Because DE∥FM, we get that ∠MFE=180∘−∠FED=180∘−2(90∘−β)=2β. As FN is the angular bisector of ∠MFE, we have ∠EFN=21⋅2β=β. Because ∠FEH=90∘−β, we also see that FN and EH are perpendicular, hence EH is not only the angular bisector in △FEN, but it is also an altitude. Therefore, this line is also the perpendicular bisector of FN. As B lies on this line, we get ∣BF∣=∣BN∣.
We already saw that ∠CDE=α=∠BDF. Because DE∥FM, we also have ∠BMF=∠CDE=α, hence ∠DMF=∠BMF=∠BDF=∠MDF. Thus, ∣FM∣=∣FD∣.
Let S be the intersection of AC with MF. Then we have ∠BFM=∠AFS and because DE∥FM, we get ∠CED=∠CSF. The exterior angle theorem in triangle AFS yields that ∠CSF=∠SAF+∠AFS=α+∠AFS.
Combining everything, we obtain ∠CED=α+∠BFM. On the other hand, we knew that ∠CED=β, hence ∠BFM=β−α. Moreover, we know that ∠BMF=α. We conclude that ∣BF∣=∣BM∣ if and only if β−α=α, or if and only if β=2α. Because we already know that ∣BF∣=∣BN∣, we get: B is the circumcentre of △FMN if and only if β=2α.
Before, we saw that EH is the perpendicular bisector and altitude in triangle EFN, hence this triangle is isosceles with top angle E, which yields that ∠DNF=∠ENF=∠EFN=β. Moreover, we know that ∠CDE=α=∠BDF, from which it follows that ∠NDF=∠NDB+∠BDF=∠CDE+∠BDF=2α. Hence, ∣FD∣=∣FN∣ if and only if β=2α. Because we already knew that ∣FM∣=∣FD∣, we now get: F is the circumcentre of △DMN if and only if β=2α.
We conclude that F is the circumcentre of △DMN if and only if B is the circumcentre of △FMN, as both properties are equivalent to β=2α. □