`ABCD` là hình thang nội tiếp đường tròn 

Gọi giao của `AC` và` BD` là `H`

`hat{CAB} = hat{CDB} (`Góc nội tiếp chắn cung `BC)`

Mà `AB // CD => hat{CDB} = {ABD} `

`=> hat{CAB} = hat{DBA} (1)`

Có `hat{DAC} = hat{DBC} (`Góc nội tiếp chắn cung `DC) (2)`

Từ `(1), (2) => hat{CAB} + hat{DAC} = hat{DBA} + hat{DBC} => hat{DAB} = hat{CBA}`

Mà hai góc này là hai góc liên tiếp thuộc đáy `AB`

`=> ABCD `là hình thang cân