a) Ta sẽ chứng minh định lí trong ba trường hợp:
1) Tâm O của đường tròn nằm trên một cạnh của góc BACˆBAC^

Trường hợp 1.
Ta có ΔΔ OAC cân tại O (vì OA = OC = R)
=> BACˆBAC^ = ACOˆACO^
Ta lại có BOCˆBOC^ = BACˆBAC^ + ACOˆACO^ (theo tính chất góc ngoài của tam giác)
Hay BOCˆBOC^ = 2BACˆBAC^ (vì BACˆBAC^ = ACOˆACO^)
=> BACˆBAC^ = 1212BOCˆBOC^
Mà BOCˆBOC^ = sđ⁀BC (vì có AB là đường kính nên BC là cung nhỏ)
Do đó BACˆBAC^ = 1212sđ⁀BC