Considere o triângulo ABC no plano euclidiano R², cujos comprimentos dos lados opostos aos vértices A, B e C são denotados por a, b e c, respectivamente. Seja / o incentro de ABC e r o seu raio da circunferência inscrita (inraio). Sabendo que as áreas das regiões triangulares IBC, ICA e IAB estão em progressão aritmética, nessa ordem, é condição necessária e suficiente para a existência dessa configuração que: