A correctly rounded implementationof the exponential function on the Intel Itanium architecture
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. A correctly rounded implementation of the exponential function on the Intel Itanium architecture Christoph Quirin Lauter , Technische Universität München / École Normale Supérieure de Lyon. N° 5024 Decembre 2003. ISSN 0249-6399. ISRN INRIA/RR--5024--FR+ENG. THÈME 2. apport de recherche.
(3)
(4)
(5) !
(6) "# %$& '()*+!
(7) " ,$-.
(8) /
(9) '102% ,03 " "'
(10) . 4 5 68:9<;>=@?BA6DCFE9G8:9<HJIKBE=@LM8ON 7 P LRQ-6H9G;>Q-6LTS4H9<UBLR8:;>9<=@VW=XDYHQ-6LRH[Z,\QR?2]<L_^?28>`aKB]<LOb
(11) EA cR8>9GLME8:LFdL_Ife2?BH gfhji>k7lm%nporq>sjtulvxwzyMtx{tul>v l|}{~v{3v k%BwzvxtM3l .wl|qs3~ztul ~3WwM |l#l>{hjl>{hjlsBRm-nl>{lk!jl#mzzznp33~zyzl: 4¡¢>£¤-¥j¦z£z§ gfhjt~z |tx{vul_j¨l: l>sR|4~zsJl©ª{tul>sM|tuk«jvxlk«l>sM|~-|tuwMs¬w%~&{wzl>{|vuawzjs3jl>®l¯° Bwzs3lsR|¨t~v±js3{|¨txwzs®txsawMjjvxlj¨l:{t txwzs²wzs²|¨hjl³´sR|¨l>v³µ|~zsjtu3k¶jw{l> wM%·~zk«tuvxz¸®gfhjt«¹ºwM¨» {wzk!jtus3l>%~M¼-~s3{l>,3¨w{l:¨¨wz%±l>~|¨jl>½±vxtu»Ml4|hjljwzjjvxl°µl¯|ls3l:,jl>{tx¨tuwMsT±3¨l>¾k!jvu|¨txjvuR° ~zs3°´~zjjsjtu|}w|¨h3l³µ|~zsjtu3k¿jw{l:¨¨wzÀ ¹tu|¨hFl>{l>sR|¨l: l:~{h4l>¨jvÁ|yztx¼tus3y«|¨hjl¹wz | °´{~z¨l 3¨l:{t txwzs²sjll:l>&±wz*{wM¨l>{|¨vxT¨wMjs3txsjy+|¨hjlFl¯Bwzs3lsR|¨t~v±js3{|¨txwzs¸aÂlyMtu¼Ml~zs3²j¨w-¼Ml~zs ~zvuyMwztÁ|hjkùhjtx{h_¨l|¨js3r~4{wM¨l>{|¨vxwz3s3l>O¨l: jvu|7½·tus~sw.|hjl!±wzjr³´Ä.Ä.ÄÅ° Æ4wzjsWtus3y k«wl:À¹tu|¨hjtxsF@Æzmk*~M{hjtus3l{{vxl>wMs!|hjl³´sR|¨l>vj³µ|~zsjtu3kÇmjw{l>¨wz:¸ÈgfhjtÅtx ~Bwz|űwMjÅ|¨txk«l> ¨vxw-¹ºl>|h3~s+|¨h3lªvul:¨~M{{j~|¨l!±js3{|¨txwzsTjl>¨lsR|tus|¨h3lª|~s3j~z+³´sR|¨l>v.k*~-|¨h3lk*~-|tx{>~vÅvxtuj~z¸ gfh3ll¼-~vx3~-|tuwMstx}Wl> ±wM¨k«l>txsFwzsjl3h3~z¨lwzs3vu~s3t|¨h3ll±wzl#·~z |l¼Mlstxs|¨hjl¹wz |}{~z¨lzÉ {wzsR|¨~F|w_w|hjl%tuk«jvxlk«lsR|~-|¨txwzsW%¹hjt{h,3¨l4~Ok!jvu|¨txvul>¼zlv|~|¨l>yz&Êx>ËjÉ@̵ͫÂ+l h3w-¹Î|h3~-| |hjlr¹ºwM | °´{~M ll>Rjtx¨l:«jl>{t¨tuwMsªw @MÆr3tÁ|{>~s4~zvu¹f~@.Blr |¨wM¨l:«tus4|¨hjl#¨jkÏw|¹w%wMjjvxl° l¯|¨lsWl>¾Ð3wM~|¨txsjy°µWwMtusR|«sjk%Bl¸²sjwz|¨hjl>«~zvuyMwztÁ|hjkÑt!yMtu¼Mls²¹tÁ|ha~ÒMm_{{vxl>7l¯l:{|tuwMs |tuk«lMÉjj|tu|3¨wwh3~z|w«Wl#±wM¨k*~vxvx4{wMk73vul|¨l>¸ ÓFÔRÕ2Ö×%Ø ¤-Ù¢z§1Ú wM¨l>{|¨wMjs3txsjy3ɳ´Ä.Ä ÄÅ°Æz-WÉjl¯Bwzsjl>sM|tx~zv<ɳµ|~sjtxjk. ÛÜ@ÝßÞ.àGá´âàfÝßÞºãäßÞGåãæãÝßäçãè@äßáãÞãé·áÞGá ãé<êGÜ4é·áëåé·àåìà<Ü@á}íãèåéGãà<åÝßé<árî@áäï ðòñ:ìxåé·óãà<Ýßô>õ@áî@õ«ö3ãé<ãäßäß÷äßÝßÞGóá øùùú3û±üü¨ýýý3þòÿ 3þ
(12) ü. Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38330 Montbonnot-St-Martin (France) Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52.
(13) !
(14) "#
(15) % 1 )*+!
(16) Ñ" "
(17)
(18) 4Ã"'
(19)
(20) Ñ02!
(21) ,0W
(22) " ¢
(23) §JÚ l|ª~¨|¨t{vxl4jq>¨lsR|¨ljsjltxk73vuq>k7l>sR|~-|tuwMs²l©ª{~z{llv~O±wMs3{|tuwMs&l¯Bwzs3lsR|¨txlvxvul >l sajwzjjvxljq>{t¨tuwMs²~@¼zl:{~z¨wzsWt{wzl>{|« 3*vx~+·~k«txvuvxlFlFjw{l>¨lj%³´sR|lv³µ|~zsjtxjk¸ Ú l |~@¼-~ztuvÅ{wMk%jtxsjl«vxl>{~z~M{|qtx |¨tRjl>r~@¼-~s3{ql>#l*{l>#jw{l>¨lj«½±ls3~z |tx{jvutxlv~jq>¨ls3{l js3tÁ|q>l*k!jvu|¨txjvut{~|¨txwzs°´~z{>{jk!jv~-|¨txwzs+ls,wMjjvxl73¨q:{t txwzsq|ls33l:À#~@¼zl:{7vul:#¨q: jvu|~|l |~@¼-~z¯O¨q:{l>sM| 3vul:#jtul>%{~z# ~wzs3t.{wz¨l:{|#WwMjv l¯Bwzs3lsR|¨txlvxvulM ¸ wM3q:{tu¼Mwzs3rl| 3¨wMj¼zwMs3js~vxyzwztu|¨hjk«l%Rjt{~zvx{jvul!vul!¨q: 3vÁ|~-|r~z¨wzsWt
(24) {wz¨l:{|¨l>k«lsR|!½·3~s3v jsM3lv{wzsWM3l jl>fR3~-|¨lrk«wjl>f ~¨wMs3tº¨Wq:{t 3q>3~zºv~!sjwzk«l³´Ä.Ä ÄÅ°Æz-À.l>s+-Æm{{vxl>f 3v ³µ|~s3tujk m ³´sR|¨l>v<ÉR wMtÁ|.l>s¼Rtxwzs«MW~-|¨l±wztÅjvx3.vxlsR|lk«lsR| Rjlv~r±wzs3{|¨txwzs«l¯Bwzsjl>sM|tul>vuvxl |~sWj~ Ék«wztxs3 3¨q:{t lM ¸ q¼-~vx3~|¨txwzs_l:|q>~zvut q>l%l>s+js3l«¨l3vul«q|~BlzÉl|l> |jwzs3{!~zjtl!q>yM~zvul>k7l>sR|#~z_jtx¨l {>~z>ÉB~zO{wMsM|~ztul ~|¨l:}txk«jvxqk«lsR|~|¨txwzs3Rjt
(25) j|¨txvut l>sR|rjs3l! |¨~-|¨q>yztxlk%3vÁ|tÁ°µsjtx¼zl>~z¯TÍs3wz3 k«wMsM|¨wMs3}Rjl7vxl>¨q: jvu|~|tusR|qk7q:t~tx¨l:%½·RjtwMsM|#Bl>¨wztxs_ jsjl7j¨q:{t txwzsª3¨R O@MÆ73tÁ|À Bl3¼zlsR|7|¨wM-wzj |¨l¨l>j¨q: l>sR|¨q>!{wMk7k«lvx~+ wMk«k7lllj¯¾sjwzk!j¨l:Ð3wz| |~sR|7lsawz3jvul 3¨q:{t txwzsOq|¨l>s3jlM ¸ }wz3rjq>¨lsR|¨wMs3qyM~zvul>k«lsR|r3s~zvuyMwztÁ|hjk«l!~k«q>vutxwzq7Rjtq>~zvut l7vxl7{>~v{jv l>sÒRm7{{vxl>>Ék*~t¨~7jlj¼Ml#¨l:|l !±wM¨k*~vxt l>f{wzk«jvxi|lk«lsR|>¸ ¦ " ¢§ wzs3t {wz¨l:{|>ɳ´Ä Ä.ÄÅ° Æ-WÉl¯Bwzsjl>sM|tul>vuvxlzɳµ|~sjtxjk !Ø £:¢ Ö #.
(26) .
(27)
(28) "! #
(29) ! $%&. '. (*),+-+/.0(21435. +6)87:9:;<.0;. .IHJ@K)89<.09B14=LCD3ME7:9:(*14=)89. =?>. @A3.0> )N9. .09B1-CD14=)89. ),EF1-G<.. 1-G<.POQ9R14.3MOS1-CN9<=?7:>. CT+U(VG<=14.0(*1-7W+/.. 5768:9<;>=@?BA6DCFE9G8:9<HJIKBE=@LM8 X. 0B! È*
(30) . Â h3lsa|¨hjlTY Z/Z/Z\[^]_ ¢>£>¥a`Ù
(31) ¥j¤@Ù ¹~M 3s3~vxvx&~zwM|¨l:&txs >ÒMËM,Êß@Ìtu|ªljl>¨lsR|¨l:&~jl>~z»M° |hjwz3yzh«|¨w-¹f~j|hjl} |~sWj~t¨~|¨txwzs«w2Ð3wR~-|¨txsjyBwztxsR|~tu|¨hjk«l|tx{>¸cbl±wM¨lMÉ|¨h3lWl>h3~@¼tuwMj.wz ~ 3¨wMyz~k«kÏlBls3jl>wzs|¨h3lr3vx~| ±wzk tu|¹~Mfl¯l>{|¨l:4wMs¸xÊ @Ìgfhjl|~s33~4l 3sjl>|¹w«k*~txs ÐWwM~-|tus3y7BwztxsR|±wzk*~-|}{~vxvxl> txsjyzvxl~sWjwzjjvxljl>{tx¨tuwMs~zs3l Wsjl>f|hjll¯j~M{|}¨lk*~sR|¨t{fwz |hjl±wMj |~zs3j~zwMWl>~|¨txwzs3¹h3tx{h_~z¨l!~zjtu|¨txwzsÈÉB¨j3 |¨~z{|¨txwzsÉWk%jvu|¨txjvxtx{>~-|¨txwzs+~s3Ftx¼tx¨txwzs¸ }vuv.|¨hjtwzBl~-|tuwMs3#{~zsBlª{wMs3¨txl>¨l:O|wj¨wW{lª{wM¨l>{|¨vxF¨wMjs3l:_l>¨jvu|>ÉÈtG¸ lM¸*tÁ|¨h3lªwz° l>~|¨txwzsT¹llª{~tul:+wM|%txs,tus 3sjtu|¨l43¨l:{t txwzs,~sWTtÁ|hjtx%tusR|lk7l:t~-|¨l4¨l: jvu|¹llª¨wMjs3l: W txsjywzsjl«wº|¨hjl7±wMj¨wMjs3txsjyk«wjl>l 3sjl>+F|¨h3l« |~zs3j~z^d|hjl«wz|~txsjl>+¨l: 3vÁ|#¹ºwMjv Bl*¨~zk«l!~z|h3~-|wzs3l!jw3{l>O|hjl!3s3lvxRtxsj y 3sjtu|¨l«jl>{tx¨tuwMsOh3~z¹f~lz¸#³´sT~zjjtÁ|tuwMsO|¨w |hjlf±wz3.yzl>sjl~vwMWl>~|¨txwzs3>É@|¨hjl¨R3~z¨l¨wwz|űjs3{|tuwMs*~s3!|¨h3l¨l>k*~txs3lÅwMWl>~|¨txwzs7h3~@¼zlfBll>s s3wzk«~zvutfel:4~M|¨w*Bltuk«jvxlk«lsR|l>¹tÁ|hF~7{wz¨l:{|f¨wMjs3txsjyÊßÉ3@̵¸ g}s±wz¨|¨jsW~-|¨l>vuMÉ3|hjt} |~sWj~h3~z wMk7lk*~wz}l·~jvu|>¸gfhjl W |}wzs3ltx~«hjt|wztx{>~vwMsjlz¸  h3ls|¨hjl#|~s33~*h3~zBll>s¨l|fjÉjw{l:¨¨wzÅtxsM|lyM~|¨l>ªÐ3wM~|¨txsjy%BwztxsR|3sjtÁ|~txk«tusjy7w|hjl yMwM~zvx|¨h3~zs&sjw-¹f~zj~@ Èjw{l:¨¨wz¹hjt{h&txs3{vu3jlsjl>¹Ï±l>~|¨jl>>¸,³´s¾·~M{|:É k«wls¾jw{l>¨wz ¨jjBwz¨|4k!3{h ¹txjlª±wM¨k*~|«|h3~s®|hjl+wMjjvxlOjl>{tx¨tuwMsa±wzk«~|~sW wMk7l+ j3jvul>k«lsR|~z¨ h 3~M t{ r|¨l>¨sW~%wzBl~-|tuwMs3¹tu|¨h*wzs3vu!wzsjlwzjsWtus3yizlM¸ yW¸È|hjl³´sR|¨l>vj³µ|~zsjtxjkÎ ¨w{l:¨¨wzÅhW~z.~ËRm 3tÁ|ŹtlÐ3wM~|¨txsjy}BwztxsR|lyMtx |¨l>ȱwM¨k*~|txs7~Mjtu|¨txwzs%|¨wr|¨hjlz}jtu|ų´Ä.Ä.ľwMjjvxlºjl>{tx¨txwzs±wM¨k*~| ~zs3²tÁ|ªtxk«jvul>k«lsR|«|hjlO¨w{>~vxvul:¾±3¨l>°Gk!jvÁ|tu3vuR°´~s3°´~z3&txs3 |¨3{|tuwMsJjkml ¹hjt{h®{~v{3vx~|¨l> ~M}tu tu|¹ºl>¨l7{~v{3vx~|¨l>Otus+tus WsjtÁ|l«tusR|¨l>¨k«l:tx~|¨l7jl>{t¨tuwMs_~s3F|¨h3~zs_wzjs3jl>F|w4|hjl a·b+c wMWl>~|¨txwzs3~zv3jl>{tx¨txwzsÉRt<¸ lz¸.ËRmjtu|>¸xÊxzÌ jwzyz~k«k«l 3 txsjy!|¨hjlr³´Ä.Ä.Ä® |~sWj~ª~z~!¨l±lls3{l ¹wz3vx7~z{|¨3~zvuvxl¯Bl>{| tus7|hjtx {~z¨l~s«txsM|lk«l>t~-|lwz3s3txsjy#wB|¨hjlk!jvÁ|tu3vut{~|¨tx¼zlf|¨l>¨kÎwB|¨hjl l¯j¨l:¨¨txwzs a · b Bl±wM¨l|¨hjl#~z3tÁ|tuwMs4|w%|hjlr|¨l>¨k c ¸Ål>¨jtu|¨lr|¨hjt>Éj~z¹ºlr¹txvuv ¨llzÉ|hjl#l>{tuBl> BlhW~@¼Rtxwz3}wÅ|hjttxs3 |¨3{|tuwMsOt}¼Ml3¨l±3vȱwMr¨wzk«l|l>{hjs3txRjl:~zvuvxw-¹tus3yª3}|¨w h lk!jv~-|¨l ~ ¼Ml*vx~z¨yMl}ÐWwM~-|tus3y7BwztxsR|±wzk*~-|ªk«l>~sWfw|¹ºw7¹ºwM¨»txsjy7j¨l:{t txwzssjk%Bl>¸ gfhjl l:{wMs3#jwzjvxlk ls3{wzjsR|ll>#¹hjl>swzsjlºtx
(32) Bl>~z»tusjy~Bwz|
(33) |¨hjlº³´Ä.Ä.Ä+ |~zs3j~z#t|h3~-|tÁ| jwRl:Ès3w|¨Bl>{tu±#|¨h3lºBlh3~@¼txwzj
(34) w|hjl |~zs3j~zr|~zs3¨{ls3jlsR|~zvz±jsW{|¨txwzsW
(35) ¨w~M|hjlºl¯WwMsjlsR|¨t~v n ÛÜ@á ìuåõ@éWðpo^oo%é<åõ@ñ:î@Ýßñrq.óå>î:á ÞBãé<ásjé·åõ@ñ@îfà<åÅñ@á ãé<áÞ·àctvuÛxwcy$zé·åõ@ñ@îfà<å{ãé·î@Þ2ë@äßõ:ÞBÝßñ}|-ñ:Ý à%~6tfuÛ
(36) ö3ðy#zé·åõ@ñ@î àGå{ãé<î:ÞóÝßñõ@Þ Ýßñ}|-ñ@Ý à%~tfuÛ#ðy ãñ@îré<åõ@ñ:îà<å{ãé·î@Þ áé·åUtvuÛLy$zê´ì . uuÃñ .
(37) . # %%x $. ±3s3{|tuwMs¸Å}¹l¹tuvxv3¨llzÉztÁB|¨hjl>¨l¹llf~|~s3j~z!~v wr±wM|¨~s3{l>s3lsR|~v±js3{|¨txwzs3>ÉzwMÅtÁB|¨h3l ¹ll«tusW{vx3l>Ttxs|¨hjl4³´Ä.Ä.Ä |~zs3j~ ÉȨwzk«lª~M¼-~sR|~zyzl>#{wzjvWlªwM3¨l¼zl>¸uÊßRÉ
(38) m:Ìf}. F3vuvxl k«l>sM|tuwMs3tusaÊ m@Ì wMk7l!w.|hjl!|¨~s3{l>s3lsR|~v
(39) ±js3{|tuwMs3#~l!l>¼zl>sOtuk«jvxlk«l>sM|l>+¼zl>¨ w3~MOtxs {wzk«k«wzsjsR|¨txk7lvxtxj~z¨txl>|h3~-||hjljw3{l{wzk«jvxl|lvx4¹wzsjy«l>¨jvÁ|wzsF¨wzk«l~yzjk«l>sM|¸ tus3{l.|hjl{wzk«k«wzs~zjjvxtx{>~-|¨txwzs%j¨wMyz~k«k«l 3¨txsjy~}vutxj~tÈs3w|¨jjBwM¨l>|¨w|hjtxsj»~Bwz|
(40) |¨hjl sjk«l>¨t{~zvW |~3tuvxtÁ|«wz |¨hjl}|¨~s3{l>s3lsR|~vj±3s3{|tuwMs3 txk«jvxlk«lsR|¨l:*|hjll|hjtx{wMjv*Wwz|¨l>sM|tx~zvuvx vxl>~MF|wj3yzyzFBlhW~@¼Rtxwz3wz¨wzk«l7~zjjvxtx{>~-|tuwMs3¸³´sT~z3tÁ|tuwMsÉ2|¨h3l7v~z{»Fwzº~sl¯j~M{|l 3s3tÁ|tuwMs wz
(41) |hjll>¨jvÁ||¨w*Bl¨l|¨jsjl:4 |~zs3j~z4vutxj~tul:fj¨wMhjtxjtÁ|fWwM |~jtxvxtÁ|ªwz~zjjvxtx{>~-|tuwMs3fw-¼zl> ¨l¼zl>~zvM3vx~| ±wzk*.~zs3!k«~z»zl:Ũl:¨¨txsjy3«{wz¨l:{|sjl>j¨wwz·±wz|¨h3l>¨l~jjvxt{~-|tuwMs3{wMk73vul|¨lvx txk«WwR¨¨txjvulM¸
(42) ³´s7|hjlwzk*~ztus3¹h3llyz3~z~zsM|ll:ÈwMs!|hjl{wM¨l>{|¹wz»tus3ywz2~#jwzyM~zk«k k%3 |.Wl yMtu¼MlsÉMlz¸ y3¸k«l>t{~zvB~zjjvxtx{>~-|tuwMs3Åwz~@¼tuwMsjtx{>Éz|¨hjt{~s4Wlr~k*~-wM.tx¨jlz¸³´s4{wzsR|¨~z |>ÉMtÁ|f hjwMjv Bl%k«l>sM|tuwMsjsjl:|¨h3~|r¨wzk«l%k*~|¨hjl>k«~|¨t{~zvÈjwzBl¨|¨txl>~ltusW{wzk«3~|¨txjvxl%¹tu|¨h_{wz¨l:{|}wzjsWtus3y ¨w«tÁ|}{>~s~v w7Bl~!3¨wMjvul>k¸uÊ @Ì b|ªwMsjlFM3l> |¨txwzs®¨l>k*~txs3!|¨w,BlO~s3¨¹ºl>¨l: ͹hR²wl>«|hjlF³´Ä.Ä.Ä¿Æz-T|~s3j~z²lk*~txs ¨txvul>sM|ªwMs&|~zs3{lsWlsR|~zvf±js3{|¨txwzs3
(43) ¶FÊ mjÉÆRÉ Ì}BwztxsM|ªwM|ªtxs²|hjltxªl>¨Wl:{|tu¼Ml¹wz»É |¨hjl k*~ztusFt¨¨jl!tusF|hjl!{>~v{jv~-|tuwMsFwÅlvxlk«l>sM|~4±3s3{|tuwMs3}¹tu|¨h+~ª{wM¨l>{|}¨wMjs3txsjyªt}~4jwzjvxlk ¹h3tx{h7¹~M~vx¨l:~z»sjw-¹s!Wl±wzlº|hjltxsR¼MlsR|¨txwzs!w2{wzk«jj|¨l~s3!¹hjt{h«tx|hjll±wM¨lf{~zvuvxl>%|¨hjl £:¥¡ " Ô ¾¥ Ô ¤ x¢4Ù " Ô &¥ Í.¹l7{>~sOyM3~~sR|¨l>l#|¨hjl«{wM¨l>{|}wzjs3jtusjy4wº~zs_~j3¨w@¯txk«~|¨txwzs|¨w ~|¨~s3{l>s3l>sM|~v3±js3{|tuwMs4wMsjvu«tu¹ºlr{~zs4l|l>{|txsª|hj l 3s3tÁ|ljl>{tx¨txwzs*txsM|lk«l>t~-|l}l>¨jvÁ|¹ºl W l~*txyztu|3~-|¨|¨ls|¨h3~|yz3~z~zsR|¨ll:.|h3~-||hjlwzjs3jtusjy«¹txvuv
(44) ~vx¹~@Wl#|hjl~k«l#¨l>yM~vxl> wz |hjl±wMvuvxw-¹txsjytxyztu|ºw2|¨hjltus 3sjtu|¨ljl¼zl>vuwMjk«lsR| wz |¨hjl}|¨~s3{l>s3lsR|~v±jsW{|¨txwzsȸ 3wzºl¯j~k«jvxlzÉ tu¹ºl{~v{3vx~|¨lª~FF3tÁ|!~zjjw@¯tuk*~-|tuwMs_|w_¨wzk«l«±js3{|¨txwzs¾wMsT¨wzk«lª~z¨yMjk«lsR||¨h3~|%¹lª¹~zsR| |w¨wMjs3OtxsT¨wMjs3°G|¨wz°Gs3l>~l> |}k«wl7|¨wF~Fjtu|%wzj3vul«jl>{tx¨tuwMs_sjk!Wl>#~zs3+jtÁ|%-|¨wFz ~z¨lFwz#|¨hjl_±wzk ¹l_{~zsjsjwz|4yz3~z~zsR|¨ll|h3~-|4wz3s3txsjy¾~,k«wzlFjl>{t¨lzÉtG¸ lM¸ ~ ±wM |tuwM¨tºtus 3sjtu|¨lj01111111111 ¨l:{t l4¨l: jvu|!¹wz3vxTsjwz|!vxl>~MT|¨w~_t Bl>¨l>sR | 3s3~zvºl>¨jvu|>Í«¹h3~|!¹wzjv,Bl4tu ¹l«h3~z+k*~zl*~zs~zjjw@¯txk*~-|tuwMsOl¨wMr¨w|¨h3~||¨hjl*~M{|¨W~v.¨l>RjlsW{l«¹ºwMjvOBl 10000000000
(45) gfh3l 3sW~v l>¨jvÁ|f¹wzjvªh3~@¼Ml}|w!Bl#¨wMjs3l:ªj¹f~j~-|f|¨hjlztxyztu|f~zs34s3w|w-¹s¹~zj~z wMsjlrk«~@*¨3¨Wl:{|~-||¨hjl 3 |f¨tuyMhR|>¸gÈw«{wMs3{vx3l É|¨h3lrtxsR|¨l>¨k«l>jtx~|¨l}3¨l:{t txwzssjll:l>4txk%W{h h3tuyMhjl |¨h3~zsª|¨h3l 3sW~vB¨l: jvu|º3¨l:{t txwzsªwMsjl}¹f~sR|Å|¨w7wzj|~txs¸³´s~Mjtu|¨txwzsɨtus3{l}t tu|{~s4sjw|fWl ~zs3~vxR|¨t{~zvuvx!{>~v{jv~-|l> ÉM|¨hjlr~z{|¨3~zv3jl>{tx¨tuwMs*sjll:l>ª¹~M.sjwz|º»sjw-¹sª~-| |¨hjl|¨txk«l|¨h3l |~sWj~ ¹f~z*jl 3sjl: ¸¬gfhjt*¹lltus®·~M{|*|¨h3lFk«~ztus®l>~M wMs3!±wzªsjwz|ªtusW{vx3txsjy,lvxlk«lsR|~,±js3{|¨txwzs3 txs²|¨hjl³´Ä.Ä.Ä Æz-+ |~zs3j~z ¸¾l>¨jtu|¨lMɨwzk«lsjl¹ l>¨jvu|7wzsal>¨l>~{h,wzs&|¨hjt«t¨¨jl~s3&|¨hjl l>¼-~vx3~-|tuwMsªwÈ3¨w{l:¨¨wz.¨tusW{l|hjl{l>~|¨txwzs*wÈ|¨hjtf|~s3j~z4 l>lk |¨w7jw-¼Rtl}~7¨©ª{txlsR|W~z¨l ±wM~{wzl>{|wz3s3txsjyªtxk73vul>k7l>sR|~-|tuwMsOw.l>vul>k«lsR|~z¨±js3{|¨txwzs3¹hjt{h_{~zsFWl:~#{wzk«3~z¨t¨wzs ¹tu|¨hvxl>~z{>{j~-|lwMsjl>>¸Ågfhjtx}~¨|¨t{vxl#~ztuk*~zvx¨w%|hjtf|~z¨yMl|>¸ bl±wM¨l#{wMs3¨txl>¨txsjy7k«wzlr{vuwR l>vu*wMjf|¨l:{hjsjtM3l>|¨w*~M{hjtul>¼zl}|¨hjtyzwR~vGÉvul|fWfj¨txl¼Mlvx*k«ls° |tuwMs|¨hjlt 2llsR|}|l3tus|¨h3l|¨l:{hjsjtM3l>fl>{wMk«k«~zs3l:ª±wM}~«{wzl>{|txk«jvul>k«lsR|~|¨txwzsw|¨hjl l¯WwMsjlsR|¨t~v2±3s3{|tuwMs¸ wMsjl{~zsl>~Mtus,ÊßmÉ
(46) >Ë@ÌµÉ Btx¼3 l:~*k!jvÁ|tuvxl¼Mlvl>¼-~vx3~-|tuwMswz|¨hjll¯WwMsjlsR|¨t~v±js3{|tuwMs_{~zvÁ° {jv~-|¨txsjyk7wM¨l7~s3_k«wzl!¨tuyMsjt B{~-|tu¼Ml!txyztu|w~s+~zjjw@¯tuk*~-|tuwMsFjsR|¨txv|¨hjl7¨wMjs3txsjy{~s+Wl jwzsjl¹tu|¨hjwM|4~s,lwz:¸agfhjt7|¨l:{hjsjtRjlh3~z7|¹wTk«~ztus®l·~jvu|>ÍO~z7·~zª~z7¹ºl»sjw-¹Éº|¨hjl åéÈãóåé·áêåóë@äßá´àGáÅî:á Þ<êé<Ýßë:à<Ýßåñ#åìjà<Ü@áÅë@é·åè@äßáóaàGÜ:áÅé<á ãî@áéêåõ@äßîé<á´ìuáéÈà<å . ðpw uð .
(47)
(48)
(49) "! #
(50) ! $%&. . ~zvuyMwztÁ|hjkhW~zÅBll>s*j¨w-¼Mls7|¨w%Wl}{wz¨l:{|.wMsjvu!tus~#yzls3l~vj¹f~@zÉz|¨hjltxk«jvxlk«lsR|~|¨txwzs*tu|¨lvuh3~z s3w|>É~sW«±j¨|¨hjl>>ÉR¹hjt{hªtx |¨h3l}k*~-wM t¨¨jl¹tu|¨htÁ|:ÉM|hjll}~z¨ls3w%Bwzjs33 wMs*|¨hjl}|¨txk«tusjyR wz |¨hjl ~zvuyMwztÁ|hjk ~zftu|3¨l>~7vxwwz¨js3sjtus3y*jsR|¨txv |¨hjlwz3s3txsjy*{~sBlwzsjlM¸.gfhjt{~zsBl~«jwzjvxlk txsF~j3vut{~|¨txwzs3¹hjl>¨lr|¨h3l#|¨txk7txsjy*t{tÁ|tx{>~v wM¹hjll#¨l:¨¨wzj{l:º~z¨l#l> |¨tx{|¨l: ¸ ³´swMl>2|¨wtxk«jw-¼zl|¨hjtk!jvu|¨txvul>¼zlv|¨l>{h3sjtxRjlMÉ l±i>¼¨lÊçÆ>ÌMhW~zwMsjl.l>¨l>~z{hwzsr|¨hjlºjwzjvxlk ~zs3#jw-¼txl:3¨wzk«l.Bwzjs33ÈwMs#|¨hjlºk«~¯tuk*~vRtxsM|lk«l>t~-|l.jl>{t¨tuwMssjll:l>#±wM
(51) ~ Ws3~vwz3jvul 3¨l:{t txwzsl>¨jvÁ|:¸gfhjl>¨ll>¨jvÁ|}~z¨ll¯3vuwMtÁ|l>l±wMj7Ê @Ì
(52) |¨wvul:~z|¨w~7|¹ºwªvxl¼Mlv
(53) l¼-~vx3~-|tuwMs ~zvuyMwztÁ|hjk ¹hjt{h%tÈ|hjl 3|tuk«jvxlk«l>sM|~-|tuwMs%w2~{wz¨l:{|vur¨wMjs3l:l¯Bwzs3lsR|¨t~v¹tu|¨h7WwMjs3l: |tuk«txsjyM>¸*g}s±wz¨|¨3s3~-|lvxzÉ |hjlª~vxyzwM¨tu|¨hjk jl>¨lsR|r |¨txvxv. wMk7l«l·~jvu|#¹hjt{hT{wz3vx+jl¼zl>sR|rtu| ~zjjvxtx{>~-|tuwMswMs¾~Fl¼Mlj~@R°Gl>¼zl¹hjll°µ3~M t¸«³µ|%k*~-¯txk%jk1|¨txk«tus3yM%~z¨lª |¨txvxvºk«wzl«|¨hW~s²mz |tuk«l:h3tuyMhjl|¨h3~zsJtu|~@¼zl>~zyzl|¨txk«tus3yM¹hjt{h¬~l+~zvx¨w¾sjwz|¼Mla~| |¨~z{|¨tx¼zl+tus {wzk«3~z¨t¨wzs |wOvxl>!~M{{3~|¨l*txs33 |¨tx~zv txk«jvul>k«lsR|~|¨txwzs3!¹hjt{hT·~z{txvxtÁ|~-|¨l4|¨hjl>tu!3¨l4txs&~j3vut{~|¨txwzs3¹tu|¨h l>~zvÁ°G|¨txk«l%Blh3~@¼txwzj:¸r³´sO|¨h3tx#{wMsR|¨l¯|:É h vxl>~M{{j~|¨l +k«l>~zs3|¨h3~||hjl>¨l!±js3{|tuwMs3r¨l|¨js_~zs ~zjjw@¯tuk*~-|tuwMs_¹tu|¨hjtxsT|jt{~v lz¸ y3¸ 3vu+±wz|hjlªl¯Bwzs3lsR|¨t~vű3s3{|tuwMs,j||h3~-||hjlw s3w|yz3~z~zsR|¨ll|¨h3l{wzl>{|fwzjs3jtusjy«0.502 wzÈ|¨h3l¨l: jvu|>¸ÊxzÌ b,k«l>~zs3%wz3¨tusjy wMk«l¨jjjvxlk«lsR|~hW~¹~z¨l«±l:~-|j¨l:%¹h3tx{h&~z¨lsjw|7l¯jvxwztu|¨l:¾txs l±wMj 7~vxyzwM¨tu|¨hjk ±wM7~_¨l:~z¨wzs,wWwM |~jtxvutu|zÉŹl{>~s²sjw-¹Ïjl>¨lsR|7~_wzsjljh3~z¨l{wzl>{|vu wz3s3txsjy~vxyzwM¨tu|¨hjkD±wzÈ|¨hjl l¯WwMsjlsR|tx~zv±js3{|¨txwzs¹h3tx{htÈ{wzk«jvxl|lvxr¨lvuò°µ{wzsR|~ztus3l> É:¨l>vx~|¨tx¼zl>vu ¨k*~vxv txs&¨t e>l~sW Éh3~@¼tusjy+~Fvx~|¨l>s3{w-Æm{{vul:wzs&³´sM|lv³µ|~zsjtu3kÑmjÉj¨l: l>sR|%Rjtu|¨lyzww Bl¨±wzk*~s3{lwMss3w-¹~Mj~@ Rjw{l> wM>¸ bl±wM¨lr{wMsM|tusjtxsjy!j¨l: l>sR|¨txsjy|hjlr~zvuyMwztÁ|hjkÏ~s3*|¨hjlr|¨l:{hjsjtRjl>º3¨l>*|w!yM3~~sR|llf|¨hW~-|tÁ| {>~v{jv~-|l>Å~{wz¨l:{|vuwz3s3l>«~zjjw@¯txk*~-|tuwMs%|w#|¨hjll¯WwMsjlsR|¨t~vj±js3{|tuwMsÉRvul| 3.yMtu¼Ml~ h3wz¨| w-¼Ml¼tul>¹¬w|hjl%sjl¯| l:{|tuwMs3¸fÂl%¹txvuv 3|}yMtu¼Ml~*yzl>sjl~v
(54) l>{tuj|¨txwzswÅ|hjl%~vxyzwM¨tu|¨h3k¿~sW ¹txvxv
(55) |hjls+jwRwz ~s_~M{{j~M{WwMjs3O±wz|¨hjl7k*~txs+wMk«~ztus_w.|hjl!txsjjj|#¼-~zvujl:¸#gfhjtrj¨wwz.tx lv~-|tu¼vxª{wMk73vul¯4j|}{wzsR|~ztus3wMsjvu~%±l>¹¬sjl>¹Dtl:~zf{wMk7W~l>*|wª{wMk7k«wMs~z{>{j~z{*jwRwz·¸ ³µ|¨h3l!|l>{hjs3tx{>~vÅBwztxsM|#w|¨hjl«k*~txsTjwRwzºwz |¨h3lª~vxyzwztu|¨hjk ~z¨l7sjw|txs|¨hjl*l>~Ml txsM|ll> |>É h3l7wM h3l«{>~sT »txTtÁ|~-| W |¨l:~ztxsjy|¨hjt~¨|¨t{vxlz¸ Èl|3~zsR¹f~@WwMtusR|wzj|r|h3~-||hjl*jww wzº|hjlª~z{>{j~z{Ow|¨h3l*~zsjyzl«l>3{|¨txwzs ½±vxlk«k*~Om¸ ËjÉ
(56) 3~yMl:mzÀ#jt 2l¨tuyMsjt B{~sR|vuF±wzk |¨hjl BwztxsR|rwz ¼tul>¹}wz w|hjl#~j|¨hjwM7½·{¸*Ê ÌòÀ¸³´s+~4¨l>{wzs3+|la½±BlyztxsjsjtxsjywzsOW~yzl7zRÀÉ2¹ºl7¹txvuv 3¨w-¼Ml}|hjl%{wM¨l>{|¨sjl:¨wz
(57) |hjlwzjs3jtusjy«txs|¨hjl%{>~z¨l>f¹hjl>¨lr|hjl|~zjvxlk«~z»zl> txvul>k7k*~*{>~sWl wM3¨l¼zl>¹tu|¨h~4{¨tu|¨t{~zv
(58) jl>{tx¨txwzsOwz.jO|w_:RÆ«jtu|>¸gfhjt}3~z |#wÅ|hjl«~¨|¨t{vxl%t}3~z |tx{jv~vu txk«WwM |~sR|. txs3{lº|hjl~z{>{j~z{jwRwzB{>~s7wzsjvxBlwzsjlk«l:~s3wzB~¨wzk«l¹h3~|s3l¹²|¨l>{h3sjtxRjl jl¼zl>vuwMWl: ¸!gfh3 l Ws3~v.{wz¨l:{|¨s3l>|hjlwM¨l>k txr|hjlwM¨l>k m¸ßm-WÉ 3~yMl7MÒjÉ tu|3 l:|¨hjl>wzlk*m¸ßmzmÉ W~yzlrz3É~zs3m¸ßmjÉR3~zyzl#zj¸g
(59) w«{wzs3{vuWlzɹl¹txvuv yMtu¼Mlr~zs4w-¼Ml¼Rtxl¹®wzÈ|¨h3l|l> |¨txsjy«~s34|¨txk«tusjy l>¨jvu|ftxsF{wzk«3~z¨t¨tuwMs*|¨w«|hjl~vxyzwM¨tu|¨hjk*jl>¨lsR|¨l:4ªwz|¨hjl>>¸ . . ' "%
(60) '. gfh3l~zvuyMwztÁ|hjk ±wz|¨hjl{wz¨l:{|¨vxr¨wMjs3l: ¬±js3{|¨txwzs!h3~zBlls7¹tÁ|¨|¨ls!tus«~z¨lk%3vul>
(61) ³µ|~sjtxjk 3|wz|¨hjl>jvx~| ±wM¨k*{wz3vx~zvx¨w}Blf3¨l>tu3|hjl¨jjBwz¨|¨wzk«l ±l>~-|jl>
(62) w3k«wlsÐWwM~-|tus3y}BwztxsM| 3sjtÁ| W{h~MVjrkml É
(63) l¯|¨l>s3l:+3¨l:{t txwzs~s3+Wl>¨hW~3>É ±wzBl¨±wzk*~s3{l!l>~M wMs3>É~v w l>¼zl>~zv jt 2llsR|fÐ3wM~|¨txsjy«WwMtusR|} |~|¨3½<{wzsR|¨wMvÀºlyzt |¨l>¸. uuÃñ .
(64) . # %%x $. orl>sjl~vxvu®¨Wl:~»tus3yT|¨hjl~vxyzwztu|¨hjk tx~T|~zjvxl_tu¼Mls wzs3lO¹hjt{h tx{wzk«k«wzs W lF±wM~zs txk«jvxlsR|~|¨txwzs,w|hjl4l¯WwMsjlsR|¨t~v ±js3{|¨txwzsJÊxÉjÉÈzÌG¸+ Ol>yzllªBwzvxsjwzk«t~v.t!3 l:T±wz%|¨hjl ~zjjw@¯tuk*~-|tuwMswW|¨hjlfl>3{l>!~yzjk«lsR|:É@~zvuk«wR|Å~vxv{~v{3vx~|¨txwzs3~lº{>~¨txl>wz|Åtxs!~s7txsM|ls3~v l3¨l: l>sM|~-|tuwMswzjtusR|¨l>¨k«l:tx~|¨lÅl>¨jvu|È~MÈ~s3wzs°µl¼-~vx3~|¨l>#¨jk w|¹wwzj3vul.l¯|¨lsWl>#ÐWwM~-|tus3y BwztxsR|¨l>yzt|l¸ txk«tuv~vx%|wvul:¨º~z{>{j~-|ltuk«jvxlk«lsR|~-|¨txwzsWÉMwzsjlhW~zÅ|w%{wMs3¨txl>.¼zl>¨!jl>{t¨lvx!~vxvjÐWwM~-|tus3y BwztxsR|{>~v{jv~-|tuwMs3¹hjtxvxl |¨txsjy|¨wwz|tuk«tfel ±wzWl> ±wM¨k*~sW{li-txs%{wzsR|¨~z ||¨h3lºvxlsjyz|¨hwz3~±wM¨k*~v 3¨wwÅwzÅ|¨hjl«~z{>{j~z{4t}k«wzl|h3~s_|¹tx{l|¨h3l%wzs3l%sjl>l>l:±wz# txk«jvxl}txk«jvxlk«lsR|~|¨txwzs3>¸ jwz |hj l 3s3~vÅwz3s3txsjy3ÉB|¨h3l«~zvuyMwztÁ|hjk ¨l>vutxl>wzs_|¨hjl*{wz¨l:{|¨s3l>w |¨hjl«js3jlvutxsjyªÐ3wR~-|tusjyBwztxsM| hW~¹~z¨lwzsjvx~zs3wl>sjwz|{hjl>{»ªtu|¨hjlwzjsWtus3y«{>~s~z{|¨3~zvuvxªBl%wzs3lr¹tu|¨h3wz|}{wzk«k«tÁ|tusjy ~zsl>¨wz~Mfw|¨h3lºvxtx»zl«Ê Ì
(65) wW¸.
(66) ! " #$&% gfh3lyzls3l~vtl>~#wzW|hjl}~vxyzwM¨tu|¨h3k{~zs7Bl}¨ll>s7txs«|¨h3l±wzvxvuw-¹txsjy#l>R3~|¨txwzs!n |hjl}~yz3k7l>sR| x tx jl>{wMk«WwR l:!7~zsjyzll>j3{|tuwMs*tusR|¨w! l>¼zl~v33~¨|Źh3tx{h4~z¨lW l:7±wz txs3l¯tusjy½± ~s3 À |¹w«|~zjvxl>wÅjl>{~zvx{jv~-|¨l:¼@~zvu3l>}~zs3±wzr{~zvx{jvx~|¨txsjy4~zsO~jjw@¯tuk*~|¨txwzs|¨wª|hjl%l¯iW1wMsjlsR|¨it2~v ±3s3{|tuwMswMs~«¨k*~vxvwzk*~txsªl¼-~vx3~|¨txwzsw~7Bwzvxsjwzk«t~vGÍ i1. i2. ex = 2M · 2 27 · 2 214 · (1 + p (r)) · (1 + xl ) + ∆. ³´s|hjtl>R3~|¨txwzsÉj|¨hjl¼-~zvujl: jwzsjl#wzs x ~z±wMvuvxw-¹('-Í. É. É. É ~zs3. M i 1 i2 r. {wMs3 |¨tu|¨|l|¨hjl%¨l: jvu|}wz
(67) |hjl~sjyMlrl>j3{|tuwMs. 214 ln 2 ln 2 x = k · 14 + r + xl + τ 2 k = 214 · M + 27 · i1 + i2 k. =. . xl. x·. ¹h3ll i , i ∈ N ∩ 0; 27 − 1 ~zs3 M ∈ N ¸ gfhjl#1¼-~2t~jvxl> ∆ ~sW τ |~s3ª±wz|¨hjl#l>¨wz.txs33{l>«|¨hjlrÐ3wR~-|¨txsjy7WwMtusR|~tu|¨hjk«l|tx{r~sW |hjlk*~-|hjlk*~-|tx{>~v l>¨wzwÅ~7WwMvusjwMk7t~v~zjjw@¯tuk*~-|tuwMs¸ gfhjtyzls3l~vwM|¨vxtus3l%wÅ|hjl!~zvuyMwztÁ|hjkÃtxr~sO~Mj~|l>F¼Ml txwzswz.w|¨h3l~zvuyMwztÁ|hjk*¨3{h_~z |hjl%~zvuyMwztÁ|hjk ±wM}¨tusjyMvul%j¨l:{t txwzsjl>¨lsR|l>txs¾ÊuÌG¸}gfh3l%{hjwzt{lwz ~*~sjyMl¨l:3{|tuwMs3 txsjy4~ {~zvul#{wMs3 |~sR|fw ln 2 t|¨hjl#l>¨jvÁ|wz~!¨l>vx~|¨tx¼zlvxª{wMk«jvul¯4|3wzsª|hjl#±wzvxvxw-¹tusjy!±wz3BwztxsR| |h3~-|txs±ll«wzs_|¨hjt2#tx¨jlzÍ|¨hjl*¨t e>l«w |hjl7|¹ºw|~zjvxl>#¹hjt{h+{>~sWl«wzj|¨txk7tfel:_¹h3lsT~s_l>¼zl>s {~zvul{wzsW|~sR|%l¯Bwzsjl>sR|>É 14 Ét%W l: É|¨hjllyM¨l>lªw|hjl4Bwzvxsjwzk«t~v ¹h3tx{h&jlBls3j!wzs¾|¨hjl ¨tfel*wf|hjlªk*~-¯txk%jk1k«~zyzsjtu|¨Wlªwf|hjl 3s3~zv.l>3{l>T~yz3k7l>sR| r É|hjl4l>yzll*w|¨h3l4vxw-¹ºl> ) ÛÜ@é·åõrqÜ@åõ:à
(68) àGÜ:ÝßÞ
(69) ãé±à<Ýßê äßáS{ ác{ÈÝßäßäzóã+*áÅãäßÝ qÜà
(70) ãè@õ@ÞGáÅåìjà<Ü@áSqãõ@Þ<ÞGÝçãñ&,@å>åéæãäßõ@áÅñ:åàµãà<ÝßåñLs{2áî@á#|-ñ@á Þ<åºà<Ü-ãà ¬∃k0 ∈ N.|k0 − t| < |k − t| k = btc ⇔ k ∈ N 14. ðpw uð .
(71) Æ.
(72)
(73) "! #
(74) ! $%&. W~¨|l>j3{l:!~z¨yMjk«lsR| xl ~zjjw@¯tuk*~-|tuwMs!~zs3!¨wzk«l |¨wz~yMl t¨¨jl:ls3{wzjsR|¨l>¨l:¹tu|¨h7|¨h3l¨{>~vxl {wzs3 |~zsR| ln 2 ¸ gfhjl«B2wzvxsjwzk«t~v3¨l>F±wM~jjw@¯tuk*~|¨txsjyª|hjl!l¯WwMsjlsR|¨t~v±jsW{|¨txwzswzs+|¨h3l!l>W{l>~yzj° k«l>sM| r t%~Ok7wt 3l:,OlyM¨l>l*k«tusjtxk*~-¯TWwMvusjwMk«tx~zv wzj|~txsjl:+Tlk«l e4~j3¨w@¯txk«~|¨txwzs,~z jl>{tuBl>tusTÊßm:̵¸.gfhjl~vxyzwM¨tu|¨hjk {>~v{jv~-|l>ftu|tus|hjl#±wzvxvuw-¹txsjy!±wzkÍ 14. 1 p(r) = r + r2 + r3 · 2. ah4 + al4 + (a5 + (a6 + a7 · r) · r) · r. Åwzs3l¹tuvxvjl¯Bl>{|.|¨hjl¼-~zvujl:±wz ah É al É a É a ~s3 a ~lsjl>~z|¨wl>¨Wl:{|tu¼Mlvx 1 É 1 É 1 ~sW 5 6 7 4 4 6 24 120 1 i|hjll¯j~z{|¼-~zvujl:ɹh3tx{ht Bl> vxtÁ|vuª±¨wMkÇ|¨hjl#¼-~vxjl>{>~v{jv~-|l>4Rª|¨hjll>k7l e~vxyzwztu|¨hjk ¨720 txs3{lf|hjl7k%3 | Blljl>¨lsR|¨l:7tus*¹wz»tusjy#jl>{tx¨txwzsɹtxvxv3Bl}yztx¼zl>s«Wl>vuw-¹¸gfhjll>~M wMs%±wM.sjw| W txsj y wM¨s3l fBwzvxsjwzk«t~vl>¼@~zvuW~-|¨txwzs±wM¨k |¨w«|¨h3l¼zl>¨ªl>s3tf|¨hjl!{wzk«jvxl|l%¨l>RjlsW{t~vxtÁ|ªwz |hjtr~zvuyMwztÁ|hjk¸³´s_wMl>}|w¹txsT wMk7l%|¨txk«l7wMs+~4±jvxvuO3tuBlvxtus3l>+j¨w{l> wM¨3{h+~M|hjl«³´sM|lv ³µ|~sjtxjk Éz¹ºl¨jvutu|Åj7|¨hjlfl>¼@~zvuW~-|¨txwzs!tus7|hjlf¹~@yMtu¼Mls¸
(75) txsjl>.~jjwM~M{hjl>Èl¯t|Ê 3Ézm-Ìjj|Å|¨h3l ~z¨lrk«llvx*3¨l±jv tu~7hjtxyzhjl>fj¨l:{t txwzsjl>¨lsR|~|¨txwzsªwzÈ|¨h3lrtxsR|¨l>¨k«l>jtx~|¨lr¨l: jvu|ft3¨l>~z¹ºl jw3¸
(76) gfh3ltus3 |¨3{|¨txwzs!¨l>Rjl>s3{l{>~¨txsjy}wM||¨hjl{~zvx{jv~-|¨txwzs!wW|¨hjtWwMvusjwMk«tx~zvyztx¼zl>~zÅ~l>¨jvÁ| |¹w%wMjjvxll¯|¨lsWl>*3¨l:{t txwzsªsjk!Wl> ph ~sW pl ¹h3wM¨l} 3kϨl>j¨l: l>sR| ~!~j3¨w@¯txk«~|¨txwzs7|¨w |hjl}¼-~zvujlrw |hjlrWwMvusjwMk7t~vG¸gfhjtxºtxs3|¨W{|¨txwzs l:M3ls3{l}t.|hjlk«wR|º|¨txk7l#{wMs3¨jk«tusjy%jh3~z¨l}wz |hjl~vxyzwM¨tu|¨h3k ~s34|¨hjlk«wR|}tu©ª{jvu|txs|lk*fw|¨hjljwww
(77) tu|}~z{{j~z{M¸ gfhjl|¹wT¼-~vxjl> h + tl = 2 + δ ~zs3 th + tl = 2 + δ ~z¨ll>~M&txsa|¹ºw|~zjvxl>*wz @mËlsR|¨txl>#l:~z{hÉ
(78) ¹hjtl1l7 |¨hj1l>~z¨l* |¨wzl>~zr|¹2wOwM2jjvxl*l¯|¨l>s3l>jl>{tx¨txwzssR3k%Bl¸4gfh3l ~z¨l!k%jvu|¨txjvxtul:3 txsjy~sjwz|¨hjl>txs3 |¨3{|tuwMs¨l>Rjl>s3{l!|¨wwzj|~txsO|¹wwzj3vul«l¯|ls3l:_sjk!Wl> ¹hjt{h¹tuvxvÅWl«3¨l>+txs_|hj l 3s3~vÅl>{wzs3 |¨3{|¨txwzs_ |¨l>_|h3~-| th + tl = th1 + th1 · th2 + tl2 + ∆ {>~v{jv~-|l>r|hjlªjw3{|wz th + tl É 1 + ph + pl ~s3 1 + xl |wFvul:~z+|¨w+~¼-~zvujl4¹hjtx{hTk!3| ¨txk73vu*Bl#k%jvu|¨txjvxtul:4 2M2 ~zs3ª2wz3s3l>ª|¨w7yzl|~zs~zjjw@¯txk*~-|tuwMs«|¨w!|¨hjl#l¯Bwzsjl>sR|¨t~v2¹hjt{h t½±txs|¨hjlk«wR|}{>~z¨l>À.yMwRwlsjwMjyzh|¨w*Bl{wM¨l>{|¨vx*¨wMjs3l:ª|w*wzj3vul#jl>{tx¨tuwMs¸ gfhjl¨t e>lwzÈ|hjlr|~3vul#t R|¨l>¹hjt{htxf~7¨l>vx~|¨tx¼zl>vu«yzl>~|º¼-~vxjl«Ê É Ì ±wM~sT~vxyzwM¨tu|¨hjk ±wMr|¨hjl*l¯2B·wz128 s3lsR|¨· t2~v· 16 ±jsW={|¨8192 txwzsȸªgfhjtx#t#txswz|¨hjl>#¹ºwMj|hjl*jt e>l!|w3~@±wz {wz¨l:{|vu*wzjsWl>l>¨jvÁ| ¸ s|hjlw|hjl}h3~s3É|¨hjl|~3vul{wzjv j|:m!|tuk«l>tus|¨h3 l
(79) m«{>~z{hjl wz|¨h3l³µ|~s3tujk j¨w{l> wM ¹hjt{h{>~sWl~z{>{l:¨¨l>4tuswzsjvxª«{{vxl>>¸xÊuMÌ jj¨|¨hjl>¨k«wM¨lMÉRtu|¨tfelrtx vxl>|¨hW~s«|¨h3l tfel:ÅwB|¨hjlf|~jvxl>.3 l:7R!w|hjl.~zvuyMwztÁ|hjk*j¨wMWwR l:%%l±wMjÊ -ÌW~zs3 Btx¼B¸xÊx>Ë@Ì gfhjltusW|¨3{|¨txwzsª¨l>Rjl>s3{l:Åyztx¼zl>s*tus*|hjl}t 2llsR|º3~z |Åw |hjl±wMvuvxw-¹tus3y%~z{>{j~z{jwRwz~l wMtus3l>FF wMk«l±l¹ wz|¨hjl>txs3 |¨3{|tuwMs3sjl>l>l:±wzrtxs3l¯txsjyª|hjl|~jvxlzÉ2vxwM~Mtus3y*|¨hjl7{wMs3|~sR| s3ll>jl>l|{¸fÂl!~z¨jk«l#|¨h3~|}|¨h3l¨l:~zl>¹txvuv
(80) Wl%~zjvxl|¨w Wyzjlwz|}|¨hjl>tu3 l%tusF|hjl%{wzk«jvxl|¨l ~zvuyMwztÁ|hjkÃvut|tus3y½<{¸!ÆÀ~sWF|¨w{wMs¼Rtxs3{lhjtxk«¨lvuºwz.|¨h3l7{wz¨l:{|¨s3l>wÅ|hjt#tus3 |¨3{|¨txwzs3>¸#³´s ~Mjtu|¨txwzsÉ|¨hjl 3sW~v ~zvuyMwztÁ|hjk |¨wF3¨l>+wzsT~³µ|~zsjtxjk ¨ |¨l>k h3~M#Wl>ls,{hjl>3vul:_txsTwzlr|¨w yMl|}~*k*~¯txk%3k¿Bl¨±wzk*~s3{lz¸º}~*l>¨jvu|w.{hjl>3vutxsjy3É3|¨hjl!t 2llsR|}W~¨|} 3{hO~Mf|¨h3l~l 3¨l: l>sM|l>%hjll~lf¨wzk«l>¹h3~-| h txsR|¨l>¨v~z{l> ¹hjtx{h«wl>s3w|.txk73¨w-¼Ml.|¨h3l¨l:~zj~zjtuvxtu|w3|hjl{wl 3s±wz¨|¨jsW~-|¨l>vuM¸ ÛÜ@áÅë@é·åê áÞ<ÞGåéÈê¨ãñ:ñ@åàäßåãî,-åãà<ÝßñrqëåÝßñàÈé·áqÝßÞ·àGáé·Þìué<åó&í Åê ãêµÜ@á i1 27. uuÃñ . i2 214.
(81) Ë. # %%x $. ! " # % ³´s®wMl>«|¨w,jw-¼zltxs®|¨hjlFl>s3®wr|¨h3tx l:{|¨txwzsÈÉ |h3~-|4wMjª~vxyzwM¨tu|¨h3k {wM¨l>{|¨vx¾{~zvx{jvx~|¨l:«|¨hjl l¯WwMsjlsR|¨t~v3±js3{|¨txwzs ¬txswMjjvxl}jl>{tx¨txwzs«±wz |¨hjlrk*~txsª3~z | wz |¨hjlrtxsjj|wzk*~ztusÉR¹l}¹txvuv W |yztx¼zl wMk«lryMlsjl>~zv ¨l: 3vÁ|~s3~z 3k7j|¨txwzs3>Éj~s3|h3~syztx¼zl~«{wMk«jvul|¨ll>¨wzl> |¨txk*~-|¨lwz l:~z{hw
(82) |¨hjl3~z |fw
(83) |¨hjl~zvuyMwztÁ|hjk¸ txs3~vxvxzÉj~sw-¼Ml~vxv l> |¨txk*~-|¨l#¹txvuvÈWlwMsjlz¸ gfhjwz3yzhjwM|Å|¨hjl}±wzvxvuw-¹txsjyWÉ-|¹ºwjt 2llsR|>É{wMs3{3¨lsR|.sjwz|~-|tuwMs3ŹtxvuvWWl3¨l> ¸gfhj l W |.wzsjl {wzk«l>{vuwR l7|wF³´sM|lv.³µ|~sjtxjk(~z l>k%jvxl{wjlª~s3t3¨l>T~z~l±l>¨l>s3{l«txs+|hjl*jww¸4gfhjl ¨l>{wzs3ªwzsjlMÉRk*~z»zl>~W|~M{|¨txwzs*wz
(84) ~z¨lk%3vu«v~sjyM3~yMl*Wl>tusjy7k«wzl{vuwR l}|¨w«~k*~-|hjlk*~-|tx{>~v s3w|~|¨txwzs¸gfhjl%k*~txsOwMWl>~|¨txwzs3¹txvxv
(85) Bl!l 3sjl:OBlvxw-¹ 3|}|hjl%±wMvuvxw-¹txsjyª{wMsR¼MlsR|¨txwzsW¹tuvxvWl W l: Í wz3s3txsjyO~hjtuyMhjlwMtus 3sjtu|¨lªjl>{tx¨txwzs¼@~zvu3l xˆ |wF~Ð3wM~|¨txsjyWwMtusR|±wzk*~-|w 2ltxsjy n jtu|w.k*~sR|¨t¨~*¹txvxv
(86) Bl%sjwz|¨l: Í ¸}³µÅ|hjl!{wzsR|¨l¯R|rWl>¨k«tu|}tÁ|:ÉW|hjl%txs3t{~|¨txwzsOwz |¨hjll>¨jvu|¨txsjy«jl>{t¨tuwMs¹txvuvÈWl#vxlxò|}←wMhˆ |>x¸ in gfhjl~tu|¨hjk«l|tx{>~v wMWl>~|¨wz{wzl>¨WwMs3txsjy%|w«|¨hjl#k*~-|hjlk*~|¨t{~vÈwzBl~-|¨txwzsW + É − ~s3 · ¹tuvxvBlsjw|l> ⊕ É ~zs3 ⊗ ¸ Ô `±£ Ø `
(87) . m # . a. . b. . Q"?
(88) ? $? 2 B& " I% . !#"%$'&')(+*. c←a⊕b. S%
(89) %
(90) c
(91)
(92) #I f
(93) I? $? 6 8& .
(94) ,S%. c. a. c = (a + b) · (1 + ). || ≤ 2−64. V
(95) .- V
(96) ? Qm0/ 21 32 45. Ô ` ±£ Ø `
(97) 6
(98) . a2% a 7. b. . c. . I
(99) I # U N^& . 98 :4";<&=(+*>(?$. d ← ha · b + ci. S%
(100) %
(101) c
(102)
(103) #I f
(104) I? $? & . d. 0 . d = (a · b + c) · (1 + ).
(105) @S%. " a. aI2m %^ $& #Im%.- Q8
(106)
(107) BA −64 . a ||≤ 2 a &?. g h3l#~k«l#jwzBl¨|4{~zsBlwzW l>¨¼Ml>*±wMf|¨hjljk>Ctxs3|¨W{|¨txwzs¹hjt{hF{~v{3vx~|¨l> f 2 Q
(108) I? # m /m N^& 9 DºÔ ¾¥%
(109) FE x a b . a·b−c. ¸. ðpw uð .
(110) Ò.
(111)
(112) "! #
(113) ! $%& a2% 98 :4"%$'&=(+*>(@ 98 :4";<&=(+*>(?$. c ← ha · b + 0i d ← ha · b − ci.
(114)
(115) f # V Q f
(116) I? $? & . c. m. d. 0 . 2 . c+d =a·b. . |d| ≤ |c| · 2−64.
(117) "m . V aI
(118) I # 0 Q # c a·b ¤ ØØ«Âl»Rs3w-¹J|¨hW~-||¨h3l 3 |tusW|¨3{|¨txwzsw|¨hjl¨l>Rjl>s3{l{>~v{jv~-|l>. c. w7|¨hW~-|. c = a · b · (1 + ). ¹tu|¨h. tx|¨tx¼tx~zvuvx*|hjlwz3jvull¯|¨lsWl>sjk%Bls3l>~l> ||¨w ¸ −64 ¸.gfh3  || l»≤sjw-2¹J~zvx¨w|h3~-|c|¨h3ll}tºs3w%txk7k«l:tx~|¨lr¨wMjs3txsjy!tus4|¨hjl#{~zvx{jvx~|¨txwzsªBl|a¹·lbl>sª|hjlr{>~v{° v~-|tuwMsFw ~s3|hjl« jW|~M{|¨txwzsF¹tu|¨h tus_|¨hjl7 l:{wMs3Ftxs3|¨W{|¨txwzsȸ}³µ|r{>~sOBl!{vul:~vu¨lls |h3~-||¹wawz·jb3vulfl¯|ls3l:7j¨l:{t txwzs!sjk%Bclk%jvu|¨txjvxtul:7tus7tus 3sjtu|¨ljl>{tx¨tuwMsÉjw3{l~rl>¨jvÁ| |h3~-|h3~z~|k«wM |:mË«¨tuyMsjt W{~|¨tx¼zljtu|>¸f|¨h3l 3|}z*jtÁ|wz
(119) |hjltxs 3sjtu|¨l!j¨l:{t txwzsjw3{| wz ~zs3 ~vxv{~zs3{l>vuv~-|l¹tu|¨h É|hjllr~z¨lrwzs3vu4z!3tÁ|fvulò||¨w«W l ¨wMjs3l: f|w!|hjl7jtu|fwz |hjla k*~sR|¨bt¨~!w d ¸ }ls3{l#|¨hjlcl>¨jvu|f±wzvxvuw-¹>¸. gfh3txtxs3|¨W{|¨txwzs¨l>RjlsW{lr¹tuvxv Wl{>~vxvul:ªBlvxw-¹ |¨hjl
(120) ¬° ¨l>Rjl>s3{l#~s34sjw|l>~v w«~z.
(121) ¸ c+d← (a, b) 0 a*% / ¥
(122) _ x * Q"
(123) ? $? 0^& . DºÔ ¾% a b |a| > |b|. !#"%$'&')(+* #* !#" <& $ ( #* !#";<& *>! ( . c←a⊕b t←c a d←b t.
(124)
(125) f # V Q f
(126) I? $? 6 8& . m. d. 0 Q aI . c+d=a+b. . |d| ≤ |c| · 2−64. a*
(127) # U N^& U Q # a+b ¤ ØØ*gfhjtjwzBl¨|*h3~zfBll>sF hjw-¹s#"#s|¨hÈÉ %$vxvxl~s3l»»zl>>¸fÊ jÉ@mÉ>jÉ3mÌ. .
(128) "m a. c. uuÃñ . c.
(129) :. # %%x $. gfh3txtusW|¨3{|¨txwzsO¨l>Rjl>s3{l!¹tuvxv
(130) Bl«{~vxvxl>Blvxw-¹ |¨hjl
(131) ¿°¨l>Rjl>s3{l7~s3Osjw|l>O~zvx¨w4~z.
(132) ¸ c+d← (a, b) 2 Q
(133) ? $?& a2% m Ø ¤ Ø ""·¥¤ Õ
(134) ] . a. b. !#"%$'&')(+* 08 >:#" " & )(+* 08 :#". . . . c←a⊕b a. t1 ← x x ∈ {a, b}∧ 0 ¬∃x0 ∈ {a, b}. |x a | < |x| t2 ← x x ∈ {b, a}∧ ¬∃x0 ∈ {b, a}. |x0 | > |x| t3 ← t 2 c d ← t 3 ⊕ t1.
(135) %&%*>(. #* !#" =&
(136) (?$ !#";<& )(! ".
(137)
(138) f # V Q f
(139) I? $? 6 8& . m. d. 0 Q aI . c+d=a+b.
(140) "m a. c. |d| < |c| · 2−64. a*
(141) # U N^& U Q # a+b ¤ ØØ*}wzsjl*{~zs+l>~MOtxs®Ê zÌGÉÈ|¨hjt{wM¨wMvuv~tx~|¨tx¼tx~zvŨl: jvu|wº|¨hjl*jl¼txwz3 Èlk«k*~Fm¸ ~zs3~*{wl%¨l>Rjl>s3{ljl|¨l>¨k«txsjtxsjy«|¨hjl%k7txsjtxk%jk ~sWk*~¯txk%3k¿wz
(142) |hjl%~W wMvu|l¼-~vxjlw|¹w jwzjjvxl«l¯|¨l>s3l:_sjk!Wl>rOk«l>~zs3#wº|¨hjljlrk O~sWNjlrkml txs3 |¨3{|tuwMs¸Ê Ì.3¨l:{t l:}|h3~-| |hjlªwMl>wf|hjl4~yz3k7l>sR|#wf|hjljlrk Ok!3 |%WlwzjBwM¨tu|¨l«|¨wO|¨h3~|%wzsjl4tus,¹hjt{hT|¨h3lT~l yMtu¼Mls4|¨w«|¨h3lj lrkml «tus3 |¨3{|¨txwzsÉ|hjt 3|¨txvutu|4hW~zfBllsl>¨Wl:{|l> ¸ c. Ô ¾¥¤ ŧ gfhjljl>{l>l>txsjy«txs3|¨W{|¨txwzsF¨l>Rjl>s3{ltlv~-|¨tx¼zl>vu4vuwMsjy3¸ gfh3wzjyMhhW~@¼Rtxsjy7|¨h3l%¨~zk«l v~-|ls3{_|h3~sT|hjl43s3{wMs3tu|¨txwzs,¼zl>¨txwzsTwf|¨h3l4 l:Rjls3{lzÉtu|7¨hjwzjvTBl4~@¼zwMtxl:T~ztu|%k*~»Ml>~ h3tuyMhjl3 l!wÅ|hjl%jw{l:¨¨wz ¨l:¨¨wzj{l:f|¨h3Bl¼zlsR|tusjy~*l>~M ¨{h3l>jvxtxsjy4wzÅ|¨hjl!lsjyMvuwMjtus3y {wlz¸³µ|{>~sªBl}l>vu3jl>*«~s3~zvu¨tusjy~|{wzk«jtxvul|tuk«l}|¨hjlk«~zyzsjtu|¨Wl>ºw2|¨h3l~yz3k7l>sR| a ~s3 ¸ BwM¨tÁ|tu¼Ml tlrwÈ|hjl l:Rjls3{lt|¨hW~-|f|¨hjl#hjtxyzh3~z |fw
(143) |¨hjl#l>¨jvÁ|:É Étxf~@¼-~txv~jvxlr~ò|¨l>z°´ b{{vxl>>ÉM|h3º|¨hjl#v~-|¨l>s3{*wz|¨h3l#¨l>{wzs3ª¨l: jvu|{~s3¨3~vxvu*Bl hjtjl>s ctxs|¨hjlrvx~|¨l>s3{*wz
(144) w|hjl {>~v{jv~-|tuwMs3>¸ Âl¹txvuv{~zvuv |hjt}~vxyzwM¨tu|¨h3k |¨h3 l
(145)
(146) Ã l:M3ls3{l%~s3sjwz|¨ltu|~zvx¨w c + d ←
(147) ¸ (a, b) !#" ÔØ ¤ Ô
(148) %$ . ah4. =. al4. =. a5. =. 12297829382473034411 73786976294838206464 −3098113767111307095 680564733841876926926749214863536422912 12297829382473034411 295147905179352825856. ðpw uð .
(149)
(150)
(151) "! #
(152) ! $%&. a6. =. a7. =. ln 2 ln 2 0
(153) . x ∈
(154) m&I−2
(155) ; 2 15. m?%& # . M. 4919131753080926207 590295810358705651712 13117684675687318145 9444732965739290427392. 15. 1 p(x) = x + x2 + x3 · 2 ex − 1. ah4 + al4 + (a5 + (a6 + a7 · x) · x) · x. 0 . %m!-?
(156) % . |ex − 1 − p(x)| < 2−123.
(157) '1r
Documents relatifs
If the temperature of the collapse increases due to an increase in the specific heat ratio (for example by lower initial concentrations of the chlorinated compound) the ratio
If a reproducible evolution of the refraction index with temperature and degree of conversion could be available, an absolute value of the degree of conversion would be
À partir du moment où la montagne Pelée se réveille, temps au bout duquel une grande éruption peut se reproduire (d’après la population interrogée
Contanto, é importante ressaltar que as cultivares ‘Salustiana’, ‘Pera’ IAC, ‘Pera’ “Jetibá”, são mais propícias para suco, podendo a ‘Salustiana’
Si l’examen du lien qui unit langue et identité trouve dans la première approche une résonnance due au fait que tout sujet parlant construit son identité par le biais de sa
Ainda segundo os autores, outro ponto importante a ser levado em consideração no combate à disseminação seria o rastreamento, por parte dos órgãos competentes, a partir
En vertu du principe frégéen de compositionnalité qui règle dans les linguistiques formelles les rapports entre syntaxe et sémantique, la composition syntaxique est
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des