Cho đường tròn (O) có đường kính AB và điểm C thuộc đường tròn sao cho C khác A, B. Lấy E là điểm đối xứng của A qua C. Chứng minh rằng BE = BA.