如图18.12如图18.12,ABCD是正方形,点G事BC上的任意一点,DE⊥AG于E,BF∥DE,交AG于F.求证:AF=BF+EF

问题描述:

如图18.12如图18.12,ABCD是正方形,点G事BC上的任意一点,DE⊥AG于E,BF∥DE,交AG于F.求证:AF=BF+EF

证明:在直角三角形ADE和BAF中 AD=BA 角ADE=角BAF(均与角DAE互余) 两直角三角形全等,故AE=BF AF=AE+EF=BF+EF