Tangential Quadrilateral Theorem of Gusić & Mladinić

Theorem of Gusić & Mladinić
"A quadrilateral is tangential, if and only if, the incircles of the two triangles formed by a diagonal are tangent to each other".

I've taken the liberty of naming this theorem after two Croatian colleagues, Jelena Gusić & Petar Mladinić (2001), who as far as I’ve been able to ascertain, have priority in first publishing the result in a journal Poučak. Later publications by Worrall (2004) and Josefsson (2011) also mention and prove the theorem.

Investigate
1) In the first dynamic sketch below, a general quadrilateral ABCD is shown with diagonal BD drawn and the incircles of triangles ABD and BCD constructed. What do you notice about the distance EF?
2) Drag any of the vertices until E and F coincide and click on the Show Incircle button. What do you notice?
3) Now click on the Link to Theorem of Gusić & Mladinić and use your observations in 1) and 2) to prove it.

Theorem of Gusić & Mladinić

Further Investigation
Here's a neat application to a tangential hexagon of the general quadrilateral result giving EF as the absolute value of the difference between the two sums of opposite sides: Tangential Hexagon Incircles Application.

To learn more about other properties of a tangential/circumscribed quadrilateral go to Pitot's Theorem.