HYACINTHOS 10939

Dear Milorad,

> ...
> 5.P5((s-a)[2a^2-a(b+c)+(b-c)^2]^2:(s-b)[2b^2-b(c+a)+(c-a)^2]^2:

(s-c)[2c^2-c(a+b)+(a-b)^2]^2).

>
> 6.P6(a^2(b-c)^2(s-a)^3:b^2(c-a)^2(s-b)^3:c^2(a-b)^2(s-c)^3).
>

I think that

P5 is the incircle antipode of P1, X(1358),
on lines {X(2), X(11)}, {X(56), X(1292)} & {X(354), X(1357)} ....

P6 is the incircle antipode of X(1362), and on lines
{X(11), X(116)}, {X(12), X(118)} ....

Best regards,
Peter Moses