INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

(1)

a p p o r t

d e r e c h e r c h e

ISRN INRIA/RR--5923--FR+ENG

Thème SYM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

On solving the direct kinematics problem for parallel robots

Jean-Charles Faugère — Jean-Pierre Merlet — Fabrice Rouillier

N° 5923

May 2006

(2)

(3)

)(.#$

/103254$6798:25;=<>0@?BAC21D'EGF@;=0

∗

^H /103254$6I)J>0@;=;K0MLN0O;K<>0@P

†

^H AC21Q';KJ>R@0TSVU1D'J><W<>J>0@;

‡

XZY\[]^-_O`badce_3fhgjik[K]9^=g!gkfO]ml5n@oqpsrOtu^Kg

vCwxnzy{^i|g~}v{_h~_h

!u5n@wji!h^)wx^K|Y\^w||Yu^1:@zMceaMfz@#cub5z^=g

VK+u ¡ ¢MixYup£g\z1^w=¤¦¥%^9\wkn@5nOgj^9^§Bp£^Oi)]^ixYunhug#¨©nw)gkno£ª3pquixYu^hpqwx^Ki)«Op£u^K]zikpsg

\wkn@luoq^K]e¬W®#v%¯¨©nw\zw|zo£o£^o~]upq\tuo£zikn@wxgK°±²f³gkno£ªOp£u5¤¥²^´]^=zµn@]uthikp£u¶zo£o!ikY\^Mwx^Kzo

gkno£thixpqn@\gp£´M·|¸¹º>»¼²¸|½#¥Zf¤u¥pqikY\nthi3fgxgktu]hikp£nTn@ixYu^-]upq\tuo£zikn@wK°%¾unw^¿uz]uo£^¤\ikYu^

\wk^=psgjp£n)z5bikYu^²wk^=zo@|Y5zw|ix^wÀn¨OixYu^²gkno£thixpqn@\gwk^:@t\zw|zOik^K^KÀ°¦XZY\^uwxn1n@gk^K#zo£n@wkpqikY\]g¦t\gj^

@gl\o£@|«bl1n¿h^Kggj^Kª^Kwxowx^K^KOi'oq@nwxpÁixYu]gÀ¨©wxn]Ân@]uthik^Kwoq@^luw|!gkt\|Ym@g$¾ÃhÄ+¾:Z¨©n@wn]uthixpqu

Å wxÆl\u^w:l\@gj^=g¤@wk^=^K@iC]^ikYunhugC¨©nwCpsgjn@o£zikp£u#ikY\^!wk^=zouwxn3nzi|g:l3f-]^Knz¨GpqOik^Kwkª+o£g:¥pqikYw|+ixpqn@\zo

l1nt\\ug9¥Yups|YÇzwx^]9pq¿h^KÈ¥pÁixY¶gjikw|+ix^p£^Kg9n@]pquM¨©wkn@]ikYu^,p£Oik^wxª+zozwxpqikYu]^ixp£KgmÉ\^osÀ°ÈXZYu^

wx^Kgktuoqikp£u-gkno£thikp£n5g²wk^!^§Bp£^Oi²¨©n@w%gkt\|YB«3p£\n¨nthixuthigjp£\^!ikY\^~wxtuuup£uixpq]^bu^ª@^w%^¿u^K^Kug

¨©^K¥Âgj^=n@\ug-¬²p£T¨Êi#l5n@thi

1

gj^=n5¨©nwbun´^¿3ikwx^]^luthi#^Ku^w|zo$^¿uz]uo£^Kg|¯ZixY\z\«3g~iknVikYu^

oq@nwxpÁixYu]gl\thi!zosgjn-ikn-¥%^o£oÀuhik^=ikw|z5gjos+ixpqn@Bnz¨'®#vÇuwkn@luo£^]Ëp£@ixn9oq@^luw|zps!^=rOt\+ixpqn@\g°

g!z,^¿h]uoq^)¥%^)p£ª^)u^K¥Ìn]uthi|+ixpqn@\zo¦\wkn3nz¨nz¨ikYu^-^¿hp£gjik^K\^)n¨'5zw|zo£oq^KoÀwkn@l5niZ¥pqikY

40

wx^KoÀwkn3nzi|g°

ÍTÎOÏGÐxÑ-Ò +Ó¡ p£wk^=iV®#p£u^]+ixp£KgvCwxnluo£^],¤%v:zw|zo£oq^Ko!nl1nzi=¤%v'n@oqf3un@]9pszo~_hf3gjik^K]Ô_3n@oqª3p£u\¤

}²n@]uthik^Kw!!o£^Kluwx\¤h^Kon3nzi|g°

∗

ÕhÖ|×zØÙ>ÖxÚWØÛÜÙWÝÞOßàâá=ãqØÙÊä!ÖxÚ>ÛÜåæÝCÞÝCçuÖ|ÙWÛÜèÀéàëêìKíÕhìKí´îÙWØxïWÝ{ð¢Ú

†

à©ñò¦àâíóìKØî=ôÛõÖxöâíáÚWÛÜîØ÷ÜÛÜèjêzø¦ù'ç1ò¦à©ñ´îÙWØxïWÝ{ð¢Ú

‡

à©ñò¦àâí.ò¦ØKð{åæÝ{áð{ØæÙ©ÚCúûÕ3à©ç5ü=êìKí$ÕuìKíMîÙWØxïWÝ{ð¢Ú

(4)

)(.#$ &,")'"

¡ !n@t\g~\wkn@5nOgjn@\g!tu\^-]ixYunhh^m^§B^1ntuwbw=gjn@t\hwx^o£^muwxnl\oq[K]9^-n@]ikwxpsr@t\^

upqwx^Kim¬Êb®#v²¯~5n@tuw~o£^Kg~wkn@l5nixg!5zw|zo£oq[Koq^=g°¦^-ik^Kwk]^wKgknt\uwk^)ª@^thiupqwx^-pspzost\oq^Kw!ikn@thik^=g!o£^Kg

gkno£thixpqn@\g-w^Koqo£^Kgmh^¨Ên@È^KwjixpÁÉ^gxz5gmt\tu\^gktuu1n@gkpÁixpqn@Ègjt\wmo£^wxnl1nzi=°ûv:wm^¿3^K]uoq^@¤:o£

\w=psgjp£nTn@t´oq^9wx@ik[Kwk^)w^Kou^Kgbgjn@oqthixpqn@\g~gknOib@zw|zOixp£gK°~¦^=g~]ikYunhh^=g~uwxn1n@g^=g!thixpqo£psgj^K@i

upwxÔixgoq@nwxpÁixYu]^Kg-u^Kzostuo%¨©nwx]ôZwK^KOixg-ikôsgrOtu^¾ÃhÄ+¾:T1ntuwo£^Kzostuoh^l\@gj^=gmh^

Å wxÆl\u^wmntÈ1nt\wmo psgknos+ikp£nÇh^Kgmwx@p£u^Kgmw^o£o£^Kg9h^V1no£f3"!]^Kgm\w9h^=g9pqOik^Kwkª+oqo£^Kg$#Ml1nwxu^Kg

w|+ixpqn@uu^Koqo£^Kg#rOtupCgknOi#@gkgknhp%Kgbª^=m&ztuikwx^Kg#g{ixwxziKp£^Kgbthikp£o£p£gxzOih^o'zwxpqikYu]ixp£rOtu^9\w)pqOik^Kw)(

ª+oqo£^KgK°%*oq@nwxpÁixYu]^bÉ\\zo$^Kgji~^§BK^)\tup£gxrOtu^o£^Kg!ik^]\gh^-KzostuogknOi~ª@npsgjp£\gh^-o£Bgk^Kn\u^

gktuw'h^Kg$^¿h^K]9\oq^=g+"Kwxth¿À¤=@w,@^@¤K^K-\wjixp£tuoqp£^w=¤-#!tu\^¨©n@wk]mtuo£zikp£n@uzhi^%htmb®#v'°z}²n@]]9^

^¿h^]uo£^¤¦un@t\g#hn\un\g#t\u^uwk^Ktuª^o£tuos+ikn@pqwx^mu^9o ^¿hp£gjik^K\^&tu.wkn@l5ni)\zw|zo£oq[Koq^9ª^=

40

1n@gkpqikp£n\gK°

. Ò

=

Ð

/

¡

vCwxnl\oq[K]9^-n@]ikwxpsr@t\^hpqwx^KiK¤1nl1nzi!\wxoqo£[o£^¤50Kgkno£thikp£nTh^mgjfhgjik[]^=g5n@oqf1(

\n]p£th¿À¤5}%zostuo¦¾\nwx]^o>¤u!pqu^=gZwK^o£oq^=g

(5)

» º\¸-½+»â¹x¸x·º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º

---

!

K Ò Ó z#"Ò ! ! Ó ! Ò Ku$"Ò ! %

&(' *)5 ! Î B\ Î Ó VÎ "/,+ Ò /.-/"!10 2

u°q ~nzi|+ikp£n5gz\l\gkpsbu^É\upqikp£n5g°b°)°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°

u° Å

wxÆl\u^wl\@gj^=g~°#°)°)°#°)°#°)°#°)°)°b°)°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°

u° 3G^wxn (¢hpq]^K\gjp£n5zoGgjfhgjik^]g °#°)°)°b°)°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)° 4

u°Ã XZY\^!+ixpqn@\zo/5~upqª+wkps+ix^#!^uwx^Kgk^Oixzikp£n°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°

u° ¾\wkn@]Ë¨©nwx]zoGixnOt\]9^KwkpsoÀgjn@oqthixpqn@\g´°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°=

% /

0 Î +6"Ê Ò Ó Î /."WKu$"Ò ! 7

\°q _3ixz5uzw|oq@^luw|zps^KrOt\+ixpqn@\gK°°)°b°)°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°@

\° 8t5+ik^Kwk\pqn@\gV°)°#°)°)°#°)°#°)°#°)°)°b°)°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°=

\°u°q XZYu^#^\^wxp£#@gj^ °)°#°)°)°b°)°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°=

\°u° XZYu^#un,^Ku^wxpsKgk^T°)°)°b°)°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°KÃ

\°u° ^Kn+ª^wxp£uixYu^)wk^=zo¦gkno£thikp£n5g²n¨$ixYu^b®#v °)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°KÃ

9(:<;>= Î *" Î ! K ?2

2(@ Ò ! +/$"Ò ! A

B C m'$ " #$"#

a´n@gjip£\ht5g{ixwkpszowxnl1nzi|gmY5ª^Tógj^KwkpszoZ]^K|Y\upszowx|Yupqik^=ixtuwk^p>°^@°µg{i|zwkikp£uM¨©wxn] ikYu^,Éu¿h^=

l5gk^m^=|YMo£p£u«´psg)n\u^Kik^KMikY\wkn@tuY.zû@ixt\+ix^KVy{np£@i#ixnixYu^u^¿3i)o£pqu«MpqûikYu^B|Y5zp£¦°9_3t5|Y

gjikwxt\iktuwx^!uwxn+ª3p£h^=g:oszwx^¥%nwx«3gk\@^Zluthi%p£gunziZzuuwxn\wkps+ix^%p£ix^wx]gnz¨@t\wx@f-\\f3o£n@¦°

¾\nwz\uoqpszikp£n\g9wx^KrOtup£wkp£uóM@n3n3È5nOgjpqikp£n\pqu @t\wx@f z\1Änw9oszwx^\f3oqnO pqiY\gl1^^K

gktu@^Kgjik^=óikY\^t\gk^nz¨oqnOgj^= (>o£n3n ]^K|Y5zupso%gjikwxt\ixtuwx^p£È¥Yups|YÈ]n@wk^VikY\Èn\^«3p£u^]+ixp£

|Y5zp£\g!n@uu^=iikY\^wxntu5\ikYu^-^\ (ë^G^Kikn@wK°% i{f3up£Kzo¦^¿uz]uo£^)nz¨Cgjt5|Y,gjikwxt\iktuwx^)p£g!ikYu^

Å n@tuYuos+ik¨©nwx]EDq#Fë¤hÉ\t\wk^z°

¢9ikY\p£g:]^=|Y\zupsgk]¤zikYu^^K\ (ë^G^Kixnw:psgCn@uu^=ik^=ixn#ikYu^@wkn@tu\ml3f-#zwkikpstuos+ix^Kmoq^K@gK°XZYu^

^¿3ikwx^]pÁixpq^=g

A i , B i

nz¨hixYu^%oq^K@gzwx^²n@uu^=ik^=#ikn~ikYu^%wxnt\\)z\ikn~ikYu^%^\ (>^1^=ikn@w$l3f)gkuYu^wxpszo

y{n@pqOi|g¤\oqo£n+¥p£u-¨©wx^^)wxnzi|+ixpqn@\gZzwxntu\VikY\^Zy{np£@i~^Oik^KwxgK°:¢,^K@|Yo£^psg!9oqp£u^Kw!ikt\ziknwZixY\+i

oqo£n+¥!g-ikn |Y\z\^BixYu^,oq^Kóoq^KuzixY\gz\¶ûgk^5gjn@wmixY\+iBoqo£n+¥ iknó]^K@gjtuwx^BixYu^To£^.oq^KuzixY¦°Ç±%f

|Y5zu@pquVikYu^oq^Ko£^\zikY5gpqi)p£g#1n@gxgkpqluo£^mikn,nOixwkn@oixYu^5nOgjpqikp£n1Ä+nwxpq^KOix+ixpqn@ ¬ÊKzo£oq^=û 6* ¸k¯

n¨:ikYu^m^\ (>^1^=ikn@w¥pqikYûwk^=gj1^Ki!iknikY\^-wxnt\\À°¾\nwbnOixwkn@oqo£pq\Vgjt5|Y´wkn@l5ni~pqibpsg~^=gkgk^Oixp£o¦ikn

gkno£ª^-G+» ¸+º>»Ê·uwkn@luo£^]gH²ikY\^V»I ¸¹ ¸J+» ¸+º>»Ê· ¹ ¸ ¬©{®#v%¯!z5,ikYu^,½+»â¹k¸|·ºK+» ¸+º>»Ê·

¹ ¸d¬Êb®#v²¯°$¾un@wbikYu^{®#vNikYu^1n@gkpqikp£n1Ä+nwxpq^K@i|+ixpqn@ńz¨²ikYuûos+ik¨©nwx]¤$h^É\\^K.l3fM,gjî#n¨

5zw|z]^ix^w|g

X

p£g#«3un+¥.z\M¥²^9]-t5g{ih^ik^wx]pq\^-ixYu^nwxwx^Kgk5n@\hp£uVo£^oq^KuzixY\g

ρ

H#gkp£]9\oq^

\zo£fhgjpsgoqo£n+¥!g#iknMnlhi|zp£ z z5zo£f@ixp£Kzo²wk^Ko£zikp£n

ρ = F(X)

°MaTn@wk^V^\^w|zo£oqfTixYu^V{®#v p£gikn

uîk^Kwk]p£uîkYu^,ikt\zik^Ký{np£Oi9ª+zwxpszluo£^Kg9g9´¨©t\\ixpqn@Ènz¨~ikYu^,^5 (>^1^=ixnw95nOgj^\zw|z]îk^w|gK°

XZY\^-®#v psgZixYu^n\5nOgjpqik^\wkn@luoq^K]LHCl5^Kpq\Bp£ª^KixYuô£ô£ûikY\g~pÁip£g\^K^=gkgxzwxfixnVhîx^wx]pqu^

(6)

Ã ¹k¸´¸¹ ¸º h» »Ê¸¹

C y

x

A 1

A 2

A 3

A 4

A 5

A 6

B 1

B 2

B 3

B 4

B 5

B 6

A 2

A 1

A 4

A 6

A 3

A 5

"!#$

&%(')$

*+

,

-. /

0

C

z

x

y y r

x r

z r

¾pq@tuwx^9HÇXZYu^ Å n@tuYuos+ij¨©n@wk]

ixYu^tuwxwk^K@i95nOgjpqikp£nGÄnwxp£Ôixzikp£nónzïxYu^\o£zij¨©nwx],°ûîx^wx]9p£up£uíxYu^5nOgjpqikp£n1Ä+nwxpq^KOix+ixpqn@óp£g

^=gkgk^Oixp£oG¨©nwZikY\^)t\gj^)n¨ixYu^)wkn@l5ni!g!OfnOixwkn@o1os¥ ¥p£o£o¦t\gk^#ikYupsgp£h¨©nwx]+ikp£n°'X$¥%nmi{f31^Kgn¨

b®#v l1^n@\gjpsh^Kwk^=>H

°

21

»

¸H¥Yu^KÇgjixwjixpquûikY\^wxnl1nzipÁipsg9u^K^Kgxgkwkfûiknóhîx^wx]pquîkY\^,gjixwji1n@gk^VnzïkYu^

wkn@l5nib¥pqikY.gbn\oqfTª+zp£o£luo£^-p£h¨©nwx]+ikp£n´ikYu^o£^Vo£^\zikY5gb@g~]^=gktuwk^=Tl3f,ikYu^gk^\gknw|gK°

}²n]uthi|+ixpqn@ixpq]^)psgZunzi~wkpqikpso

h°#¹k¸ ¢º>»¸H)pqi¥pqo£o:l1^t\gj^=û¨©nw)n@@ixwkn@o'utuwx5nOgj^¥Yup£oq^ixYu^wkn@l5ni)p£g#]n+ª3pq\,\.g)gknOn@

g²]^Kgktuwx^]^Oi|g²wk^bªpqoszl\oq^@°±%thiZYu^wx^~¥%^b]f@gkgktu]^!ixY\+i%ikYu^#t\wkwx^Oi²1n@gk^~psg%ª^Kwkf

o£n@gk^biknikY\^bn@u^)nluixzp£u^=zi%ixYu^)uwx^ª3p£nt\gKzostuos+ixpqn@

¢ikYupsg\z1^w¥²^%uuwk^=gkg]pq\oqfbikY\^²n(ëoqp£u^%®#v¶¬©wx^Kzo(>ikp£]9^%®#vû]fbl1^²gkno£ª^=)p£-~gx+¨©^²¥%f

l3fnikYu^Kw]9^ikYunhug D£$4*Fâ¯²luthi!n@tuwZutuwx5nOgj^bpsg%iknh^Kgkp£gkno£ª3pqu9zo£n@wkpqikYu] ixY\+ipsgZ3tu]^wxp£Kzo£oqf

wxnl\t\g{i=¤:uwxn+ªOpsh^ó·x¸¹º>»¼²¸|½gjn@oqthixpqn@\g9z\Èp£g9wx^Kgkn5zluo£fM¨Ê@g{i9¨©nwn(ëoqp£u^,g{ixt\hp£^KgK° ±%f ^wkikpqÉ\^=

gkno£thixpqn@\g¥²^%]^KzmikY5+i:un#gjut\wkp£nt\gn@u^Z¥pqo£ohl5^%¨©n@tu\¬©p£95zwkikpstuoszw¥²^Zn@]uthik^Zn@uoqfikYu^Zwx^Kzo

gkno£thixpqn@\gx¯\ixY\+iC¥%^Z¥pqo£oul1^zluo£^Zikn#wx^É\u^%ixYu^] tu9ikn)z3f-wklupqikw|zwxf)Ktuw|f°'}²^KwjixpÁÉ1+ixpqn@

psg,«@^fMpsgxgjtu^¨©n@w)ikY\^V®#v@gz3fM^Kwkwxnw#¥p£oqo²oq^=ug)ikn´¨Êzp£o£tuwk^p£óikY\^BnOixwkn@o:nz¨ZikYu^Vwkn@l5ni

ixY\+i]f Y\ª@^K+ix@g{ixwkn@uYupsn\gk^KrOtu^K\^=g°ÇXZYup£gwxtuo£^Kgn@thiBgjn@]9^,gkno£ªOp£u.]^ikY\n3\ggjt\|Y³g

^Koqp£]pq5+ikp£nM¥Yun@gk^osgji3tu]^wxp£Kzo'g{ix^MKzu\nzil1^m^wkikpqÉ\^K¦°¢\u^^KMzunikYu^Kwt\gk^-n¨:ikYu^9®#v

psg#ixnMgjp£]-t\o£zikîkY\^Bwk^=zo:wxnl1nzi¥Yups|Y hp1^Kwxg)¨©wkn@]dpqixg)ixYu^n@wkîkpsoC]n3uô~¬Ê^°\°]3th¨Êiktuwxpq\

ixno£^w|z\^KgZp£\ht\^tu\^wkixpqOikp£^KgZp£,ikY\^oqnhK+ikp£n,n¨ixYu^

A i , B i

1np£Oixg!\ikY\^-n@@ixwkn@oÀo£¥Ì¥p£oqo

^¿hYupql\pÁi!1n@gkpÁixpqn@up£u^wxwkn@wxg²¥Yu^ixYu^)wkn@l5niZ¨©no£oqn+¥!gZ9un]p£\zoGixwxzy{^Kiknwxfu¯°

aT^ikYunhug¨©wkn@]n]utuik^w!oq@^luw|Y5ª^#zo£wk^=hfl1^^Kt\gk^KV¨©nw!gk^ª@^w|zo1utuwx5nOgj^#p£wxnl1nzixp£Kg¤

\ ^=gj1^Kp£oqo£f¶¨©nwTgjn@oqª3p£u3Äzg{ixt\hf3p£uóikYu^ób®#v°!¾\nw^¿uz]uo£^¤~pq DqKÃ*F)nw D F>¤bÈt\upqª+wkps+ix^

1no£f3un]pszo1¥pÁixY@gwxn3nzi|g²@gixYu^#®#v¶p£g%^¿3\oqpspqiko£fBn@]9\thik^=À°:±²tuiZn@u^Kzunzixp£^~ixY\+i%ikYunOgj^

n]uthix^w%zo£^l\wx#l\@gj^=]^ikY\n3\g²wk^]zp£uo£fh^Kgkpq@u^K9¨©n@w@^ijixpq\-rOt\zo£pÁi|+ixpqª@^!wk^=gjt\oÁi|g~¬©]pquo£f

ixYu^9Ot\]-l1^w#nz¨²gkno£thixpqn@\gx¯°-u^-@n@zonz¨ikYupsg#zwkikpso£^-psg~ixn\wkn@]9nik^9gjt\|YM]9^ikYunhug#l3fTgkYun+¥pq\

(7)

» º\¸-½+»â¹x¸x·º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º

ixY\+i:wx^K^Oi\wkn@wx^Kgxg]z«@^²\n+¥È1n@gxgjp£luo£^ixYu^p£w:t\gk^²¨©n@wCgjn@oqª3p£u!ixYu^!b®#vû^§pq^KOiko£fV¬â¨©^K¥¶gk^Kn\ug

p£ikYu^)¥%nwkikY@gj^¯²\¨©nw!Ofwxnl1nzi¬ÊunBgxgjt\]9uikp£nnikYu^)@^n]^ikwxfh¯°

¢.ikY\^É\w|g{i-gk^Kikp£n.nz¨%ikYu^B\wk^=gj^K@inOikwxpql\thikp£n¦¤$¥²^uwxn1n@gk^gjn@]^9@^u^KwxoCg{ixwxzik^Kp£^Kg¨©nw

n]uthixpq\b^§Bp£^Oiko£f)ikY\^%wx^Ko3wkn3nzi|gnz¨1oq@^luw|zpsgkfhg{ix^]g'nz¨1^KrOt\zikp£n\g$ikY\wkn@tuY

Å

wkÆ@luu^w'l\@gj^=g°

¢VikYu^#gj^=n@\gj^=ixpqn@¦¤3¥²^bgjYun+¥³Yun+¥³ixn-]nhh^o1ixYu^bb®#vÈp£Bn@wxh^KwCixn9gk5^K^Kt\gkpq@upÁÉ1zOixoqf

ixYu^n@]uthixzikp£n\gZt5gjp£u9ikYu^oq@nwxpÁixYu]g%nz¨ixYu^#É\w|g{i~gk^Kikp£n¦°

XZYu^mo£@g{ibgj^=ikp£nTpsgbh^ª@nzik^=iknB^¿h5^Kwkp£]^OixgnTª+zwxp£nt\g!o£@gkg~nz¨:wxnl1nzixgK°.^-p£oqo£t\gjikw|+ik^-ikYu^

1n+¥%^wnzüixYu^Z]9îkYunh-lOfn]uthixpq\b\-n]\zwxp£u!ixYu^Z5nOgjpqikp£n\g$nz¨1!ixYu^n@wkîkpszo3uosz5zwwkn@l5ni

¬Êoq^¨âi)(ëY\z5\¯C¥pqikYVikYunOgj^nz¨$B^G^Kikp£ª^bnu^9¬âixYu^bgxz]^b+¨âik^Kwgj]zo£o15^Kwjixtuwkl5+ikp£n5gx¯¤Ogjikt\ufOp£umikYu^

l1^Y5ªOp£nwnz¨\ikYu^Z]^ixYunh¥pqikY9wk^=gj1^Ki$ixn~ixYu^Zuwk^=psgjp£n-nz¨uixYu^Zpqu\thiCu+i|u°$g:gk^Kn\^¿uz]uo£^¤

¥%^uwxn+ª^zo£nwxpqikYu]pszo£o£f,ikY\zi)p£^ik]pq^Kwg)wxnl1nzi DFY\g#ÃOVwx^Ko:wkn3nixg$Hbl3f´t5gjp£uM}²n]uthix^w

~oq@^luw|]^ixYunhug$¥²^%z^wkikpq¨©fbikY\zi'oqoikYu^Zgjn@oqtuikp£n\g$zwx^Cwk^=zo@Ot\]-l1^w|g²¬Wz\)\nzi$n@uo£fbn]uo£^¿

3tu]ml5^KwxgZ¥pqikYTgk]zo£oÀpq]z@pq5zwxf\zwkixg|¯°

)(,Z ("- "

XZY\p£gbgj^=ixpqn@Tluwkp£^ 5fgktu]]zwxpK^Kg~gkn]^l5gkp£)wx^Kgktuoqixgzl1nthi Å wkÆ@luu^wl\gk^Kgz\ixYu^p£w#zuuo£ps-(

ixpqn@\gZixnVgjn@oqª3p£u^Kwkn(ëhp£]^\gkp£n\oGgkfhg{ix^]g¬Wgjfhgjik^]g~¥pÁixY´9É\upqik^3tu]ml5^Kw!nz¨Cn@]uoq^¿wxn3nzixg|¯°

XZY\^mwx^K@h^wpqOik^Kwk^=g{ix^KMpq.n]uo£^ik^9p£@ixwknhht5ikp£nûnz¨ Å wxÆl\u^wbl\gk^Kgbz5TikY\^mwx^KrOtup£wk^=Tl\@|«+(

@wkn@tu\Vp£gwx^¨©^Kwkwx^KBiknDÜ#Fë¤DÜ Fë°

!#"$%&!('*)+$$

^i:h^\nzik^%l3f

Q[X 1 , . . . , X n ]

ikY\^%wxp£u~n¨\5n@oqf3un@]p£o£g¥pqikY-w|+ixpqn@\zo3n3^§pq^KOixg'z\-tuu«3un+¥\g

X 1 , . . . , X n

z\

S = {P 1 , . . . , P s }

z3fMgktul\gk^i)nz¨

Q[X 1 , . . . , X n ]

°B5n@pqOi

x ∈ C ⁿ

^{p£g,K^wxn}

n¨

S

^pÁ¨

P i (x) = 0 ∀i = 1 . . . s

°!XZYu^mp£u^Kzo

I = hP 1 , . . . , P s i

^\^w|+ik^=lOf

P 1 , . . . , P s

p£g~ikYu^

gk^in¨%1no£f3un]pszosg#pq

Q [X 1 , . . . , X n ]

n@\gjikpqikthix^Kól3fûoqo:ixYu^Bn@]-lup£\zikp£n\g

P R k=1 P k U k

¥pqikY

U k ∈ Q [X 1 , . . . , X n ]

^° _3p£\^^ª^Kwkf.^o£^]^K@inz¨

I

ªupsgjYu^=gmzim^=|Y-^KwknMnz¨

S

¤:¥%^h^Kunzix^Vl3f

V C (S) = V C (I ) = {x ∈ C ⁿ | p(x) = 0 ∀p ∈ I }

¬Êwk^=gj¦°

V R (S) = V R (I) = V C (I ) T R ⁿ

^{¯~ikYu^}

gk^in¨'n]uo£^¿û¬Êwk^=gj¦°'wx^Kos¯.^Kwkn3^=gZnz¨

S

^°

/ 02134"5('617"8'9

Å wxÆluu^KwZl\gkp£g²nz¨

I

psgZmn]uthi|zluo£^@^u^Kwxzikn@w%gk^iZnz¨

I

¥pqikYn3nhBzo£n@wkpqikYu]pso5uwxn1^wkikp£^Kg

¬Wg#h^=gkwkp£l5^=Tl1^o£n+¥~¯~\Mh^É\u^=M¥pqikYûwk^=gj1^Kiixn]nun@]9pszonw|h^Kwkp£u\°#¢MikYupsg#\z1^w=¤Gnu^

¥p£o£o¦t\gk^ixYu^#¨©no£o£n+¥pqu9nw|h^Kwkp£u@g$H

: ¸<;»Ê· ¹ h»Ê· ¹k½@¸¹ H!¬Ê^¿\¯

X ₁ ^α ¹ · . . . · X _n ^α ⁿ < Lex X ₁ ^β ¹ · . . . · X _n ^β ⁿ ⇔ ∃i 0 ≤ n ,

α i = β i , for i = 1, . . . , i 0 − 1, α i 0 < β i 0

¬{=¯

(8)

¹k¸´¸¹ ¸º h» »Ê¸¹

:

½¸ ¹k¸|¸¹k¸ ¸¹ ¸ ¸<;»Ê· ¹ h»Ê· ¹k½@¸¹ H

X ₁ ^α ¹ ·. . .·X _n ^α ⁿ < DRL X ₁ ^β ¹ ·. . .·X _n ^β ^N ⇔ X

P

k α k

0 X ₁ ^−α ⁿ ·. . .·X _n ^−α ¹ < Lex X

P

k β k

0 X ₁ ^−β ⁿ ·. . .·X _n ^−β ¹

¬W¯

Å wxÆlu\^w~l5gk^Kg~wk^)]zikYu^K]zikpsonluy{^Ki|g!¥pqikY´@n3n3Toq@nwxpÁixYu]p£Kzo¦\wkn@5^Kwjixpq^=g H%ikYu^m]zp£

n@u^Kgwk^#gktu]]wkp^=Vp£ikYu^#¨©n@oqo£n+¥p£u\°

Î

!

"©#"Ò ! ¹ ¸

µ = (µ 1 , . . . , µ n ) ∈ N ⁿ

^¸ºZ½@¸ ^º¢¸

X ^µ

^º\¸ ^* ^9».

X ₁ ^µ ¹ · . . . · X _n ^µ ⁿ

^.

<

^» ^½m» ^»^¸ ^m». ^¹k½¸¹» ^½

P = P r

i=0 a i X ^µ ⁽ⁱ⁾

^,6* ^m». ^»

Q [X 1 , . . . , X n ]

^¸9½¸W¼ ^¸

LM(P, <) = max i=0...r , < X ^µ ⁽ⁱ⁾

^¸@½+» ^* ^9».

P

^£¹"£º

<

Î

!

"©#"Ò ! &

¸º I** 9».

G

^» ^Z¹ ^¸¹ ^» ^»Ê½¸

I

^¹º~º ^L ^* ^9».

¹k½¸¹»

<

^» ^¹

f ∈ I

^ºu¸¹k¸-¸<;@» º

g ∈ G

^\· ^ºI+º

(g)

^½z» ^»Ê½@¸

(f )

Å p£ª^KBz3f9@h]p£gxgkpqluo£^]nun@]p£o\nw|h^Kwkp£u

<

nu^~Kz^=gkpqo£f-^¿Oix^\9ixYu^o£@gkgkp£Kzot\o£p£u^Kz

upqª3psgjp£nixnV¹k¸|½\·|¸b)1no£f3un]pszo

p

l3funzixYu^wnu^nw=¤]nwx^!^Ku^w|zo£o£f¤l3fgk^i%nz¨¦1no£fO\n]p£o£g

F

¤h1^wk¨©nwx]pq\mixYu^#wk^=ht\ikp£n¥wjiZikn^=|Y5n@oqf3un@]9pszoGn¨

F

tuOikp£oÀ^ikikp£uz^¿huwx^Kgxgjp£n¥Yups|Y

Kz¶unziBl1^´wx^Kht5^K¶z3f3]nwx^°2.^´h^\nzik^,ixYupsg¨©tu\ikp£n l3f !#"%$#

(p, F, <)

¬©wx^Kht\ikp£n³nz¨

ixYu^5n@oqf3un@]p£o

p

^¥wki

F

^¯° 5!uo£p£«^pqûikY\^9t\upqª+wkps+ix^9Kgk^¤GikY\^wk^=gjtuoqi#nz¨%gkt\|Y.\wknh^=gkgpsg#unzi

Kzun@upszoG^¿h^hi!pq¨

F = G

^psg! ^Å wkÆ@luu^wZl\@gjpsg$H

&(' Î3Ò Î $¸º

G

^¸G)Z¹ ^¸¹ ^» ^»Ê½¸

I ⊂ Q[X 1 , . . . , X n ]

^¹ ^)¼ ^;3¸|½ ^¹x½¸¹»

<

ë» I** 9».

p ∈ Q[X 1 , . . . , X n ]

^¸ ^** ^º

I

^»^J ^½ ^*7 ^»^~¸|½ ^\·x¸

(p, G, <) = 0

ë»â» ~¸|½\·|¸#

p

G

<

^û½ ^¸ ^G ^º½@¸ ^¸ ^½ ^* ^º\¸ ^¹k½¸¹ ^Bºû¸ Î** ^9». ^» ^ºû¸ ^» ^º

G

^º

ºh» » V· * »Ê· ¹k¸|½\·|¸|½V¸<; ¹k¸ » ½

I

Å wxÆlu\^w-l5gk^Kg-wk^n]utuixzl\oq^nlhy{^=ixgK°MXZYu^Yupsg{ixnwxp£Kzo]^ikYunhó¨©n@w9n]uthixpquMikYu^K]p£g

±%t\|Y3l1^wx^Kwg$oq@nwxpÁixYu]¬DÃu¤*Fâ¯°ëi:Y\@g'gj^Kª^w|zo3ª+zwxpszOixgz\mpqiCp£g'p£]uoq^K]^Oik^=-p£]9nOg{i'^Ku^w|zo

n]uthix^w#zo£^KluwxVgjfhgjik^]gbo£pq«@^ma´uoq^9nw#a´zikYu^K]zikps\°#!^K^KOiko£f¤G]nwx^-^§Bpq^K@i)zo£n@wkpqikY\]g

Y5ª^bl5^K^,uwxn1n@gk^KViknn@]9\thik^ Å wxÆlu\^wZl\gk^Kg$H

•

^{ikYu^}

F 4

zo£n@wkpqikY\] D4F¦p£gZl\@gj^=Vn@VixYu^)p£@ix^\gkp£ª^#t\gk^bn¨$o£pq\^Kzw!oq@^luw|]^ikYunhug$H:pqTgkYunwkiK¤

ikYu^zwxlupÁixwxwkfû|Yunps^=g¬

S

(ë5n@oqf3un@]p£o£g|¯bzwx^oq^¨âiiknMn]uthi|+ixpqn@\zoCgjikw|+ix^p£^Kg#wx^os+ix^Kûikn

osgxgjpso'oqp£u^Kwzo£^Kluwxuwxnluo£^]g¬Ê]pq\oqfTixYu^Bn@]uthixzikp£n.nz¨Zwkn+¥ ^K|Yu^Koqn@M¨©n@wk]B¯¤ikYu^

5n@oqf3un@]p£o£gZl1^p£uwx^uwx^Kgk^Oik^=V@gZª^Kikn@wxg%p£ixYu^)]nun@]p£o1l5gkp£gK°

•

^¢ D£PF:B\^¥Âwxpqik^wxp£n ¬âixYu^

F 5

wxpÁix^wxpqn@5¯%¨©n@wbh^ik^=ikp£ut\gj^Koq^=gkgn@]9\thixzikp£n\g9¬©]n@gjin¨

ikYu^

S

(ë5n@oqf3un@]p£o£giknml5^)n@]uthik^=t\gkpq\-ixYu^bo£@gkgkpszo1±%t\|Y3l5^Kwk@^w²oq@nwxpÁixYu] wk^=ht\^!ikn

0

¯~Y\gbl1^^KMp£ª^K+*Àtu\u^w)gjn@]^-wx^t\o£wkpqi{fn\upÁixpqn@\g~n@´ixYu^9gkfhg{ix^],¤Àpqibpsgbuwkn+ª@^K,ixY\+i ikYu^Toq@nwxpÁixYu] hnû\^ª^Kwm1^wk¨©nwx] t\gk^o£^Kgxgmn]uthi|+ixpqn@\g° u^K¥zo£n@wkpqikY\] 5z]^K

F 5

Y\g#l1^^Kólutup£oÁit\gkp£uikYu^=gj^9i{¥%npsh^K@gHbixYu^

F 5

oq@nwxpÁixYu] n@\gjikwxt\i|gp£\wk^K]9^KOixzo£o£fTikYu^

¨©no£oqn+¥p£u]+ixwkps^=g²p£Th^@wk^K^

d

^H

(9)

» º\¸-½+»â¹x¸x·º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º

A d =

m 1 > m 2 > m 3 . . . t 1 f 1

t 2 f 2

t 3 f 3

. . .







. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .







¥Yu^wx^ikYu^,p£\hps^Kgn¨!ikY\^,no£tu]\gzwx^]n@un]pszosgmgknwkik^= ¨©nw9ixYu^Th]psgkgkpql\oq^nw|h^wxp£u

<

z\ÇixYu^Mwxn+¥!gzwx^Tuwxn3ut\iBn¨)gkn]^T1no£f3un]pszosg

f i by some monomials t j

gjt\|Y³ixY\+i

deg(t j f i ) ≤ d

°¾\nw#Bwx^@tuo£wgkfhg{ix^] ikY\^m]+ixwkps^=g¤

A d

zwx^¨©tuo£o'wxu«G°b¢.gk^Kn\Mg{ix^¦¤

wkn+¥N^K|Yu^Koqn@B¨©n@wk]gZnz¨ikY\^)]zikwxp£^Kgwk^#n@]9\thik^=>H

A ⁰ _d =

m 1 m 2 m 3 . . . t 1 f 1

t 2 f 2

t 3 f 3

. . .







1 0 0 . . .

0 1 0 . . .

0 0 1 . . .

0 0 0 . . .







ª^ pq¨

F 5

gjikp£oqoZn@]uthik^=g)ixYu^gxz]^B]+ixYu^]zikpszo²nlhy{^=i¬W

Å

wxÆlu\^wl\@gjpsg|¯¤ikYu^@.¥pqikY

^¿hp£gjikp£uBnikYu^Kwzo£n@wkpqikY\]g!p£gbn@\gj^=rOtu^OiK°¢M\zwkikpstuoszw=¤5utu^ixnikYu^mwxu^)n¨C^¿uz]uo£^Kg~¥Yups|Y

l1^Kn]^#n]utuixzl\oq^@¤

Å

wkÆ@luu^wZl\@gjpsgZVl1^#n\gkpsh^wx^KgZ-wx^K@gjn@\zl\oq^bn]utuixzl\oq^bnlhy{^=ip£

oszwx^bzu\oqpszikp£n\gK°$¢]1nwkix@iZ\wx]9^ik^Kwxgikn9^ª+zo£t\zik^ikYu^)n@]uoq^¿hpÁi{fnz¨

Å

wkÆ@luu^Kw²l\@gj^=g¥pqikY

ixYu^

F 5

zwx^ikYu^

D

ikY\^V]+¿hp£]o²h^Kwx^^

d

nht\wkp£u´p£ ikY\^n]uthi|+ikp£n \óixYu^gkpK^Vn¨ikYu^

]zikwxpÁ¿

A d .

XZYu^)n+ª^KwxoqoGnOg{i!psg%ikY3t\g!un]pq5+ik^=Vl3f

(#A d ) ³

^°

.^ó\f È\wjixp£tuoszw,+ijix^Oikp£n ikn Å wkÆ@luu^Kwl\@gj^=gn]uthix^Kµ¨©nw,^o£pq]p£\+ixpqn@ n@wxh^Kwkp£uOg

gkp£\^VikYu^Kf.\wkn+ª3psh^VT¥ZfMixn » » ikYu^,gjfhgjik^K]¬Wz ^=rOtupqª+oq^K@i9gjfhgjik^]¥pqikY¶´g{ixwkt5ikt\wk^=

gkY\5^¯°)¾un@w^¿h]uoq^@¤ÀBo£^¿hp£n@wxuYups Å wkÆ@luu^Kw~l\@gjpsg~n¨^Kwknhpq]^K\gjp£n5zo'gjfhgjik^] ¬Ê¥Yu^MikYu^

3tu]ml5^Kw)nz¨n@]9\oq^¿.gkno£thikp£n\g#psg#É\\pÁix^=¯#Y\@g)zo£¥%fhgikY\^¨©no£oqn+¥p£uTgjY5z1^´¬©pq¨Z¥%^gjt\u5nOgj^ixY\+i

X 1 < X 2 . . . < X n

¯PH



 

 

 

 

f (X 1 ) = 0 f 2 (X 1 , X 2 ) = 0

°°°

f k 2 (X 1 , X 2 ) = 0 f k 2 +1 (X 1 , X 2 , X 3 ) = 0

°°°

f k n−1 +1 (X 1 , . . . , X n ) = 0

°°°

f k n (X 1 , . . . , X n ) = 0 .

¬Wh^1^5hpq\)ngjn@]^%@^n@]9^ikwxp£Kzo3uwxn1^wkikp£^Kg'n¨5ixYu^!gjn@oqtuikp£n\gK¤gkn]^Znz¨1ikYu^!1no£f3un]pszosg]fml5^

psh^K@ixp£Kzo£oqf93tuo£os¯°Cµ¥%^o£o5«3un+¥uwxn1^wki{f9p£gCikY\zi²ixYu^$K^wxn@g:n¨ÀikYu^#gj]oqo£^Kgji¬©¥)°w=°i=°

<

¯CunB3tuo£o

1no£f3un]pszo:h^É\u^9ikYu^G3Àzwxp£gk«3p'oqnOgjt\wk^,¬Êo£@gkgkp£Kzo'o£n@gktuwx^mp£.ikYu^@gj^9nz¨n@]uoq^¿Mn3^§Bpq^K@i|gx¯

n¨ixYu^)uwxnzy{^Kikp£nnikYu^n3nw|hpq5+ik^+gZgk\^)gxgjnhps+ix^KV¥pÁixYixYu^gk]oqo£^Kgjiª+zwxp£luoq^=g°

(10)

4 ¹k¸´¸¹ ¸º h» »Ê¸¹

aTn@wk^.^Ku^w|zo£o£f¤~Ì@h]p£gxgjp£luo£^ûn@wxu^wxpqu

<

ⁿ ikYu^ó]n\n]p£o£gh^K5^K\hp£u³n ª+wkpszluo£^Kg

[X 1 , . . . , X n ]

psg~Tnw|h^wxp£u¥Yup£|YT^Koqp£]pq5+ik^=g

X d+1 , . . . , X n

pq¨

X i < X j ∀i = 1 . . . d, j = d + 1 . . . n

°'XZYu^Zo£^¿hp£n@wxuYupsn@wxh^Kwkp£ubp£g:b\wjixp£tuoszw'^o£pq]p£\+ixpqn@mn@wxu^wxpqu5° Å p£ª^K-i{¥%n#]9n@un]pszo n@wxu^wxpquOg

< 1

¬©¥)°wK°iK°$ikYu^Zª+zwxpszluo£^Kg

X 1 , . . . , X d

¯$\

< 2

¬©¥)°wK°iK°$ikY\^%ª+wkpszluo£^Kg

X d+1 , . . . , X n )

^{nu^}

Kzh^É5u^!znw|h^Kwkp£ub¥Yup£|Y9^o£p£]9p£\zik^Kg

X d+1 , . . . , X n

l3f-gk^ikikp£u#ikYu^!gkn)oqo£^Kmluo£n3|«mnw|h^wxp£u

< 1,2

@g%¨©no£oqn+¥!g H:@pqª@^Bi{¥%n]nun@]9pszosg

m

^z5

m ⁰

^¤

m < 1,2 m ⁰

pq¨'\nuo£fBpq¨

m | X 1=1,...,Xn=1 < 2

m ⁰ _| _X

1=1,...,Xn=1

nw¬

m | X 1=1,...,Xn=1 = m ⁰ _| _X

1=1,...,Xn=1

\

m < 1 m ⁰

^¯°

'61 !$ '9$%.( ( '

3G^wxn (¢hpq]^K\gjp£n5zo3gjfhgjik^]g:wk^%5n@oqf3un@]p£ougjfhgjik^]g'¥pqikYÉ\upqik^3tu]-l1^w:n¨Gn]uo£^¿mgkno£thixpqn@\g°

XZY\p£g#gk5^=pqÉ5gk^9p£g¨©tu\\z]^Oixo'¨©nw#]z3fT^\p£u^^Kwkp£uuuo£p£K+ixpqn@\gbpq\oqt5hpq\\wxoqo£^o']-(

\pqut\o£ziknw²®#vgC¥Yup£|YBwk^Z«3un+¥9ikn-Y\ª^@¤+iC]n@gjiK¤OÃ@#n]uo£^¿9gkno£thixpqn@\g:p£unh^K^\^w|+ik^=

Kgk^Kg¬ D£Ku¤CKh¤uPF©¯°XZYu^9¨©no£oqn+¥p£u,«3un+¥´ixYu^n@wk^K]dgkYun+¥!gikY\zi#¥%^.h^ik^=i^K@gjp£o£f,ikY\zi)

gkfhg{ix^] p£g^wxn)hp£]9^K\gkpqn@\zoun@wCunil3fmn@]uthikp£u Å wxÆl\u^w:l\@gj^Z¨©n@wz3fm]9n@un]pszoun@wxu^wxpqu H

&(' Î3Ò Î &

$¸º

G = {g 1 , . . . , g l }

^¸ ^%¹ ^¸¹ ^» ^¹ ^¹k½¸¹»

<

^ºë¸

S = {P 1 , . . . , P s } ∈ Q[X 1 , . . . , X n ] ^s

^u¸-º ^* ^» ^¹ ^{¸¹ºW»Ê¸} ^+¹k¸9¸ ^h» ^¸ ^º

¹J » ½@¸ ;

i

i = 1 . . . n

^ºu¸¹k¸¸<;» º I** 9».

g j ∈ G

^½ ^I ^»âº>» ^¸9» ^ºë¸ ^¸¹

n j

\·TºI+º

X _i ⁿ ^j =

(g j , <)

u¸ º¢¸

{P 1 = 0, . . . , P s = 0}

⁶ ^!¼ ^»âº¢¸ ^? ^¸¹ ^*^hº>»^*I ^»

C ⁿ

ë¨

S

^psg ^Kwkn(ëhp£]^\gkp£n\oW¤ÀixYu^¤'@nw|hpq\VixnTikYu^Knwx^]3¤'nuo£fûÉ\\pÁix^B3tu]-l1^wn¨]9n@un ( ]pszosg

m ∈ Q[X 1 , . . . , X n ]

zwx^-uniwx^Kht\pql\oq^9]n3utuoqn

G

¤G]^Kz\pquikY5+i#!^Kht\^@¬

m

^¤

G

^¤

<

^¯

= m

^°

aM+ikY\^]+ixp£Kzo£oqf@¤Ggkf3gjik^K] p£g+K^wxn (¢hp£]9^K\gkpqn@\zo$pÁ¨Zz\Mnuo£fTpÁ¨

Q[X 1 , . . . , X n ]/I

^p£g#

Q

(>ª@^Kiknw gk\@^bnz¨É\upqik^hp£]^\gkpqn@¦¤

I

l1^p£u9ikYu^)psh^=zoÀ^Ku^w|+ix^Kl3fikYu^gkfhg{ix^],°:XZYupsgª^=ikn@wgj\@^#

¨©t\oqo£fVl1^|Y\zw|ik^Kwkp^=¥Yu^,«3un+¥p£u Å wxÆl\u^wl\@gjpsg$H

&('

Î3Ò Î % $¸º

S = {p 1 , . . . , p s }

^¸ ^¸º ^6* ^m». ^»âº

p i ∈ Q [X 1 , . . . , X n ] , ; ∀i = 1 . . . s

^½ ^6* ^¸´ºI+º

G

^» ^Z¹ ^¸¹ ^»

I = hSi

^»âº^¶¹k¸ ^¸|·º-º ^* ^m».

¹k½¸¹»

<

^u¸

Q[X 1 , . . . , X n ]/I = {Reduce(p, G, <) p ∈ I }

^» ^¸|·º ^¹ ^·|¸ ^C¼ ^{»âº¢¸-½+»¸} ⁶ ^»^*

B = {t = X ^e ¹ ₁ · X ^e ⁿ _n , (e 1 , . . . , e n ) ∈ N ⁿ | Reduce(t, G, <) = t} = {w 1 , . . . , w D }

^»

»J

Q[X 1 , . . . , X n ]/I

Q

^¸|·º ^¹ ^·|¸

D = ]B

^» ^¸<;·º ^º\¸ ^? ^¸¹ ^.¸ ^¸¸ ^º ^.· ^¸<;=¸¹ ^¸ ^´º^u¸ ^ºë¸

{P =

0, ∀P ∈ S}

^· ^º¢¸|½ ^»âº^L ^ºW» ^{»Ê·»âºW»Ê¸}

XZY3t\gK¤Kp£#ikY\^4^Kwkn(ëhp£]^\gkp£n\oKgk^¤Kn\^C

Å

wkÆ@luu^wÀl5gkp£gÀpsgÀ«3un+¥¦¤%l\gkpsgÀnz¨

Q[X 1 , . . . , X n ]/I

Kz9^K@gjp£oqf-l5^!n]uthix^K,¬ÊXZYu^Knwx^] O¯'gjnbixY\+iCo£pq\^KzwCoq@^luw|!]^ikYunhugCKzl1^!zuuo£p£^K-¨©nwhn@pq\

gk^ª@^w|zoÀn@]uthixzikp£n\gZ\^ikikp£upqu¨©nwx]zikp£n\gl5n@thiZikYu^)wxn3nzi|g°

(11)

» º\¸-½+»â¹x¸x·º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º

¾\nw:z3f)1no£fO\n]p£o

q ∈ Q[X 1 , . . . , X n ]

ixYu^h^Kn]1n@gkpÁixpqn@

q =

!^Kht\^@¬

q

^¤

G

^¤

<

^¯

P D i=1 a i w i

psgCt\up£rOtu^m¬ÊXZYu^Knwx^]=¯Cz5m¥%^~h^Kunzix^!l3f

~

q = [a 1 , . . . , a D ]

ixYu^!wx^uwx^Kgk^Oi|+ikp£n9nz¨

q

p£ikYu^l\gkp£g

B

°:¾un@w^¿uz]uo£^¤3ixYu^)]+ikwxpq¿V¥)°w=°iK°

B

nz¨ikYu^)o£pq\^Kzw]

m q:

Q[X 1 , . . . , X n ]/I −→ Q[X 1 , . . . , X n ]/I

~

p 7−→ − → pq

Kz.^¿huo£p£pÁixoqfûl5^Bn]uthix^K³¬©pqixgmn@oqtu]\g)wk^9ixYu^ª^=ikn@wxg

−→ qw i

¯#z\.n@u^z.ixYu^ z\uoqfMikYu^

¨©n@oqo£n+¥p£um¥%^o£o(>«3un+¥VikYu^Knwx^]LH

&(' Î3Ò Î 9

5º>»Ê· ¸ ¸¹ ¸¹ u¸9¸» ¸ 7 \¸ J

m q

+¹x¸m¸<;·º ºu¸

q(α)

^\¸¹x¸

α ∈ V C (S)

Knw|hp£uûikn XZYu^n@wk^K] Ãu¤²ikYu^,p(WixY¶nOn@wxupq\zik^nz¨#zo£o

α ∈ V C (S)

Èl1^Tnlhi|zp£u^K ¨©wkn@]

M X i

^Kpq@^3ª+zo£tu^Kgl\thiVixYu^Mpsgkgktu^´n¨#É\\hp£uÈoqo~ikYu^Mn3nw|hpq5+ik^=gnz¨oqo~ikYu^

α ∈ V C (S)

^¨©wkn@]

M X 1 , . . . , M X n

^p£^3ª+zo£tu^=gpsg\nzi'^¿huo£p£pÁiunw'g{ixwxpq@YOij¨©nwx¥Zzw|9¬Wgj^K^ D£FO¨©nw^¿uz]uo£^=¯°~nzix^²zosgkn

ixY\+i~gkn]^)ztuikYun@wxgZuwxn1n@gk^)zo£n@wkpqikYu]g²iknBn]uthix^)3tu]^wxp£Kzo£oqfixYu^)]+ixwkps^=g

M X 1 , . . . , M X n

¥pqikY\nthin@]9\thikp£u Å wxÆl\u^wml\gk^Kg¬Êgk^^ D Fâ¯° 5! ixnûn@tuw-^¿h5^Kwkp£]^OixgK¤Cgjt5|YÇn@]uthixzikp£n\g

wk^9uni#3tu]^Kwkpsoqo£f´g{i|zluo£^9¨©nw)@^u^Kwxo]upq\tuo£zikn@wxg#z5Mpqi)]fMl5^uwx^¨©^Kwxluo£^-ixn,n]uthix^¤

¨©n@w²^¿uz]uo£^¤OikYu^)|Y\wx@ix^wxp£gjikps1no£fO\n]p£o5n¨¦ikY\^b]zikwxpÁ¿

M X i

\ixYu^p£gknos+ix^pqixg%wx^Ko5wxn3nzixg

ixnVn@lhixpq.zo£oixYu^m1n@gxgkpqluo£^-p(>ikYûn3nw|hpq5+ik^=g~n¨:ikYu^gkno£thikp£n\gJH!¥%^m\wk^¨©^wiknB¨©n@oqo£n+¥¥pqikYM^¿ui

n]uthi|+ixpqn@\g9oqpqijixoq^)lupqi!]nwx^¤huwxn+ª3p£upqu9^¿u@iZ¨©nwx]-tuosg@g%^¿huoszp£u^Kp£VixYu^)u^¿3i~gk^Kikp£n¦°

(' 7$ 1 ' 7'$1 '98'9.%.

XZY\^~+ikp£n5zo5!\pqª+zwxps+ik^^Kuwx^Kgk^Oixzikp£n DÜzFCp£gK¤¥pqikY.ixYu^^\ (>t\gk^w)1np£Oi)nz¨ZªOp£^¥)¤,gjp£]uoq^

¥Zfû¨©nw-wx^\wk^=gj^K@ixpq\´gjf3]-l1no£pszo£o£fMixYu^wxn3nzi|gnz¨~ ^wxn (¢hp£]^\gkpqn@\zo²gjfhgjik^]¥pqikYun@thimo£n3n@gkpq\

p£h¨©n@wk]+ixpqn@ ¬©]mtuoÁixpq\oqpspqikp£^Kgnwwk^=zo¦wxn3nzixg|¯gkpq5^n@u^-´^izo£o¦ixYu^-p£h¨©n@wk]+ixpqn@Tn,ixYu^-wxn3nzixg

n¨ixYu^gjfhgjik^K]l3fVgkno£ªOp£u9^¿uo£t\gkpqª@^o£fBtuup£ª+zwxp£zik^#1no£fO\n]p£o£gK°

Å

p£ª^KÈ K^wxn (¢hpq]^K\gjp£n5zo²gkfhg{ix^]

I =< p 1 , . . . , p s >

¥Yu^Kwk^VikYu^

p i ∈ Q[X 1 , . . . , X n ]

^¤C

~+ikp£n5zo 5!\pqª+zwxps+ik^´!^uwx^Kgk^Oixzikp£n¶nz¨

V (I )

Y5gixYu^T¨©no£o£n+¥pqu gkY\z1^ H

f t (T ) = 0, X 1 =

g t,X 1 (T)

g t,1 (T ) , . . . , X n = ^g _g ^t,Xn ^(T)

t,1 (T )

¤À¥Yu^Kwk^

f t , g t,1 , g t,X 1 , . . . , g t,X n ∈ Q[T ]

^¬

T

psg#Bu^K¥Âª+zwxp£luo£^=¯°#ëi psg)tu\p£rOtu^Koqfóh^É5u^Kó¥)°wK°iK°,,p£ª^Kó5n@oqf3un@]9pszo

t

^¥Yups|Y gk^\wxzik^Kg

V (I )

¬©p£+y{^Kikp£ª^Bn@

V (I )

^¯¤

ixYu^1no£f3un]pszo

f t

l5^Kpq\u^K^Kgxgkwkp£oqfBikYu^-|Y5zw|ix^wxp£gjikps5n@oqf3un@]9pszonz¨

m t

¬Êgk^^l5n+ª@^#gk^Kikp£n5¯

p£

Q[X 1 , . . . , X n ]/I

^D Fë°ZXZY\^-5~h^É\u^Kglupy{^Kixpqn@´l1^i{¥%^^,ixYu^wxn3nzixg!nz¨

F

\ikYunOgj^n¨

f t

uwx^Kgk^wxªOp£umikYu^)]mtuoqikp£uoqpspqikp£^Kg~z\ikY\^)wk^=zoGwkn3nixg H

V (S)(∩R) ≈ V (f t )(∩R)

α = (α 1 , . . . , α n ) → t(α)

(X 1 (α) = ^g _g ^t,X1 ^(t(α))

t,1 (t(α)) , . . . , X n (α) = ^g ^t,Xn _g ^(t(α))

t,1 (t(α)) ) ← t(α)

¾\nw!n@]uthikp£uB5~Ìn\^bY5g%ikngkno£ª^bi{¥%nmuwxnl\oq^K]g H

:

É\\hp£uBgk^\wxzikp£um^Koq^K]^Oi

t

^*

(12)

= ¹k¸´¸¹ ¸º h» »Ê¸¹

:

p£ª^KMz3f5n@oqf3un@]9pszo

t

¤Àn]utuik^m5~ (j}%z\up£uzik^

f t , g t,1 , g t,X 1 , . . . , g t,X n

gkt\|YTixY\+i

pÁ¨

t

p£g!gk^\wxzikp£u95n@oqf3un@]9pszo>¤OikYu^K,ikYu^)5~0({}%\hpsu+ix^bpsg!5~)°

Kn@wxhp£uVikn D Fë¤5 ({}%\hpsu+ix^9Kz.^¿huo£p£pÁixoqfTl1^n@]9\thik^=M¥Yu^Kû«3un+¥p£u,gktupqixluoq^

wx^\wk^=gj^K@i|+ixpqn@Vnz¨

Q[X 1 , . . . , X n ]/I

^H

:

f t = P D

i=0 a i T ⁱ

psgixYu^m|Y\wx@ix^wxp£gjikps~1no£f3un]pszo$nz¨

m t

°¦^ixgh^unik^=g!l3f

f t

pqixgbgkrOt\wk^(

¨©wk^K^)\zwkiK°

:

¨©nw)z3f

v ∈ Q [X 1 , . . . , X n ]

^¤

g t,v (T ) = P d−1

i=0 T race(m vt ⁱ )H d−i−1 (T )

^¤

d = deg(f t )

^z5

H j (T ) = P j

i=0 a i T ^i−j

^°

¢ DÜz Fë¤%ógjikw|+ix^fópsguwxn1n@gk^K ¨©n@wBn@]9\thikp£u û5¨©n@wz3fÈgkf3gjik^K] ¬Êó5~0({}%\hpsu+ix^

\Vmgj^K\zw|+ixpq\ô£^]Ôi¯¤hluthi%ikY\^wx^bwk^bgj1^Kp£oGKgk^Kg¥Yu^wx^pqizl5^#n@]uthik^=VhpG^wxÔiko£f°

Y\^

X 1

p£g%gj^K\zw|+ixpq\

V (I )

z\B¥Yu^

I

psg²-wx@hpszo5p£u^Kzo>¤OikYu^#gkf3gjik^K] p£g%gkp£ikn-l1^bpq

I ¸

I

»âº>»

*

°:¢gkt\|YVKgk^KgK¤@ixYu^#gjY\5^bnz¨ikYu^#o£^¿hp£n@wxuYups

Å

wkÆ@luu^Kw²l\@gjpsg²p£gZzo£¥Zf3gikY\^~¨©n@oqo£n+¥pq\

H



 

 

 

 

f (X 1 ) = 0 X 2 = f 2 (X 1 )

°°°

X n = f n (X 1 )

.

^¬Ê@¯

gbgkYun+¥Tp£ DÜz Fë¤Àpq¨CikYu^9gjfhgjik^K] p£gpq.gjY5z1^-1n@gkpÁixpqn@¦¤

g X 1 ,1 = f _X ⁰ ₁

z\´¥²^mY\ª^

f X 1 = f

\

f i (X 1 ) = g X 1 ,X i (X 1 )g X 1 ,1 (X 1 ) mod f

^° XZY3t\gBixYu^ó 5d@gkgknhps+ik^=³¥pÁixY

X 1

z\µikYu^

o£^¿hpsn@w|zuYups Å wkÆ@luu^Kw!l\gkpsg~zwx^^=r@t\pqª+zo£^Oi~t\,iknBixYu^p£3ª^w|gkpqn@n¨

g X 1 ,1 = f _X ⁰ ₁

^]nhhtuo£n

f X 1

°

¢MikYu^wx^Kgjibn¨ixYu^\z1^w#¥%^9Kzo£o$ixYupsg#nlhy{^=i)!0(ë¾\nwx] nz¨ixYu^n@wkwx^Kgk5n@\hp£uBo£^¿hpsn@wxuYups

Å wxÆl\u^w%l\gkpsg°:XZYu^)5~Np£g%¥%^o£oG«O\n+¥Biknl1^#]-t\|Ygj]zo£o£^w%ikY\VixYu^#oq^¿hp£nw|z\Yup£ Å wkÆ@luu^w

l5gkp£gp£´@^u^Kwxo¬âixYup£g]fl1^-^¿huo£pq\^K,l3fVixYu^-p£3ª^Kwxgkpqn@n¨:ikYu^mh^un@]pq\zikn@w|¯\ikY3t\g¥p£oqo

l1^-n@tuw~\wkp£ª3pqo£pq@pq^=Tgjf3]ml5n@oqpsn@thikutuiK°~nzix^ikY5+ipqipsg^KgkfiknV|Yu^=|«VixY\+i#Vgkfhg{ix^] p£gpqûgjY\5^

1n@gkpqikp£nón\^«O\n+¥pquTT5~0({}%\hpsu+ix^,¬Wz\ gknikn´|Yu^=|«TikY5+i

X 1

gk^\wxzik^Kg

V (I )

^¯PHmpÁipsg

\^K^=gkgxzwxfBz5gkth§Bp£^OiikY5+i

f X 1

Ègjf3]-l1no£psTgjn@oqthixpqn@Hûn@u^MKzµn@]uthik^´ikYu^M~ (ë¾\nwx] Å wxÆl\u^wVupqwx^Kiko£fÇt\gkp£u D4 Fn@w D£PF

}²Y\nOnOgjp£umikYu^)wxp£YOi!g{ixwxzik^@f¥pqo£o¦l1^)\zwkinz¨'ntuwZ^¿31^wxp£]9^KOixzo¦gk^Kikp£n¦°

(1 41 % '61 & 8 (

}²n@]uthikp£um5µwx^Kht\^Kg²ikY\^bwx^Kgkno£thixpqn@Bnz¨$ ^Kwkn(ëupq]^5gjp£n\o5gkfhg{ix^] ikngkno£ªOp£u9nu^5n@oqf1(

\n]p£oCp£ nu^ª+zwxpszluo£^´¬

f t

¯)\.iknM^ª+zo£t\+ixpq\

n

g _t,Xi (T )

g t,1 (T ) , i = 1 . . . n

^¯)+i

pqixgZwxn3nzi|g)¬©unik^bikY\zi!pÁ¨'n\^#gkp£]9\oqfB¥ZzOi|g%iknn@]9\thik^bikY\^)Ot\]-l1^wnz¨wk^=zoÀwxn3nzixg%n¨ikY\^gjfhgjik^],¤

ixYu^wx^Zp£gun#u^K^K-ikn)n@\gkp£h^KwikYu^Zw|+ikp£n5zohn3nw|hp£\+ix^Kg|¯°XZYu^Zu^¿3i'ix@gj«)psgikY3t\g'psgikn)n@]uthik^oqo

(13)

» º\¸-½+»â¹x¸x·º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º @

ixYu^#wk^=zoGwxnOnixg²nz¨$ikYu^)gkf3gjik^K] ¬Ê\Vn@uo£fikYu^#wx^Ko5wxn3nzixg|¯¤h\wkn+ª3pshpq\mmOt\]9^KwkpsoÀzuuwxn¿hpq]zikp£n

¥pqikYTwklupqikw|zwxfuwx^Kp£gkpqn@û¬Wgj^i!lOfBikYu^)t\gk^w¯²nz¨ikYu^n3nw|hpq5+ik^=g°

XZYu^9psgjn@o£zikp£nTnz¨:ixYu^9wk^=zowxn3nzi|g!nz¨

f t

zTl1^hnu^mt\gkpquVikYu^zo£n@wkpqikY\] uwxn1n@gk^K,p£ DÜ F,H

ixYu^ntuikuthi²¥pqo£oul1^~boqpsg{i

l f t

α

^n¨

f t

¤ikYu^Kwk^Z^¿3psgjixg:#tuupsrOtu^p£@ix^wxª+zohp£

l f t

¥Yups|Y9nOixpq\g

α

°:XZYu^!gk^Kn@\9g{ix^n@\gjpsgjixg'p£9wx^É5upq\

^=|Yp£Oik^Kwkª+zo3p£mn@wxu^w$iknb^\gktuwx^ixY\+i'pÁiChn3^=g$\nzi:nOi|zp£mz3f#wx^Kzo3wxn3nzi$n¨

g t,1

°:_3p£\^

f t

\

g t,1

Kz l1^V^Kªoqt5+ik^= t\gkpq\´pqOix^wxªo%wkpqikY\]9îkpsg-¥pÁixYunthiz3fóz5ô£os+ikp£n nïkYu^h^\n]pq5+ikn@wK°

^Kª^KBpÁ¨$ikYu^KpqwZn3^§pq^KOixgZzwx^~Y3tu@^m¬©w|+ixpqn@\zo13tu]-l1^w|g|¯¤hz\BikY3t\g²ikY\p£g%\wji%nz¨¦ixYu^bn]uthi|+ixpqn@

psg)gjikp£oqoC^§Bp£ÔiK°B¾\nw)p£\wx^K@gjp£uikYuûwx^Kp£gkp£n.nzïxYu^wx^KgktuoÁi=¤pqip£g#n@uo£fú^K^Kgxgkwkf,ixnTh^Kwk^=gk^

ixYu^9oq^KuzixYMnz¨ikYu^9pqOix^wxªo£gp£

l f t

¥Yups|YûKzM^=gkpqo£f,l5^hn@u^ml3f,lupsgj^=ixpqn@Mnwbt\gkpq\^wkikpqÉ\^=

n@u^gjp£]uo£f´Y\gixn,n]uthix^Bgjn@]^mOug¬Ê@\g#nz¨ixYu^3tu]^w|+ikn@wxg#\Mn¨

f t

¯bz5ûgkuo£pÁi=¤¥Yu^K

\^K^=gkgxzwxfikY\^#5)°

Z(" $"#$

XZY\^n]uthi|+ikp£n¶nz¨b Å wxÆl\u^w9l\gkpsgmpsgª^Kwkf gk^\gkpqikp£ª^ikn.ikYu^Toq@^luw|zpsB^=r@t5+ikp£n5g-t\gk^KÈikn

]nhh^Ko\ixYu^bb®#v'°3¢ikYupsgZgj^=ixpqn@¦¤@¥%^gkYun+¥ Yun+¥¶ixnmwx^Kht5^~gkpq@upqÉ5@ixoqf9ixYu^n]uthixpqu-ikp£]^l3f

!(1 !#4'6"$1 &2'(.$

^i|gZpqOikwxnhht\^ixYu^)un@]9^K\os+ixtuwx^bt5gj^=p£ikYupsg\wji H

:

R f

O

^°

:

R m

C

:

A i

H:oqnhK+ikp£nnzïkY\^Ôix^wZnzïkYu^Zy{n@pqOi!n¨$«3pq\^]+ixp£Kg|Y\zp£pnikYu^)l\@gj^@°

:

B i

:

L i

H:n+ª^w|zo£oG^G^Kikp£ª^)hpsg{i|z\^)l5^i{¥²^K^

B i

\

A i

°

^i|g)h^unik^l3f

~v | R

¬©wx^Kgk¦°

M | R

¯ixYu^Bn3nw|hp£\+ix^Kgbnz¨%ikY\^ª^Kikn@w

~v

¬Êwk^=gj°mixYu^1np£@i

M

^¯¥pqikY

R

¤'z\.l3f .

| R

ixYu^B]+ixwkpq¿û¥Yups|Y n@oqtu]\g-zwx^

−−−→ M i N i| R , i = 1 . . . 6

^°

~Y\^¿uz1nhgkY\oqoÀl1^h^Kgxwxp£l5^=Vl3fV9^Kn]^ixwkpsb]n3u^o¦¥Yu^Kwk^H

(14)

¹k¸´¸¹ ¸º h» »Ê¸¹

:

−→

OA i| _Rf

h^=gkwkp£l1^ixYu^)l\@gj^#^Kn]^ixwkf%*

:

−→

OB i| _Rm

:

L i , i = 1 . . . 6

wk^bixYu^)«3pqu^K]+ikpsg|Y5zp£\gZoq^KuzixY\gK°

Kn@wxhp£u-ikn9ikYu^=gj^#unixzikp£n\gK¤hgjn@oqª3p£u-ixYu^ Ì\wkn@luoq^K]n@\gkp£gjixg%p£n]uthixpqu

−→

OB i| _Rf

¥pqikY

wx^Kgk1^Ki-iknTixYu^n\gjikw|zp£Oixg H

L ² _i = ||A i B i || ² , i = 1 . . . 6

°´!]n@uTikY\^B3tu]^wxnt\g)^¿hp£gjikp£u

oq@^luw|6H

:

Ò $"Ê$" Ò !

u Î Ó Î h$"Ò !

l5^Tgk\+ixp£oqo£fóoqnhK+ik^= ixYuwkn@tuY ikYu^,1n@gkpÁixpqn@ nz¨ikYuwx^^nz¨~pqixghpsgjikp£\i5n@pqOi|g9gkt\|Y¶gmikYu^

É\w|g{i%ikYuwx^^²y{np£Oixg

B 1 , B 2

z\

B 3

¬Êgktuu1n@gk^KBiknl1^bhpsgjikp£\i¯°_3p£\^bixYu^l1nhhfBpsg%wkp£psÀ¤OikYu^

5nOgjpqikp£n5gZnz¨

B 4 , B 5

¤

B 6

z\

C

B 1 , B 2

z\

B 3

°

: "W

=

/Ê\ Î Î !

| _Rf

¥Yups|YT]9^K^i|g!ixYu^-n@\gjikw|zp£\g

L ² _i = ||A i B i || ² , i = 1 . . . 6

¤5ikY\^,ikY\^wx^^¿hpsg{i|g~wxnzi|+ikp£n

R

gkt\|YikY5+i H

−→ OB _i| _Rf = −→

OC _| _Rf + R · −→

CB _i| _Rm , i = 1 . . . 6

^¬ÊÃO¯

v'n@gkpqikp£n³l\gk^KÇ^KrOt\zikp£n\gY5ª^,zo£wk^=hf l1^^K t\gj^=Èl3f¶gj^Kª^w|zothikYun@wxg\¶¥²^Th^=gkwkp£l5^

gkfhg{ix^]gn@\gkp£gjixgZp£

9

^=rOt\+ixpqn@\gZh^1^\upqun@

9

ª+zwxpszluo£^KgZz5V¥p£oqol5^h^Kunzix^Kl3f

S 3 pt

°

−→

OC | _Rf

n3n@wxhp£\zik^Kg

@gZtuu«3un+¥\gK°C_3p£\^

R

p£g9wxnzi|+ikp£nó¬Ê

3 × 3

R ^t R = I 3 , det(R) = 1

^¬>¯

XZY\p£g'É5wxgjigj^iCnz¨G^KrOt\zikp£n\g:h^K5^K\9u^pqikY\^wCn@mixYu^!@^n]^ikwxf)nz¨1ikYu^!\o£zij¨©nwx],¤zun@wCnmikYu^~oq^KuzixY

nïxYu^)oq^K@g\V¥p£o£o¦l5ûûnik^Kl3f

S dis,rot

°

XZYu^ón@\gjikw|zp£@i|g

L ² _i = ||A i B i || ² , i = 1 . . . 6

ikYu^KNl1^.^¿huwx^Kgxgj^=µKnw|hp£uo£fÇikn

L ² _i = || −→

OB i| _Rf − −→

OA i| _Rf || ² = || −→

OC | _Rf + R · −→

CB i| _Rm − −→

OA i| _Rf || ² .

^¬Ê@¯

^ih^Kunzix^l3f

S dis,geom

o£^K@ugÀixn~zoq@^luw|zps:gkf3gjik^K]

S rot= S _dis,rot ∪S dis,geom

]h^²nz¨ÀKZ1no£f3un]pszo^=rOt\+ixpqn@\gh^K5^K\ (

p£ubn=!tuu«3un+¥\gZ¬

[X, Y, Z, r ij , j = 1 . . . 3, i = 1 . . . 3]

^{¯¤z¥Yu^wx^}

[X, Y, Z]

wk^ikYu^nOn@wxupq\zik^=g n¨

−→

OC | _Rf

Å

wxÆl\u^wl\gkp£gnz¨

S dis,rot

z\Tikn@uTixnBixYu^m\wk^KªOp£nt5g~n@]uthixzikp£nMoqo$ikY\^m^=r@t5+ikp£n5gn]pq\

¨©wxn]¬Êu°£K¯°

(15)

» º\¸-½+»â¹x¸x·º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º =

/ $ '61 $.$

¬ Dq= Fë¤DÜz Fë¤D F>¤G^i|z°Ü¯°+.^-uwxn1n@gk^)ikn^¿huo£npqibVoqpqijixoq^9lupqib]nwx^-gkn]^-l\oqp£\´\wkn@5^Kwjixpq^=g!nz¨gkt\|YM

Å

wkÆ@luu^w

l5gk^KgK°$¢VgkYun@wji=¤@¥%^~^¿Oixwx@iª+wkpszluo£^Kg¥Yups|YBzwx^jpqOikwxp£\gjp£\oqfoqp£u^Kw²^=zwxoqf9p£ikYu^bzo£n@wkpqikYu] ikn

u^Kwx^K@gj^ikY\^)Ot\]-l1^wnz¨'ª+zwxp£luo£^Kg%¥pÁixYT9gkp£upqÉ5OiZp£\t\^\^)nikYu^n]uthi|+ikp£nikp£]^KgK°

% & & ' Î 0 Î ! Î *"W @u Î

H

psg~OfT@ixp(

gkf3]]9^ikwxp£b]+ixwkpq¿>H

H =





0 a b

−a 0 c

−b −c 0





ixYu^¤uuwxn+ªOpsh^=ikY5+i

1

p£g!unzi!z,^Kpq@^3ª+zo£tu^n¨

H

¤h¥%^#Y\ª^bixY\+i

R = I + H I − H =







− ^−1−c _1+c 2 ² +a ^+a ² ² +b ^+b ² ² 2 _1+c ^a−bc 2 +a ² +b ² 2 _1+c ^{ac +b} 2 +a ² +b ²

−2 _1+c ^a+bc 2 +a ² +b ² − ^a _1+c ² ^−1−b 2 +a ² ² ^+c +b ² ² −2 _1+c ^−c+ab 2 +a ² +b ²

2 _1+c ^ac 2 +a ^−b ² +b ² −2 _1+c ^c+ab 2 +a ² +b ²

−b ² −c ² +1+a ² 1+c ² +a ² +b ²







¬ ¯

psg~wxnzi|+ikp£n°Z}²n3ª@^w|gj^Koqf@¤hpÁ¨

R

p£g~wknixzikp£nikYu^K

H = ^R−I _R+I

psg!zOikp(¢gjf3]]^ikwxpsz¤\@gkgktu]pq\

ixY\+i

−1

p£g!unzi!z,^Kpq@^3ª+zo£tu^n¨

R

^°

n@

6

ª+zwxpszluo£^Kg

[X, Y, Z, a, b, c]

^° .^´¶gktuu1n@gk^,ikY\zi

−−→

CB 1| _Rm = 0

^z5

−−→

OA 1 = 0

^{°µXZYu^}

^=rOt\+ixpqn@\g#¬Ê@¯ZKzl5^)wx^¥wxpqijik^K/H

L ² ₁ = || −→

OC | _Rf || ² L ² _i − L ² ₁ = ||R · −→

CB i| _Rm − −→

OA i| _Rf || ² +2 hR · −→

CB i| _Rm − −→

OA i| _Rf , −→

OC | _Rf

E for i = 2, . . . .6

^¬^4@¯

R

psg«3un+¥¤¦ikY\^

[X, Y, Z] = −→

OC | _Rf

p£ggkno£thixpqn@.n¨Z

[X, Y, Z] > [a, b, c]

\ikn^o£p£]9p£\zik^

ixYu^)É\w|gji~luo£n3|«nz¨Cª+wkpszluo£^Kg)¬Êpq´¨ÊiikYu^-^o£pq]p£\+ixpqn@´p£ghn\^ª^Kwkfr@t\p£|«3o£fp£,ikYu^-É\w|g{igjik^K\g!n¨

ixYu^#zo£nwxpqikYu]B¯°!^K\^ikY\^bn]uthix^K Å wxÆl\u^w%l\gkpsg²h^K5^K\ug%n\oqfn@

a, b, c

z\ikYu^#gjY5z1^n¨

ixYu^wx^Kgktuoqi~p£g I

n = 3

¯°!¦^ibh^unik^

l3f

S quat

ixYu^Bwx^Kgktuoqikp£u´gjfhgjik^K]°,±Zgk^K.nóixYu^

F 5

zo£n@wkpqikY\]¤´gk5^=pqÉ5

Å

wxÆluu^Kw)^u@pq\^BY\g

l1^^Kp£]uo£^]^Oik^=V¥Y\p£|Y,n@]9\thik^=g%mo£^¿hp£n@wxuYups

Å

wxÆluu^KwZl\gkp£gZ\B^Koqp£]pq\zik^=ggZgjn3n@g

1n@gxgkpqluo£^-l\oqnh|«,nz¨

k

ª+zwxpszluo£^KgK°!~g¥²^-¥pqo£ogk^^mpqTixYu^-\^¿3ibgk^Kikp£n,ikY\^mn@]uthixzikp£n´n¨Cgjt\|Y

Bl\gkp£g~p£g~unzibnuo£f¨Êgjik^wluthi#zosgjnixYu^mgkpK^nz¨:ixYu^-wx^Kgktuoqim¬©]pquo£fikYu^9gjp^-nz¨'ikYu^9n3^§Bpq^K@i|gx¯

psgZ]-t5|Y,gk]zo£oq^KwK°

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

a p p o r t

d e r e c h e r c h e

ISRN INRIA/RR--5923--FR+ENG

Thème SYM