kẻ đường kính BE của đường tròn O
vì các góc BAE, BDE đều nhìn đoạn BE dưới 1 góc vuông
suy ra góc BAE = BDE = 90
suy ra DE vuông góc với BD
mà AC vuông góc với BD (gt)
suy ra DE // AC
suy ra ACED là hình thang
mà tứ giác ACED nội tiếp đường tròn tâm O
suy ra ACED là hình thang cân (chỉ có hình thang cân mới nội tiếp đường tròn, định lý sgk)
suy ra AE = CD
ta có AB^2 + AE^2 = BE^2
kết hợp với trên, ta được AB^2 + CD^2 = BE^2 = 4R^2