Cho tam giác ABC vuông tại A (AB<AC) nội tiếp trong đường tròn tâm O. Dựng đường thẳng d qua A song song BC, đường thẳng d' qua C song song BA , gọi D là giao điểm của d và d'. Dựng AE vuông góc BD (E nằm trên BD), F là giao điểm của BD vs đường tròn (O).CM
a) Tứ giác AECD nội tiếp trong đường tròn.
b) Góc AOF = 2 lần góc CAE
c) Tứ giác AECF là hình bình hành.
d) DF*DB =2*AB^2