假设BE和FC交于点O
再假设AB和FC交于点P
关注三角形FAP和三角形BOP
因为角AFC=角ABE,也就是角AFP=角OBP
又因为有一对对顶角:角APF=角OPB
所以角BOF也就是角BOP=180-角OPB-角OBP=180-角APF-角AFP=角FAP也就是角FAB
因为BAFG是正方形,所以角FAB=90
所以角BOP=角FAB=90
所以FC垂直于EB
假设BE和FC交于点O
再假设AB和FC交于点P
关注三角形FAP和三角形BOP
因为角AFC=角ABE,也就是角AFP=角OBP
又因为有一对对顶角:角APF=角OPB
所以角BOF也就是角BOP=180-角OPB-角OBP=180-角APF-角AFP=角FAP也就是角FAB
因为BAFG是正方形,所以角FAB=90
所以角BOP=角FAB=90
所以FC垂直于EB