Trên AC lấy F sao cho ^ ABF = ^ CBD
Xét tam giác FAB và tam giác CDB có
^ FAB = ^ CDB ( cùng chắn cung BC )
^ ABF = ^ CBD (theo cách dựng)
=> Tam giác FAB ~ Tam giác CDB (g.g)
=> FA / CD= AB / DB
=> FA. DB = AB . CD (1)
Chứng minh tương tự ta có tam giác BCF ~ tam giác BDA (g.g)
=> BC / BD = CF...