求证三角形cfe的周长等于正方形abcd的周长的一半