三点共线定理O一定在直线外吗

不一定。三点共线定理（即三点共线的充分必要条件是它们在同一直线上）只是说明如果三个点A、B、C共线，则它们必须在同一直线上。

但如果三点A、B、C不共线，则O可能在它们之一条直线的延长线上，也可能在它们的外部某个位置。

因此，只有在给定三个共线点A、B、C的情况下，O才一定在它们之外的某个位置。