IMO 1984 LL FRA19

Origin: FRA

Problem

Let ABC be an isosceles triangle with right angle at point A. Find the minimum of the function F given by F(M) = BM + CM − \sqrt 3AM.