>>381
PQRのx座標をa,b,cとして
面積の条件は((a-b)(b-c)(c-a))^2=1
これは対称式なので
重心座標x=(a+b+c)/3,y=(a^2+b^2+c^2)/3と
パラメータt=(a^3+b^3+c^3)/3で書ける
それはtに関してxとyの多項式係数の2次式になる
tが(よって解a,b,cが)存在する条件はその判別式が正
実際に計算すると
y-x^2 > 2^(1/3)/3
を得る