边长为2的正方形ABCD有一内切圆,又正三角形EFG内接于圆O,求证三角形EFG的边长