Ta có: \(\widehat = \widehat \) (giả thiết)

\(\widehat = \widehat \) (hai góc đối đỉnh).

Từ đó suy ra: \(\widehat = \widehat \) (vì cùng bằng \(\widehat \))

Từ đó \(\widehat + \widehat = 180^\circ \) (hai góc kề bù) nên \(\widehat = 180^\circ - \widehat \);

\(\widehat + \widehat = 180^\circ \) (hai góc kề bù) nên \(\widehat = 180^\circ - \widehat \);

\(\widehat = \widehat \).

Từ đó suy ra: \(\widehat = \widehat \).