MathLabs

Bài 2

Trong tam giác cân ABCABC với AB=ACAB=AC, gọi MM là trung điểm của BCBC và lấy O∈AMO\in AM sao cho OB⊥ABOB\perp AB. Với Q∈BCQ\in BC, gọi E∈ABE\in AB và F∈ACF\in AC là hai điểm phân biệt thẳng hàng với QQ. Chứng minh OQ⊥EFOQ\perp EF khi và chỉ khi QE=QFQE=QF.
Bước 3 trên 4: Dựng đường cho chiều đảo
Hiểu nôm na

So sánh đường thẳng EF với đường duy nhất qua Q vuông góc với OQ.

QE=QFQE=QF
Phân tích chi tiết

Giả sử QE=QFQE=QF. Gọi E′F′E'F' là đường qua QQ vuông góc với OQOQ, với E′∈ABE'\in AB và F′∈ACF'\in AC. Chiều thuận đã chứng minh cho QE′=QF′QE'=QF'.