证明:连接EF
设正方形边长为a
因为AF=1/4AD E是AB中点
所以AF=a/4,DF=3a/4 AE=BE=a/2
EF²=(AE²+AF²)=5a²/16
EC²=(BE²+BC²)=5a²/4=20²/16
CF^2=(DF²+CD²)=25a²/16
则
CF²=AF²+EC²
由于三边满足勾股定理,
所以△FEC为直角三角形 ∠FEC=90度
S△FEC=1/2*EG*AC=1/2EF*EC
所以EG*AC=EF*EC
EF=√5a/4 EC=2√5a/4 AC=√(FD²+DC²)=√(9a²/16+a²)=√25a²/16=5a/4
EG=EF*EC/AC=(√5a/4)*(2√5a/4 )/(5a/4)=a/2
在△CEG和△CEB中
因为EG=EB=a/2
∠EGC=B=90度
EC=EC(公共边)
所以△CEG≌△CEB(SSA)