Vì hai góc kề bù có tổng bằng 180° nên ta có:

ABC^+CBx^=180°⇒ABC^=180°−CBx^; (1)

ACB^+BCy^=180°⇒ACB^=180°−BCy^. (2)

Do tổng ba góc trong tam giác ABC bằng 180° nên ta có:

BAC^+ABC^+ACB^=180° (3)

Từ (1), (2) và (3) ta suy ra:

BAC^=180°−ABC^−ACB^

         =180°−180°−CBx^−180°−BCy^

        =CBx^+BCy^−180°=4BAC^−180°

Do đó 3BAC^=180°⇒BAC^=60°.