Nối O1O2; O2O3; O1O3. Đây là các đường nối tâm của hai vòng tròn tiếp xúc nhau
=> O1; C; O3 thẳng hàng, O1; A; O2 thẳng hàng và O2; B; O3 thẳng hàng
Nối E với O3 và F với O3
Xét tam giác O1AC có O1A=O1C (bk đường tròn (O1)) => tg O1AC cân tại O1 => ^O1AC=^O1CA (1)
Xét tam giác O3CE có O3C=O3E (bk đường tròn (O3)) => tg O3CE cân tại O3 => ^O3CE=^O3EC (2)
Mà ^O1CA=^O3CE (góc đối đỉnh) (3)
Từ (1) (2) và (3) => ^O1AC=^O3EC => O1O2//O3E (*)
Tương tự như thế ta cũng c/m được O1O2//O3F (**)
Từ (*) và (**) => E; F; O3 thảng hàng (Từ O3 chỉ dựng được duy nhất 1 đường thẳng // O1O2)