Vì \(B\in Ox;C\in Oy\) => A và O \(\in\) hai mặt phẳng đối lập nhau
\(\widehat{BOC}=90^o;\widehat{BAC}=90^o\)
=> OBAC là hình vuông
\(=>\widehat{OBA}=90^o;\widehat{OCA}=90^o\)
Xét ΔOBA và ΔOCA có
\(\widehat{OBA}=\widehat{OCA}=90^o\)
OA chung
AB = AC
=> Δ vuông OBA = Δ vuông OCA (ch.cgv)
\(=>\widehat{BOA}=\widehat{COA}\)
=> OA là tia phân giác của \(\widehat{xOy}\)