Jun 6, 2006 - as black boxes several recent algorithms from computer algebra ... diffé rents algorithmes de calcul formel r é cents tels que F4/F5 pour le ... M ots-c lé s : Problème g é om é trique direct, Robot parallèle, R é solution de systèmes poly - ... determine the actuated joint variables as a function of the end - e ff ...
On solving the direct kinematics problem for parallel robots Jean-Charles Faug`ere, Jean-Pierre Merlet, Fabrice Rouillier
To cite this version: Jean-Charles Faug`ere, Jean-Pierre Merlet, Fabrice Rouillier. On solving the direct kinematics problem for parallel robots. [Research Report] RR-5923, 2006.
HAL Id: inria-00072366 https://hal.inria.fr/inria-00072366v2 Submitted on 6 Jun 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destin´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es.
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
ISSN 0249-6399
apport de recherche
ISRN INRIA/RR--5923--FR+ENG
Thème SYM
!"#$ %&')( ! *+ &,")"- )(.#$ /103254$6 798:25;=0@?BAC21D'EGF@;=0 H /103254$6 I)J>0@;=;K0MLN0O;K0@P H AC21Q';KJ>R@0TSVU1D'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^ §B p£^ Oi)] ^ ixYunhug#¨©nw)gkno£ª3pquixYu^ hpqwx^K i)«Op£u^K] zikps g \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@w n] uthixpqu Å wxÆl\u^ w:l\@gj^=g ¤@wk^= ^K@iC] ^ ikYunhugC¨©nwCpsgjn@o£zikp£u#ikY\^!wk^=zouwxn3nzi|g:l3f-] ^K nz¨GpqOik^Kwkª+o£g:¥pqikY w|+ixpqn@\zo l1nt\\ug9¥Yups|YÇzwx^]9pq¿h^KÈ¥pÁixY¶gjikw|+ix^ p£^Kg9 n@] pquM¨©wkn@]ikYu^,p£Oik^ wxª+zozwxpqikYu] ^ ixp£KgmÉ\^ osÀ°ÈXZYu^ wx^Kgktuoqikp£u-gkno£thikp£n5g²wk^!^ §B p£^ 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] g l\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 wx^KoÀwkn3nzi|g ° 40 ÍTÎOÏGÐxÑ-Ò +Ó¡ p£wk^=iV®#p£u^ ] +ixp£Kg vCwxnluo£^ ],¤%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ìKØØÛÜÙWî=Ý ôÞOÛõÖxß öâàâíá=ãqá ØÚWÙÊÛÜä!îØÖx÷ÜÚ>ÛÜÛÜèjå êzæø¦ÝCù'Þç1ÝCò¦çuà©Ö|ñ´ÙWÛÜèÀîÙWéØxàëïWêÝ{ð¢ìKÚ íÕhìKí´îÙWØxïWÝ{ð¢Ú à©ñò¦àâí.ò¦ØKð{å æÝ{áð{ØæÙ©ÚCúûÕ3à©ç5ü=êìKí$ÕuìKíMîÙWØxïWÝ{ð¢Ú
Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30
"B$ &')(!m % &û V )(.#$ &,")'"
¡ !n@t\g~\wkn@5nOgjn@\g!tu\^-] ixYunhh^m^ §B ^1ntuwbw =gjn@t\hwx^o£^muwxnl\oq[K]9^- n@] ikwxpsr@t\^ upqwx^K im¬Êb®#v²¯~5n@tuw~o£^Kg~wkn@l5nixg!5zw|zo£oq[Koq^=g °¦^-ik^Kwk] ^w Kgknt\uwk^)ª@^ thiupqwx^-ps p zos t\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^9 wx@ik[Kwk^)w ^Kou^Kgbgjn@oqthixpqn@\g~gknOib@zw|zOixp£gK°~¦^=g~] ikYunhh^=g~uwxn1n@g ^=g!thixpqo£psgj^K@i u p wx^ Oixg oq@nwxpÁixYu] ^Kg-u^Kzos tuo%¨©nwx] ^ oZw K ^KOixg-ik^ osg rOtu^¾ÃhÄ+¾:T1ntuw o£^Kzos tuoh^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£^K$g #Ml1nwxu^Kg w|+ixpqn@uu^Koqo£^Kg#rOtupCgknOi#@gkgknh %p Kgbª^=m& ztuikwx^Kg#g{ixwxzi Kp£^Kgbthikp£o£p£gxzOih^ 'o zwxpqikYu] ixp£rOtu^9\w)pqOik^K)w ( ª+oqo£^KgK°%* oq@nwxpÁixYu] ^bÉ\\zo$^Kgji~^ §BK ^)\tup£gxrOtu^o£^Kg!ik^ ] \gh^-Kzos tuogknOi~ª@npsgjp£\gh^-o£Bgk^K n\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^K iK¤1nl1nzi!\wxoqo£[ o£^¤50 Kgkno£thikp£nTh^mgjfhgjik[ ] ^=g5n@oq1f ( \n] p£th¿À¤5}%zos tuo¦¾\nwx] ^ o>¤u! pqu^=gZw K^ o£oq^=g
» º \¸-½+»â¹x¸x· º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º
--- % ! K Ò Ó z#" Ò ! ! Ó ! Ò Ku$" Ò ! &(' * )5 ! Î B\ Î Ó VÎ "/,+ Ò /.-/" !10 u°q ~nzi|+ikp£n5gz\l\gkpsbu^ É\upqikp£n5g°b°)°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)° 2 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@\z/o 5~upqª+wkps+ix^#!^ uwx^Kgk^ Oixzikp£n°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)° u° ¾\wkn@]˨©nwx] zoGixn Ot\]9^Kwkps oÀgjn@oqthixpqn@\g´°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°= % / 0 Î +6 "Ê Ò Ó Î /."WKu$ " Ò ! \°q _3ixz5uzw|oq@^ luw|zps^KrOt\+ixpqn@\gK° °)°b°)°#°)°#°)°)°#°)°#°)°b°)°#°)°)°#°)°#°)°#°)°)°b°)° 7@ \° 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° ^K n+ª^ wxp£uixYu^)wk^=zo¦gkno£thikp£n5g²n¨$ixYu^b®#v °)°b°)°#°)°)°#°)°#°)°#°)°)°b°)°Kà 9(:= Î * " Î ! K ?2 2(@ Ò ! + / $ " Ò ! A $ " #$"# B C m' a´n@gji p£\ht5g{ixwkpszowxnl1nzi|gmY5ª^Tógj^KwkpszoZ] ^K|Y\ups zowx|Yupqik^=ixtuwk^p>° ^@°µg{i|zwkikp£uM¨©wxn] ikYu^,Éu¿h^= l5gk^m^=|YMo£p£u«´psg) n\u^K ik^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£g unziZzuuwxn\wkps+ix^%p£ ix^ wx] g nz¨@ t\wx@ f-\ \f3o£n@¦° ¾\nw z\uoqps zikp£n\g9wx^KrOtup£wkp£uóM@n3n3È5nOgjpqikp£n\pqu @ t\wx@ f z\1Änw9oszwx^\f3oqnO pqi Y\g l1^ ^K gktu@^Kgjik^=óikY\^t\gk^nz¨ oqnOgj^= (>o£n3n ] ^K|Y5zups o%gjikwxt\ixtuwx^p£È¥Yups|YÈ] n@wk^VikY\Èn\^«3p£u^ ] +ixp£ |Y5zp£\g! n@uu^=iikY\^wxntu5\ikYu^-^ \ (ë ^ G^K ikn@wK°% i{f3up£Kzo¦^ ¿uz] uo£^)nz¨Cgjt5|Y,gjikwxt\ iktuwx^)p£g!ikYu^ Å n@tuYuos+ik¨©nwxE ] Dq# Fë¤hÉ\t\wk^ z° ¢9ikY\p£g:] ^=|Y\zupsgk]¤zikYu^^K\ (ë ^ G^Kixnw:psgC n@uu^=ik^=ixn#ikYu^@wkn@tu\ml3f-#zwkikps tuos+ix^Kmoq^K@gK°XZYu^ nz¨hixYu^%oq^K@gzwx^² n@uu^=ik^=#ikn~ikYu^%wxnt\\)z\ikn~ikYu^%^ \ (>^ 1^=ikn@w$l3f)gkuYu^ wxps zo ^ ¿3ikwx^ ] pÁixpq^=g y{n@pqOi|g ¤\oqo£n+¥Ap£u-, B¨©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\g z\¶û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^K i!iknikY\^-wxnt\\À°¾\nwb nOixwkn@oqo£pq\Vgjt5|Y´wkn@l5ni~pqibpsg~^=gkgk^ Oixp£o¦ikn gkno£ª^-G +» ¸ +º>»Ê·uwkn@luo£^ ] g H²ikY\^V» I ¸ ¹ J¸ +» ¸ +º>»Ê· ¹ ¸ ¬©{®#v%¯!z5,ikYu^,½+»â¹k¸|· Kº +» ¸ +º>»Ê· ¹ ¸ d¬Êb®#v²¯ °$¾un@wbikYu^ {®#vNikYu^ 1n@gkpqikp£n1Ä+nwxpq^K@i|+ixpqn@´nz¨²ikYu^ uos+ik¨©nwx]¤$h^ É\\^K.l3fM,gj^ i#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^ ik^Kwk] p£u^ikYu^, ikt\zik^K´y{np£Oi9ª+zwxpszluo£^Kg9g9´¨©t\\ixpqn@Ènz¨~ikYu^,^ 5 (>^ 1^=ixnw95nOgj^\zw|z] ^ ik^ w|gK° XZY\^-®#v psgZixYu^n\5nOgjpqik^\wkn@luoq^KL] HCl5^Kpq\Bp£ª^KixYu^o£^ o£^ uikY\g~pÁip£g\^K ^=gkgxzwxf ixnVh^ ix^ wx] pqu^
i
ò$ò á*MINPOPQPR
i
Ã
¹k¸
´¸ ¹ ¸ º h» »Ê¸ ¹
zr
"! # $
C
/
yr
.
xr
A5
&%(')$ A4
z
0
A6
B5
x
B1
C
-
B4
A1
B3
y
+ , A3
y
A3
A1
*
B6
A5 A4
A6
B2 A2
x
A2
¾ pq@tuwx^9HÇXZYu^ Å n@tuYuos+ij¨©n@wk] ixYu^ tuwxwk^K@i95nOgjpqikp£nGÄnwxp£^ Oixzikp£nónz¨ixYu^\o£zij¨©nwx],°û^ ix^ wx]9p£up£u´ixYu^5nOgjpqikp£n1Ä+nwxpq^KOix+ixpqn@óp£g ^=gkgk^ Oixp£oG¨©nwZikY\^)t\gj^)n¨ixYu^)wkn@l5ni!g!Of nOixwkn@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\^wxnl1nzi pÁi psg9u^K ^Kgxgkwkfûiknóh^ ix^ wx] pqu^ikY\^,gjixwji 1n@gk^Vnz¨ikYu^ 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~ wkpqikps o 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^bikn ikY\^bn@u^)nluixzp£u^=zi%ixYu^)uwx^ ª3p£nt\gKzos tuos+ixpqn@ ¢ikYupsg\z1^ w¥²^%uuwk^=gkg] pq\oqfbikY\^²n (ëoqp£u^%®#v¶¬©wx^Kzo (>ikp£]9^%®#vû] fbl1^²gkno£ª^=)p£-~gx+¨©^²¥%f l3f nikYu^Kw]9^ ikYunhug D£$ 4*F⯲luthi!n@tuwZutuwx5nOgj^bpsg%ikn h^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¨©nw n (ë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£95zwkikps tuoszw¥²^Z n@] uthik^Zn@uoqfikYu^Zwx^Kzo gkno£thixpqn@\gx¯\ixY\+iC¥%^Z¥pqo£oul1^zluo£^Zikn#wx^ É\u^%ixYu^ ] tu9ikn)z3f-wklupqikw|zwxf)K tuw| f°'}²^KwjixpÁÉ1 +ixpqn@ psg,«@^ fMpsgxgjtu^ ¨©n@w)ikY\^V®#v
@gz3fM^Kwkwxnw#¥p£oqo²oq^=ug)ikn´¨Êzp£o£tuwk^ p£óikY\^B nOixwkn@o:nz¨ZikYu^Vwkn@l5ni ixY\+i ] f Y\ª@^K+ix@g{ixwkn@uYups n\gk^KrOtu^K\ ^=g °ÇXZYup£g wxtuo£^Kg n@thiBgjn@]9^,gkno£ªOp£u.] ^ ikY\n3\g gjt\|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^ ikY\^Bwk^=zo:wxnl1nzi¥Yups|Y hp 1^Kwxg)¨©wkn@]dpqixg)ixYu^ n@wk^ ikps oC] n3u^ o~¬Ê^° \°] 3th¨Ê iktuwxpq\ ixno£^ w|z\ ^KgZp£\ht\ ^tu\ ^ wkixpqOikp£^KgZp£,ikY\^oqnhK+ikp£n,n¨ixYu^ A , B 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{^K iknwxfu¯° aT^ ikYunhug¨©wkn@] n] utuik^ w!oq@^ luw|Y5ª^#zo£wk^=hf l1^ ^Kt\gk^KV¨©nw!gk^ ª@^ w|zo1utuwx5nOgj^#p£wxnl1nzixp£Kg ¤ \ ^=gj1^K p£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@g wxn3nzi|g²@g ixYu^#®#v¶p£g%^ ¿3\oqps pqiko£fB n@]9\thik^=À°:±²tuiZn@u^Kzunzixp£ ^~ixY\+i%ikYunOgj^ n] uthix^ w%zo£^ l\wx#l\@gj^= ] ^ ikY\n3\g²wk^] zp£uo£f h^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#zwkikps o£^-psg~ixn\wkn@]9nik^9gjt\|YM]9^ ikYunhug#l3fTgkYun+¥pq\ i
i
à©ñò¦àâí
» º \¸-½+»â¹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^K n\ug p£ikYu^)¥%nwkikY @gj^¯²\¨©nw!Of wxnl1nzi¬ÊunBgxgjt\]9uikp£nnikYu^)@^ n] ^ ikwxfh¯ ° ¢.ikY\^ É\w|g{i-gk^K ikp£n.nz¨%ikYu^B\wk^=gj^K@i nOikwxpql\thikp£n¦¤$¥²^ uwxn1n@gk^ gjn@] ^9@^ u^KwxoCg{ixwxzik^Kp£^Kg¨©nw n] uthixpq\b^ §B p£^ Oiko£f)ikY\^%wx^Ko3wkn3nzi|gnz¨1oq@^ luw|zps gkfhg{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^K t\gkpq@upÁÉ1 zOixoqf ixYu^ n@] uthixzikp£n\gZt5gjp£u9ikYu^oq@nwxpÁixYu] g%nz¨ixYu^#É\w|g{i~gk^K ikp£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¨uixYu^Z]9^ ikYunh-lOf n] uthixpq\b\- n] \zwxp£u!ixYu^Z5nOgjpqikp£n\g$nz¨1!ixYu^ n@wk^ ikps zo3uosz5zwwkn@l5ni ¬Êoq^ ¨â)i (ëY\z5\¯C¥pqikYVikYunOgj^nz¨$B ^ G^K ikp£ª^bnu^9¬âixYu^bgxz] ^b+¨âik^Kwgj] zo£o15^Kwjixtuwkl5+ikp£n5gx¯ ¤Ogjikt\ufOp£umikYu^ l1^ Y5ªOp£nwnz¨\ikYu^Z] ^ ixYunh¥pqikY9wk^=gj1^K i$ixn~ixYu^Zuwk^= psgjp£n-nz¨uixYu^Zpqu\thiCu+i|u°$g:gk^K n\^ ¿uz] uo£^¤ ¥%^ uwxn+ª^ zo£nwxpqikYu] ps zo£o£f,ikY\zi)p£^ ik] pq^Kw g)wxnl1nzi D F Y\g#ÃOVwx^Ko:wkn3nix$g 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£fb n] uo£^ ¿ 3tu]ml5^KwxgZ¥pqikYTgk] zo£oÀpq] z@pq5zwxf \zwkixg|¯° " )(,Z ("- XZY\p£gbgj^=ixpqn@Tluwkp£ ^ 5fgktu] ] zwx p K^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¨C n@] 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^KBikn DÜ# Fë¤ DÜ Fë°
!#"$ %&!('*)+ $ $
^ i:h^ \nzik^%l3f Q[X , . . . , X ] ikY\^%wxp£u~n¨\5n@oqf3un@] p£o£g¥pqikY-w|+ixpqn@\zo3 n3^ § pq^KOixg'z\-tuu«3un+¥\g z\ z3fMgktul\gk^ i)nz¨ °B5n@pqOi p£g, K^ wxn X n¨ S, . .pÁ¨ . ,PX(x) = 0S =∀i{P=,1. ....,.Ps °!}XZYu^mp£u^Kzo I = hPQ[X, . .,..,.P. ,iX^ ]\^ w|+ik^=lOf xP ∈, .C. . , P p£g~ikYu^ gk^ in¨%1no£f3un] pszosg#pq Q[X , . . . , X ] n@\gjikpqikthix^Kól3fûoqo:ixYu^B n@]-lup£\zikp£n\g P P U ¥pqikY ° _3p£\ ^^ ª^Kwkf.^ o£^ ] ^K@i nz¨ I ªupsgjYu^=gmzim^=|-Y
^KwknMnz¨ S ¤:¥%^Th^Kunzix^Vl3f U ∈ Q[X , . . . , X ] ¬Êwk^=gj¦° V (S) = V (I) = V (I) R ¯~ikYu^ V (S) = V (I) = {x ∈ C | p(x) = 0 ∀p ∈ I} gk^ in¨' n] uo£^ ¿û¬Êwk^=gj¦°'wx^Kos.¯
^Kwkn3^=gZnz¨ S ° 1
1
n
1
n
1
s
1
i
1
k
1
C
C
/
n
n
1 R k=1
s
n
s
k
k
n
n
R
R
C
n
02134"5 ('617" 8'9
Å wxÆluu^KwZl\gkp£g²nz¨ I psgZm n] uthi|zluo£^@^ u^Kwxzikn@w%gk^ iZnz¨ I ¥pqikYn3nhBzo£n@wkpqikYu] ps o5uwxn1^ wkikp£^Kg ¬Wg#h^=gk wkp£l5^=Tl1^ o£n+¥~¯~\Mh^ É\u^=M¥pqikYûwk^=gj1^K iixn] 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 A i
j i
j
d
t1 f 1 t2 f 2 t3 f 3 ...
A0d =
m1 1 0 0 0
m2 0 1 0 0
m3 0 0 1 0
... ... ... ... ...
pq¨ gjikp£oqoZ n@] uthik^=g)ixYu^gxz] ^B] +ixYu^ ] zikps zo²nlhy{^=i¬W Å wxÆlu\^ wl\@gjpsg|¯¤ikYu^@.¥pqikY ^ ¿hp£gjikp£uBFnikYu^Kwzo£n@wkpqikY\] g!p£gb n@\gj^=rOtu^ OiK°¢M\zwkikps tuoszw=¤5utu^ixn ikYu^mwxu^)n¨C^ ¿uz] uo£^Kg~¥Yups|Y l1^K n] ^# n] utuixzl\oq^@¤ Å wkÆ@luu^ wZl\@gjpsgZ Vl1^# n\gkpsh^ wx^KgZ-wx^K@gjn@\zl\oq^b n] utuixzl\oq^bnlhy{^=ip£ oszwx^bzu\oqps zikp£n\gK°$¢] 1nwkix@iZ\wx]9^ ik^Kwxg ikn9^ ª+zo£t\zik^ikYu^) n@] uoq^ ¿hpÁi{f nz¨ Å wkÆ@luu^Kw²l\@gj^=g ¥pqikY ixYu^ F zwx^ ikYu^ D ikY\^V] +¿hp£] o²h^Kwx^ ^ d nh t\wkp£u´p£ ikY\^ n] uthi|+ikp£n \óixYu^gk p K^Vn¨ikYu^ ] zikwxpÁ¿ A . XZYu^)n+ª^KwxoqoG nOg{i!psg%ikY3t\g!un] pq5+ik^=Vl3f (#A ) ° .^ó\f È\wjixp£ tuoszw,+ijix^ Oikp£n ikn Å wkÆ@luu^Kwl\@gj^=g n] 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 ¯PH X < X ... < X f (X ) = 0 f° (X , X ) = 0 ° ª^
5
5
d
1
2
d
3
n
1
2
1
2
fk2 (X1 , X2 ) = 0 fk2 +1 (X1 , X2 , X3 ) = 0 . f (X , . . . , Xn ) = 0 kn−1 +1 1 fkn (X1 , . . . , Xn ) = 0
°° °°
¬Wh^ 1^ 5hpq\)n gjn@] ^%@^ n@]9^ ikwxp£Kzo3uwxn1^ wkikp£^Kg'n¨5ixYu^!gjn@oqtuikp£n\gK¤gkn] ^Znz¨1ikYu^!1no£f3un] pszosg] fml5^ sp h^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=° »Ê· ¹ ¸ ¹ +¹ ¸ ¹ º
¾\nw:z3f)1no£fO\n] p£o ixYu^h^K n] 1n@gkpÁixpqn@ !^Kht\ ^@¬ ¤ ¤ ¯ P psgCt\up£rOtu^m¬ÊXZYu^Knwx^ ] =¯Czq5∈m¥%Q[X ^~h^K,u.nz.ix.^!, Xl3f q~] = [a , . . . , a ] ixYu^!qwx^ =uwx^Kgk^ Oi|+ikp£qn9Gnz«3un+¥VikYu^Knwx^ ]LH &(' Î3Ò Î 9 5º>»Ê· ¸ ¸ ¹ ¸ ¹ u¸9¸ » ¸ 7 \¸ J m +¹x¸m¸ikYû n3nw|hpq5+ik^=g~n¨:ikYu^ gkno£thikp£n\Jg H!¥%^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^K ikp£n¦° i
q
C
C
Xi
C
X1
Xn
X1
Xn
Xi
(' 7 $ 1 ' 7'$1 '9 8'9 .%. XZY\^ ~+ikp£n5zo!5 \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£ps zo£o£fMixYu^wxn3nzi|gnz¨~ ^ wxn (¢hp£] ^ \gkpqn@\zo²gjfhgjik^ ]¥pqikYun@thimo£n3n@gkpq\
p£h¨©n@wk] +ixpqn@ ¬©]mtuoÁixpq\oqps pqikp£^Kgnwwk^=zo¦wxn3nzixg|¯gkpq5 ^n@u^- ´^ izo£o¦ixYu^-p£h¨©n@wk] +ixpqn@Tn,ixYu^-wxn3nzixg n¨ixYu^gjfhgjik^K] l3fVgkno£ªOp£u9^ ¿u o£t\gkpqª@^ o£fBtuup£ª+zwxp£zik^#1no£fO\n] p£o£gK° Å p£ª^KÈ K^ wxn (¢hpq] ^K\gjp£n5zo²gkfhg{ix^ ] ¥Yu^Kwk^VikYu^ p ∈ Q[X , . . . , X ] ¤C p ,...,p > ~+ikp£n5zo 5!\pqª+zwxps+ik^´!^ uwx^Kgk^ Oixzikp£n¶nzI¨ =< 5 Y g x i u Y T ^ © ¨ n £ o £ o n+¥pqu gkY\z1^ H f (T ) = 0, X = V (I) ¤À¥Yu^Kwk^ f , g , g , . . . , g ∈ Q[T ] ¬ T psg#Bu^K¥Âª+zwxp£luo£^=¯°#ëi ,...,X = psg)tu\p£rOtu^Koqfóh^ É5u^Kó¥)° wK° iK°,,p£ª^Kó5n@oqf3un@]9pszo ¥Yups|Y gk^ \wxzik^Kg ¬©p£+y{^K ikp£ª^Bn@ ¯ ¤ ixYu^1no£f3un] pszo f l5^Kpq\ u^K ^Kgxgkwkp£oqfBikYu^-|Y5zw|ixt^ wxp£gjikps5n@oqf3un@]9pszoVnz¨ (I)m ¬Êgk^ ^l5n+ª@^#gk^KV ik(I)p£n5¯ p£ Q[X , . . . , X ]/I D Fë°ZXZY\^- 5~
h^ É\u^Kg lup y{^Kixpqn@´l1^ i{¥%^ ^ ,ixYu^wxn3nzixg!nz¨ F \ikYunOgj^n¨ uwx^Kgk^ wxªOp£umikYu^)]mtuoqikp£uoqps pqikp£^Kg~z\ikY\^)wk^=zoGwkn3nixg H f 1
s
1
i
t
gt,X1 (T ) gt,1 (T )
gt,Xn (T ) gt,1 (T )
n
t
t,1
t,X1
t,Xn
t
1
t
n
t
V (S)(∩R) α = (α1 , . . . , αn ) g 1 (t(α)) (X1 (α) = gt,X , . . . , Xn (α) = t,1 (t(α))
gt,Xn (t(α)) gt,1 (t(α)) )
¾\nw! n@] uthikp£uB 5~Ìn\^bY5g%ikn gkno£ª^bi{¥%nmuwxnl\oq^K] g : É\\hp£uB gk^ \wxzikp£um^Koq^K] ^ Oi t * ò$ò á*MINPOPQPR
H
≈ → ←
V (ft )(∩R) t(α) t(α)
n
1
=
¹k¸
´¸ ¹ ¸ º h» »Ê¸ ¹
p£ª^KMz3f5n@oqf3un@]9pszo t ¤À n] utuik^m 5~ (j}%z\up£uzik^ f , g , g , . . . , g gkt\|YTixY\+i pÁ¨ t p£g! gk^ \wxzikp£u95n@oqf3un@]9pszo>¤OikYu^K,ikYu^)5~0({}%\hpsu+ix^bpsg! 5~)° K n@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 , . . . , X ]/I H : f = P a T psgixYu^m|Y\wx@ix^ wxp£gjikps~1no£f3un] pszo$nz¨ m °¦^ ixgh^ unik^=g!l3f f pqixgbgkrOt\wk^ ( ¨©wk^K^)\zwkiK° ¤ z5 : ¨©nw)z3f v ∈ Q[X , . . . , X ] ¤ g (T ) = P T race(m )H (T ) d = deg(f ) P ° H (T ) = aT ¢ DÜz Fë¤%ógjikw|+ix^ fópsg uwxn1n@gk^K ¨©n@wB n@]9\thikp£u û 5 ¨©n@w z3fÈgkf3gjik^K] ¬Êó 5~0 ({}%\hpsu+ix^ \Vmgj^K\zw|+ixpq\^ o£^ ] ^ Oi¯¤hluthi%ikY\^ wx^bwk^bgj1^K p£oGKgk^Kg ¥Yu^ wx^pqi zl5^# n@] uthik^=Vhp G^ wx^ Oiko£f° Y\^ p£g%gj^K\zw|+ixpq\ V (I) z\B¥Yu^ I psg²-wx@hps zo5p£u^Kzo>¤OikYu^#gkf3gjik^K] p£g%gkp£ ikn-l1^bpq I ¸ I »âº>» *X °:¢gkt\|YVKgk^KgK¤@ixYu^#gjY\5^bnz¨ikYu^#o£^ ¿hp£ n@wxuYups Å wkÆ@luu^Kw²l\@gjpsg²p£gZzo£¥Zf3g ikY\^~¨©n@oqo£n+¥pq\ :
t
1
D i=0
t
t,Xn
t
1
j i=0
j
t,X1
n
i
i
t,1
i
n
d−1 i=0
t,v
vti
t
d−i−1
t
i−j
1
H
f (X1 ) = 0 X2 = f2 (X1 )
°°
¬Ê@¯
.
Xn = fn (X1 )
z\´¥²^mY\ª^ gbgkYun+¥Tp£ DÜz Fë¤Àpq¨CikYu^9gjfhgjik^K] p£gpq.gjY5z1^-1n@gkpÁixpqn@¦¤ \ f (X ) = g (X )g (X ) mod f ° XZY3t\gBixYu^ó g5d@=gkgkfnh ps+ik^=³¥pÁixY X fz\µ=ikYuf^ o£^ ¿hps n@w|zuYups Å wkÆ@luu^Kw!l\gkpsg~zwx^^=r@t\pqª+zo£^ Oi~t\,iknBixYu^p£3ª^ w|gkpqn@n¨ g = f ] nhhtuo£n f ° ¢MikYu^ wx^Kgjibn¨ ixYu^ \z1^ w#¥%^9Kzo£o$ixYupsg#nlhy{^=i)!0(ë¾\nwx] nz¨ ixYu^ n@wkwx^Kgk5n@\hp£uBo£^ ¿hps n@wxuYups Å wxÆl\u^ w%l\gkpsg °:XZYu^) 5~Np£g%¥%^ o£oG«O\n+¥Bikn l1^#]-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+¥pquTT 5~0 ({}%\hpsu+ix^,¬Wz\ gknikn´|Yu^=|«TikY5+i X gk^ \wxzik^Kg V (I)P¯ HmpÁipsg \^K ^=gkgxzwxfBz5gkth§B p£^ OiikY5+i f p£ggxrOt\zwx ^ (>¨©wx^ ^° XZYu^=gj^-wk^=gjtuoqixg!Y\ª^)] z3fuw|ixp£Kzouwx¥l\@|«hg%gkp£\ ^@¤u¨©nw] n@gji~wkn@l5nixgK¤hikY\^mgkf3gjik^K] g¥Yups|Y ] nhh^Ko$ixYu^ ®#v zwx^-p£ûgkY\z1^95nOgjpqikp£n¦° .^9ikY3t\g# ´]-t\oÁixpquo£fTixYu^9gjikw|+ix^ @pq^=g!¨©n@wb n] uthixpqu Ègjf3]-l1no£psTgjn@oqthixpqn@ Hûn@u^MKzµ n@] uthik^´ikYu^M~ (ë¾\nwx] Å wxÆl\u^ wVupqwx^K iko£fÇt\gkp£u D 4 Fn@w D£P F ¨©n@w^ ¿u]9\oq^Bn@wl3f.|Y5zu@^9n¨nw|h^ wxpq\Toqp£«^ p£ D F²n@w-´ 5~ t\gkp£uTikY\^Vzo£n@wkpqikYu]d¨©wkn@] DÜz* F>° }²Y\nOnOgjp£umikYu^)wxp£YOi!g{ixwxzik^ @f ¥pqo£o¦l1^)\zwkinz¨'ntuwZ^ ¿31^ wxp£]9^KOixzo¦gk^K ikp£n¦° X1 ,1
1
i
X1 ,Xi
1
0 X1
X1
1
X1 ,1
X1 ,1
0 X1
1
X1
1
X1
(1
'61 & 8 ( }²n@] uthikp£u m5µwx^Kht\ ^Kg²ikY\^bwx^Kgkno£thixpqn@Bnz¨$ ^Kwkn(ëupq] ^ 5gjp£n\o5gkfhg{ix^ ]
41
%
ikn gkno£ªOp£u9nu^5n@oqf1( \ n] p£oCp£ nu^ ª+zwxpszluo£^´¬ f ¯)\.iknM^ ª+zo£t\+ixpq\ n w|+ixpqn@\zo:¨©w| ikp£n\gV¬ ¯)+i ,i = 1...n pqixgZwxn3nzi|g)¬©unik^bikY\zi!pÁ¨'n\^#gkp£]9\oqfB¥ZzOi|g%ikn n@]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£n5zoh n3nw|hp£\+ix^Kg|¯°XZYu^Zu^ ¿3i'ix@gj«)psgikY3t\g'psgikn) n@] uthik^oqo t
gt,Xi (T ) gt,1 (T )
à©ñò¦àâí
» º \¸-½+»â¹x¸x· º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º
@
ixYu^#wk^=zoGwxnOnixg²nz¨$ikYu^)gkf3gjik^K] ¬Ê\Vn@uo£f ikYu^#wx^Ko5wxn3nzixg|¯¤h\wkn+ª3pshpq\mmOt\]9^Kwkps oÀzuuwxn¿hpq] zikp£n ¥pqikYTwklupqikw|zwxf uwx^K p£gkpqn@û¬Wgj^ i!lOfBikYu^)t\gk^ w¯²nz¨ikYu^ n3nw|hpq5+ik^=g ° XZYu^9psgjn@o£zikp£nTnz¨:ixYu^9wk^=zowxn3nzi|g!nz¨ zTl1^ hnu^mt\gkpquVikYu^ zo£n@wkpqikY\] uwxn1n@gk^K,p£ DÜ F,H ixYu^ntuikuthi²¥pqo£oul1^~boqpsg{i l nz¨Gp£@ix^ wxª+zosg'f ¥pÁixY wxzikp£n\ohl5n@tu\ugCgkt\|Y9ikY5+i:¨©nw ^K|Y9wx^Kzohwxn3nzi α n¨ ¤ikYu^Kwk^Z^ ¿3psgjixg:#tuupsrOtu^p£@ix^ wxª+zohp£ ¥Yups|Y9 nOixpq\g °:XZYu^!gk^K n@\9g{ix^ n@\gjpsgjixg'p£9wx^ É5upq\ f ^=|Yp£Oik^Kwkª+zo3p£mn@wxu^ w$iknb^ \gktuwx^ ixY\+i'l pÁiChn3^=g$\nzi: nOi|zp£mαz3f#wx^Kzo3wxn3nzi$n¨ g °:_3p£\ ^ f \ g wk^ n (>\wkp£] ^mixYupsg) n] utuix+ixpqn@óp£g#^=gkfMz\û¥%^mixYu^ Kz.^ \gktuwx^mixY\+i)ixYu^ w|+ikp£n5zo¨©tu\ ikp£n\g Kz l1^V^Kªoqt5+ik^= t\gkpq\´pqOix^ wxªo%wkpqikY\]9^ ikps g-¥pÁixYunthi z3fó z5 ^ o£os+ikp£n n¨ikYu^h^ \n] pq5+ikn@wK° XZY\p£gbosgjib^Kªoqt5+ikp£nMp£gb1^ wk¨©nwx]9^=Tt\gkpq\]mtuoÁix p (ëuwx^K p£gkpqn@MzwxpqikYu] ^ ixp£Kg ¬ÊaTv ¾\|«+z@^ ( D @# F©¯° gb¥²^9¥pqo£oCgk^ ^9pqMikYu^ ^ ¿h1^ wxpq] ^K@i|g ¤GixYu^9uwk^= psgjp£nûu^ ^=h^K´¨©nwbikY\^ n] uthi|+ixpqn@\g~psgb5n3n@w#\À¤ ] n@wk^Kn+ª^ w=¤+ixYu^w|+ixpqn@\zou¨©tu\ixpqn@\gZh^ É5u^KVlOf9ixYu^ 5~Nzwx^~gjixzl\oq^tu\h^Kw²3tu] ^ wxps zo1^ ª+oqt\zikp£n¦¤ ^Kª^KBpÁ¨$ikYu^KpqwZ n3^ § pq^KOixgZzwx^~Y3tu@^m¬©w|+ixpqn@\zo13tu]-l1^ w|g|¯¤hz\BikY3t\g²ikY\p£g%\wji%nz¨¦ixYu^b n] uthi|+ixpqn@ psg)gjikp£oqoC^ §B p£^ OiK°B¾\nw)p£\ wx^K@gjp£uikYu^ uwx^K p£gkp£n.nz¨ ixYu^ wx^KgktuoÁi=¤pqip£g#n@uo£f´u^K ^Kgxgkwkf,ixnTh^K wk^=gk^ ixYu^9oq^KuzixYMnz¨ ikYu^9pqOix^ wxªo£gp£ l ¥Yups|YûKzM^=gkpqo£f,l5^ hn@u^ml3f,lupsgj^=ixpqn@Mnwbt\gkpq\ ^ wkikpqÉ\^= ~^ ¥Zixn g zo£nwxpqikYu],°ó!nzix^VixY\+i psg-psg rOtupÁix^Tgjp£] uoq^ikn. ^KwjixpÁ¨©fóixYu^Tgjp£ n¨!ikY\^ nOn@wxupq\zik^=g H n@u^ gjp£] uo£f´Y\gixn, n] uthix^Bgjn@] ^mO ug ¬Ê@ \g#nz¨ ixYu^ 3tu] ^ w|+ikn@wxg#\Mn¨ f ¯bz5ûgkuo£pÁi=¤¥Yu^K \^K ^=gkgxzwxf ikY\^# 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 ] nhhpq¨©f3pqu9ixYu^g{i|z\\zw|oq@^ luw|zps~^=rOt\+ixpqn@\gZh^Kgx wxpql\pqu9ixYu^®#v'° t
ft
t
ft
t,1
t
t,1
ft
t
!(1 !#4'6"$1 &2'(. $
^ i|gZpqOikwxnhht\ ^ixYu^)un@]9^K\ os+ixtuwx^bt5gj^=p£ikYupsg\wji H : R H'ikY\^)l\gk^-}%zwkik^KgkpszVwx^ ¨©^Kwk^K\ ^b¨©w|z] ^#nz¨: ^K@ix^ w O ° : R H9ikYu^,}%zwkik^Kgkpszówk^ ¨©^ wx^ \ ^ ¨©wx] ^Bnz¨! ^KOik^ w C ¬©^ 5 (>^ 1^=ixnw¯#wk^Ko£zikp£ª^ ixnTikYu^] nlup£oq^ uos+ij¨©n@wk],° : A H:oqnhK+ikp£nnz¨ikY\^ ^ Oix^ wZnz¨ikYu^Zy{n@pqOi!n¨$«3pq\^ ] +ixp£Kg|Y\zp£pnikYu^)l\@gj^@° : B H:o£n3K+ixpqn@n¨ikY\^ ^ Oix^ wnz¨ikY\^Zy{np£@in¨«3p£u^ ] +ixp£Kg|Y\zp£p¦nikYu^)] n+ª3p£um\o£zij¨©nwx],° : L H:n+ª^ w|zo£oG ^ G^K ikp£ª^)hpsg{i|z\ ^)l5^ i{¥²^K^ B \ A ° ^ i|g)h^ unik^ l3f ¬©wx^Kgk¦° ¯ixYu^B n3nw|hp£\+ix^Kgbnz¨%ikY\^ ª^K ikn@w ¬Êwk^=gj°mixYu^ 1np£@i ¯¥pqikY wx^Kgk1^Ki)ixn,ikYu^,}%~vzwkik^Kgkpsz.wk^ M¨©^ wx^ \ ^m¨©w|z] ^ R ¤'z\.l3f . ixYu^B~v ] +ixwkpq¿û¥Yups|Y n@oqtuM] \g-zwx^ ° −−−→ M N , i = 1...6 ~Y\^ ¿uz1nhgkY\oqoÀl1^h^Kgx wxp£l5^=Vl3fV9^Kn] ^ ixwkpsb] n3u^ o¦¥Yu^Kwk^ H f
m
i
i
i
i
|R
|R
i
|R
i
i|R
ò$ò á*MINPOPQPR
¹k¸
´¸ ¹ ¸ º h» »Ê¸ ¹
h^=gk wkp£l1^ixYu^)l\@gj^#^Kn] ^ ixwkf%* h^=gk wkp£l5^bixYu^)] nlup£oq^#uos+ik¨©nwx]^Kn] ^ ixwkf%* → : − OB : L , i = 1 . . . 6 wk^bixYu^)«3pqu^K] +ikps g|Y5zp£\gZoq^KuzixY\gK° K n@wxhp£u-ikn9ikYu^=gj^#unixzikp£n\gK¤hgjn@oqª3p£u-ixYu^ Ì\wkn@luoq^K] n@\gkp£gjixg%p£ n] uthixpqu −→ ¥pqikY wx^Kgk1^Ki-iknTixYu^ n\gjikw|zp£Oixg H L = ||A B || , i = 1 . . . 6 °´!] n@uTikY\^B3tu] ^ wxOB nt\g)^ ¿hp£gjikp£u ¨©n@wk]mtuos+ikp£n5g ¤ikYu^Kwk^ ^ ¿3psgjixg#i{¥%nT] zp£û¨Ê] pqo£pq^=g¥Yups|Y zwx^ n@]9] n@uoqfût\gk^Kóp£ó n] uthix^ w oq@^ luw|6 H : Ò $ "Ê$ " Ò ! u Î Ó Î h$ " Ò ! !3f.wkp£psól5nhhfógkt\|Y g#ixYu^V] n@lupqo£^Buos+ik¨©nwx]Kz zosgkn l5^Tgk\+ixp£oqo£fóoqnhK+ik^= ixYuwkn@tuY ikYu^,1n@gkpÁixpqn@ nz¨ikYuwx^ ^nz¨~pqixg hpsgjikp£\i 5n@pqOi|g9gkt\|Y¶gmikYu^ É\w|g{i%ikYuwx^ ^²y{np£Oixg B , B z\ B ¬Êgktuu1n@gk^KBikn l1^bhpsgjikp£\i¯° _3p£\ ^bixYu^l1nhhfBpsg%wkp£psÀ¤OikYu^ 5nOgjpqikp£n5gZnz¨ B , B ¤ B z\ C zl1^h^Kht5 ^K¨©wxn]ËixYu^)1n@gkpÁixpqn@\gZnz¨ B , B z\ B ° : "W = /Ê\ Î Î ! \ Î Ó Î h$ " Ò ! °ë¨uixYu^ wx^ ^ ¿3psgjixg'z3f#] nlup£oq^²uos+ij¨©n@wk]
1n@gkpqikp£n
¥Yups|YT]9^K^ i|g!ixYu^- n@\gjikw|zp£\g L = ||A B || , i = 1 . . . 6 ¤5ikY\^ ,ikY\^ wx^^ ¿hpsg{i|g~ wxnzi|+ikp£n gkt\|YikY5+i H R ¬ÊÃO¯ −→ −→ −→ OB = OC + R · CB , i = 1...6 v'n@gkpqikp£n³l\gk^KÇ^KrOt\zikp£n\g Y5ª^,zo£wk^=hf l1^ ^K t\gj^=Èl3f¶gj^Kª^ w|zothikYun@wxg \¶¥²^Th^=gk wkp£l5^ É5wxgjiikYu^-nu^=gZ¨©wkn@] D£=# Fë¤\¥Y\p£|Y´wk^)zo£wx^KufBnhixpq] p
^=¨©nw Å wxÆlu\^ wl\@gj^=g! n@]9\thixzikp£n\gK°²XZYu^ gkfhg{ix^ ] g n@\gkp£gjixgZp£ 9 ^=rOt\+ixpqn@\gZh^ 1^ \upqu n@ 9 ª+zwxpszluo£^KgZz5V¥p£oqol5^h^Kunzix^Kl3f S ° gCt\gk^K l3fmgk^ ª@^ w|zouthikYun@wxgK¤zixYu^!\ziktuw|zo\¥%f)ixn-gk^ i² oq@^ luw|zps%^KrOt\zikp£n gjfhgjik^K]¨©wxn] ¬©ÃO¯ psgikngjikw|zp£YOik¨©nwx¥%wxho£fbt\gj^%ixYu^wknixzikp£n-] zikwxpÁ¿-5zw|z] ^ ix^ w|g\-ikYu^ª@^Kixnw −OC→ n3n@wxhp£\zik^Kg @gZtuu«3un+¥\gK°C_3p£\ ^ R p£g9wxnzi|+ikp£nó¬Ê 3 × 3 ] zikwxpÁ¿\¯¤3ixYu^#¨©no£o£n+¥pqu wx^ os+ixpqn@\g%Yunos H ¬>¯ R R = I , det(R) = 1 XZY\p£g'É5wxgji gj^ 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¨ixYu^)oq^K@g\V¥p£o£o¦l5^u^ unik^Kl3f S ° XZYu^ó n@\gjikw|zp£@i|g ikYu^KNl1^.^ ¿huwx^Kgxgj^=µK nw|hp£uo£fÇikn ^=rOt\+ixpqn@\g#¬©ÃO¯ H L = ||A B || , i = 1 . . . 6 ¬Ê@¯ −→ −→ −→ −→ −→ || . − OA + R · CB || = ||OC − OA L = ||OB ^ ih^Kunzix^l3f ixYu^wx^KgktuoÁixpq\Bgjfhgjik^ ],°ZXZYu^)¨©tuo£o] nhh^Koqpsgkzikp£nTn¨$ixYu^-hpsgj\o£@ ^ ] ^K@i o£^K@ugÀixn~zoq@^ luw|zSps:gkf3gjik^K] S S ∪S ] h^²nz¨ÀKZ1no£f3un] pszo^=rOt\+ixpqn@\gh^K5^K\ ( p£ubn=!tuu«3un+¥\gZ¬ [X, Y, Z, r , j = 1 . . . 3, i = 1 . . . 3]¯ ¤z¥Yu^ wx^ [X, Y, Z] wk^ ikYu^ nOn@wxupq\zik^=g n¨ −OC→ °V~nzik^ ixY\+i-,t5gj^ ¨©tuo:ikwxps|«´iknTgk5^K^Kótu.ixYu^ É\\o n@]9\thixzikp£nóp£g)iknTuwx^K n] uthix^ Å wxÆl\u^ wl\gkp£gnz¨ z\Tikn@uTixnBixYu^m\wk^KªOp£nt5g~ n@] uthixzikp£nMoqo$ikY\^m^=r@t5+ikp£n5g n] pq\ ¨©wxn]¬Êu°£K¯ ° S :
−→ OAi|Rf
i|Rm
i
i|Rf
2 i
1
4
5
i
2
i
2
3
6
1
2
3
|R f
2 i
i
i
2
|R f
i|Rf
i|Rm
3 pt
|R f
t
2 i
2 i
i
i
2
dis,rot
i|Rf
i|Rf
3
2
|R f
i|Rm
i|Rf
2
dis,geom
rot=
dis,rot
dis,geom
ij
|R f
dis,rot
à©ñò¦àâí
» º \¸-½+»â¹x¸x· º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º
=
/
$ '61 $. $
gjixz5uzw|³¥%f¶¨©n@wh^=gk wkp£lup£u ixYu^.nwxpq^K@i|+ixpqn@ nz¨mÈ\zw|zo£oq^Kowxnl1nzip£gVikn¶t\gk^ûrOt\zik^ wxup£n\g ¬ 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 ] nhh^Koqp Kzikp£n,ikn@^ ikYu^Kw¥pqikYMgk1^K pqÉ5-l5^KY\ª3pqn@w~nz¨C] nhh^KwkMoq@nwxpÁixYu] g¨©n@w n@] uthikp£u Å wkÆ@luu^ w l5gk^KgK°$¢VgkYun@wji=¤@¥%^~^ ¿Oixwx@i ª+wkpszluo£^Kg ¥Yups|YBzwx^ jpqOikwxp£\gjp£\ oqf oqp£u^Kw²^=zwxoqf9p£ ikYu^bzo£n@wkpqikYu] ikn u^K wx^K@gj^ikY\^)Ot\]-l1^ wnz¨'ª+zwxp£luo£^Kg%¥pÁixYT9gkp£upqÉ5 OiZp£ \t\^ \ ^)nikYu^ n] uthi|+ikp£nikp£] ^KgK° % & & ' Î 0 Î ! Î * "W @u Î X$nB\wx] ^ ik^Kwkp
^ikYu^mwxntuTn¨Cwknix+ixpqn@\g¥%^mKzTt\gk^ixYu^ }%f3o£^ fikw|z\gj¨©nwx] *5pq¨ H psg~OfT@ix p ( gkf3] ]9^ ikwxp£b] +ixwkpq>¿ H
0 H = −a −b
a b 0 c −c 0
ixYu^ ¤uuwxn+ªOpsh^= ikY5+i 1 p£g!unzi!z,^Kpq@^ 3ª+zo£tu^n¨ H ¤h¥%^#Y\ª^bixY\+i
2
2
2
+a +b − −1−c 1+c2 +a2 +b2 I +H R= = −2 1+ca+bc 2 +a2 +b2 I −H −b 2 1+cac 2 +a2 +b2
2 1+ca−bc 2 +a2 +b2 2 −1−b2 +c2 − a1+c 2 +a2 +b2 −2 1+cc+ab 2 +a2 +b2
+b 2 1+cac 2 +a2 +b2 −2 1+c−c+ab 2 +a2 +b2
¬¯
−b2 −c2 +1+a2 1+c2 +a2 +b2
psg~ wxnzi|+ikp£n°Z}²n3ª@^ w|gj^Koqf@¤hpÁ¨ p£g~ wknixzikp£nikYu^K H = psg!zOikp (¢gjf3] ] ^ ikwxpsz¤\@gkgktu] pq\ ixY\+i −1 p£g!unzi!z,^Kpq@^ 3ª+zo£tu^n¨ RR ° :¿huwx^Kgxgkpqu9wx^ os+ikp£n.¬©Ã3¯Zz\Vwk^K]9n+ª3p£umikYu^)h^Kun] p£\+ixnw|g ¤3n\^bn@lhixpq gjfhgjik^ ] h^ 1^ \upqu n@ 6 ª+zwxpszluo£^Kg [X, Y, Z, a, b, c] ° .^´ ¶gktuu1n@gk^,ikY\zi −CB−→ = 0 z5 −OA−→ = 0 °µXZYu^ ^=rOt\+ixpqn@\g#¬Ê@¯ZKzl5^)wx^ ¥wxpqijik^K/ H R−I R+I
1|Rm
−→ L21 = ||OC|Rf ||2 −→ −→ L2i − L21 = ||R · CBi|Rm − OAi|Rf ||2
1
¬ @¯ ~^ \ ^ pÁ¨¥%^Bgxgjt\]9^ ¨©n@w-,¥Yup£oq^BikY\zi psg«3un+¥¤¦ikY\^ p£ggkno£thixpqn@.n¨Z −→ o£p£u^Kw²gkf3gjik^K] ¬>#^KrOt\zikp£n\g²z\V)tuu«3uRn+¥\g|¯°'XZYu^Kwk^ ¨©nwx^!pÁi%[X,p£g ^ Y,un@Z]tuY =ixOC nm n] uthix^~hp£wk^=iko£f9ikYu^ Å wxÆl\u^ wl\@gjpsgZnz¨!¬ 4@¯²¨©nwz,^ o£pq] p£\+ixpqn@,nw|h^ w!gkt\|YikY\zi 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[X, \^ª^Kwkfr@t\p£|«3o£fp£,ikYu^-É\w|g{igjik^K\g!n¨ ixYu^#zo£nwxpqikYu]B¯°!^K\ ^ikY\^b n] uthix^K Å wxÆl\u^ w%l\gkpsg²h^K5^K\ug%n\oqf n@ a, b, c z\ ikYu^#gjY5z1^n¨ ixYu^wx^Kgktuoqi~p£g I pq´gkY\z1^1n@gkpÁixpqn@ ¬Ê\ikY3t\gpq,ixYu^¨©n@wk] ¬Wu° Ã3¯Z¥pÁixY n = 3¯ °!¦^ ibh^ unik^ l3f S ixYu^Bwx^Kgktuoqikp£u´gjfhgjik^K]°,±Zgk^K.nóixYu^ F 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^K ikp£n,ikY\^m n@] uthixzikp£n´n¨Cgjt\|Y Bl\gkp£g~p£g~unzibnuo£f¨Êgjik^ wluthi#zosgjn ixYu^mgk p K^nz¨:ixYu^-wx^Kgktuoqim¬©] pquo£fikYu^9gjp
^-nz¨'ikYu^9 n3^ §B pq^K@i|gx¯ psgZ]-t5|Y,gk] zo£oq^KwK° +2
4 −→ −→ E −→ hR · CBi|Rm − OAi|Rf , OC|Rf for i = 2, . . . .6 |R f
quat
ò$ò á*MINPOPQPR
5
KÃ
¹k¸
´¸ ¹ ¸ º h» »Ê¸ ¹
& ' Î ! Ò ! 0 Î ! Î W" @u Î
% & &
_hpq\ ^!ixYu^bl5n+ª@^¨©nwx]-t\o£zikp£n\g²zwx^~ª+zo£p£Bnuo£f pÁ¨ p£g²unziZz^ p£^ 3ª+zo£tu^!ª+oqtu^nz¨ R ¥²^u^ ^= ikn u^ ik^=i~\gkno£ª^bixYu^Kgk^#^ ¿u ^Khikp£n\o¦gjpqikt5+ikp£n5g%ik−1n ^KwjixpÁ¨©fVikYu^)wx^KgktuoqixgK° pW°Z¥%^%É\wxgji n@] uthik^ Å wxÆluu^Kw'l\gkp£g'n¨ S ¨©nwCOf-nw|h^ wxpq\b\muuo£f)ikY\^ nwx^ ] ~ixn) nt\@i ixYu^!3tu]-l1^ w²nz¨¦ n@] uoq^ ¿9gkno£thikp£n5gC n@tuOik^K ¥pqikY ]mtuoqikp£uoqps pqikp£^Kg *3ë¨ÀpÁi psgCÃO#nwCp£hÉ\\pÁix^!¥²^zwx^ gktuwx^mixY\+i)unTgkno£thikp£n.psg#]9psgxgjp£u,nwbikY5+i#ikYu^ wxnl1nzi|gbp£g)gkpq\tuoszw)z5M¥%^ zwx^9hn@u^° ~nzik^ ixY\+i¨©nwgkp£utuoszw~wkn@l5nixgpqi] fVY5zu1^ \g~ikY5+i S @h] pÁi|g~ É\\pÁix^-3tu]-l1^ wnz¨Cgkno£thikp£n\g lutuiikY\ziikYu^@uhpqikp£n\oÀoqp£u^Kw!gjfhgjik^K] h] pqixg!p£hÉ\\pÁix^)Ot\]-l1^ w!n¨gkno£thikp£n\gK° p£pW°ZnikYu^Kw¦^ osgj^¤=¥%^'ixz«@^'ikYu^ uwkny{^K ikp£ª^'ª^Kwxgkpqn@~n¨À¬Wu°Üh°£K¯1l3fuuo£fOp£uZixYu^:¨©no£o£n+¥pqu%ixwx\g{¨©n@wk] [a −→ \VikYu^K,gk^ i d = 0 ¥²^#n@lhixpq , b −→ , c −→ ] quat
quat
a d
b d
c d
R∞ =
c2 −a2 −b2 c2 +a2 +b2 −2 c2 +abc2 +b2 2 c2 +aac2 +b2
−2 c2 +abc2 +b2 2 −b2 +c2 − ca2 +a 2 +b2 −2 c2 +aab2 +b2
2 c2 +aac2 +b2 −2 c2 +aab2 +b2 2 2 2 −a − bc2 +c +a2 +b2
.^)ikY3t\g!^ \^ w|+ik^),oq@^ luw|zps#gjfhgjik^K] gZp£,ikY\^^Ku^ wxp£#gkpÁixt\+ixpqn@ ¬©wx^ uos pqu R l3f R ¯ \B¥%^!ix^Kgji%¥Yu^ ikYu^Kw ixYu^ wx^wk^bgjn@] ^gkno£thikp£n\g%gkt\|Y ikY5+i a + b + c 6= 0 °'~nzix^~ixY\+i%ikYupsg n] uthi|+ikp£nTpsg!]mt\|Y,¨Êgjik^Kw!ixY\z,ixYu^-@^ u^Kwxo n@]9\thixzikp£n ¬©o£^KgxgixY\zM\°qgk^K)¨©nwoqoikYu^ ^ ¿h] uoq^=gx¯ ° % & % VÎ Ò - Î * " ! 0 ' Î Î " /Z Ò /'# " Ò ! Ò ' Î Í ë¨G¥%^Z@gkgktu] ^%ikY\zi S Y5g'l1^ ^ gkno£ª^=-t\gkp£u))! (>¨©nwx]ÂnwC# 5~³z5ixYu^!psgjn@o£zikp£n-\wknh ^=gkg ^ ¿h5nOgj^=ûp£Ègk^K ikp£n\g-u° ô\ h° h¤'n\^Bu^ ^=ug)ixnM n@] uthik^@¤¨©n@w-^=|Yówk^=zo gkno£thixpqn@µ¬©wxnzixzikp£n\g|¯¤ ixYu^-wx^ os+ix^Kixwx\gjos+ixpqn@ [X, Y, Z] ¥Yup£|YMwk^K] pq5gikngjn@oqª@^- o£pqu^=zwbgjfhgjik^ ] n¨ 5 ^KrOt\zikp£n\gp£ 3 ª+wkpszluo£^KgK°¢,mÉ\w|gji~g{i|z^@¤OikYupsg! l1^#ikwxp£^Kt\gkpqu ]mtuoÁix p (ëuwx^K p£gkpqn@Vp£Oik^ wxª+zo¦wkpqikYu] ^ ikpsz° : (|Yu^K|« ixY\+iBzi o£^K@g{i n\^ 3 × 3 ] pq\nw u^Kª^ w ª+z\p£gkYu^Kg,¬ÊlOfÈ]9^=z\g n¨p£Oik^ wxª+zosg9unzi n@@i|zp£up£u 0¯%+iixYu^)wk^=zoGwxnOnixgZn¨ S ¤u¥%^)zwx^#unu^ ¬©t5gjt\ogkpÁixt\+ixpqn@5¯° : ± (ë¨\nzib¬Ê^ ¿u ^Khikp£n5zoGgjpqikt\zikp£n5¯ ¤3nu^bgjf3]-l1no£ps zo£o£f9 n] uthix^Kg%zo£o\ixYu^ 3 × 3 ] p£unw|g \À¤ ¨©nwZ^K@|+Y *3|Yu^K|« pq¨$pqi%ª+z\p£gkYu^KgZzi%gkn] ^wxn3nzi%nz¨¦ixYu^bgkfhg{ix^ ] H'n\^gkpq] uo£f u^ ^=ug²ikn uBikYu^ ] pqun@wbiknBixYu^ gjfhgjik^K] \Mgkno£ª^-pÁi=°-!nik^mikY\zibpq¨²gkt\|Yûgjfhgjik^ ] Y5gbVgkno£thikp£n¦¤1ixYu^9É5g{i 5n@oqf3un@] p£oÀnz¨ikYu^ 5~Npsg!m¨Êixnwn¨ikY\^#É\wxgji!1no£fO\n] p£oGnz¨ikYu^ 5~Ìn¨ S ° : } (ë¨zi o£^Kgji²n@u^!n¨1ixYu^Kgk^~] p£unw|g ununzi%ª+zupsgjY+i²Of9wxnOni nz¨ S ¤On\^!pq5 wx^Kgk^KgCikYu^ uwx^K psgkpqn@Tnz¨:ikY\^m n@] uthik^=´gkno£thikp£n\gbz5ikYu^9uwx^K psgkpqn@n¨:ikYu^9p£@ix^ wxª+zo$wkpqikY\]9^ ikpstuOixpqo É\\hp£u9ikY\^)tuupsr@t\^ixwx\gko£zikp£n\g% n@wkwx^Kgk5n@\hp£uixn9ikYu^#wxnzixzikp£n\g H'¥%^#wk^#gktuwk^ikY5+i!gjt5|Y ,uwxn3 ^Kgxgb¥pqo£oC^ 5.gkp£\ ^9ikY\^ É\oÁix^ w#¨©wxn] g{ix^ ó ¥pqo£o n@\ o£t\h^9ixY\+i-zioq^=gji#n@u^ nz¨%ikYu^ ] pq\nw!u^Kª^Kw%ª+up£gkYu^=g+¨âik^Kw!mÉ\upqik^3tu]ml5^Kwnz¨ixwkp£^KgK° 3×3 2
2
∞
2
quat
quat
quat
quat
à©ñò¦àâí
» º \¸-½+»â¹x¸x· º+» ¸+º>»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º
( o£gk^¤Gn\^m ´p£un@wk^)ixYu^9wkn3nzi|g~n¨ ¥Yups|YMhwxpqª@^ixnzûunMpq3ª^Kwjixpql\oq^9gjfhgjik^ ] H ikYu^Kf nwxwx^Kgk5n@\ixn-gkpqu@tuoszwC1n@gkpÁixpqn@\gCnS¨GikYu^!wxnl1nzi=¤O\ z\uoqf-ikYu^bzl1n+ª^uwxnh ^=gkg:n@ ikYu^ nzixYu^ w|g °%¢´uw| p£ ^¤hixYupsg~ Tl5^mhnu^-lOfwk^K] n+ªOp£u9ikY\^¨Ê ikn@w!nz¨'ikY\^)É\w|g{i~1no£f3un] pszo¦n¨ ikYu^ 5 n¨ S lOfBikYu^#n\^bn@lhixpq\^K+i!g{ix^ ,±µz5wxtuikYupsgZuwxnh ^KgxgZzOzp£B¨©wxn] gjik^K ° ~nzik^BikY\ziikYu^gjn@oqthixpqn@ .l1^Bn@lhixpqu^=ó¥pÁixY z wklupqikw|zwxf´uwx^K p£gkp£n.¥Yu^ t\gkp£u´]-t\oÁix p ( \wk^= psgjp£nûpqOik^Kwkª+oCzwxpÁixYu] ^ ikps g)gkt\|Yóg)aTv²¾$#gkpq\ ^9ikYu^Bgkno£thikp£n5gn¨ S ûl1^ wk^ É\u^=Mn@ u^ ] z\K n@wxhp£u@oqf ixn gk^K ikp£n´h°Ü3° &ûZ' m$ ~oqoCikYu^B n] uthi|+ikp£n5g#¥²^Kwk^ hn@u^ nó,v%} ~^ n@ ¬Wh° 4 Å Y Å nT!aM¯°$¢.ikYu^ ¨©n@oqo£n+¥pq\ ^ ¿h5^Kwkp£] ^ OixgZ¥%^#t\gj^bixYu^#¨©no£oqn+¥p£u l1^ \|Yu] wk« H 5~gkpq\,3tu] ^ wxp£Kzoo£nl\o$n@hikp£] p =+ixpqn@ûuwxn@wx],¤1pq^ ik] zp£^ w D * F:p£ª^=gb^ ¿huo£p£ pÁixoqf´M^ ¿ ( • z] uo£^#nz¨$mwkn@l5ni%¥pqikYÃ@mwx^KzoGwxn3nzixg *3XZYu^) n3nw|hp£\+ix^Kg²nz¨ixYu^#l\gk^\uo£zij¨©n@wk]wk^ikYu^ ¨©no£oqn+¥p£uL H :
quat
quat
quat
"!"" # "$"#&%'#)(* "!"#+%, $$" "!"!" )(* - "-. /!,%01 -"! 2 /3"!"-" "#,%0)%' !"3. /4)%5"3$3 6(*7%'-"3""!3)(*"-" +%,+%8 - -#&%'- 9 : ;. ..?A@ B 7%0)%,"3"#&%' #""#. 3" $""$-4 3-" ""3"3)(* "-"#- 2 " ##&%, +%5 C%'!"!)(* "$"$-)(* -$! C%'! #". 3"- "# 3"--7(*2" +%'! 9
XZYu^)Ã@9wx^KoGgkno£thixpqn@\gzwx^#nlhi|zp£u^KV¨©nwZixYu^#¨©no£oqn+¥p£u9oq^K@gZo£^ uikY\g
H
D E BF%8 $ ""3" G,%C!"$".!. 5%C ".-. /-#,%02"!+%,#"-- 33&%,"3H%,
¥²^ûgjYun+¥ ikY\ziVt\gkpq\ ikYu^´ikn3nosg uwx^Kgk^ Oik^=¶pq³ixYu^´\5^KwBpÁip£g ª@^ wxfÈ^=gkf iknÈ|Y\^K|« ixY\+i ikYu^.gjn@oqtuikp£n\gBwk^Twx^Koqo£f wx^Ko!3tu]-l1^ w|gM¬Wz\³uni n@] uoq^ ¿Ç3tu]ml5^KwV¥pqikYµ ª@^ wxfÈgj] oqo ò$ò á*MINPOPQPR
=
¹k¸
´¸ ¹ ¸ º h» »Ê¸ ¹
pq] p£\zwxf5zwki|¯°ë¨ δ psgOf,1n@gkpÁixpqª@^p£@ix^ @^ w~¥%^-t5gj^-ikYu^m¨©no£oqn+¥p£u ¨©t\\ixpqn@Tikn n3ª@^ wki nwxpq@pq5zo \n@zikp£u 5n@pqOi~ nO^ §B p£^ Oixg%ixn9w|+ixpqn@\zosg$H 2δ x fδ (x) = 2δ
z\BikY3t\g ! h^ 1^ \upqu !psg ixYu^)zo£^Kluwxp£~gjfhgjik^ ] nikY\^ª+zo£tu^)»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º
pW°! n] uthixpq\!¥pÁixY R H −1 p£g^ p£^KOª+oqtu^ nz¨ R ¬©n@w R ) n¨u]-tuoqikp£uo£p£ pÁi{f 2 ¨©n@w 6 gkno£thikp£n5g ° p£pW°! n] uthixpq\!¥pÁixY R H −1 psg$unzi$)^ p£^KOª+oqtu^ nz¨ R ¨©nwikYu^CnikYu^Kw 30 n] uo£^ ¿)gkno£thikp£n\gK° D =»Ê· ¹ ¸ ¹ +¹ ¸ ¹ º
=
² .^Y\ª@^%p£] uwxn+ª^K9gkpq@upÁÉ1 zOixoqf-oq@nwxpÁixYu] gl\gk^K9n Å wxÆluu^Kw:l\gk^Kg: n] uthi|+ixpqn@\g'¨©nwCgkno£ª3pq\ ixYu^Bb®#v ¨©nw\wxoqo£^ o:wxnl1nzi|g ¬Êgk^ ^ DÜ+*à F²¨©nw^ ¿uz] uo£^=¯#g#¥%^ o£o @g#ikYu^Boq@^ luw|zpsm¨©nwx]-tuos+ixpqn@ûn¨ ixYu^9uwkn@luo£^ ],° û^ hpsM\nzi) n] \wk^mntuwbwx^KgktuoÁi|g~¥pqikY.nzixYu^ wbª+zo£t\zl\oq^ ^KwjixpÁÉ\^=Mgjikw|+ix^ p£^Kggjt5|Y @g%Yun] nzixYun3f ] ^ ixYunhug¬ D 4 F>>¤ D * Fâ¯%n@wZgjikw|+ix^ @pq^=g²l5gk^KBn@p£Oik^Kwkª+zo¦\zo£fhgjpsg#¬Êgk^ ^ D£$ 4 F©¯ ¨©nwZi{¥%n wx^K@gjn@\° ^@°ikYu^5nOgj^pq¥Yup£|YVp£g ikYu^wkn@l5ni ixYu^ f Y\ª@^!pqB¨©wkn@@i n¨ZikYu^K]° Cª3p£u^ Oiko£f.ikYupsg-1n@gk^Bpsg-p£óikY\^gk^ imn¨ikYu^5nOgj^=g)ixY\+i9p£gm zos t\o£zik^Kól\thi-ixYu^ wx^Vpsgun «3un+¥V]9^ ikYunhV¥Yup£|Yzo£oqn+¥!g ikn h^ ik^ wx] pq\^~¥Yups|YV1n@gk^p£BixYu^#gj^ i%psg²ikYu^# tuwxwx^ Oi²n@u^°:X$n9gkYun+¥ ixYu^)hpq§ tuoqi{f nz¨ixYupsg²\wkn@luoq^K]Ë¥²^b]-t5g{i!h^ É\u^ikYu^) n@\ ^KhiZnz¨ »Ê½ I ¸ °C¾\nw%ikY5+iutuwx5nOgj^¥²^ n\gkpsh^ wixYu^-1n@gk^-n¨'ikYu^mwkn@l5ni!ikY\zipsg~n@lhixpq\^K,¥Yu^K´pÁibp£gbgxgk^ ]-l\oq^=¨©nw!ixYu^É5wxgji!ikp£] ^¬©ikYu^ » »âºW.» ¸ ½@¸k¯ ¤\p>° ^@°'¥Yu^ ikY\^+ikYo£^ p£g nu\^Kix^KVikn ixYu^#uo£zij¨©n@wk],¤3ikY5+i!psggjtu\5nOgj^= ixn#l5^«3un+¥¦°'³ª+zo£p£m1n@gk^p£g:h^ É\u^=9@g:b5nOgj^ZixY\+iC] fl1^wk^=|Yu^=)¨©wxn]
ixYu^p£upÁixp£o\gxgk^ ]-l\oqf ] nhh^#l3f9\zikYTgjt5|YVixY\+#i H : ikYu^m¥Yuno£^\zikYT]mt\g{ioqp£^-¥pqikYup£TixYu^¥%nwx«3gk\@ ^#nz¨'ikY\^-wxnl1nzi-¬âixYupsg~¥%nwx«hgj\@ ^#psg!o£pq] pqik^K l3fBikY\^)5nOgkgkpql\oq^)|Y\u^bpqixYu^)oq^K oq^KuzixY\gz\l3fB] ^KKzYu\p£Kzo¦ n@\gjikw|zp£@i|g%nikYu^Zy{n@pqOi|¯ : ikYu^)¥Y\no£^b5+ikY,psgp£@ix^ wk¨©^ wx^ \
^ (>¨©wk^K^ H$ikYu^)o£^ Oghn un pqOix^ w|gj^=inikY\^)\+ixY : ikYu^)¥Y\no£^b5+ikY,psg!gkpqu@tuoszwxpÁi{1f (>¨©wk^K^ H¦ixYu^Zyj nlupsznz¨$ikYu^){®#v³]mt\g{i!\^ ª^KwZl5^gkpq\tuoszw ~^ \ ^²h^ ik^Kwk] p£upq\~psg$~5nOgj^²p£g$ª+zo£p£)psg$^KrOtup£ªoq^KOiiknbgjn@oqª@^ !wxnl1nzixp£Kg¦] nzixpqn@uoszu\pquuwxnluo£^ ] ¥Y\p£|Yp£g~v³Y\zw|À°:XZYu^ wx^#p£go£gkn9un «O\n+¥BikY\^ nwx^ ixp£KzoGwx^KgktuoÁin@VixYu^#uwkn@luo£^ ]n¨h^ ik^ wx] pq\pqu t\\h^ w:¥Y\p£|Y n@\hpqikp£n\gixYu^ wx^¥p£oqohl1^!n\oqfn@u^Zª+zo£p£91n@gk^%p£9ikYu^!gk^ iCn¨11n@gk^KgixY\+i wk^%nluixzp£u^= ¥Y\^ ,gjn@oqª3p£u9ikYu^b®#v'°
ò$ò á*MINPOPQPR
¹k¸
´¸ ¹ ¸ º h» »Ê¸ ¹
*+Z'% DqF)~t
p£u@^ w)z\._Oik^ ijix^ w=°m!.^ o£p£]9p£\zikp£nûoq@nwxpÁixYu] ¨©nwbikY\^ n] uthi|+ixpqn@Mnz¨%zo£o K^ wxn@gnz¨² gkfhg{ix^ ]nz¨À]-t\oÁixpqª+zwxps+ik^1no£f3un] pszou^=rOt\+ixpqn@\g ° º G¸ ¹»Ê¸ i{f35^!5zw|zo£oq^Ko\] zup£utuos+ixnwC¥pqikY p£Oik^Kwkª+zo¦\zo£fhgjpsgK° º ºW»Ê· ~¸ ¸ z¹k· 3¤5\¬ÊOP¯ HÜu h\¤Oz@zÃ5° D£K F#±b°OaTntuwxw|zp£¦°1XZY\^!Ã@)@^ u^KwkpsZ1n@gkpÁixpqn@\g:nz¨¦)5zw|zo£oq^Kouwkn@l5niK°1¢ ¤@5z^=g G$ 4@u¤ =@u° DÜz F#±b°GaTnt\wkw|zp£¦°!!MpqOikwxnhht\ ikp£n,iknoqp£u^=zw~oq@^ luw| ] ^ ikY\n3\g!¨©n@wgkno£ªOp£uB1no£f3un] pszo$^KrOt\- ( ixpqn@\gK¤¦K@ 4u° DÜh F#a °C!z@Y\ª+z¦° XZYu^´_Oix^ ¥Zzwkimuos+ik¨©nwx] nz¨@^ u^Kwxo²@^ n@]9^ ikwxfóY\gmÃ@. n@hÉ\t\wxzikp£n\gK°ó¢ 9¸ » ½ hº +º>» * £¤1ªn@oqtu] ^#@- (¢u¤O5z^=g OÃO@u¤3}²Yups n\¤G=u@° DÜ* F#-°!^ ªn@o z5 ¾²°nt\pqo£oqp£^ w=°,aTnzixpqª++ixpqn@\g#¨©n@wmz wklupqikw|zwxf´uwx^K p£gkp£nópqOix^ wxªo zwxpqikYu] ^ ixp£ \ikYu^)] hÉTo£pql\wxwkf@° ¸ .» ¸ hºW» ¤¦@ H£ GKu¤hz@@u° DÜz F#±b°:nikY¦° }²n] uthi|+ikp£nÈpq «3p£u^ ] zikps gK°û¢ v'°:®n+ª@ g 5°'!u@^ o£^KgK¤ Å ° ~n] ] ^ o>¤:^Khpqikn@wK¤ hº zºW» m» ¸ zºW»Ê· ¤u\^KgZ 1 Ã5°h®#oqt3¥%^ w=¤1=@u° DÜ+à F#¾%°1ntup£o£oqp£^ w=°²^=zo¦wxn3nzi|g nt\@ixpq\ ¨©nw~gkn] ^)wxnl1nzikps gZ\wkn@luoq^K] g °²¢ hº zºW» m» "¸ +º>»Ê· ¤5\z@^Kg 4Oh°3®#oqt3¥%^ w=¤1=Oh° DÜ* F#¾%°+n@tupqo£o£pq^KwK° ¹»âº ? ¸ ¸ ³ · @·|¸ 6 h¹ º \½¸!½@¸ ¹ * ¹ |¸ ½@¸ K º ¸ /I* * 9.» ;@° v Y\
ixYu^Kgkp£gKI¤ 5~upqª@^ w|gjpqi )h^)^Kuu^=g¤ÀK@u° DÜz F#¾%°zn@tup£oqo£pq^KwK°\_hno£ªOp£u5
^Kwkn (ëhp£] ^ \gkp£n\oOgkfhg{ix^ ] g$ikYuwxntu@YixYu^Zwxzikp£n\o@tu\pqª+zwxps+ik^Zwx^ uwx^Kgk^ " ( i|+ixpqn@¦° h¹ > »Ê· ¸ ¸ ¹ B» » ¸|¸ ¹» »Ê · zºW» ½ hº>» ¤ 5¬W@P¯ H Ã@ OÃOu¤5K@u° DÜ F#¾%°Gnt\pqo£oqp£^ wbz\,v'/° 31p£]9] ^Kwk] z\¦° :§B p£^ Oipsgjn@o£zikp£n,nz¨:1no£f3un] pszowx^Ko¦wxnOnixgK° h¹ hº +º>» * ½ »Ê¸|½ zº \¸ +º>»Ê· ¤$KOu¬{P¯ H hz\¤O\° DÜ 4F#-° 5°_3n@]9] ^=gj^@¤ \° :^ w|gx|Yu^ osh^¤z\9}°
° óz] uo£^ w=°uhª+z\ ^Kgpqm5n@oqf3un@] p£o3 nOikp£3t\+ixpqn@ ¨©n@wmgkno£ª3pqu,uwxnl\oq^K] gpq «3p£u^ ] +ixp£Kg ° M¸|· 6 »Ê· m¸ » ¤%z5¬W¯ H @ hz 4u¤ Ã\° DÜz F}°
°.] uoq^KwK°.¾un@wk¥Zzw|óhp£gkuos ^ ] ^ Oi9\zo£fhgjpsgn¨!^Ku^ w|zo%gjpq¿ (>p£ (ë\zw|zo£oq^Ko²_3v²_ ¬W_Oix^ ¥ ( wji¯Zuos+ik¨©nwx] ] zup£utuos+ixnw|gt\gkpq\Vgjn@] n3nw|hp£\+ix^KgK° M¸| · I » ½ · 3» ¸ \¸ ¹ ¤ \@¬W@P¯ H \ h ¤\=\° D F}°
°4óz] uo£^ w=¤ ° v'° aTn@wkOz¦¤ \È-° 5° _3n@]9] ^=gj^@°Ç!t\]9^Kwkps o nOixpq3t\zikp£nÈ] ^ ikYunhug ¨©n@wgkno£ª3pqu 1no£f3un] pszogkfhg{ix^ ] g~wkpsgkpqu p£´«3pq\^ ] +ixp£Kg ° M¸x· 6 »Ê· 9¸ » ¤ @=6 H 3 4u¤5K@u° D F
ò$ò á*MINPOPQPR
Unité de recherche INRIA Rocquencourt Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vignes 4, rue Jacques Monod - 91893 ORSAY Cedex (France) Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)
Éditeur INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)
ISSN 0249-6399
