证明:因为EF垂直BC AD垂直BC(已知)
所以角BFE=角BDA=90度(垂直定义)
所以EF平行AD(同位角相等,两直线平行)
所以角2=角3(两直线平行,同位角相等)
又因为角1=角2(已知)
所以角1=角3(等量代换)
所以GD平行AB(内错角相等,两直线平行)
所以角BAC+角AGD=180度(两直线平行,同旁内角互补)
证明:因为EF垂直BC AD垂直BC(已知)
所以角BFE=角BDA=90度(垂直定义)
所以EF平行AD(同位角相等,两直线平行)
所以角2=角3(两直线平行,同位角相等)
又因为角1=角2(已知)
所以角1=角3(等量代换)
所以GD平行AB(内错角相等,两直线平行)
所以角BAC+角AGD=180度(两直线平行,同旁内角互补)