Kí hiệu như trên hình vẽ. Ta có SADC = SBDC .
Cùng trừ đi S5 được : S1 + S2 = S3 + S4 (1) Giả sử OE > OF thì S1 > S3 và S2 > S4 nên S1 + S2 > S3 + S4, trái với (1). Giả sử OE < OF thì S1 < S3 và S2 < S4 nên S1 + S2 < S3 + S4, trái với (1). Vậy OE = OF.