探究一:如图1,已知正方形ABCD,E、F分别是BC、AB上的两点,且AE⊥DF.小明经探究,发现AE=DF.请你帮他写出证明过程.
探究二:如图2,在矩形ABCD中,AB=3,BC=4,E、G分别在边BC、AD上,F、H分别在边AB、CD上,且GE⊥FH.小明发现,GE与FH并不相等,请你帮他求出的值.
探究三:小明思考这样一个问题:如图3,在正方形ABCD中,若E、G分别在边BC、AD上,F、H分别在边AB、CD上,且GE=FH,试问:GE⊥FH是否成立?若一定成立,请给予证明;若不一定成立,请画图并作出说明.