Você está na página 1de 13

<< Baricentricas`;

{ptJa, ptKa} =
InterseccionConicaRecta[circunscrita, Mediatriz[ptA, {0, b, c}].{x, y, z}];
{ptJb, ptKb} = Map[PermutarTerna, {ptJa, ptKa}];
{ptJc, ptKc} = Map[PermutarTerna, {ptJb, ptKb}];

{pa, pb, pc} = TernaCiclicaPuntos[Recta[ptJb, ptKc]];

{ptA1, ptB1, ptC1} = TrianguloRectas[{pa, pb, pc}];

expr = Simplify[PerspectivoConABC[{ptA1, ptB1, ptC1}]]


True

ptQ = Expand[PerspectorConABC[{ptA1, ptB1, ptC1}]]

16 a10 b3 - 16 a9 b4 - 32 a8 b5 + 32 a7 b6 + 16 a6 b7 - 16 a5 b8 + 24 a11 b c - 24 a10 b2 c - 88 a9 b3 c +


152 a8 b4 c + 32 a7 b5 c - 232 a6 b6 c + 104 a5 b7 c + 104 a4 b8 c - 72 a3 b9 c + 16 a11 c2 -
72 a10 b c2 + 144 a9 b2 c2 + 8 a8 b3 c2 - 456 a7 b4 c2 + 424 a6 b5 c2 + 144 a5 b6 c2 - 376 a4 b7 c2 +
216 a3 b8 c2 - 48 a2 b9 c2 + 32 a9 b c3 - 336 a8 b2 c3 + 640 a7 b3 c3 - 24 a6 b4 c3 - 992 a5 b5 c3 +
800 a4 b6 c3 - 64 a3 b7 c3 - 24 a2 b8 c3 - 32 a9 c4 + 112 a8 b c4 + 144 a7 b2 c4 - 1128 a6 b3 c4 +
1104 a5 b4 c4 + 176 a4 b5 c4 - 528 a3 b6 c4 + 168 a2 b7 c4 - 16 a b8 c4 - 104 a7 b c5 + 280 a6 b2 c5 +
216 a5 b3 c5 - 1192 a4 b4 c5 + 648 a3 b5 c5 - 32 a2 b6 c5 + 16 a7 c6 + 72 a6 b c6 - 560 a5 b2 c6 +
584 a4 b3 c6 + 296 a3 b4 c6 - 176 a2 b5 c6 + 32 a b6 c6 - 64 a5 b c7 + 304 a4 b2 c7 - 592 a3 b3 c7 +
120 a2 b4 c7 - 112 a4 b c8 + 48 a3 b2 c8 + 56 a2 b3 c8 - 16 a b4 c8 + 112 a3 b c9 - 64 a2 b2 c9 +
16 a10 b2 b2 + 4 a c - 48 a9 b3 b2 + 4 a c + 32 a8 b4 b2 + 4 a c + 32 a7 b5 b2 + 4 a c -
48 a6 b6 b2 + 4 a c + 16 a5 b7 b2 + 4 a c + 8 a11 c b2 + 4 a c - 8 a10 b c b2 + 4 a c -
40 a9 b2 c b2 + 4 a c + 120 a8 b3 c b2 + 4 a c - 224 a7 b4 c b2 + 4 a c + 200 a6 b5 c b2 + 4 a c +
56 a5 b6 c b2 + 4 a c - 184 a4 b7 c b2 + 4 a c + 72 a3 b8 c b2 + 4 a c - 8 a10 c2 b2 + 4 a c +
48 a9 b c2 b2 + 4 a c - 152 a8 b2 c2 b2 + 4 a c + 56 a7 b3 c2 b2 + 4 a c + 328 a6 b4 c2 b2 + 4 a c -
528 a5 b5 c2 b2 + 4 a c + 328 a4 b6 c2 b2 + 4 a c - 24 a3 b7 c2 b2 + 4 a c - 48 a2 b8 c2 b2 + 4 a c -
32 a9 c3 b2 + 4 a c - 16 a8 b c3 b2 + 4 a c + 288 a7 b2 c3 b2 + 4 a c - 712 a6 b3 c3 b2 + 4 a c +
576 a5 b4 c3 b2 + 4 a c + 352 a4 b5 c3 b2 + 4 a c - 544 a3 b6 c3 b2 + 4 a c +
120 a2 b7 c3 b2 + 4 a c + 32 a8 c4 b2 + 4 a c - 208 a7 b c4 b2 + 4 a c + 200 a6 b2 c4 b2 + 4 a c +
624 a5 b3 c4 b2 + 4 a c - 1056 a4 b4 c4 b2 + 4 a c + 624 a3 b5 c4 b2 + 4 a c -
8 a 2 b6 c4 b2 + 4 a c - 16 a b7 c4 b2 + 4 a c + 24 a7 c5 b2 + 4 a c + 200 a6 b c5 b2 + 4 a c -
664 a5 b2 c5 b2 + 4 a c + 664 a4 b3 c5 b2 + 4 a c + 392 a3 b4 c5 b2 + 4 a c -
352 a2 b5 c5 b2 + 4 a c + 32 a b6 c5 b2 + 4 a c - 24 a6 c6 b2 + 4 a c + 112 a5 b c6 b2 + 4 a c +
360 a4 b2 c6 b2 + 4 a c - 744 a3 b3 c6 b2 + 4 a c + 304 a2 b4 c6 b2 + 4 a c -
176 a4 b c7 b2 + 4 a c + 240 a3 b2 c7 b2 + 4 a c + 200 a2 b3 c7 b2 + 4 a c - 64 a b4 c7 b2 + 4 a c +
48 a3 b c8 b2 + 4 a c - 248 a2 b2 c8 b2 + 4 a c + 48 a b3 c8 b2 + 4 a c + 32 a2 b c9 b2 + 4 a c +
32 a b2 c9 b2 + 4 a c - 32 a b c10 b2 + 4 a c - 16 a9 b3 a2 + 4 b c + 48 a8 b4 a2 + 4 b c -
32 a7 b5 a2 + 4 b c - 32 a6 b6 a2 + 4 b c + 48 a5 b7 a2 + 4 b c - 16 a4 b8 a2 + 4 b c -
24 a10 b c a2 + 4 b c + 72 a9 b2 c a2 + 4 b c - 8 a 8 b3 c a2 + 4 b c - 120 a7 b4 c a2 + 4 b c +
160 a6 b5 c a2 + 4 b c - 136 a5 b6 c a2 + 4 b c + 24 a4 b7 c a2 + 4 b c + 56 a3 b8 c a2 + 4 b c -
24 a2 b9 c a2 + 4 b c + 16 a10 c2 a2 + 4 b c + 8 a 9 b c 2 a2 + 4 b c - 192 a8 b2 c2 a2 + 4 b c +
456 a7 b3 c2 a2 + 4 b c - 296 a6 b4 c2 a2 + 4 b c - 248 a5 b5 c2 a2 + 4 b c +
2 perpendicularbisectors.nb

384 a4 b6 c2 a2 + 4 b c - 152 a3 b7 c2 a2 + 4 b c + 24 a2 b8 c2 a2 + 4 b c -
32 a9 c3 a2 + 4 b c + 160 a8 b c3 a2 + 4 b c - 48 a7 b2 c3 a2 + 4 b c - 528 a6 b3 c3 a2 + 4 b c +
792 a5 b4 c3 a2 + 4 b c - 544 a4 b5 c3 a2 + 4 b c + 112 a2 b7 c3 a2 + 4 b c -
8 a b 8 c3 a2 + 4 b c - 144 a7 b c4 a2 + 4 b c + 592 a6 b2 c4 a2 + 4 b c - 584 a5 b3 c4 a2 + 4 b c -
416 a4 b4 c4 a2 + 4 b c + 560 a3 b5 c4 a2 + 4 b c - 144 a2 b6 c4 a2 + 4 b c +
8 a b 7 c4 a2 + 4 b c + 64 a7 c5 a2 + 4 b c - 120 a6 b c5 a2 + 4 b c - 424 a5 b2 c5 a2 + 4 b c +
840 a4 b3 c5 a2 + 4 b c - 504 a3 b4 c5 a2 + 4 b c - 72 a2 b5 c5 a2 + 4 b c +
32 a b6 c5 a2 + 4 b c - 48 a6 c6 a2 + 4 b c + 216 a5 b c6 a2 + 4 b c - 416 a4 b2 c6 a2 + 4 b c -
344 a3 b3 c6 a2 + 4 b c + 232 a2 b4 c6 a2 + 4 b c - 32 a b5 c6 a2 + 4 b c - 32 a5 c7 a2 + 4 b c -
96 a4 b c7 a2 + 4 b c + 432 a3 b2 c7 a2 + 4 b c - 128 a2 b3 c7 a2 + 4 b c - 24 a b4 c7 a2 + 4 b c +
32 a4 c8 a2 + 4 b c - 80 a3 b c8 a2 + 4 b c - 80 a2 b2 c8 a2 + 4 b c + 24 a b3 c8 a2 + 4 b c +
80 a2 b c9 a2 + 4 b c - 16 a9 b2 b2 + 4 a c a2 + 4 b c + 16 a8 b3 b2 + 4 a c a2 + 4 b c +
32 a7 b4 b2 + 4 a c a2 + 4 b c - 32 a6 b5 b2 + 4 a c a2 + 4 b c -
16 a5 b6 b2 + 4 a c a2 + 4 b c + 16 a4 b7 b2 + 4 a c a2 + 4 b c - 8 a10 c b2 + 4 a c a2 + 4 b c +
24 a9 b c b2 + 4 a c a2 + 4 b c + 8 a 8 b2 c b2 + 4 a c a2 + 4 b c -
88 a7 b3 c b2 + 4 a c a2 + 4 b c + 32 a6 b4 c b2 + 4 a c a2 + 4 b c +
104 a5 b5 c b2 + 4 a c a2 + 4 b c - 56 a4 b6 c b2 + 4 a c a2 + 4 b c -
40 a3 b7 c b2 + 4 a c a2 + 4 b c + 24 a2 b8 c b2 + 4 a c a2 + 4 b c +
8 a 9 c2 b2 + 4 a c a2 + 4 b c - 64 a8 b c2 b2 + 4 a c a2 + 4 b c +
72 a7 b2 c2 b2 + 4 a c a2 + 4 b c + 152 a6 b3 c2 b2 + 4 a c a2 + 4 b c -
152 a5 b4 c2 b2 + 4 a c a2 + 4 b c - 128 a4 b5 c2 b2 + 4 a c a2 + 4 b c +
136 a3 b6 c2 b2 + 4 a c a2 + 4 b c - 24 a2 b7 c2 b2 + 4 a c a2 + 4 b c +
48 a7 b c3 b2 + 4 a c a2 + 4 b c - 144 a6 b2 c3 b2 + 4 a c a2 + 4 b c +
8 a 5 b3 c3 b2 + 4 a c a2 + 4 b c + 288 a4 b4 c3 b2 + 4 a c a2 + 4 b c -
160 a3 b5 c3 b2 + 4 a c a2 + 4 b c - 16 a2 b6 c3 b2 + 4 a c a2 + 4 b c +
8 a b 7 c3 b2 + 4 a c a2 + 4 b c - 16 a6 b c4 b2 + 4 a c a2 + 4 b c +
200 a5 b2 c4 b2 + 4 a c a2 + 4 b c - 224 a4 b3 c4 b2 + 4 a c a2 + 4 b c -
64 a3 b4 c4 b2 + 4 a c a2 + 4 b c + 48 a2 b5 c4 b2 + 4 a c a2 + 4 b c -
8 a b 6 c4 b2 + 4 a c a2 + 4 b c + 8 a 6 c5 b2 + 4 a c a2 + 4 b c -
24 a5 b c5 b2 + 4 a c a2 + 4 b c - 40 a4 b2 c5 b2 + 4 a c a2 + 4 b c +
200 a3 b3 c5 b2 + 4 a c a2 + 4 b c - 72 a2 b4 c5 b2 + 4 a c a2 + 4 b c -
8 a 5 c6 b2 + 4 a c a2 + 4 b c + 64 a4 b c6 b2 + 4 a c a2 + 4 b c -
88 a3 b2 c6 b2 + 4 a c a2 + 4 b c + 24 a2 b3 c6 b2 + 4 a c a2 + 4 b c -
16 a3 b c7 b2 + 4 a c a2 + 4 b c + 32 a2 b2 c7 b2 + 4 a c a2 + 4 b c -
8 a b 3 c7 b2 + 4 a c a2 + 4 b c - 16 a2 b c8 b2 + 4 a c a2 + 4 b c +
8 a b 2 c8 b2 + 4 a c a2 + 4 b c + 8 a11 b 4 a b + c2 - 24 a10 b2 4 a b + c2 + 24 a9 b3 4 a b + c2 +
8 a 8 b4 4 a b + c2 - 32 a7 b5 4 a b + c2 + 24 a6 b6 4 a b + c 2 - 8 a 5 b7 4 a b + c2 -
8 a 4 b8 4 a b + c 2 + 8 a 3 b9 4 a b + c2 - 16 a11 c 4 a b + c2 + 40 a10 b c 4 a b + c2 +
48 a9 b2 c 4 a b + c2 - 200 a8 b3 c 4 a b + c2 + 216 a7 b4 c 4 a b + c 2 - 8 a 6 b5 c 4 a b + c2 -
208 a5 b6 c 4 a b + c2 + 152 a4 b7 c 4 a b + c 2 - 8 a 3 b8 c 4 a b + c2 - 48 a2 b9 c 4 a b + c2 +
32 a b10 c 4 a b + c2 + 32 a10 c2 4 a b + c2 - 192 a9 b c2 4 a b + c2 + 320 a8 b2 c2 4 a b + c2 +
perpendicularbisectors.nb 3

96 a7 b3 c2 4 a b + c2 - 664 a6 b4 c2 4 a b + c2 + 576 a5 b5 c2 4 a b + c2 -
112 a4 b6 c2 4 a b + c2 - 288 a3 b7 c2 4 a b + c2 + 232 a2 b8 c2 4 a b + c2 - 32 a b9 c2 4 a b + c2 +
160 a8 b c3 4 a b + c2 - 608 a7 b2 c3 4 a b + c2 + 680 a6 b3 c3 4 a b + c2 - 96 a5 b4 c3 4 a b + c2 -
704 a4 b5 c3 4 a b + c2 + 544 a3 b6 c3 4 a b + c2 - 152 a2 b7 c3 4 a b + c2 - 48 a b8 c3 4 a b + c2 -
64 a8 c4 4 a b + c2 + 152 a7 b c4 4 a b + c2 + 120 a6 b2 c4 4 a b + c2 - 792 a5 b3 c4 4 a b + c2 +
616 a4 b4 c4 4 a b + c2 - 216 a3 b5 c4 4 a b + c2 - 256 a2 b6 c4 4 a b + c2 +
64 a b7 c4 4 a b + c2 + 48 a7 c5 4 a b + c2 - 264 a6 b c5 4 a b + c2 + 432 a5 b2 c5 4 a b + c2 -
40 a4 b3 c5 4 a b + c2 - 408 a3 b4 c5 4 a b + c2 + 304 a2 b5 c5 4 a b + c2 +
32 a6 c6 4 a b + c2 + 64 a5 b c6 4 a b + c2 - 256 a4 b2 c6 4 a b + c2 + 368 a3 b3 c6 4 a b + c2 -
40 a2 b4 c6 4 a b + c2 - 32 a b5 c6 4 a b + c2 - 32 a5 c7 4 a b + c2 + 64 a4 b c7 4 a b + c2 -
32 a3 b2 c7 4 a b + c2 - 104 a2 b3 c7 4 a b + c2 + 16 a b4 c7 4 a b + c2 - 32 a3 b c8 4 a b + c2 +
64 a2 b2 c8 4 a b + c2 - 8 a11 b2 + 4 a c 4 a b + c2 + 24 a10 b b2 + 4 a c 4 a b + c2 -
24 a9 b2 b2 + 4 a c 4 a b + c2 - 24 a8 b3 b2 + 4 a c 4 a b + c2 +
64 a7 b4 b2 + 4 a c 4 a b + c2 - 24 a6 b5 b2 + 4 a c 4 a b + c2 -
24 a5 b6 b2 + 4 a c 4 a b + c2 + 24 a4 b7 b2 + 4 a c 4 a b + c2 -
8 a 3 b8 b2 + 4 a c 4 a b + c2 + 8 a10 c b2 + 4 a c 4 a b + c2 - 80 a9 b c b2 + 4 a c 4 a b + c2 +
184 a8 b2 c b2 + 4 a c 4 a b + c2 - 136 a7 b3 c b2 + 4 a c 4 a b + c2 -
136 a6 b4 c b2 + 4 a c 4 a b + c2 + 304 a5 b5 c b2 + 4 a c 4 a b + c2 -
136 a4 b6 c b2 + 4 a c 4 a b + c2 - 56 a3 b7 c b2 + 4 a c 4 a b + c2 +
80 a2 b8 c b2 + 4 a c 4 a b + c2 - 32 a b9 c b2 + 4 a c 4 a b + c2 +
32 a9 c2 b2 + 4 a c 4 a b + c2 - 256 a7 b2 c2 b2 + 4 a c 4 a b + c2 +
536 a6 b3 c2 b2 + 4 a c 4 a b + c2 - 320 a5 b4 c2 b2 + 4 a c 4 a b + c2 -
176 a4 b5 c2 b2 + 4 a c 4 a b + c2 + 384 a3 b6 c2 b2 + 4 a c 4 a b + c2 -
200 a2 b7 c2 b2 + 4 a c 4 a b + c2 + 32 a b8 c2 b2 + 4 a c 4 a b + c2 -
48 a8 c3 b2 + 4 a c 4 a b + c2 + 256 a7 b c3 b2 + 4 a c 4 a b + c2 -
168 a6 b2 c3 b2 + 4 a c 4 a b + c2 - 384 a5 b3 c3 b2 + 4 a c 4 a b + c2 +
752 a4 b4 c3 b2 + 4 a c 4 a b + c2 - 352 a3 b5 c3 b2 + 4 a c 4 a b + c2 -
8 a 2 b6 c3 b2 + 4 a c 4 a b + c2 + 80 a b7 c3 b2 + 4 a c 4 a b + c2 -
8 a 7 c4 b2 + 4 a c 4 a b + c2 - 248 a6 b c4 b2 + 4 a c 4 a b + c2 +
600 a5 b2 c4 b2 + 4 a c 4 a b + c2 - 344 a4 b3 c4 b2 + 4 a c 4 a b + c2 -
280 a3 b4 c4 b2 + 4 a c 4 a b + c2 + 384 a2 b5 c4 b2 + 4 a c 4 a b + c2 -
96 a b6 c4 b2 + 4 a c 4 a b + c2 + 56 a6 c5 b2 + 4 a c 4 a b + c2 -
80 a5 b c5 b2 + 4 a c 4 a b + c2 - 360 a4 b2 c5 b2 + 4 a c 4 a b + c2 +
472 a3 b3 c5 b2 + 4 a c 4 a b + c2 - 240 a2 b4 c5 b2 + 4 a c 4 a b + c2 -
32 a b5 c5 b2 + 4 a c 4 a b + c2 - 32 a5 c6 b2 + 4 a c 4 a b + c2 +
224 a4 b c6 b2 + 4 a c 4 a b + c2 - 144 a3 b2 c6 b2 + 4 a c 4 a b + c2 -
152 a2 b3 c6 b2 + 4 a c 4 a b + c2 + 96 a b4 c6 b2 + 4 a c 4 a b + c2 -
16 a4 c7 b2 + 4 a c 4 a b + c2 - 96 a3 b c7 b2 + 4 a c 4 a b + c2 +
168 a2 b2 c7 b2 + 4 a c 4 a b + c2 - 48 a b3 c7 b2 + 4 a c 4 a b + c2 +
16 a3 c8 b2 + 4 a c 4 a b + c2 - 32 a2 b c8 b2 + 4 a c 4 a b + c2 -
32 a b2 c8 b2 + 4 a c 4 a b + c2 + 32 a b c9 b2 + 4 a c 4 a b + c2 -
4 perpendicularbisectors.nb

8 a10 b a2 + 4 b c 4 a b + c 2 + 8 a 9 b2 a2 + 4 b c 4 a b + c 2 + 8 a 8 b3 a2 + 4 b c 4 a b + c2 -
8 a 7 b4 a2 + 4 b c 4 a b + c 2 - 8 a 5 b6 a2 + 4 b c 4 a b + c 2 + 8 a 4 b7 a2 + 4 b c 4 a b + c2 +
8 a 3 b8 a2 + 4 b c 4 a b + c 2 - 8 a 2 b9 a2 + 4 b c 4 a b + c2 - 16 a10 c a2 + 4 b c 4 a b + c2 +
24 a9 b c a2 + 4 b c 4 a b + c2 - 32 a8 b2 c a2 + 4 b c 4 a b + c2 +
24 a7 b3 c a2 + 4 b c 4 a b + c 2 - 8 a 6 b4 c a2 + 4 b c 4 a b + c2 -
8 a 5 b5 c a2 + 4 b c 4 a b + c2 + 64 a4 b6 c a2 + 4 b c 4 a b + c2 -
40 a3 b7 c a2 + 4 b c 4 a b + c 2 - 8 a 2 b8 c a2 + 4 b c 4 a b + c2 -
64 a8 b c2 a2 + 4 b c 4 a b + c2 + 96 a7 b2 c2 a2 + 4 b c 4 a b + c2 -
48 a6 b3 c2 a2 + 4 b c 4 a b + c2 + 88 a5 b4 c2 a2 + 4 b c 4 a b + c2 -
32 a4 b5 c2 a2 + 4 b c 4 a b + c2 - 16 a3 b6 c2 a2 + 4 b c 4 a b + c2 +
16 a2 b7 c2 a2 + 4 b c 4 a b + c 2 - 8 a b 8 c2 a2 + 4 b c 4 a b + c2 +
32 a8 c3 a2 + 4 b c 4 a b + c2 - 32 a6 b2 c3 a2 + 4 b c 4 a b + c2 +
104 a5 b3 c3 a2 + 4 b c 4 a b + c2 + 16 a4 b4 c3 a2 + 4 b c 4 a b + c2 +
96 a3 b5 c3 a2 + 4 b c 4 a b + c2 - 32 a2 b6 c3 a2 + 4 b c 4 a b + c2 +
8 a b 7 c3 a2 + 4 b c 4 a b + c2 + 72 a6 b c4 a2 + 4 b c 4 a b + c2 +
56 a5 b2 c4 a2 + 4 b c 4 a b + c2 + 120 a4 b3 c4 a2 + 4 b c 4 a b + c2 -
40 a3 b4 c4 a2 + 4 b c 4 a b + c2 + 56 a2 b5 c4 a2 + 4 b c 4 a b + c2 -
16 a6 c5 a2 + 4 b c 4 a b + c2 - 24 a5 b c5 a2 + 4 b c 4 a b + c2 +
88 a3 b3 c5 a2 + 4 b c 4 a b + c2 - 24 a2 b4 c5 a2 + 4 b c 4 a b + c2 +
32 a4 b c6 a2 + 4 b c 4 a b + c2 - 64 a3 b2 c6 a2 + 4 b c 4 a b + c2 +
8 a b 4 c6 a2 + 4 b c 4 a b + c2 + 32 a2 b2 c7 a2 + 4 b c 4 a b + c2 -
8 a b 3 c7 a2 + 4 b c 4 a b + c2 - 32 a2 b c8 a2 + 4 b c 4 a b + c2 +
8 a10 b2 + 4 a c a2 + 4 b c 4 a b + c 2 - 8 a9 b b2 + 4 a c a2 + 4 b c 4 a b + c2 -
8 a 8 b2 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 24 a7 b3 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
32 a6 b4 b2 + 4 a c a2 + 4 b c 4 a b + c 2 + 8 a 5 b5 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
24 a4 b6 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 24 a3 b7 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
8 a 2 b8 b2 + 4 a c a2 + 4 b c 4 a b + c 2 - 8 a9 c b2 + 4 a c a2 + 4 b c 4 a b + c2 +
64 a8 b c b2 + 4 a c a2 + 4 b c 4 a b + c2 - 72 a7 b2 c b2 + 4 a c a2 + 4 b c 4 a b + c2 -
40 a6 b3 c b2 + 4 a c a2 + 4 b c 4 a b + c2 + 120 a5 b4 c b2 + 4 a c a2 + 4 b c 4 a b + c2 -
96 a4 b5 c b2 + 4 a c a2 + 4 b c 4 a b + c2 + 24 a3 b6 c b2 + 4 a c a2 + 4 b c 4 a b + c2 +
8 a 2 b7 c b2 + 4 a c a2 + 4 b c 4 a b + c2 - 64 a7 b c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
144 a6 b2 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 152 a5 b3 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
80 a3 b5 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 48 a2 b6 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
8 a b 7 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 16 a7 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
64 a6 b c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 72 a5 b2 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
144 a4 b3 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 144 a3 b4 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
32 a2 b5 c3 b2 + 4 a c a2 + 4 b c 4 a b + c 2 - 8 a b 6 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
24 a6 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 104 a5 b c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
152 a4 b2 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 24 a3 b3 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
56 a2 b4 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 32 a b5 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
24 a5 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 120 a3 b2 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
perpendicularbisectors.nb 5

104 a2 b3 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 32 a b4 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
32 a4 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 64 a3 b c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
32 a2 b2 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 24 a b3 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
16 a3 c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 32 a2 b c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
24 a b2 c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 16 a2 c8 b2 + 4 a c a2 + 4 b c 4 a b + c2 ,
8 5 7 6 6 7 5 8 4 9 3 10 9 3 8 4
- 16 a b + 16 a b + 32 a b - 32 a b - 16 a b + 16 a b - 72 a b c + 104 a b c +
104 a b c - 232 a b c + 32 a b c + 152 a b c - 88 a b c - 24 a2 b10 c + 24 a b11 c - 48 a9 b2 c2 +
7 5 6 6 5 7 4 8 3 9

216 a8 b3 c2 - 376 a7 b4 c2 + 144 a6 b5 c2 + 424 a5 b6 c2 - 456 a4 b7 c2 + 8 a3 b8 c2 + 144 a2 b9 c2 -


72 a b10 c2 + 16 b11 c2 - 24 a8 b2 c3 - 64 a7 b3 c3 + 800 a6 b4 c3 - 992 a5 b5 c3 - 24 a4 b6 c3 +
640 a3 b7 c3 - 336 a2 b8 c3 + 32 a b9 c3 - 16 a8 b c4 + 168 a7 b2 c4 - 528 a6 b3 c4 + 176 a5 b4 c4 +
1104 a4 b5 c4 - 1128 a3 b6 c4 + 144 a2 b7 c4 + 112 a b8 c4 - 32 b9 c4 - 32 a6 b2 c5 + 648 a5 b3 c5 -
1192 a4 b4 c5 + 216 a3 b5 c5 + 280 a2 b6 c5 - 104 a b7 c5 + 32 a6 b c6 - 176 a5 b2 c6 + 296 a4 b3 c6 +
584 a3 b4 c6 - 560 a2 b5 c6 + 72 a b6 c6 + 16 b7 c6 + 120 a4 b2 c7 - 592 a3 b3 c7 + 304 a2 b4 c7 -
64 a b5 c7 - 16 a4 b c8 + 56 a3 b2 c8 + 48 a2 b3 c8 - 112 a b4 c8 - 64 a2 b2 c9 + 112 a b3 c9 -
16 a8 b4 b2 + 4 a c + 48 a7 b5 b2 + 4 a c - 32 a6 b6 b2 + 4 a c - 32 a5 b7 b2 + 4 a c +
48 a4 b8 b2 + 4 a c - 16 a3 b9 b2 + 4 a c - 24 a9 b2 c b2 + 4 a c + 56 a8 b3 c b2 + 4 a c +
24 a7 b4 c b2 + 4 a c - 136 a6 b5 c b2 + 4 a c + 160 a5 b6 c b2 + 4 a c - 120 a4 b7 c b2 + 4 a c -
8 a 3 b8 c b2 + 4 a c + 72 a2 b9 c b2 + 4 a c - 24 a b10 c b2 + 4 a c + 24 a8 b2 c2 b2 + 4 a c -
152 a7 b3 c2 b2 + 4 a c + 384 a6 b4 c2 b2 + 4 a c - 248 a5 b5 c2 b2 + 4 a c -
296 a4 b6 c2 b2 + 4 a c + 456 a3 b7 c2 b2 + 4 a c - 192 a2 b8 c2 b2 + 4 a c + 8 a b 9 c2 b2 + 4 a c +
16 b10 c2 b2 + 4 a c - 8 a 8 b c 3 b2 + 4 a c + 112 a7 b2 c3 b2 + 4 a c - 544 a5 b4 c3 b2 + 4 a c +
792 a4 b5 c3 b2 + 4 a c - 528 a3 b6 c3 b2 + 4 a c - 48 a2 b7 c3 b2 + 4 a c + 160 a b8 c3 b2 + 4 a c -
32 b9 c3 b2 + 4 a c + 8 a 7 b c 4 b2 + 4 a c - 144 a6 b2 c4 b2 + 4 a c + 560 a5 b3 c4 b2 + 4 a c -
416 a4 b4 c4 b2 + 4 a c - 584 a3 b5 c4 b2 + 4 a c + 592 a2 b6 c4 b2 + 4 a c -
144 a b7 c4 b2 + 4 a c + 32 a6 b c5 b2 + 4 a c - 72 a5 b2 c5 b2 + 4 a c - 504 a4 b3 c5 b2 + 4 a c +
840 a3 b4 c5 b2 + 4 a c - 424 a2 b5 c5 b2 + 4 a c - 120 a b6 c5 b2 + 4 a c +
64 b7 c5 b2 + 4 a c - 32 a5 b c6 b2 + 4 a c + 232 a4 b2 c6 b2 + 4 a c - 344 a3 b3 c6 b2 + 4 a c -
416 a2 b4 c6 b2 + 4 a c + 216 a b5 c6 b2 + 4 a c - 48 b6 c6 b2 + 4 a c - 24 a4 b c7 b2 + 4 a c -
128 a3 b2 c7 b2 + 4 a c + 432 a2 b3 c7 b2 + 4 a c - 96 a b4 c7 b2 + 4 a c - 32 b5 c7 b2 + 4 a c +
24 a3 b c8 b2 + 4 a c - 80 a2 b2 c8 b2 + 4 a c - 80 a b3 c8 b2 + 4 a c + 32 b4 c8 b2 + 4 a c +
80 a b2 c9 b2 + 4 a c + 16 a7 b5 a2 + 4 b c - 48 a6 b6 a2 + 4 b c + 32 a5 b7 a2 + 4 b c +
32 a4 b8 a2 + 4 b c - 48 a3 b9 a2 + 4 b c + 16 a2 b10 a2 + 4 b c + 72 a8 b3 c a2 + 4 b c -
184 a7 b4 c a2 + 4 b c + 56 a6 b5 c a2 + 4 b c + 200 a5 b6 c a2 + 4 b c - 224 a4 b7 c a2 + 4 b c +
120 a3 b8 c a2 + 4 b c - 40 a2 b9 c a2 + 4 b c - 8 a b10 c a2 + 4 b c + 8 b11 c a2 + 4 b c -
48 a8 b2 c2 a2 + 4 b c - 24 a7 b3 c2 a2 + 4 b c + 328 a6 b4 c2 a2 + 4 b c - 528 a5 b5 c2 a2 + 4 b c +
328 a4 b6 c2 a2 + 4 b c + 56 a3 b7 c2 a2 + 4 b c - 152 a2 b8 c2 a2 + 4 b c + 48 a b9 c2 a2 + 4 b c -
8 b10 c2 a2 + 4 b c + 120 a7 b2 c3 a2 + 4 b c - 544 a6 b3 c3 a2 + 4 b c + 352 a5 b4 c3 a2 + 4 b c +
576 a4 b5 c3 a2 + 4 b c - 712 a3 b6 c3 a2 + 4 b c + 288 a2 b7 c3 a2 + 4 b c - 16 a b8 c3 a2 + 4 b c -
32 b9 c3 a2 + 4 b c - 16 a7 b c4 a2 + 4 b c - 8 a 6 b2 c4 a2 + 4 b c + 624 a5 b3 c4 a2 + 4 b c -
1056 a4 b4 c4 a2 + 4 b c + 624 a3 b5 c4 a2 + 4 b c + 200 a2 b6 c4 a2 + 4 b c -
208 a b7 c4 a2 + 4 b c + 32 b8 c4 a2 + 4 b c + 32 a6 b c5 a2 + 4 b c - 352 a5 b2 c5 a2 + 4 b c +
392 a4 b3 c5 a2 + 4 b c + 664 a3 b4 c5 a2 + 4 b c - 664 a2 b5 c5 a2 + 4 b c +
200 a b6 c5 a2 + 4 b c + 24 b7 c5 a2 + 4 b c + 304 a4 b2 c6 a2 + 4 b c - 744 a3 b3 c6 a2 + 4 b c +
6 perpendicularbisectors.nb

360 a2 b4 c6 a2 + 4 b c + 112 a b5 c6 a2 + 4 b c - 24 b6 c6 a2 + 4 b c - 64 a4 b c7 a2 + 4 b c +
200 a3 b2 c7 a2 + 4 b c + 240 a2 b3 c7 a2 + 4 b c - 176 a b4 c7 a2 + 4 b c + 48 a3 b c8 a2 + 4 b c -
248 a2 b2 c8 a2 + 4 b c + 48 a b3 c8 a2 + 4 b c + 32 a2 b c9 a2 + 4 b c + 32 a b2 c9 a2 + 4 b c -
32 a b c10 a2 + 4 b c + 16 a7 b4 b2 + 4 a c a2 + 4 b c - 16 a6 b5 b2 + 4 a c a2 + 4 b c -
32 a5 b6 b2 + 4 a c a2 + 4 b c + 32 a4 b7 b2 + 4 a c a2 + 4 b c +
16 a3 b8 b2 + 4 a c a2 + 4 b c - 16 a2 b9 b2 + 4 a c a2 + 4 b c +
24 a8 b2 c b2 + 4 a c a2 + 4 b c - 40 a7 b3 c b2 + 4 a c a2 + 4 b c -
56 a6 b4 c b2 + 4 a c a2 + 4 b c + 104 a5 b5 c b2 + 4 a c a2 + 4 b c +
32 a4 b6 c b2 + 4 a c a2 + 4 b c - 88 a3 b7 c b2 + 4 a c a2 + 4 b c +
8 a 2 b8 c b2 + 4 a c a2 + 4 b c + 24 a b9 c b2 + 4 a c a2 + 4 b c -
8 b10 c b2 + 4 a c a2 + 4 b c - 24 a7 b2 c2 b2 + 4 a c a2 + 4 b c +
136 a6 b3 c2 b2 + 4 a c a2 + 4 b c - 128 a5 b4 c2 b2 + 4 a c a2 + 4 b c -
152 a4 b5 c2 b2 + 4 a c a2 + 4 b c + 152 a3 b6 c2 b2 + 4 a c a2 + 4 b c +
72 a2 b7 c2 b2 + 4 a c a2 + 4 b c - 64 a b8 c2 b2 + 4 a c a2 + 4 b c +
8 b 9 c2 b2 + 4 a c a2 + 4 b c + 8 a 7 b c 3 b2 + 4 a c a2 + 4 b c -
16 a6 b2 c3 b2 + 4 a c a2 + 4 b c - 160 a5 b3 c3 b2 + 4 a c a2 + 4 b c +
288 a4 b4 c3 b2 + 4 a c a2 + 4 b c + 8 a 3 b5 c3 b2 + 4 a c a2 + 4 b c -
144 a2 b6 c3 b2 + 4 a c a2 + 4 b c + 48 a b7 c3 b2 + 4 a c a2 + 4 b c -
8 a6 b c4 b2 + 4 a c a2 + 4 b c + 48 a5 b2 c4 b2 + 4 a c a2 + 4 b c -
64 a4 b3 c4 b2 + 4 a c a2 + 4 b c - 224 a3 b4 c4 b2 + 4 a c a2 + 4 b c +
200 a2 b5 c4 b2 + 4 a c a2 + 4 b c - 16 a b6 c4 b2 + 4 a c a2 + 4 b c -
72 a4 b2 c5 b2 + 4 a c a2 + 4 b c + 200 a3 b3 c5 b2 + 4 a c a2 + 4 b c -
40 a2 b4 c5 b2 + 4 a c a2 + 4 b c - 24 a b5 c5 b2 + 4 a c a2 + 4 b c +
8 b 6 c5 b2 + 4 a c a2 + 4 b c + 24 a3 b2 c6 b2 + 4 a c a2 + 4 b c -
88 a2 b3 c6 b2 + 4 a c a2 + 4 b c + 64 a b4 c6 b2 + 4 a c a2 + 4 b c -
8 b 5 c6 b2 + 4 a c a2 + 4 b c - 8 a 3 b c 7 b2 + 4 a c a2 + 4 b c +
32 a2 b2 c7 b2 + 4 a c a2 + 4 b c - 16 a b3 c7 b2 + 4 a c a2 + 4 b c +
8 a2 b c8 b2 + 4 a c a2 + 4 b c - 16 a b2 c8 b2 + 4 a c a2 + 4 b c + 8 a 9 b3 4 a b + c2 -
8 a 8 b4 4 a b + c 2 - 8 a 7 b5 4 a b + c2 + 24 a6 b6 4 a b + c2 - 32 a5 b7 4 a b + c2 +
8 a 4 b8 4 a b + c2 + 24 a3 b9 4 a b + c2 - 24 a2 b10 4 a b + c2 + 8 a b11 4 a b + c2 +
32 a10 b c 4 a b + c2 - 48 a9 b2 c 4 a b + c 2 - 8 a 8 b3 c 4 a b + c2 + 152 a7 b4 c 4 a b + c2 -
208 a6 b5 c 4 a b + c 2 - 8 a 5 b6 c 4 a b + c2 + 216 a4 b7 c 4 a b + c2 - 200 a3 b8 c 4 a b + c2 +
48 a2 b9 c 4 a b + c2 + 40 a b10 c 4 a b + c2 - 16 b11 c 4 a b + c2 - 32 a9 b c2 4 a b + c2 +
232 a8 b2 c2 4 a b + c2 - 288 a7 b3 c2 4 a b + c2 - 112 a6 b4 c2 4 a b + c2 +
576 a5 b5 c2 4 a b + c2 - 664 a4 b6 c2 4 a b + c2 + 96 a3 b7 c2 4 a b + c2 +
320 a2 b8 c2 4 a b + c2 - 192 a b9 c2 4 a b + c2 + 32 b10 c2 4 a b + c2 - 48 a8 b c3 4 a b + c2 -
152 a7 b2 c3 4 a b + c2 + 544 a6 b3 c3 4 a b + c2 - 704 a5 b4 c3 4 a b + c2 -
96 a4 b5 c3 4 a b + c2 + 680 a3 b6 c3 4 a b + c2 - 608 a2 b7 c3 4 a b + c2 + 160 a b8 c3 4 a b + c2 +
64 a7 b c4 4 a b + c2 - 256 a6 b2 c4 4 a b + c2 - 216 a5 b3 c4 4 a b + c2 + 616 a4 b4 c4 4 a b + c2 -
792 a3 b5 c4 4 a b + c2 + 120 a2 b6 c4 4 a b + c2 + 152 a b7 c4 4 a b + c2 -
64 b8 c4 4 a b + c2 + 304 a5 b2 c5 4 a b + c2 - 408 a4 b3 c5 4 a b + c2 - 40 a3 b4 c5 4 a b + c2 +
perpendicularbisectors.nb 7

432 a2 b5 c5 4 a b + c2 - 264 a b6 c5 4 a b + c2 + 48 b7 c5 4 a b + c2 - 32 a5 b c6 4 a b + c2 -
40 a4 b2 c6 4 a b + c2 + 368 a3 b3 c6 4 a b + c2 - 256 a2 b4 c6 4 a b + c2 + 64 a b5 c6 4 a b + c2 +
32 b6 c6 4 a b + c2 + 16 a4 b c7 4 a b + c2 - 104 a3 b2 c7 4 a b + c2 - 32 a2 b3 c7 4 a b + c2 +
64 a b4 c7 4 a b + c2 - 32 b5 c7 4 a b + c2 + 64 a2 b2 c8 4 a b + c2 - 32 a b3 c8 4 a b + c2 -
8 a 9 b2 b2 + 4 a c 4 a b + c 2 + 8 a 8 b3 b2 + 4 a c 4 a b + c 2 + 8 a 7 b4 b2 + 4 a c 4 a b + c2 -
8 a 6 b5 b2 + 4 a c 4 a b + c 2 - 8 a 4 b7 b2 + 4 a c 4 a b + c 2 + 8 a 3 b8 b2 + 4 a c 4 a b + c2 +
8 a 2 b9 b2 + 4 a c 4 a b + c2 - 8 a b10 b2 + 4 a c 4 a b + c 2 - 8 a 8 b2 c b2 + 4 a c 4 a b + c2 -
40 a7 b3 c b2 + 4 a c 4 a b + c2 + 64 a6 b4 c b2 + 4 a c 4 a b + c2 -
8 a 5 b5 c b2 + 4 a c 4 a b + c 2 - 8 a 4 b6 c b2 + 4 a c 4 a b + c2 +
24 a3 b7 c b2 + 4 a c 4 a b + c2 - 32 a2 b8 c b2 + 4 a c 4 a b + c2 +
24 a b9 c b2 + 4 a c 4 a b + c2 - 16 b10 c b2 + 4 a c 4 a b + c2 -
8 a8 b c2 b2 + 4 a c 4 a b + c2 + 16 a7 b2 c2 b2 + 4 a c 4 a b + c2 -
16 a6 b3 c2 b2 + 4 a c 4 a b + c2 - 32 a5 b4 c2 b2 + 4 a c 4 a b + c2 +
88 a4 b5 c2 b2 + 4 a c 4 a b + c2 - 48 a3 b6 c2 b2 + 4 a c 4 a b + c2 +
96 a2 b7 c2 b2 + 4 a c 4 a b + c2 - 64 a b8 c2 b2 + 4 a c 4 a b + c2 +
8 a7 b c3 b2 + 4 a c 4 a b + c2 - 32 a6 b2 c3 b2 + 4 a c 4 a b + c2 +
96 a5 b3 c3 b2 + 4 a c 4 a b + c2 + 16 a4 b4 c3 b2 + 4 a c 4 a b + c2 +
104 a3 b5 c3 b2 + 4 a c 4 a b + c2 - 32 a2 b6 c3 b2 + 4 a c 4 a b + c2 +
32 b8 c3 b2 + 4 a c 4 a b + c2 + 56 a5 b2 c4 b2 + 4 a c 4 a b + c2 -
40 a4 b3 c4 b2 + 4 a c 4 a b + c2 + 120 a3 b4 c4 b2 + 4 a c 4 a b + c2 +
56 a2 b5 c4 b2 + 4 a c 4 a b + c2 + 72 a b6 c4 b2 + 4 a c 4 a b + c2 -
24 a4 b2 c5 b2 + 4 a c 4 a b + c2 + 88 a3 b3 c5 b2 + 4 a c 4 a b + c2 -
24 a b5 c5 b2 + 4 a c 4 a b + c2 - 16 b6 c5 b2 + 4 a c 4 a b + c2 +
8 a4 b c6 b2 + 4 a c 4 a b + c2 - 64 a2 b3 c6 b2 + 4 a c 4 a b + c2 +
32 a b4 c6 b2 + 4 a c 4 a b + c 2 - 8 a3 b c7 b2 + 4 a c 4 a b + c2 +
32 a2 b2 c7 b2 + 4 a c 4 a b + c2 - 32 a b2 c8 b2 + 4 a c 4 a b + c2 -
8 a 8 b3 a2 + 4 b c 4 a b + c2 + 24 a7 b4 a2 + 4 b c 4 a b + c2 -
24 a6 b5 a2 + 4 b c 4 a b + c2 - 24 a5 b6 a2 + 4 b c 4 a b + c2 +
64 a4 b7 a2 + 4 b c 4 a b + c2 - 24 a3 b8 a2 + 4 b c 4 a b + c2 -
24 a2 b9 a2 + 4 b c 4 a b + c2 + 24 a b10 a2 + 4 b c 4 a b + c2 - 8 b11 a2 + 4 b c 4 a b + c2 -
32 a9 b c a2 + 4 b c 4 a b + c2 + 80 a8 b2 c a2 + 4 b c 4 a b + c2 -
56 a7 b3 c a2 + 4 b c 4 a b + c2 - 136 a6 b4 c a2 + 4 b c 4 a b + c2 +
304 a5 b5 c a2 + 4 b c 4 a b + c2 - 136 a4 b6 c a2 + 4 b c 4 a b + c2 -
136 a3 b7 c a2 + 4 b c 4 a b + c2 + 184 a2 b8 c a2 + 4 b c 4 a b + c2 -
80 a b9 c a2 + 4 b c 4 a b + c2 + 8 b10 c a2 + 4 b c 4 a b + c2 +
32 a8 b c2 a2 + 4 b c 4 a b + c2 - 200 a7 b2 c2 a2 + 4 b c 4 a b + c2 +
384 a6 b3 c2 a2 + 4 b c 4 a b + c2 - 176 a5 b4 c2 a2 + 4 b c 4 a b + c2 -
320 a4 b5 c2 a2 + 4 b c 4 a b + c2 + 536 a3 b6 c2 a2 + 4 b c 4 a b + c2 -
256 a2 b7 c2 a2 + 4 b c 4 a b + c2 + 32 b9 c2 a2 + 4 b c 4 a b + c2 +
80 a7 b c3 a2 + 4 b c 4 a b + c 2 - 8 a 6 b2 c3 a2 + 4 b c 4 a b + c2 -
352 a5 b3 c3 a2 + 4 b c 4 a b + c2 + 752 a4 b4 c3 a2 + 4 b c 4 a b + c2 -
8 perpendicularbisectors.nb

384 a3 b5 c3 a2 + 4 b c 4 a b + c2 - 168 a2 b6 c3 a2 + 4 b c 4 a b + c2 +
256 a b7 c3 a2 + 4 b c 4 a b + c2 - 48 b8 c3 a2 + 4 b c 4 a b + c2 -
96 a6 b c4 a2 + 4 b c 4 a b + c2 + 384 a5 b2 c4 a2 + 4 b c 4 a b + c2 -
280 a4 b3 c4 a2 + 4 b c 4 a b + c2 - 344 a3 b4 c4 a2 + 4 b c 4 a b + c2 +
600 a2 b5 c4 a2 + 4 b c 4 a b + c2 - 248 a b6 c4 a2 + 4 b c 4 a b + c2 -
8 b 7 c4 a2 + 4 b c 4 a b + c2 - 32 a5 b c5 a2 + 4 b c 4 a b + c2 -
240 a4 b2 c5 a2 + 4 b c 4 a b + c2 + 472 a3 b3 c5 a2 + 4 b c 4 a b + c2 -
360 a2 b4 c5 a2 + 4 b c 4 a b + c2 - 80 a b5 c5 a2 + 4 b c 4 a b + c2 +
56 b6 c5 a2 + 4 b c 4 a b + c2 + 96 a4 b c6 a2 + 4 b c 4 a b + c2 -
152 a3 b2 c6 a2 + 4 b c 4 a b + c2 - 144 a2 b3 c6 a2 + 4 b c 4 a b + c2 +
224 a b4 c6 a2 + 4 b c 4 a b + c2 - 32 b5 c6 a2 + 4 b c 4 a b + c2 -
48 a3 b c7 a2 + 4 b c 4 a b + c2 + 168 a2 b2 c7 a2 + 4 b c 4 a b + c2 -
96 a b3 c7 a2 + 4 b c 4 a b + c2 - 16 b4 c7 a2 + 4 b c 4 a b + c2 -
32 a2 b c8 a2 + 4 b c 4 a b + c2 - 32 a b2 c8 a2 + 4 b c 4 a b + c2 +
16 b3 c8 a2 + 4 b c 4 a b + c2 + 32 a b c9 a2 + 4 b c 4 a b + c2 +
8 a 8 b2 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 24 a7 b3 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
24 a6 b4 b2 + 4 a c a2 + 4 b c 4 a b + c 2 + 8 a 5 b5 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
32 a4 b6 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 24 a3 b7 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
8 a 2 b8 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 8 a b9 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
8 b10 b2 + 4 a c a2 + 4 b c 4 a b + c 2 + 8 a 7 b2 c b2 + 4 a c a2 + 4 b c 4 a b + c2 +
24 a6 b3 c b2 + 4 a c a2 + 4 b c 4 a b + c2 - 96 a5 b4 c b2 + 4 a c a2 + 4 b c 4 a b + c2 +
120 a4 b5 c b2 + 4 a c a2 + 4 b c 4 a b + c2 - 40 a3 b6 c b2 + 4 a c a2 + 4 b c 4 a b + c2 -
72 a2 b7 c b2 + 4 a c a2 + 4 b c 4 a b + c2 + 64 a b8 c b2 + 4 a c a2 + 4 b c 4 a b + c2 -
8 b9 c b2 + 4 a c a2 + 4 b c 4 a b + c 2 + 8 a7 b c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
48 a6 b2 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 80 a5 b3 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
152 a3 b5 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 144 a2 b6 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
64 a b7 c2 b2 + 4 a c a2 + 4 b c 4 a b + c 2 - 8 a6 b c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
32 a5 b2 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 144 a4 b3 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
144 a3 b4 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 72 a2 b5 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
64 a b6 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 16 b7 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
32 a5 b c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 56 a4 b2 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
24 a3 b3 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 152 a2 b4 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
104 a b5 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 24 b6 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
32 a4 b c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 104 a3 b2 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
120 a2 b3 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 24 b5 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
24 a3 b c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 32 a2 b2 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
64 a b3 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 32 b4 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
24 a2 b c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 32 a b2 c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
16 b3 c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 16 b2 c8 b2 + 4 a c a2 + 4 b c 4 a b + c2 ,
- 16 a8 b4 c + 32 a6 b6 c - 16 a4 b8 c - 64 a9 b2 c2 - 8 a8 b3 c2 + 152 a7 b4 c2 - 80 a6 b5 c2 -
80 a5 b6 c2 + 152 a4 b7 c2 - 8 a3 b8 c2 - 64 a2 b9 c2 - 72 a9 b c3 + 128 a8 b2 c3 - 240 a7 b3 c3 -
128 a6 b4 c3 + 688 a5 b5 c3 - 128 a4 b6 c3 - 240 a3 b7 c3 + 128 a2 b8 c3 - 72 a b9 c3 - 16 a9 c4 +
perpendicularbisectors.nb 9

88 a8 b c4 - 208 a7 b2 c4 + 464 a6 b3 c4 - 72 a5 b4 c4 - 72 a4 b5 c4 + 464 a3 b6 c4 - 208 a2 b7 c4 +


88 a b8 c4 - 16 b9 c4 + 64 a7 b c5 + 64 a6 b2 c5 + 848 a4 b4 c5 + 64 a2 b6 c5 + 64 a b7 c5 + 32 a7 c6 -
144 a6 b c6 + 48 a5 b2 c6 + 184 a4 b3 c6 + 184 a3 b4 c6 + 48 a2 b5 c6 - 144 a b6 c6 + 32 b7 c6 +
24 a5 b c7 + 176 a4 b2 c7 - 320 a3 b3 c7 + 176 a2 b4 c7 + 24 a b5 c7 - 16 a5 c8 - 24 a4 b c8 +
304 a3 b2 c8 + 304 a2 b3 c8 - 24 a b4 c8 - 16 b5 c8 + 96 a3 b c9 - 464 a2 b2 c9 + 96 a b3 c9 +
80 a2 b c10 + 80 a b2 c10 - 112 a b c11 + 32 a10 b c b2 + 4 a c - 64 a9 b2 c b2 + 4 a c +
16 a8 b3 c b2 + 4 a c + 64 a7 b4 c b2 + 4 a c - 64 a6 b5 c b2 + 4 a c + 16 a4 b7 c b2 + 4 a c -
32 a9 b c2 b2 + 4 a c + 248 a8 b2 c2 b2 + 4 a c - 376 a7 b3 c2 b2 + 4 a c + 80 a6 b4 c2 b2 + 4 a c +
272 a5 b5 c2 b2 + 4 a c - 264 a4 b6 c2 b2 + 4 a c + 8 a 3 b7 c2 b2 + 4 a c + 64 a2 b8 c2 b2 + 4 a c +
8 a 9 c3 b2 + 4 a c - 80 a8 b c3 b2 + 4 a c - 80 a7 b2 c3 b2 + 4 a c + 608 a6 b3 c3 b2 + 4 a c -
752 a5 b4 c3 b2 + 4 a c + 144 a4 b5 c3 b2 + 4 a c + 176 a3 b6 c3 b2 + 4 a c -
160 a2 b7 c3 b2 + 4 a c + 72 a b8 c3 b2 + 4 a c - 8 a 8 c4 b2 + 4 a c + 192 a7 b c4 b2 + 4 a c -
528 a6 b2 c4 b2 + 4 a c - 40 a5 b3 c4 b2 + 4 a c + 600 a4 b4 c4 b2 + 4 a c -
608 a3 b5 c4 b2 + 4 a c + 112 a2 b6 c4 b2 + 4 a c - 24 a b7 c4 b2 + 4 a c - 16 b8 c4 b2 + 4 a c -
80 a6 b c5 b2 + 4 a c + 640 a5 b2 c5 b2 + 4 a c - 944 a4 b3 c5 b2 + 4 a c + 336 a2 b5 c5 b2 + 4 a c -
256 a b6 c5 b2 + 4 a c + 32 b7 c5 b2 + 4 a c + 16 a6 c6 b2 + 4 a c - 176 a5 b c6 b2 + 4 a c -
136 a4 b2 c6 b2 + 4 a c + 776 a3 b3 c6 b2 + 4 a c - 496 a2 b4 c6 b2 + 4 a c +
176 a b5 c6 b2 + 4 a c - 24 a5 c7 b2 + 4 a c + 192 a4 b c7 b2 + 4 a c - 416 a3 b2 c7 b2 + 4 a c -
48 a2 b3 c7 b2 + 4 a c + 200 a b4 c7 b2 + 4 a c - 64 b5 c7 b2 + 4 a c - 24 a4 c8 b2 + 4 a c +
336 a2 b2 c8 b2 + 4 a c - 200 a b3 c8 b2 + 4 a c + 48 b4 c8 b2 + 4 a c + 32 a3 c9 b2 + 4 a c -
96 a2 b c9 b2 + 4 a c + 32 b3 c9 b2 + 4 a c + 16 a2 c10 b2 + 4 a c + 48 a b c10 b2 + 4 a c -
32 b2 c10 b2 + 4 a c - 16 a c11 b2 + 4 a c + 16 a7 b4 c a2 + 4 b c - 64 a5 b6 c a2 + 4 b c +
64 a4 b7 c a2 + 4 b c + 16 a3 b8 c a2 + 4 b c - 64 a2 b9 c a2 + 4 b c + 32 a b10 c a2 + 4 b c +
64 a8 b2 c2 a2 + 4 b c + 8 a 7 b3 c2 a2 + 4 b c - 264 a6 b4 c2 a2 + 4 b c + 272 a5 b5 c2 a2 + 4 b c +
80 a4 b6 c2 a2 + 4 b c - 376 a3 b7 c2 a2 + 4 b c + 248 a2 b8 c2 a2 + 4 b c -
32 a b9 c2 a2 + 4 b c + 72 a8 b c3 a2 + 4 b c - 160 a7 b2 c3 a2 + 4 b c + 176 a6 b3 c3 a2 + 4 b c +
144 a5 b4 c3 a2 + 4 b c - 752 a4 b5 c3 a2 + 4 b c + 608 a3 b6 c3 a2 + 4 b c -
80 a2 b7 c3 a2 + 4 b c - 80 a b8 c3 a2 + 4 b c + 8 b 9 c3 a2 + 4 b c - 16 a8 c4 a2 + 4 b c -
24 a7 b c4 a2 + 4 b c + 112 a6 b2 c4 a2 + 4 b c - 608 a5 b3 c4 a2 + 4 b c + 600 a4 b4 c4 a2 + 4 b c -
40 a3 b5 c4 a2 + 4 b c - 528 a2 b6 c4 a2 + 4 b c + 192 a b7 c4 a2 + 4 b c - 8 b 8 c4 a2 + 4 b c +
32 a7 c5 a2 + 4 b c - 256 a6 b c5 a2 + 4 b c + 336 a5 b2 c5 a2 + 4 b c - 944 a3 b4 c5 a2 + 4 b c +
640 a2 b5 c5 a2 + 4 b c - 80 a b6 c5 a2 + 4 b c + 176 a5 b c6 a2 + 4 b c - 496 a4 b2 c6 a2 + 4 b c +
776 a3 b3 c6 a2 + 4 b c - 136 a2 b4 c6 a2 + 4 b c - 176 a b5 c6 a2 + 4 b c + 16 b6 c6 a2 + 4 b c -
64 a5 c7 a2 + 4 b c + 200 a4 b c7 a2 + 4 b c - 48 a3 b2 c7 a2 + 4 b c - 416 a2 b3 c7 a2 + 4 b c +
192 a b4 c7 a2 + 4 b c - 24 b5 c7 a2 + 4 b c + 48 a4 c8 a2 + 4 b c - 200 a3 b c8 a2 + 4 b c +
336 a2 b2 c8 a2 + 4 b c - 24 b4 c8 a2 + 4 b c + 32 a3 c9 a2 + 4 b c - 96 a b2 c9 a2 + 4 b c +
32 b3 c9 a2 + 4 b c - 32 a2 c10 a2 + 4 b c + 48 a b c10 a2 + 4 b c + 16 b2 c10 a2 + 4 b c -
16 b c11 a2 + 4 b c - 32 a9 b c b2 + 4 a c a2 + 4 b c + 64 a8 b2 c b2 + 4 a c a2 + 4 b c -
16 a7 b3 c b2 + 4 a c a2 + 4 b c - 64 a6 b4 c b2 + 4 a c a2 + 4 b c +
96 a5 b5 c b2 + 4 a c a2 + 4 b c - 64 a4 b6 c b2 + 4 a c a2 + 4 b c -
16 a3 b7 c b2 + 4 a c a2 + 4 b c + 64 a2 b8 c b2 + 4 a c a2 + 4 b c -
32 a b9 c b2 + 4 a c a2 + 4 b c + 32 a8 b c2 b2 + 4 a c a2 + 4 b c -
10 perpendicularbisectors.nb

184 a7 b2 c2 b2 + 4 a c a2 + 4 b c + 296 a6 b3 c2 b2 + 4 a c a2 + 4 b c -
144 a5 b4 c2 b2 + 4 a c a2 + 4 b c - 144 a4 b5 c2 b2 + 4 a c a2 + 4 b c +
296 a3 b6 c2 b2 + 4 a c a2 + 4 b c - 184 a2 b7 c2 b2 + 4 a c a2 + 4 b c +
32 a b8 c2 b2 + 4 a c a2 + 4 b c - 8 a 8 c3 b2 + 4 a c a2 + 4 b c +
80 a7 b c3 b2 + 4 a c a2 + 4 b c + 16 a6 b2 c3 b2 + 4 a c a2 + 4 b c -
336 a5 b3 c3 b2 + 4 a c a2 + 4 b c + 560 a4 b4 c3 b2 + 4 a c a2 + 4 b c -
336 a3 b5 c3 b2 + 4 a c a2 + 4 b c + 16 a2 b6 c3 b2 + 4 a c a2 + 4 b c +
80 a b7 c3 b2 + 4 a c a2 + 4 b c - 8 b 8 c3 b2 + 4 a c a2 + 4 b c + 8 a 7 c4 b2 + 4 a c a2 + 4 b c -
160 a6 b c4 b2 + 4 a c a2 + 4 b c + 480 a5 b2 c4 b2 + 4 a c a2 + 4 b c -
264 a4 b3 c4 b2 + 4 a c a2 + 4 b c - 264 a3 b4 c4 b2 + 4 a c a2 + 4 b c +
480 a2 b5 c4 b2 + 4 a c a2 + 4 b c - 160 a b6 c4 b2 + 4 a c a2 + 4 b c +
8 b 7 c4 b2 + 4 a c a2 + 4 b c + 32 a6 c5 b2 + 4 a c a2 + 4 b c -
416 a4 b2 c5 b2 + 4 a c a2 + 4 b c + 720 a3 b3 c5 b2 + 4 a c a2 + 4 b c -
416 a2 b4 c5 b2 + 4 a c a2 + 4 b c + 32 b6 c5 b2 + 4 a c a2 + 4 b c -
48 a5 c6 b2 + 4 a c a2 + 4 b c + 304 a4 b c6 b2 + 4 a c a2 + 4 b c -
280 a3 b2 c6 b2 + 4 a c a2 + 4 b c - 280 a2 b3 c6 b2 + 4 a c a2 + 4 b c +
304 a b4 c6 b2 + 4 a c a2 + 4 b c - 48 b5 c6 b2 + 4 a c a2 + 4 b c -
8 a 4 c7 b2 + 4 a c a2 + 4 b c - 224 a3 b c7 b2 + 4 a c a2 + 4 b c +
448 a2 b2 c7 b2 + 4 a c a2 + 4 b c - 224 a b3 c7 b2 + 4 a c a2 + 4 b c -
8 b 4 c7 b2 + 4 a c a2 + 4 b c + 56 a3 c8 b2 + 4 a c a2 + 4 b c -
128 a2 b c8 b2 + 4 a c a2 + 4 b c - 128 a b2 c8 b2 + 4 a c a2 + 4 b c +
56 b3 c8 b2 + 4 a c a2 + 4 b c - 32 a2 c9 b2 + 4 a c a2 + 4 b c +
144 a b c9 b2 + 4 a c a2 + 4 b c - 32 b2 c9 b2 + 4 a c a2 + 4 b c -
16 a c10 b2 + 4 a c a2 + 4 b c - 16 b c10 b2 + 4 a c a2 + 4 b c + 16 c11 b2 + 4 a c a2 + 4 b c -
8 a 8 b3 c 4 a b + c2 + 24 a7 b4 c 4 a b + c2 - 16 a6 b5 c 4 a b + c2 - 16 a5 b6 c 4 a b + c2 +
24 a4 b7 c 4 a b + c 2 - 8 a 3 b8 c 4 a b + c2 - 24 a9 b c2 4 a b + c2 + 80 a8 b2 c2 4 a b + c2 -
48 a7 b3 c2 4 a b + c2 - 112 a6 b4 c2 4 a b + c2 + 208 a5 b5 c2 4 a b + c2 -
112 a4 b6 c2 4 a b + c2 - 48 a3 b7 c2 4 a b + c2 + 80 a2 b8 c2 4 a b + c2 - 24 a b9 c2 4 a b + c2 +
16 a9 c3 4 a b + c 2 + 8 a8 b c3 4 a b + c2 - 192 a7 b2 c3 4 a b + c2 + 480 a6 b3 c3 4 a b + c2 -
312 a5 b4 c3 4 a b + c2 - 312 a4 b5 c3 4 a b + c2 + 480 a3 b6 c3 4 a b + c2 -
192 a2 b7 c3 4 a b + c 2 + 8 a b 8 c3 4 a b + c2 + 16 b9 c3 4 a b + c2 - 32 a8 c4 4 a b + c2 +
224 a7 b c4 4 a b + c2 - 128 a6 b2 c4 4 a b + c2 - 576 a5 b3 c4 4 a b + c2 +
992 a4 b4 c4 4 a b + c2 - 576 a3 b5 c4 4 a b + c2 - 128 a2 b6 c4 4 a b + c2 +
224 a b7 c4 4 a b + c2 - 32 b8 c4 4 a b + c2 - 224 a6 b c5 4 a b + c2 + 672 a5 b2 c5 4 a b + c2 -
552 a4 b3 c5 4 a b + c2 - 552 a3 b4 c5 4 a b + c2 + 672 a2 b5 c5 4 a b + c2 -
224 a b6 c5 4 a b + c2 + 64 a6 c6 4 a b + c2 - 168 a5 b c6 4 a b + c2 - 448 a4 b2 c6 4 a b + c2 +
736 a3 b3 c6 4 a b + c2 - 448 a2 b4 c6 4 a b + c2 - 168 a b5 c6 4 a b + c2 + 64 b6 c6 4 a b + c2 -
48 a5 c7 4 a b + c2 + 216 a4 b c7 4 a b + c2 - 256 a3 b2 c7 4 a b + c2 - 256 a2 b3 c7 4 a b + c2 +
216 a b4 c7 4 a b + c2 - 48 b5 c7 4 a b + c2 - 32 a4 c8 4 a b + c2 - 32 a3 b c8 4 a b + c2 +
208 a2 b2 c8 4 a b + c2 - 32 a b3 c8 4 a b + c2 - 32 b4 c8 4 a b + c2 + 32 a3 c9 4 a b + c2 +
32 b3 c9 4 a b + c 2 - 8 a 8 b2 c b2 + 4 a c 4 a b + c 2 + 8 a 7 b3 c b2 + 4 a c 4 a b + c2 +
perpendicularbisectors.nb 11

16 a6 b4 c b2 + 4 a c 4 a b + c2 - 16 a5 b5 c b2 + 4 a c 4 a b + c2 -
8 a 4 b6 c b2 + 4 a c 4 a b + c 2 + 8 a 3 b7 c b2 + 4 a c 4 a b + c2 -
8 a 9 c2 b2 + 4 a c 4 a b + c2 + 48 a7 b2 c2 b2 + 4 a c 4 a b + c2 -
80 a6 b3 c2 b2 + 4 a c 4 a b + c2 + 16 a5 b4 c2 b2 + 4 a c 4 a b + c2 +
96 a4 b5 c2 b2 + 4 a c 4 a b + c2 - 80 a3 b6 c2 b2 + 4 a c 4 a b + c2 -
16 a2 b7 c2 b2 + 4 a c 4 a b + c2 + 24 a b8 c2 b2 + 4 a c 4 a b + c2 +
8 a 8 c3 b2 + 4 a c 4 a b + c2 - 48 a7 b c3 b2 + 4 a c 4 a b + c2 +
232 a5 b3 c3 b2 + 4 a c 4 a b + c2 - 248 a4 b4 c3 b2 + 4 a c 4 a b + c2 -
16 a3 b5 c3 b2 + 4 a c 4 a b + c2 + 128 a2 b6 c3 b2 + 4 a c 4 a b + c2 -
72 a b7 c3 b2 + 4 a c 4 a b + c2 + 16 b8 c3 b2 + 4 a c 4 a b + c2 +
80 a6 b c4 b2 + 4 a c 4 a b + c2 - 128 a5 b2 c4 b2 + 4 a c 4 a b + c2 -
32 a4 b3 c4 b2 + 4 a c 4 a b + c2 + 288 a3 b4 c4 b2 + 4 a c 4 a b + c2 -
240 a2 b5 c4 b2 + 4 a c 4 a b + c2 + 32 a b6 c4 b2 + 4 a c 4 a b + c2 +
152 a4 b2 c5 b2 + 4 a c 4 a b + c2 - 184 a3 b3 c5 b2 + 4 a c 4 a b + c2 +
64 a b5 c5 b2 + 4 a c 4 a b + c2 - 32 b6 c5 b2 + 4 a c 4 a b + c2 +
8 a 5 c6 b2 + 4 a c 4 a b + c2 - 48 a4 b c6 b2 + 4 a c 4 a b + c2 +
96 a2 b3 c6 b2 + 4 a c 4 a b + c2 - 56 a b4 c6 b2 + 4 a c 4 a b + c2 -
8 a 4 c7 b2 + 4 a c 4 a b + c2 + 16 a3 b c7 b2 + 4 a c 4 a b + c2 -
32 a2 b2 c7 b2 + 4 a c 4 a b + c 2 + 8 a b 3 c7 b2 + 4 a c 4 a b + c2 +
16 b4 c7 b2 + 4 a c 4 a b + c 2 + 8 a 7 b3 c a2 + 4 b c 4 a b + c2 -
8 a 6 b4 c a2 + 4 b c 4 a b + c2 - 16 a5 b5 c a2 + 4 b c 4 a b + c2 +
16 a4 b6 c a2 + 4 b c 4 a b + c 2 + 8 a 3 b7 c a2 + 4 b c 4 a b + c2 -
8 a 2 b8 c a2 + 4 b c 4 a b + c2 + 24 a8 b c2 a2 + 4 b c 4 a b + c2 -
16 a7 b2 c2 a2 + 4 b c 4 a b + c2 - 80 a6 b3 c2 a2 + 4 b c 4 a b + c2 +
96 a5 b4 c2 a2 + 4 b c 4 a b + c2 + 16 a4 b5 c2 a2 + 4 b c 4 a b + c2 -
80 a3 b6 c2 a2 + 4 b c 4 a b + c2 + 48 a2 b7 c2 a2 + 4 b c 4 a b + c2 -
8 b 9 c2 a2 + 4 b c 4 a b + c2 + 16 a8 c3 a2 + 4 b c 4 a b + c2 -
72 a7 b c3 a2 + 4 b c 4 a b + c2 + 128 a6 b2 c3 a2 + 4 b c 4 a b + c2 -
16 a5 b3 c3 a2 + 4 b c 4 a b + c2 - 248 a4 b4 c3 a2 + 4 b c 4 a b + c2 +
232 a3 b5 c3 a2 + 4 b c 4 a b + c2 - 48 a b7 c3 a2 + 4 b c 4 a b + c2 +
8 b 8 c3 a2 + 4 b c 4 a b + c2 + 32 a6 b c4 a2 + 4 b c 4 a b + c2 -
240 a5 b2 c4 a2 + 4 b c 4 a b + c2 + 288 a4 b3 c4 a2 + 4 b c 4 a b + c2 -
32 a3 b4 c4 a2 + 4 b c 4 a b + c2 - 128 a2 b5 c4 a2 + 4 b c 4 a b + c2 +
80 a b6 c4 a2 + 4 b c 4 a b + c2 - 32 a6 c5 a2 + 4 b c 4 a b + c2 +
64 a5 b c5 a2 + 4 b c 4 a b + c2 - 184 a3 b3 c5 a2 + 4 b c 4 a b + c2 +
152 a2 b4 c5 a2 + 4 b c 4 a b + c2 - 56 a4 b c6 a2 + 4 b c 4 a b + c2 +
96 a3 b2 c6 a2 + 4 b c 4 a b + c2 - 48 a b4 c6 a2 + 4 b c 4 a b + c2 +
8 b 5 c6 a2 + 4 b c 4 a b + c2 + 16 a4 c7 a2 + 4 b c 4 a b + c2 +
8 a3 b c7 a2 + 4 b c 4 a b + c2 - 32 a2 b2 c7 a2 + 4 b c 4 a b + c2 +
16 a b3 c7 a2 + 4 b c 4 a b + c 2 - 8 b 4 c7 a2 + 4 b c 4 a b + c2 +
8 a 7 b2 c b2 + 4 a c a2 + 4 b c 4 a b + c2 - 24 a6 b3 c b2 + 4 a c a2 + 4 b c 4 a b + c2 +
12 perpendicularbisectors.nb

16 a5 b4 c b2 + 4 a c a2 + 4 b c 4 a b + c2 + 16 a4 b5 c b2 + 4 a c a2 + 4 b c 4 a b + c2 -
24 a3 b6 c b2 + 4 a c a2 + 4 b c 4 a b + c 2 + 8 a 2 b7 c b2 + 4 a c a2 + 4 b c 4 a b + c2 +
8 a 8 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 32 a7 b c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
16 a6 b2 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 64 a5 b3 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
112 a4 b4 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 64 a3 b5 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
16 a2 b6 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 32 a b7 c2 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
8 b 8 c2 b2 + 4 a c a2 + 4 b c 4 a b + c 2 - 8 a 7 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
48 a6 b c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 144 a5 b2 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
104 a4 b3 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 104 a3 b4 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
144 a2 b5 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 48 a b6 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
8 b 7 c3 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 32 a6 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
32 a5 b c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 128 a4 b2 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
224 a3 b3 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 128 a2 b4 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
32 a b5 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 32 b6 c4 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
32 a5 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 96 a4 b c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
104 a3 b2 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 104 a2 b3 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
96 a b4 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 32 b5 c5 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
24 a4 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 48 a3 b c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
96 a2 b2 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 48 a b3 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
24 b4 c6 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 24 a3 c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 +
16 a2 b c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 + 16 a b2 c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 -
24 b3 c7 b2 + 4 a c a2 + 4 b c 4 a b + c2 - 16 a b c8 b2 + 4 a c a2 + 4 b c 4 a b + c2 

Show[{
GraficaBaricentricas[{circunscrita,
Recta[ptA, ptA1].{x, y, z}, Recta[ptB, ptB1].{x, y, z}, Recta[ptC, ptC1].{x, y, z},
pa.{x, y, z}, pb.{x, y, z}, pc.{x, y, z}}],
GraficaSegmentos[{{ptJa, ptKa}, {ptJb, ptKb}, {ptJc, ptKc}}],
GraficaPuntos[{ptJa, ptJb, ptJc, ptKa, ptKb, ptKc, ptQ},
Labels  {"Ja ", "Jb ", "Jc ", "Ka ", "Kb ", "Kc ", "Q"}]
}]
perpendicularbisectors.nb 13

A
Jc

Kb
Ka

Ja Q

B C

Kc Jb

Você também pode gostar