如图,AB是圆O的直径,OC垂直AB交圆O于C,求证三角形ABC是等腰直角三角形