在RT三角形ABC中角C等于90度,以BC为直径做圆O