Cho tam giác ABC vuông tại A nội tiếp trong đường tròn tâm O.Dựng đường thẳng d qua A song song với 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 với đường tròn (O). Chứng minh :

a) Tứ giác AECD nội tiếp được trong đường tròn