Qua A vẽ đường thẳng dd'//BC
dd'//BC
`->` `hat{A1}` `=` `hat{B1}` ( 2 góc so le trong )
`hat{A2}` `=` `hat{B2}` ( 2 góc so le trong )
mà `hat{A1}` `+` `hat{A2}` `+` `hat{A3}` `=` `180^o` ( kề bù)
`->` `hat{A}` `+` `hat{B}` `+` `hat{C}` `=` `180^o`
`->` đpcm