Trong hình vuông ABCD và nữa đường tròn đường kính AD và vẽ cung AC mà tâm là D. Nối D với điểm P bất kỳ trên cung AC, DP cắt nữa đường tròn đường kính AD ở K. Chứng minh PK bằng khoảng cách từ P đến AB.