Tam giác BDA đồng dạng với tam giác AFC, từ đó suy ra BD.BC = BF.BA

Tam giác BDA đồng dạng với tam giác AFC từ đó suy ra BD.BC = BF.BA