如图4,若△ABC是任意三角形,求证:S正方形DEFG≤1/2S△ABC