... vào (9) ta thấy định lý Casey suy từ định lý Ptoleme, cụ thể từ đẳng thức a.c + b.d = m.n Ngược lại, định lý Ptolemechính trường hợp đặc biệt định lý Casey, x = y = z = t = Định lý Casey phát biểu ... áp dụng định lý GPT đảo, ta cần kiểm tra xem có đẳng thức dạng ± a ( b − c ) ± b ( c − a ) ± c ( a − b ) = hay không Nhưng điều hiển nhiên Mở rộng định lý Ptoleme bất đẳng thức Ptoleme Chuyên Đề: ... giác ABD, CBD Ứng dụng “không hình học” bất đẳng thức Ptoleme Chúng ta đề cập đến ứng dụng định lý Ptoleme, bất đẳng thức Ptoleme lĩnh vực toán học khác, có lượng giác, giải tích, lý thuyết đồ...