Cho đường tròn (O) nội tiếp tam giác ABC với các tiếp điểm là D; E; F lần lượt thuộc các cạnh BC; CA; AB. Chứng minh rằng tích các khoảng cách hạ từ một điểm P bất kì thuộc đường tròn (O) đến các cạnh của tam giác ABC bằng tích các khoảng cách từ điểm P đến các cạnh của tam giác DEF
