已知:如图,四边形ABCD为正方形,以AB为直径的半圆O1和以O1C为直径的⊙O2交于点F,连CF并延长交AD于点H,FE⊥AB于点E,BG⊥CH于点G.(1)求证:CH是半圆O1的切线;(2)连接AF,求证:AF∥O1C;(3)当正方形ABCD的边长为5时,求四边形ABGF的面积.