Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mccme.ru/ask/qa/pictures/alalblc.pdf Дата изменения: Tue Mar 18 19:58:32 2003 Дата индексирования: Sat Dec 22 12:20:11 2007 Кодировка:

> q1:=numer(la^2-1/(b+c)^2*b*c*(a+b+c)*(-a+b+c)); q2:=numer(lb^2-1/(a+c)^2*a*c*(a+b+c)*(a-b+c)); q3:=numer(lc^2-1/(a+b)^2*a*b*(a+b+c)*(a+b-c)); q12:=factor(resultant(q1,q2,c)); q13:=factor(resultant(q1,q3,c)); q123:=resultant(q12,q13,b); f:=sort(map(factor,collect(op(5,factor(q123)),a)),a);
20

256 ( -la + lc )2 ( la + lc )2 ( -la + lb )2 ( la + lb )2 ( -la lb + la lc + lb lc ) ( la lb - la lc + lb lc ) ( -la lb - la lc + lb lc ) ( la lb + la lc + lb lc ) lb2 lc2 a

- - + + - + - + + - - - + - + - + + - +

256 ( -la14 lb8 + 2 la14 lb4 lc4 - la14 lc8 + 2 la12 lb10 + 9 la12 lb8 lc2 - 3 la12 lb6 lc4 - 3 la12 lb4 lc6 + 9 la12 lb2 lc8 + 2 la12 lc10 - la10 lb12 10 10 2 10 8 4 10 6 6 10 4 8 10 2 10 10 12 8 12 2 8 10 4 8 8 6 11 la lb lc - 40 la lb lc + la lb lc - 40 la lb lc - 11 la lb lc - la lc + 6 la lb lc + 31 la lb lc + 66 la lb lc 66 la8 lb6 lc8 + 31 la8 lb4 lc10 + 6 la8 lb2 lc12 - 14 la6 lb12 lc4 - 44 la6 lb10 lc6 - 72 la6 lb8 lc8 - 44 la6 lb6 lc10 - 14 la6 lb4 lc12 + 16 la4 lb12 lc6 31 la4 lb10 lc8 + 31 la4 lb8 lc10 + 16 la4 lb6 lc12 - 9 la2 lb12 lc8 - 11 la2 lb10 lc10 - 9 la2 lb8 lc12 + 2 lb12 lc10 + 2 lb10 lc12 ) a18 + 32 ( -40 la14 lb10 40 la14 lb8 lc2 + 80 la14 lb6 lc4 + 80 la14 lb4 lc6 - 40 la14 lb2 lc8 - 40 la14 lc10 + 24 la12 lb12 + 299 la12 lb10 lc2 + 320 la12 lb8 lc4 - 166 la12 lb6 lc6 320 la12 lb4 lc8 + 299 la12 lb2 lc10 + 24 la12 lc12 - 16 la10 lb14 - 137 la10 lb12 lc2 - 795 la10 lb10 lc4 - 971 la10 lb8 lc6 - 971 la10 lb6 lc8 795 la10 lb4 lc10 - 137 la10 lb2 lc12 - 16 la10 lc14 + 72 la8 lb14 lc2 + 351 la8 lb12 lc4 + 1097 la8 lb10 lc6 + 1155 la8 lb8 lc8 + 1097 la8 lb6 lc10 351 la8 lb4 lc12 + 72 la8 lb2 lc14 - 128 la6 lb14 lc4 - 390 la6 lb12 lc6 - 762 la6 lb10 lc8 - 762 la6 lb8 lc10 - 390 la6 lb6 lc12 - 128 la6 lb4 lc14 112 la4 lb14 lc6 + 178 la4 lb12 lc8 + 274 la4 lb10 lc10 + 178 la4 lb8 lc12 + 112 la4 lb6 lc14 - 48 la2 lb14 lc8 - 49 la2 lb12 lc10 - 49 la2 lb10 lc12 48 la2 lb8 lc14 + 8 lb14 lc10 + 23 lb12 lc12 + 8 lb10 lc14 ) a16 + 16 ( 118 la14 lb12 + 428 la14 lb10 lc2 - 118 la14 lb8 lc4 - 856 la14 lb6 lc6 118 la14 lb4 lc8 + 428 la14 lb2 lc10 + 118 la14 lc12 - 2 la12 lb14 - 807 la12 lb12 lc2 - 2001 la12 lb10 lc4 - 1022 la12 lb8 lc6 - 1022 la12 lb6 lc8 2001 la12 lb4 lc10 - 807 la12 lb2 lc12 - 2 la12 lc14 + 16 la10 lb16 + 172 la10 lb14 lc2 + 1542 la10 lb12 lc4 + 3120 la10 lb10 lc6 + 3533 la10 lb8 lc8 3120 la10 lb6 lc10 + 1542 la10 lb4 lc12 + 172 la10 lb2 lc14 + 16 la10 lc16 - 64 la8 lb16 lc2 - 398 la8 lb14 lc4 - 1772 la8 lb12 lc6 - 2347 la8 lb10 lc8 2347 la8 lb8 lc10 - 1772 la8 lb6 lc12 - 398 la8 lb4 lc14 - 64 la8 lb2 lc16 + 96 la6 lb16 lc4 + 280 la6 lb14 lc6 + 817 la6 lb12 lc8 + 1040 la6 lb10 lc10 817 la6 lb8 lc12 + 280 la6 lb6 lc14 + 96 la6 lb4 lc16 - 64 la4 lb16 lc6 - 62 la4 lb14 lc8 - 365 la4 lb12 lc10 - 365 la4 lb10 lc12 - 62 la4 lb8 lc14 64 la4 lb6 lc16 + 16 la2 lb16 lc8 + 28 la2 lb14 lc10 - 87 la2 lb12 lc12 + 28 la2 lb10 lc14 + 16 la2 lb8 lc16 - 18 lb14 lc12 - 18 lb12 lc14 ) a14 - ( 720 la14 lb 10608 la14 lb12 lc2 + 11216 la14 lb10 lc4 - 22544 la14 lb8 lc6 - 22544 la14 lb6 lc8 + 11216 la14 lb4 lc10 + 10608 la14 lb2 lc12 + 720 la14 lc14 288 la12 lb16 - 3217 la12 lb14 lc2 - 35778 la12 lb12 lc4 - 43775 la12 lb10 lc6 - 37340 la12 lb8 lc8 - 43775 la12 lb6 lc10 - 35778 la12 lb4 lc12 3217 la12 lb2 lc14 + 288 la12 lc16 + 288 la10 lb16 lc2 + 8666 la10 lb14 lc4 + 18872 la10 lb12 lc6 + 34894 la10 lb10 lc8 + 34894 la10 lb8 lc10 18872 la10 lb6 lc12 + 8666 la10 lb4 lc14 + 288 la10 lb2 lc16 - 576 la8 lb16 lc4 - 5967 la8 lb14 lc6 - 20854 la8 lb12 lc8 - 19615 la8 lb10 lc10

14


- 20854 la8 lb8 lc12 - 5967 la8 lb6 lc14 - 576 la8 lb4 lc16 - 576 la6 lb16 lc6 + 2140 la6 lb14 lc8 - 3050 la6 lb12 lc10 - 3050 la6 lb10 lc12 + 2140 la6 lb8 lc14 - 576 la6 lb6 lc16 + 288 la4 lb16 lc8 - 143 la4 lb14 lc10 - 6480 la4 lb12 lc12 - 143 la4 lb10 lc14 + 288 la4 lb8 lc16 + 288 la2 lb16 lc10 - 966 la2 lb14 lc12 - 966 la2 lb12 lc14 + 288 la2 lb10 lc16 - 81 lb14 lc14 ) a12 + ( 81 la12 lb16 + 3972 la12 lb14 lc2 + 22468 la12 lb12 lc4 - 3972 la12 lb10 lc6 - 45098 la12 lb8 lc8 - 3972 la12 lb6 lc10 + 22468 la12 lb4 lc12 + 3972 la12 lb2 lc14 + 81 la12 lc16 + 1254 la10 lb16 lc2 - 8012 la10 lb14 lc4 - 34520 la10 lb12 lc6 - 35778 la10 lb10 lc8 - 35778 la10 lb8 lc10 - 34520 la10 lb6 lc12 - 8012 la10 lb4 lc14 + 1254 la10 lb2 lc16 + 1215 la8 lb16 lc4 + 1672 la8 lb14 lc6 - 11013 la8 lb12 lc8 - 4764 la8 lb10 lc10 - 11013 la8 lb8 lc12 + 1672 la8 lb6 lc14 + 1215 la8 lb4 lc16 + 84 la6 lb16 lc6 - 2152 la6 lb14 lc8 - 10400 la6 lb12 lc10 - 10400 la6 lb10 lc12 - 2152 la6 lb8 lc14 + 84 la6 lb6 lc16 + 1215 la4 lb16 lc8 - 860 la4 lb14 lc10 - 12772 la4 lb12 lc12 - 860 la4 lb10 lc14 + 1215 la4 lb8 lc16 + 1254 la2 lb16 lc10 - 1868 la2 lb14 lc12 - 1868 la2 lb12 lc14 + 1254 la2 lb10 lc16 + 81 lb16 lc12 - 432 lb14 lc14 + 81 lb12 lc16 ) la2 a10 - ( 432 la10 lb14 + 8336 la10 lb12 lc2 + 19760 la10 lb10 lc4 - 28528 la10 lb8 lc6 - 28528 la10 lb6 lc8 + 19760 la10 lb4 lc10 + 8336 la10 lb2 lc12 + 432 la10 lc14 + 2672 la8 lb14 lc2 - 4049 la8 lb12 lc4 - 11252 la8 lb10 lc6 - 4966 la8 lb8 lc8 - 11252 la8 lb6 lc10 - 4049 la8 lb4 lc12 + 2672 la8 lb2 lc14 + 3808 la6 lb14 lc4 - 3748 la6 lb12 lc6 - 17532 la6 lb10 lc8 - 17532 la6 lb8 lc10 - 3748 la6 lb6 lc12 + 3808 la6 lb4 lc14 + 3808 la4 lb14 lc6 + 442 la4 lb12 lc8 - 9980 la4 lb10 lc10 + 442 la4 lb8 lc12 + 3808 la4 lb6 lc14 + 2672 la2 lb14 lc8 - 2740 la2 lb12 lc10 - 2740 la2 lb10 lc12 + 2672 la2 lb8 lc14 + 432 lb14 lc10 - 945 lb12 lc12 + 432 lb10 lc14 ) la4 lb2 lc2 a8 + 16 ( 54 la8 lb12 + 492 la8 lb10 lc2 + 202 la8 lb8 lc4 - 1496 la8 lb6 lc6 + 202 la8 lb4 lc8 + 492 la8 lb2 lc10 + 54 la8 lc12 + 216 la6 lb12 lc2 + 121 la6 lb10 lc4 + 235 la6 lb8 lc6 + 235 la6 lb6 lc8 + 121 la6 lb4 lc10 + 216 la6 lb2 lc12 + 324 la4 lb12 lc4 + 3 la4 lb10 lc6 - 368 la4 lb8 lc8 + 3 la4 lb6 lc10 + 324 la4 lb4 lc12 + 216 la2 lb12 lc6 - 149 la2 lb10 lc8 - 149 la2 lb8 lc10 + 216 la2 lb6 lc12 + 54 lb12 lc8 - 75 lb10 lc10 + 54 lb8 lc12 ) la6 lb4 lc4 a6 - 32 ( 24 la6 lb10 + 88 la6 lb8 lc2 - 112 la6 lb6 lc4 - 112 la6 lb4 lc6 + 88 la6 lb2 lc8 + 24 la6 lc10 + 72 la4 lb10 lc2 + 29 la4 lb8 lc4 + 10 la4 lb6 lc6 + 29 la4 lb4 lc8 + 72 la4 lb2 lc10 + 72 la2 lb10 lc4 - 46 la2 lb8 lc6 - 46 la2 lb6 lc8 + 72 la2 lb4 lc10 + 24 lb10 lc6 - 35 lb8 lc8 + 24 lb6 lc10 ) la8 lb6 lc6 a4 + 256 ( la2 lb2 + la2 lc2 + lb2 lc2 ) ( la2 lb6 - la2 lb4 lc2 - la2 lb2 lc4 + la2 lc6 + lb6 lc2 - 3 lb4 lc4 + lb2 lc6 ) la10 lb8 lc8 a2 + 256 la12 lb14 lc14

>