Định lýĐã chứng minh
Công thức khoảng cách Euclid trong mặt phẳng
Phát biểu
Với hai điểm bất kỳ và trong mặt phẳng Descartes, khoảng cách giữa chúng là .
Vì sao đúng?
Kẻ các đường thẳng song song với hai trục tọa độ từ và sẽ tạo thành một tam giác vuông có hai cạnh góc vuông dài và , nên cạnh huyền suy ra trực tiếp từ Định lý Pythagore.
Phác thảo chứng minh
Xét điểm phụ có cùng tọa độ thứ hai với và cùng tọa độ thứ nhất với .
Đoạn thẳng song song với trục thứ nhất và có độ dài , còn đoạn thẳng song song với trục thứ hai và có độ dài . Vì hai trục tọa độ vuông góc với nhau nên .
Áp dụng Định lý Pythagore cho tam giác vuông ta được . Lấy căn bậc hai không âm cho ta (công thức vẫn đúng cả khi hoặc ).
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- René Descartes (trans. David Eugene Smith, Marcia L. Latham) (1954). The Geometry of René Descartes
- H. S. M. Coxeter (1969). Introduction to Geometry