On Pose AD=x
Thalès AD/AB=DE/BC ==> DE=4*x/3
Pythagore DF^2=DE^2+EF^2=(4*x/3)^2+(3-x)^2=16*x^2/9+x^2-6*x+9
DF^2=(25*x^2-54*x+81)/9=(25/9)(x^2-54/25+81/25)=(25/9)(x-27/25)^2-(27/25)^2+81/25)=(25/9)(x-27/25)^2+306/25
DF est minimale lorsque x=27/25=1.08 et DF vaut alors √(306/25)=3*√34/5