Tam giác ABC đều cạnh a ngoại tiếp (O). Tiếp tuyến của (O)cắt AB, AC tại D,E. ĐẶt AD=x; AE=y; DE=z. Chứng minh: x^2 +y^2 -xy= z^2