xét tam giác OBA và tam giác OCA có : góc B = góc C =90 độ; cạnh OA chung; góc AOB = góc AOC
=> 2 tam giác OBA và OCA bằng nhau ( cạnh huyền-góc nhọn)=>BA=CA và OB=OC
xét BA=CA=> A thuộc đường trung trực của BC(1)
xét OB=OC=>O thuộc đường trung trực của BC(2)
từ (1) và (2) => OA là đường trung trực của BC