Để chứng minh AB > AC trong tam giác OBC cân tại O (với OB = OC), chúng ta sẽ sử dụng tính chất của tam giác cân và thuộc tính của các đoạn thẳng trong hình phẳng.

1. **Thiết lập bài toán**:
- Gọi O là đỉnh của tam giác OBC, với OB = OC.
- Hãy lấy một điểm A trên tia đối của tia BO (tức là trên tia BO kéo dài).

2. **Chứng minh AB > AC**:
- Xét tam giác OBC, vì O là đỉnh của tam giác cân nên ta có:
- OB = OC (1)
- Điểm A nằm trên tia đối của tia BO, có nghĩa là A nằm ở phía bên ngoài của đoạn thẳng OB.
- Theo định nghĩa của đoạn thẳng, ta có thể viết:
- AB = AO + OB (2)
- AC = AO + OC (3)
- Từ (1), chúng ta có OB = OC. Do đó, (2) và (3) trở thành:
- AB = AO + OB
- AC = AO + OB (vì OB = OC)
- Tuy nhiên, vì A nằm trên tia đối của tia BO, tức là khoảng cách AO sẽ lớn hơn khoảng cách OB.
- Vì vậy, ta có:
- AB = AO + OB > AO + OC = AC (4)

3. **Kết luận**:
Từ (4), ta suy ra rằng AB > AC trong tam giác OBC cân tại O với A nằm trên tia đối của tia BO. Vậy chứng minh đã hoàn thành.

Lưu ý rằng bằng chứng trong hình học phẳng thường sử dụng tính chất của đoạn thẳng, tam giác, và mối quan hệ giữa các điểm trong không gian để chỉ ra rằng độ dài của AB lớn hơn AC trong trường hợp này.