Bách khoa toàn thư mở Wikipedia
Trong lĩnh vực hình học, định lý Schooten là 1 kết quả được tìm ra bởi nhà toán học người Hà Lan Frans van Schooten và là 1 trường hợp suy biến của Định lý Pompeiu . Định lý được phát biểu như sau:
Cho tam giác đều ABC nội tiếp đường tròn tâm O. Lấy điểm M thuộc cung BC. Khi đó ta có:
M
A
=
M
B
M
C
{\displaystyle MA=MB MC}
Hình ảnh về chứng minh
Lấy điểm B' thuộc AM sao cho MB=MB'(1).
Suy ra tam giác BB'M cân tại M.
Ta lại có:
∠
B
M
B
′
=
∠
B
C
A
=
60
∘
{\displaystyle \angle BMB'=\angle BCA=60^{\circ }}
(cùng chắn cung AB)
⇒
{\displaystyle \Rightarrow }
Tam giác BB'M đều
⇒
{\displaystyle \Rightarrow }
∠
B
′
B
M
=
60
∘
{\displaystyle \angle B'BM=60^{\circ }}
Ta có:
∠
A
B
C
=
∠
B
′
B
M
=
60
∘
{\displaystyle \angle ABC=\angle B'BM=60^{\circ }}
⇒
∠
A
B
B
′
=
∠
C
B
M
{\displaystyle \Rightarrow \angle ABB'=\angle CBM}
Lại có
∠
B
A
B
′
=
∠
B
C
M
{\displaystyle \angle BAB'=\angle BCM}
(cùng chắn cung BM)
và
A
B
=
B
C
{\displaystyle AB=BC}
⇒△
A
B
B
′
=△
C
B
M
⇒
A
B
′
=
M
C
{\displaystyle \Rightarrow \bigtriangleup ABB'=\bigtriangleup CBM\Rightarrow AB'=MC}
(2).
Từ (1), (2)
⇒
M
B
M
C
=
M
B
′
A
B
′
=
M
A
{\displaystyle \Rightarrow MB MC=MB' AB'=MA}
Vậy ta có điều phải chứng minh.