因为∠ADE=∠B(已知)
所以DE∥BC(同位角相等,两直线平行)
所以∠EOC=∠DCF(两直线平行,内错角相等)
因为∠EOC=∠GFB(已知)
所以∠GFB=∠DCF(等量代换)
所以FG∥CD(同位角相等,两直线平行)
因为FG⊥AB(已知)
所以∠FGB=90度
因为FG∥CD(已证)
所以∠CDB=90度(两直线平行,同位角相等)
所以CD∠AB(垂直的定义)
因为∠ADE=∠B(已知)
所以DE∥BC(同位角相等,两直线平行)
所以∠EOC=∠DCF(两直线平行,内错角相等)
因为∠EOC=∠GFB(已知)
所以∠GFB=∠DCF(等量代换)
所以FG∥CD(同位角相等,两直线平行)
因为FG⊥AB(已知)
所以∠FGB=90度
因为FG∥CD(已证)
所以∠CDB=90度(两直线平行,同位角相等)
所以CD∠AB(垂直的定义)