áp dụng hệ thức lượng vào tam giác ACO vuông tại A có đường cao AH ta được
                    CH.CO=AC^2(*)
lại có AKB=90° (góc nội tiếp chắn nửa đường tròn)
áp dụng hệ thức lượng vào tam giác ACB vuông tại A có đường cao AH ta được
              CK.CB=AC^2 (**)
từ (*) và (**) => ĐPCM