есть прямая, и есть обратная. Прямая - это "если AK, BM и CN пересекаются в одной точке, то AN*BK*CM/(BN*AM*CK) = 1" а обратная - "если ... = 1; то ... пересекаются в одной точке". Доказательство у них принципиально разное. Обычно сначала как-то доказывают прямую, а потом обратную от "противного". По-моему, я тут приводил 3 варианта доказательств прямой теоремы, но тут так все организовано, что найти те задачи очень сложно