Теорема Менелая содержит и прямое и обратное утверждение - то есть, если прямая пересекает стороны (или их продолжения так, как сказано в задаче, то (AK*BM*CT)/(KB*MC*AT) = 1; и наоборот, если такое соотношение выполнено, то три точки лежат на одной прямой. Кроме того, в правой части обычно стоит "-1". Это формальность - подразумевается, что AT = -TA, то есть формула учитывает ориентацию отрезков.