- Điểm nằm trên đường tròn tâm bán kính thì cách một khoảng bằng .
- Tứ giác có bốn cạnh bằng nhau là hình thoi (định nghĩa).
- Hình thoi có một góc vuông là hình vuông (Chú ý, Bài 14).
Định hướng. là giao điểm của hai đường tròn nên nằm trên cả hai, cho ngay và ; ghép với giả thiết là đủ bốn cạnh bằng nhau.
nằm trên đường tròn tâm đi qua nên
Theo giả thiết nên bốn cạnh bằng nhau, tức là hình thoi (định nghĩa)
Theo giả thiết nên góc của hình thoi bằng
Vậy hình thoi có một góc vuông tại nên là một hình vuông.
Định hướng. Vì nên đặt luôn hai tia đó làm hai trục toạ độ, giải hệ phương trình hai đường tròn để tìm toạ độ rồi đọc thẳng ra hình vuông.
thuộc đường tròn tâm bán kính : ; thuộc đường tròn tâm bán kính :
Trừ hai phương trình:
Thế vào phương trình đầu: (ứng với điểm , loại) hoặc
Vậy , tức bốn đỉnh , , ,
Vậy có bốn cạnh cùng bằng và các cạnh liên tiếp cùng phương với hai trục toạ độ vuông góc, nên là hình vuông cạnh .
Định hướng. và đều cách đều ; và đều cách đều — hai lần áp tính chất đường trung trực cho ngay hai đường chéo vừa vuông góc vừa cắt nhau tại trung điểm mỗi đường, tức là hình thoi mà không cần đếm cạnh trực tiếp.
(giả thiết) nên cách đều ; (vừa chứng minh ở trên) nên cách đều đường thẳng là đường trung trực của
Gọi là giao điểm của và : vì là trung trực của nên là trung điểm và ; vì là trung trực của nên cũng là trung điểm
Hai đường chéo , cắt nhau tại trung điểm của mỗi đường và vuông góc với nhau nên là hình thoi (Định lí 2b, Bài 14)
Vậy hình thoi có góc vuông (giả thiết ) nên là hình vuông.
Nhận xét. Cách này không cần đếm bốn cạnh bằng nhau trực tiếp mà đi thẳng vào tính chất đường chéo — hữu ích khi đề chỉ cho dữ kiện về đường tròn thay vì về cạnh.



