Cho đường thẳng D là đường trung trực của đoạn thẳng AB lấy điểm O thuộc D, O không thuộc AB vẽ đường tròn (O, OA)

Để chứng minh điểm B thuộc đường tròn (O, OA), ta làm như sau:

1. **Giả thuyết**: Giả sử A và B là hai điểm trong mặt phẳng, và D là đường trung trực của đoạn thẳng AB. Đường trung trực D chia đoạn thẳng AB thành hai đoạn bằng nhau, tức là \( AO = OB \).

2. **Tính chất của đường trung trực**: Bất kỳ điểm nào nằm trên đường trung trực của đoạn thẳng AB đều cách đều hai đầu mút A và B. Chính vì vậy, đối với điểm O nằm trên đường D, có \( OA = OB \).

3. **Đường tròn**: Đường tròn (O, OA) có tâm O và bán kính OA.

4. **Chứng minh**: Bởi vì \( OA = OB \) (theo tính chất của đường trung trực), nên điểm B cách điểm O một khoảng bằng bán kính của đường tròn (O, OA). Điều này có nghĩa là điểm B nằm trên đường tròn (O, OA).

5. **Kết luận**: Vậy ta có thể khẳng định rằng điểm B thuộc đường tròn (O, OA).

Do đó, ta đã hoàn thành việc chứng minh.