1.因为AC是圆O1的直径,所以角ABC=90
又因为ABFE为圆O的内接四边形,所以角ABC=角E=90.
又因为AD//EF,所以角DAC=90,
此时O1A垂直AD,A在圆O1上,所以AD切圆O1于点A
2.由AD//EF得,AE:DF=AC:DC
又可证RT三角形ADC相似于RT三角形BDA,可得AB:AD=AC:DC
所以AB:AD=AE:DF
1.因为AC是圆O1的直径,所以角ABC=90
又因为ABFE为圆O的内接四边形,所以角ABC=角E=90.
又因为AD//EF,所以角DAC=90,
此时O1A垂直AD,A在圆O1上,所以AD切圆O1于点A
2.由AD//EF得,AE:DF=AC:DC
又可证RT三角形ADC相似于RT三角形BDA,可得AB:AD=AC:DC
所以AB:AD=AE:DF