>>776
どろくさい方法でよければ、
外接円の中心を原点Oとして、A,B,Cの座標をxa,ya...と置いて、
各辺の長さが満たすべき式と半径が満たすべき式を書けばなんとかならない？
変数が1個多いなら、BCはx軸に平行とかするといいいかもしれない。
√3（5a-4)/3 があいまいだから解いてないけど。