A triangle is formed by the three points a(x1, y1), b(x2, y2) and c(x3, y3) is a non-degenerate triangle if the following rules are respected (`|ab| is the length of the line between points a and b):

This is a companion discussion topic for the original entry at https://algo.monster/problems/citadel-oa-do-they-belong/