a) Xét ΔOAC và ΔOBC có:
`\hat{OAC}=\hat{OBC}=90^{o}(CA⊥Ox; CB ⊥ Oy)`
`OC: chung`
`\hat{AOC}=\hat{BOC}` (OC là tia phán giác của `\hat{xOy}`)
⇒ ΔOAC = ΔOBC (cạnh huyền - góc nhọn)
⇒ OA = OB (2 cạnh tương ứng)
⇒ ΔAOB cân tại O
b) Ta có: ΔOAC = ΔOBC (cmt)
⇒ AC = BC (2 cạnh tương ứng)
Ta có: `\hat{OAC}=\hat{OBC}=90^{o}(cmt)`
`⇒\hat{CAD}=\hat{CBE}=90^{o}` (lần lượt kề bù với `\hat{OAC}` và `\hat{OBC}`)
Xét ΔACD và ΔBCE có:
`\hat{CAD}=\hat{CBE}=90^{o}(cmt)`
`AC=BC(cmt)`
`\hat{ACD}=\hat{BCE}` (2 góc đối đỉnh)
⇒ ΔACD = ΔBCE (g.c.g)
⇒ CD = CE (2 cạnh tương ứng)
c) ΔOAC vuông tại A
`⇒OC²=