The perpendicular from A on side BC of a ABC intersects BC at D such that DB = 3 CD. Prove that `2AB^2 = 2AC^2 + BC^2`.