Xét `△ABC` cân tại `A` có: `AH` là đường cao
`=> AH` đồng thời là đường phân giác của góc `A`
Xét `△ABD` và `△ACD` có:
`AB=AC` (`△ABC` cân tại `A`)
`hat(BAD)=hat(CAD)` (`AD` là phân giác của góc `hat A`)
`AD`: cạnh chung
`=> △ABD=△ACD(c.g.c)`
`=> hat(ABD)=hat(ACD)=90^o` (hai góc tương ứng)
Ta có:
+) `△ABD` vuông tại `B`(`hat(ABD)=90^o`)
`=>` `A,B,D` cùng thuộc một đường tròn đường kính `AD` `(1)`
+) `△ADC` vuông tại `C` (`hat(ACD)=90^o`)
`=>` `A,C,D` cùng thuộc một đường tròn đường kính `AD` `(2)`
Từ `(1)` và `(2)` suy ra `A,B,D,C` cùng thuộc đường tròn đường kính `AD`
Vậy `B,C` cùng thuộc đường tròn đường kính `AD`