如图所示．已知：在正方形ABCD中，∠BAC的平分线交BC于E，作EF⊥AC于F，作FG⊥AB于G．求证：AB2=2FG2．

Question

如图所示．已知：在正方形ABCD中，∠BAC的平分线交BC于E，作EF⊥AC于F，作FG⊥AB于G．求证：AB²=2FG²．

Answer 1

证明：∵AE是∠FAB的平分线，EF⊥AF，又AE是△AFE与△ABE的公共边，
∴Rt△AFE≌Rt△ABE（AAS），
∴AF=AB．①
在Rt△AGF中，∵∠FAG=45°，
∴AG=FG，
∴AF²=AG²+FG²=2FG²．②
由①，②得AB²=2FG²．