已知,等边△ABC的边长为a,O是等边三角形内任意一点,OD、OE、OF分别是垂直等边△三边,求证:AD+BE+CF=3