Generating formally certified bounds on values and round-off errors
37
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Generating formally certified bounds on values and round-off errors Marc Daumas — Guillaume Melquiond. N° 5259 Juillet 2004. ISSN 0249-6399. ISRN INRIA/RR--5259--FR+ENG. Thème SYM. apport de recherche.
(3)
(4)
(5)
(6) !"$#%&'"'()+*,-&(." &'"0/123444( 57698;:=<'69> ?@69ACBEDF> GIHJHK6L> ?@M'5NMOHJPQ> GJR9S T UV1WXZY-[C\^]`vEwx_anzy{Y[cfkbe|kdgfhwxW;}Xi~1YjpqdkwxY dhbCXmlLnOoqpsrCtuY;d ku9nwhfuYwhYj VuYw VuY~9O_ tupooqYf,z_aOi1zOY;d 4;uN n¢ ~1zYobewxwhdgnOpsdwxd,z~Lnz£ up~CwxYFfhnY;uwhw wxzzY;Xo dhYd,z~Cwxt1f0p§fxdhVu%pq~uXZ'~uYY¤1fh.psnCz¥fhfxncUpq~unVuo'Yfx9V1~unnpf0O~OYfOoqf{YnOb0~uLY;Y;nzwxwx£zznOfhfhYjtupndmw~1l9fhd;ncn¥inOt1UoQ~1pV1udYmdZfhV1fxnncz~@nf¨ofhp§V1f,psd YFul1whnedheoqY;t1tL=Y;dY;nd¨z~=~Li£¦ n£¦nwxfx wxVuXZYFwxoQwhnOuYtuwxwx~1ncwhnOcnzw¡£ nO£d fh¬VuneY'r!l9zn~Ltu®~11'd-fxnV1XZfZuoYfxY-~ XZlLneY!e YVuo Yjn £E©Y;¤1 nOzpqfh~1pu~uY99Y~1nep~CY;f ~CfhowhbªpqfhV1t1Xidgp~uY%fhpszz¥~«¯1ntew,fhfhnOVuXZYmz°1fhpsw 0d{f^ufhwxpncXZnzYm£¨ Y;VuYjY wj©±²Y;w-YidgtL ~V Yjudhupqoopb®;fxYpqwhnOfh~1pq£¦d b®efxn V1~unzf-fEdhnpqXZOYuwho¤1Y0n ~ctuzXZ~1Y-wxpsfhVLzofE1wxwhnnOtu~1w ez¡JXn¢Zd dgY;t1whwx nVªw d4Ozd wxfhY Vul9YYnon~u@YjdOt1dhYt1ezf ozoqb®luo£¦Y ntufhVu~Lwx=Y;dhpVu~ªnoswxuY;d;z¥4o [cfxpqtLXZ V Y oVLYzO~1YeoQonY£E±erOpqf¨tLznOop§tuf{b!os'dgV1ondhtunios'lLYlLt1YidhY;nXZ£¦nOuwt1oXZdhnwx~cb0b0nu~pY;dxYj£¦dYf{nzb£ dgwhnpq£´fhf{ps o whYOz¥ 1uoqpszfhpn~1d;¥|¨dknOtuwfxnCnOo³psdkYjdhb0fhn µF¶C·²¸x¹-º »4 kntu~1e¡Jn¢®YwxwhnOw;±u¼,Y;wg¤Ln±c¯1nwxXzo²uwxnCn£{±L¬Ywhfhpq°Lzfhpn~Q±1[u£¦Yf{bwxp§fxp;zoJ¥. ÙeÔ4à ÃxÌÄI¿ÁÚ Ë ½QÈÁÌÅÛ¾Ò0à ¿ÁÈ À9ÜQæ´ÂkÌÅgÀIÀÑÃxÅgÄJÄIà ¿ Å{ÄIÆIÆIÓjÖK¿ÇÄI¾'à ÅmÈzݲ¿ÁË À²Å{çèÉÌÕQà ÄIÅ{ÀJÅ{Å{ÆÆIÊkË ÓÀIË ÌÐÌÊà Å{Ö{ÍÎÆÅË ß ÄIÆI¾Ï ½QŠоà ÜQ¿ÁÆÑÀkÅ{ÄIÀJ¿ÇÄIà ÅgÅ{ÈÁà éÆÑÒÄ ÖK¾!ÀI¿ÁÓÀ¨Ý²Ðà ÐzËÈÁËËÀIÆÑËÐzÄIÅgÅ{ÃgÆIÊ,Þ Ãxà ÄIÉ¿¿ÁÒkÞÈÇÃ Å Ô ÉÕ4ÈÁÃxÅ-ÄJÚ ¿Áà ÆÑË Å{À^ÌÅgà ÂÃZÈzÅ{ÕQÆÑÌÅ{Å{ÄkÀJÆIÅgË Ô Ã ÌÆIËà ÖJßÓj¾FÄJÔ ¿ÁÆIÖ{Å{À³ÝQÐzà Ý9Ë ÌÆÑàKÄ^Ê,áÛà¦Ë â×;çEãÐâ à ÄJäÖ{¾åÅ ÅÕ³ÃgÙeÍQÊjà Âà ÉzÆÑË ¿ÁÊÌÆIÅ{Ãx¿ÁÊ0ÀIÄJÄIË ÆJÄJ¿ÁÃxÆÑËÄIÅi¿ÁÄJË Êj¾jÌCÅÅ Ø Èsê æ´ÌjçË ÆÑÂkÃxÄI¿Áë;ÓÅ4ÊÓ ìuà ÆIà ÈÁÈÁígÈÁ¿ÁÀIÂÅ4îï ï ð1ñ¦ò òhó ó ó1ô´õxöj÷øhùxúûhö1ôsü ýòxþÿ ß . Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38334 Montbonnot Saint Ismier (France) Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52.
(7)
(8) "' #= (. ( ³
(9) (%& ()*^&4( )( &4( "g '"
(10)
(11) ntLd,1wh}jdgY;~Ofxn~1d¨tu~®~1ntuOYo ntefxpqo;z1luoqYieYi}~1}wxYwj±1zwhfhpw^uYmosuY;dxwxpqefxpqnO~ tuY;whwhps~zwxYluutuowxY;wènd4YY~0w fEzXZXZoqYjned XZeYY,Y,wxwhrCuY;tutupqwxp²wxY;ted fxf pqoYpszf dgwxY wxo nez~1Y;wxepqd fhpeVunOXZLn};XZ}wxfxzXZpfhrCpptundhY^Y;~1dd u- pq~Cc~1fhpY;dwhwhOtuYooquYkoY;wx¤1nd;n
(12) ¥Ofgwx fxXZ~C~ufhXinOYYOtu±u¥uYjY;zd ntelLtufxnO}¨fhwhpeou~1Y,Y;Y;dgd ~ufdgnzl1tufxwwhYkdho}Y;nOd dgtetufhwpzo9oo YY; ztudg~1f w d rCoqtebeY;dh pqYd o 1t1wh~-nenetutufhpqpfoutuz~utefxY nuXwxYtufxpOrCY¨tu£¦Y nOewhXZYuY;oqwhoY;YtueY;YèdfhY;l9ounrOwxt1~uYY;d¬rCnetur pÎY9f Ytute~ifXZfhwxncYuWoYY whfhpqn°1XZ};Y,uopY~1fEee};LY Y;o ~1 zuwxzp§fxXZVuXZXZ}Yfx~CpfkrCtuY;~Y ¨tefxcpqpowhpsdhOtu~OoYf ¤L~ctunzfgXZf z};~CwhpsfhrCYOtu¥0Y;dv ndhpqtuXZw-uoo!Y;duwxnYXZXZpXZWwxYYi£¦Ynt psd ± V1pqoluY;dgp§fxftuLYonCoYdhdhXZpql1Yoq~CYfketeYfxpq£ÑoOpdh};pd¨oqY;uXZzY~1~Cdf-oY;dY;wgfxup§°1uY;owp;rCfxtupqYnO~1oqYjddY~'uwxfhnY;OXZwx1XidXZwx}YjYd o ~1uY YmdhYntuXZpoXZd YOfhfhYY;~Ceffx1luOd oY;ud; ¥Y ¨u}~1OfhY;dho dhY~uXZpqOYY;~Cft®eeYYmrC1t1oqpqp§fhfx}Z},YefY;CrCw tuzY pqf oY;dfhwxY;Y-whwxnOYlutuoqw pOd z fh nOpqwhwxwxYn~Ldgt1ew^p9dhoY;nd^~Cfkz1zutuoq¡KpseYjzdhfhdhpnn~1tLdd 9whnpqt1fhpswkrCtueY;Yd;~u¥En¬XmnluXZwxXZY"t Y, 0~uonnfhOwxpY¨pqY;nOoted;fh¥ poLYjd{f £ÑpqoY -Xz~uputuoYwj±eY¨~1pqOY;zteYcw zpqf}CzoYXZY~Cf!fhwxY,tufhpoqpsdg} # º j ¸ % $ & whwxYtuw whwxn~1upI
(13) ± '¨};1dxdgY;XZY~Cf-eY01p§fx}± vEwhY;tuYZ£¦nOwhXZY;oqoY±E¬Ywhfhpq°Lzfhpn~Q± ³nOppqY;odwxpqfhpsrOt1Y;d;¥.
(14)
(15)
(16) ! #"$ &%'#)( *"+%' ! "$, -../01 %. . m ³ "'& è
(17) nUdx£³V1£¦zYYof{o1ub'fxtuVuwxwhYkLpqfhnC¤LpsdgnOYo nzfxpq£9~1ufhV1upLodpnO; pq~Cfhnfpwxn©~Lzpsdwxd4±LpfhnluYoqdxYjOdE£¦YY;z~uoq~LbiY;0wxrOzztLfhoYzo1oZfxp§£¦Vub£¦Y^nOfxwhwhVuXnOYktul9~1o³YcuV1¡Kwxnznc¢'cnzp£ Ynwxw fhwhV1nznOz£Îwxf,d;z¥ opsd¨|,nOdEwhtepqfxfhfhVuV1nOpXZXZdd zfhnpsnwx~1©moqoYbwx~uOdèpqY~1pqwx~C,p§fh°1fxY;YjVu~1!YeYjlcw Zzb'~u£¦On~ Yw lfx9VuteY Y fht1nOdhXzY;otufhY;£¦psn dwuXZ~1wxnC0nnwxfx£²Y^Vu YV1nwY;wx noq©YjtuY;dh~1dwedgdx¡Jt1n£¦ ¢!YVf{Y;bOwhdwxnwx¬w pqfhned ps!rzz~146oQ5;&7Ku9¥ t1u8¨opwx;n~CfxY;fhpqnOY~1Y;Y¨w;dfh±z±CV1Ofxznidfkn1ztuwhow noÎcfxncpsenwhY¨psouz£¦psl1dnOoqwhYjXY;d whb-oq~1oY;b'dhzY;bowgoÎfxfxwhnp§nO°LtuV1Y;~1z~LclLe¡KnOnzoqYOtu¢F±~1YpqufèwxdwxnnOw ~~ d p~Fi',Y;pOeY~'oqbZuzwx~LniOwxupX dxdgfhwhwxY nt1tud4~L£ÑeYpqwkotuwxnY;~Cd:fh4;wx5;nuoJ±<¥ 5;u±O 79V1YdhVun~ifhV1zfnOXZXinO~Zuwhn£¦Y;dxdgpn~Lzoeuw fhpsY;d 11uwhtunªnclunz~uop£Ñnz;difzfhOpwxnt1Y~Lz~1dw znzlc~Cfb fxdgY$t YFVu=0nrC~1t1npqzY;wx~OoY;p§ff{ b dxdmnzp£ YYwx~CfxwxVufhnpsYd{w f d-udwxzpnewx~ Yet1 nYYjXZo o,XZwxdgYnnc£´~uf{po Ybª Y;uwhYO wx¥pq~Cfh~1v Yj>Y~e46¡Û5&zpqfh?C~LYj±ècª¡JL&y{nOz7tu9YwhY~Lw0Y;z~ V1osd@p~«~14ÁAcVu?C¡Kp±Bwh5CVupq5fgobªfx7J¥Y~wxYO£¦nOY;dhwhwxtuXuoqY;fxz d o 1dxwh£¦neYef{b«t1Y;wx pqfhpslcb zokpq~CfhuY;uwhop;o¨fxopqpqnOlu~1w dz¥wxpY;[ed;n± XZp~1Y!oqV1t1zu~1pq~ue«¡J£¦wxnp§wfhfhY;Y ~ uz9XZYu~uo¡KDY ~14Ázce¡K1E± z5j9F Y7Kw±kzuwxwxY®ncnz£Ñoddhnªn~u~Cnzfxf!pq~dg<t =YwxwhnOpqY;wx~Cdif0z£¦~Ln w fxpq£QVufxYVuwxYkYbpsdEV1~unOY¨unl9tuYleY;~ffh V1YzofoLwxdhYncXZpYYk VuY;p0Vuo~1bi0whY;1Owhznew eet1Yj-Y;V1lC~1bZc¡KVunO~uwhpqnfgfxwxYY;~udhwxpqnY;O~OwxfxpdgXfxd;d4H¥ GÛo~dhnl9nznOfx~CV'fxz;p~dhY;Yd;wx±Cwxenw Y;d whpY;cpq~1Y;~ fx VuV1YZY; ©nY;~Lw;¥ot1dgpn~Ld¨psd^~unzfdg<t =pqY;~Cf~1FfxVuYiuwhneY;dxd,dhVunt1o®lLYZY;wgfxp§°1Yjlcbz~%ztefxnXfxpmuwxncnz£ pwxXZY;dhutu[cooqYtLfxXZd V'Yn~C~LfxYzdgwhpsfhfheppqn°LY~1wEIdzfhfhVu46p5Y^n7K~1¥4Yd¢²¯1Y;YV1 fOwhnzY^Yj£Îdgwxt1oqnwxo§Y;f tud4O~LecbZwh¡JYnlL¢Y;YY;z~!whpwxont1w ludhd Y;oYèpq~0£¦fhnO¤1nw nOeznYfhXZfhp~uY;ufkte9fxnYnwwEp~OufwxwhYpqzfhOwxVuYp§fxXZ~CVuf YXZfhY;pswhY wxfxnp4Ázw ¥Eud±¼,pq~!& t171zwzo~LnO-nO~CwhY;pqfxfhVuYX~mfxdd£¦Yz pq~LfhYV w owxY;YO9enpwh~ufh0p~ufxY;znOX~Zd^fhVupsEfdè GÛ~OnfxwxY©²o±zz~LooL u Y|^Y;[eoqnO| uXZ³Y~Ckfx¬NdfhzV1ozonf裦not1ondk@fxn'wxndxtu£¦~LY;coqb'¡Jnl9¢YY;opqwhY;wxnYmw dfhV1zwxzYf oqzp~uf¨©OfhY;V1iY-fhfxn-pqXZn~uYiYknYi£ÎfhzVuwxYY te~1fh V1n~uw Y;dèY;undm£³fhdgV19pY;dwxpYoq96p LnYjwh%f46fh5Kw Jez±ep~uCpq7J~1¥1|,±4dn~uYob%whfhpq;£¦bczwxpq~1Y£¦-tu£¦oonOb%whX VuznCo²dguY;wx~ªncnzz£Ñudulcob0psV1fxzpq~LnO~1dVL~l9YY l9Y Y cYfh~@wxYeXZYYOoYbZonfh9YjY;eªpnt1dhn d £Ñw;¥ ¼,tuwifxnCnOoV1dmlLY;Y~ eYOYon9Y; fxn%dhpXi1oqpq£¦b«dht1 V«®fxdh©²¥NM^pqOY~ =eYjdhwhpefxpqnO~ nz£kfxVuYFze¡ 1Y;whoqpswxnzw fhd;p¥n~Q|¨±9d,p§f zwxteY;dhfxtunXo§fj±1pqfxf,p;zooq~FblLY-Y;~uY;Yw dhpoqfxb'Y;dV1uzwx~Lncenzoq£ÑYjdk!£¦nlcwkbfx~1VuY-pqOYwht1pdhnYt1w dkdlLnOp§tufxVF~1u~ud,nndh~FLYjzpsoztuo³Yjfhd¨w zzp~L~uFpq~1whnOtupq~=~1c¬¡Knzne¢r nO V1wY; ~C©bZY;wxnd;fh¥-VuUY;wEVu£¦YZnwxnOX~uY;zd o9ul1wxOnCdgnYj£ÎnOY~=wxpq°LVupzV1fhpYnw ~Znfhw ncenOYoIw ¥èo¼,ntuOpwifhdgnctLn o²V%O~dlL¬Y^neor9pq~u±Q©OPv Y;O Z[%fxn-zX~1Q z~c8^b ¼ z tufhznwxXYizufhwhpsknOl1uzwxl1ncnzoqb £ fxfxVuVuYYbXZwhnOY;dgoqbf,dgnOnoq~1Y;dhoqYbwxnO~!fhpiY^OYnwx~1b0Y;d¨dgXXZzooQn~u©OiYwxfh~uV1YYoJ¥SX ¯uRÎte¬fxtunewhr'Yzu~1YS Y;8 oqnO ¼ u>XZY4;5j~C& f74nz£4whnYtu1wwhfxnOnCl1nOzoÎluXobfxb0VuoqYmYfkdxt1£¦dhY;Yww nd~u YjVud¨Y; © d fxfxVuV1Yzp~!wzu~cwxnCb0nO£Ñd t1znw ~0z~Cf{ fxYn-Y^nOuw whnfhVucwxpseYY;Y^pq~LdgeniY£Ñ9Yw;~1¥ uY~Cfuwhncn£ VuY; ©OYw dè~10OYfkoYOYo²nz£ n~u°LeY~LY^VupqOVuYw nfxn'£zGK~nf³XZpszdQXZtucfhnpsndg~Xplu1ozYwxfhOpspq~ fhfxfxpsnCVunOYjYd,o£¦nOdgoqt1~1on FVfxpq~1nd^nOnOfhtuYtuw, cwxfQd;°1¥ fxwxV1dg ff4zYZdguunOuXiwhonOpsYELnCufxdgY;pqnOYi~FpsY;dhpqufhnOVLt1~1dÎzf fhpY;Yd^=wxt1Y dhdgVuY;fhnpopsofhnYjn'9d,XZYfh~ V1z£¦pqnO~CfwÎf zfhwhpV1~®YiYEt1dhpqXZzdh£¦YuY£¦f{tuoYboXZpe~%Y;ps~Odgwhfxf Y;zO~LfxzpqnOw Y;~ d l91whYncf{ nz£ÑYdY;~-l1zdhpY;w %w n£´~ªfxd;p¥4~C¼,fhY;tuwhw4zXozzpwx~mp§fxVunXZ~CfhYwxfhpqpsl1ZtefxfhV1pn~fmpsd whd{Y0fxpqoocYnwhfhtupqw °1Y;z l1pqolcp§f{b b^zfx~ªn¨uzwxtunefhent1XzYfh£¦psnwxuwxznCw n £Y wxV1whnOY; w³©zY;~1wdgoqbetLdh pV d OndZXZ¬1nerªwxOludoqY,fxVufhncYwxnOYodpsdip~uoqo n%znzufh9V1Y;Ywiw fhp~'ncnfhoVuY lu£¦oqtuYfhtufhnwxYe¥ n%p§fj¥ ¼,tuw VunpsYjdpoqoX©Y%epq¢9Y;whY;~1Y'VuY;~ 2. 3. Ü Ü Ì T+U ãUV.
(18) . # #"$ %I"$ ;#"$ . "$ # . fxnOV1~uYif UXidgVunOpY;XiwhVCYYfXZV1l9pYZwxuVCfh f-V1zl9f^whY0YOfx±VuXfhYVuzY¨~ct1b®dhnY9wwxYY;w eOpsdg®fhnOp~1~u~1d,nz£¦fdhnbcV1w-dgfhFY;~1X enoY-nOXZwfxuVufhteVuY0fxY,pqdg~1n®n£´f{XZ dgbeudgpwhofhYiYY;wEX psnOdwhfh~uwxn!Y;n£ÑfEfhopqbFoJnO¥!nwh©cUw^pVu~ufhV1Yz°1f nw fhwxd{VuwxfY;Y0nO fx~ueoqYYjbOdg¥ XZp|¨~1pqO~uYVCnzwf-fxVuelLYps Yw ~1nO~unzfèYktuu~LwxneOYwxw d{f XZzXi~10YjZY ud{fxwht1fhob-fhtufxwxVuYkY¨pspdE~C~ufhYn~LfepY;~upqfhpsl9zYoVL;p L;Y;CpnnOwèwènzt1£ÎdhfhY;V1Y,dhnbcwxdgwhfhYjY; X!fhob¥ ±C\EzY~1f dh~unnzfxnOVu~QY¥w|kno~uo1YkfxVuXZY;pdhY¨VCufwxl9nYkl1oqfxY;V1XZfd wh~1Y¨~uXinzf Yfh~uVuYne enOoqnOpqfhVpY;¤1dnOfhznfhp1~uwhY;9Yn~Cpf~OffhV1zYwxX!pqfhVu¥ XZYfxp,z~1fhY;XdwhnOtu~1ifhV1Y¨ nwxowhY¨uYY;oqnOup~ufhncnOod ~fxcVutuYXm¯LXlLzY;poqwkfxtuVunzwxYY0£ XnX9fxYpb=w ;zfxoupqonOdhdhnnF~1od;tel9¥fhYp¯unnO~Zwknt1Y £²dh uY;%~mXipqYj1~ rOoqtLYfhVufhYpVundhY;~Ztu~!l1lcdgb-fhY pqfhfxtuwhfhntup~1n~Ldg~ fxnfx~OY-£fz~c~!tuXZXmp~ezlLfh°1VuY;~uwEY;pqfhXnzYm£²dgd{fhY;fxpswhYp1Y;oèddrCnnOtu£ wY; dgfhYVupnYfx~ª~Fn~elc ¡Ûb Yk'wxzY1°1uV1~uosdgpqnOfh~ YY pqXfhY;zwxfhzpsfhpznoE~1rCd tu4ÁYjd{1fx±4pqnO ~ 7Jp¥'d U~unVufY;dh~uYY;YY;wxdxwhdhnOwxwhd pobFwhYCpszdhospqdhlunFoYV1pz~=~1fxuVuoqYjY=°1Y;~LozdhYoEV1nOXZYwxuYpq¥oY;]F%nOuwhwxY;nnOwxY;w;X!±²fx¥ VuGÛY0~Lpe~uYp§Yjfxp=oEpqfXpsdfx~uVunzYf¡ oq¼,betudèw 9fxnOncdxndhoEpqlul9oY ntufhnZ~LuOd YffhV1l1Y O©0z%fhnil9fhYVuf{Y Yp~uYpq~%fhpszfxVuo³YoqlLOY;nV1wxp§fxcVupqX nOw ©cnz~u£ nfhVupY~uiOpqp§Of Yd~%pqXZuuwhnOoYXZw zY;X~Of Y fx cpqYjnO~tefxnOY;~u=oqbOn¥ ~ wxY;zo ~cntuXZXmulLteY;fxwxYd;wj±è± pqfhpqfhV V«~uwhn nOtuwx~1nctu¡K~1nze¢«¡JnY;¢ whwxY;nwhw wxd;n¥wj±è|koqfh~1V1 ntufxOVuV YFfhl9VuYYjV1dgY0cpl9nnwit1nz~1£¨ud-fxVuYwhYdxzOXZYwxYb®1t1whdhnOY£¦w t1zoèX p~ Y u ew Y;tefxfhpYj Y±4np§~@fmp d dhUnV1XZpdZYfhpspdXi9YjnOd¨dxdgopdhlunoY'p~CfhYpqfhwxV Y;dgfhnOptu~uwZfhfxncnnl9o¨nlCtub@~L!ufheVupYi~u otunlL~1zYo³whYfx¢9Yjpq~C f{f bªnz£èfxn oqdgo4nOYXiwxwhYFnOwxdknn~1~!dgfxfhV1~OYif dZnzXZ~1 uteufxzY;fxF%nzz£^otufhYjVudY ¥ £¦1rCnOtuwhwnOYjd{zfxw opqzo nOX!fh~Qwx¥¥³tu~1U;VuYkYfhept1npsZdh~ªYdgw n^ps~1d £¦=nOwhwEYjudgnp9tudxnwE~1wxYdhfxYplu;p wxLjnoqY~1fhfhpnnte~%fhpsY Ywhwxfhzwxpqun£¦buw d,ofhpsV1nz£èfxf fxpqnOfhVuVu~iYYuXZ~1wxmnneefhw Vup§z°LYkX Y;Oiupqen~CXZpqfxfhYp1wxn~1whoYjoud Ywxfxuwxnunwxw fxnVulLuYnOwxtupXz~1fhuY;fxdEoqVubYXpq;oo1nOdhfxnCptu;nO~Cz~ f o l9Y £¦nwxXzooqb0Ywhfhpq°1Y;'pqfhV!Pv O [²¥. ³
(19) ' & a -"!"' " & -
(20) '
(21) ( ~cGÛdh~ Ytuf,XmfxVunzlL£EYY;V1£¦wnOoqzwxon~1e'pqzz~1wx~'1Y±¡KzwxxoYu:nwxRwxY;pqdhfheYVuY~CX ~1fxnzt1fhluYjdhoY;d³Y,d~cztu~!zXmoztulL1Y Y;uwxxd;whn¥©C e~1 pnXYi~^efhYjnpq~1fhwxnzVmYf,uzwxXZ~ Y;Yjdhpq~uYz~C°1~!fx~ufhpqVLfhluYèoY¨f1whYjzoptupsd¨dgY pfhnxVu˜~QYm:¥ whFUnO±cVutup~1d³p§efxpYjd V !FfhV1zl9YoYtunpY-~uwxYinfx£pfh;VuzY o± ¥Y^XiYjz~fhV1zf x˜ psd fhVuY zotuY,fhV1zfpdt1dhY;'z~L09nOdxdgpluobnOXi1tefhYj0x˜ lcbfhV1Y^1whnOw zX pq~'uosY,xn£ x VLOn|Ytufx~Cn!fÎoqnCfhlLdgV1YjYZYèV1wxXn~1tue~1fxoeVuY;¡JY®nX¢-dhzYYfhLwxpswhznOzw wxo²dÎfh£¦Y;t1;oqz~1bOt1¥ fxdhpqY;nO ~ YZlcfb,t1(x) fdhhY VuY psdpnO~1pqXiXZdgfh1uYjteoYfxXZzfhnYp£ ~Cn~QfxY;
(22) ¥ 'fh'¨n'lcpsbdhwxY;whZYfhuoq6po4wxL;nfxzVufhw pYZnz~whX Yjzf(˜ ~1e˜^Y;xw¨fx)whfxt1fhV1VL~1ffzfhfxpnu©~whYjnOYdwxw pwx~CznfhXw n d oqUbeVudèY-tLfhdgncYjndo4nV1~uOob0dkl9wxYYuYwx~=Y;dheYY;~Cdhf pqOz~uluY;oY,'p~ufxnutufxted;fh¥ nOXZx˜zfhpsoqobOY~uY;xwxzfhY1whncnz£En£ fhVuYmwx~uYn£ ±9fhVuY f˜(˜ x) 1uwhp§¢²nOYLwxY;Ywg~1fxpqYjYdklLzYwxf{Y©cY;Y~u~infhV1~FYknY ~! ufxVufY-p~uoqut1tuY f^f(x)zwxpszlu~1oiY;d;fh¥kV1Yk¯unOw¨nXZY uutuXifhY;1ZoqYO±1tuoqtu~1YuYf(˜ ˜ x) ±C~1Zdgn n~³±VuY;~0dgnOXiY pqnOfk~'psdnY;XZdhuboYfxfxniY1zwhunuOoY¨psfxV1fxpqnOf ~1√d;¥ x˜ oqpY;dp~'fhVuYw z~1Y [1, 2] ¥UVuY^fhncnoÎpsdVuY;whw,Y^fhfxVuniYmV1VCYbco9!nzfxYVuwhY;fhdhpq£¦pdbcpqx˜~uZ∈u[1,wxncnz4]£Ñd ± æ¦Ô4ÜQæ´Õ.
(23)
(24)
(25) ! #"$ &%'#)( *"+%' ! "$, -../01 %. . 1uwhnnOLzU~ Y;VuwgYfxpq1Yjzd¨e~1p§V1fxoqpqbenOO~QdhYp±4d fhp§psn'f-dOl9eYYinO~u~u1Y;Y0wxwhznnfhO~ªYjY;d Î!¥uwho nncnVu£Ñ¡JdYoY~®zOl9Yf{oEnteenf-YjdhfhzVuwhwxY0ppelufxpXZpqoqnOYju~=d,oYnXZwh£ YiYfx~CVudgt1fhYYjXiªXZuuYjuoÎpu;±Îp§fxnfhpqtunOpnw,~ ~ fhfhncnOV1nO~%zofmd^eFV1ncpY; nOVªd^Xi~uz1nwxtef pqfhfhVudhY;pqXZw-XZYufxpopoqb o YwxY;¢9dhYj9 Y;fxpqOf^Yfhobn'Yfx cVuYjY Gte&fxY&±1& £¦n.¡ ?zw¨zY ' uzdgfxXZ~1uouYzw Z¤1nO~1z®fhp~upqfxzd¡K9unYp£Ñ~Ozf¨t1Oo§fuwxenpqfhtup~1n~Fupq~unO~XZdgpXZncuuYZoqY-Oud wheYjY°1psdg~1pnY;~!=~cpq~%tuXmntulLw^Y;wx£¦dnOwhXpqfhzV o fxdhVu9YY;Uupq°LVuwxnc;Ynzfxfh£Ñncdpnnfh~³oun¥izwxosdhUYn,osVuf Y0fxzY,©OufxY;Y;nid4dxpqfh~CwxVupqfxeYn fxwxpqOY;nO~®oÎnnutu£wh~CnOfxfEVudgw YZnOzXZX)uwhY nO1dw whpznOXZXLuY;wgoXmYfxpqXZt1Yjdd{Yf~CÑwxfh;Yjz~u!wxwhzbFYO~1±Y;'z~ulLYndg etunOYjOoqteV®tefxYfxpY;~eYΣ¦wxn¥ whwxnOXw;±wxfxYpqnOos~=fhpp~ Y nYwxw wxenYw w,Q£¦nOn~ w fxfxVunYpY;~u~uuYtew fèfxYkwhpszdxluwxopqY;ed;f ¥9nzM^£ÎpuwxY;nc~inzfh£²VufhY¨V1dxzzf XZdgfxYz©cfhY;pq~Ldmz~1nZ£91OwhYnOwxLp§°LY;Y;wgd fxpqfxYjVud Y;ndh~iY¨fhuVuwxY¨n9nYtewhfxfhupY;tedfE£¦whznOwxX pfxluVuoY;Ykd;Vc±bcfhVuLYknfhfhVuncYjndgocYjfxdEwhpnOY;~ d fx1VuwhYnOLp~uY;wgufxtepqYjf^d¥Ez[cwxYjp fhlupoqnYj~Fd¥e[c¥ÁmY;pfhdpnu~Yen6¥ fh5Yj0eYjfxdhnZwhfhpVulLYYjdkunOwxnc~unzY£Ñd nz£ nz£ fhV1YYwxwxXZnw Y;d ±CV1lLn~ufhpVFdhXzdlLdgpnO~CoqOtenfxoYYjz~1p~FwhY;uowxznfhCpp~uYOZ¥ w z~uOY fxUV1V1Yf |)ue1whY;ncdxwhncnwx£ nzp£´lLps¡Ûd YjVudkOYjYY; ~uO©Y; YwxV!w zfh~uopqY;Y;©O=YY;lcdx¬dhbnewhfxr=bVuYeoqnOnczYjtudpsfhn~unXnz9fmzYfhw psZnOfxwhpqunO©wh~ncnOnfx~%n£fh VuVuzYYjops uO©Y;fxfxwt1YzlCfhoEb=Vu1YiuwhosncnOnzbC~1£p~uluo't1tedhfifhpqV1nOnY~!~ªdh£¦whFnOwhpX.dxefjwxfxpq¥FeVufmY-¬nenzu£ rwxYfx©OXZYpswxfhdg~upsYjYdd o¥ dgfhnOwhYjd²fhV1Yèuwxncnz£ud koszX-l²uz¡IfxYwxXZdΣ¦nooqnp~u^¬tuwxwxbO¡ 8knzw kpsdhnXZnwxuVupsdgX!¥³UV1YèoszX-l²uz¡IfxYwxXZd ;¬zne~uri~1nz©f Y;whlL~1YZYoLwxY;~1¬lCb®nerZVCt1eXZYOY~®onul9XZYp~uY;~OOfèd^fhluY;tuf Xpqdf¥|¨d~=pql9fYidgfxun~1tuuludEo~1Yn Vu±OY; ~u©OnOY;~uFY¨lcnb!£ÎfhfxVunCY,nOo°1d^oY;p~1deXY;Lz~uY;~1puutuzos~Cf fxY;£¦wxnlcX b fxn¬Vu£³neY-fxriVu1Yd{whfxncunnzwxwx£èY;nCdEndx£{fh¥wxVupY,efkuwhfhncVLn£Qf,pqps~d,-uoVctubOXY;!z~nO~FwxY;fhVu1YizluzteoYfxn£¦nXwxXfxp-fj¥4uUwxnCVunps£Ed pdèVuY;fhVu ©OY,YwhwYjfxndhnu~wxpq~Cf^Vcbin~®Y^dxzwxoY Y;~!befhdVuwxYiY£¦d{Y;fxwEY1fhn d .
(26)
(27) !"$#&%(')
(28) *". E V1Y;wh ps©zY;l1w;oqYj¥4d¯uXZnOwYb' el9YXZlLunOoqYOtu±e~1ewxYjY;!dhLpq~CnOfx~1ndgpY lu eouY¨oupwxp§nfxOoqb!wxXZnOXiXi1Y;tewèfhdhYjVu!ntuwxos~uuYjwxdknYkY;wgfhfxV1p§°1zYjf 'p~ulCub!tef zd ~Fnz£ tefhoqnOo²XZdhrCzt1fhpswhY,uwhwxncncnnzf £ nOLodhY;nwxozYfhf pntL~1d³dO;Yzwxp§~u£¦b,~unfhfV1zlLf³Y~u~un,Y;whOYjzdgfhtupoqf³Yzp~1oqoCnfhVLY;wg¤LfknVu=psdudQwx¤1nnOOzwxfhpX)~uk~u9YnOpY~Cwf ezpoCpsnOewhYjpqfhdVulcXb!d²LfxY;V1whnLf ¥ z¨wxYEz~u~uOnY f dg 9V1Y;Y; p©cpqoq~1ob l1nOtuYpqoqwhf¤1nfxn¥ eY; oEnOwxdhp§Yfx±ÎV z~=fhVunY;XY;wg¤1npooEpnz~u£´fxYnO~ªLoY;Y;wxz=fhpnfxnF~tunO~®~1z~u~CnOfxp~=pqdx1zfhfht1Yjwx=zfhwxY;Y;Fdhtuf{oqfxdn pqd^£nnO~uXiYZ1nOoqwY;XiXZY;n~Cwxf,Yi ° nO eLYjY;wxz9fhpnnp~1~Ofd whpqfhkV1Xi~uYfhpsYj^dzwxpqoY0oQwxdgYfhfhnt1wxY;wh~! iOd1wxupqw LdYjnz£~ctuoqtuXmYlLY;wxpqd,fhV'+m!fxVuoYnY;whwnO~ul9Zntudgp~1ª~Q¥ ~1ªz~ªt1uLY;w-l9ntu~L.-¥[ct1 V wxdhY$t 1=0whYjpdgYY;~C~Of³f p~fxpqnOXZ~FnOdgpd^f ;~undhf^Y;dQnOe~1fhpXzd ozfh~1w =ezYte¡JfxnVu¢4n±jw dkYèXbFnOpt1^dhXYiznz~ufhV1puYtuw^osnfx~upqYj~1d¨¨p~®nOXifxVu1YmoqY £¦ ^tefhdgtufhwxwxt1Y'¥ fxGKtuf^whYjpsd^d¥ VuGÛn~1eY;Y;Y;Y;Îw ± £¦InOiwhX1zpoqwobinz£ V1~cY;tu Xm©cpqlL~1Y;-wxd p~1udgwxfhncY;nzO£Qpsdn-£³fxVunOYXZuteVufxnzoY fhpne~0Y;dxp~CwxfhpquY;~1fhpdgnp~'Y¨nzn£49iYw enOfhXZpn~pq/~ zè~1XtL©dgpY;~ud mOdhYpwxXip§°L1;oqY;fxwpqnOu~1wxndè9YjYwhdhfhpqpY;Y;w;d ¥ whpOooÎtuoqXZYjV1Yz~Cffxfhd-pnd nzzp£¨~O~'fxYpq~ ~CwxY;fxY dgY efhwxpu~uwxY;o²dx£¦fhdgnOV1pw nz~ªf¨munOwxwh~OncYf nzzwh£QY;p~1psudèdoOfxfhVuVuYjY^Y £¦wxtulCY;~1dhb utuoqY;f;XZ~1¥èY[co~CnOt1fxdh pqV!~1o91z~'whpqnO~CpLfx~1YY;wxwgof{t1bZdhopqd;nznO±4£ ~fhpqVu~CufhY'wxY;nwhY 9 eYuwho9wxf{Y;bdxwhpsdhpqfhdpqnOVuY ~ªXZ uYYfhpsfhz0 oob0+ t1p§£ fxV1fhpqnOVu~ Yf à à ÌÓjÄJÌ13Ë ÅÛ2 ÂkéjÅ{Å^ÃxÀQÄIͳ¿Á¾ÖgÃ{¿Áà ÈÁÞÈÁÈQÈÅ4ÒÐÉzÆÑÞ Å{Ågà ÅgÀIÈÁÅ{̨¿ÁÊÌÚÃxÄ,Å{ÄJÅ{¿ÁÌÌʨÅ{ÆJçÉÃxËÒ,ÄIË Å{ÄJÊ,ݲÌjËË ÄIë¾ÄJÅ{ß1ÆÑÀ¨Ë ½QÓÆI¾Ú ÅÛÅ4¾^çqÅgÌÆÑà Å{à ̨ÌÂà Ö{Å4Å{ÓjÀ,ÄIË Ë çeÄIÂkËÅgà ÃxݲÖKÄI¾,¿ÁË;Ö4ëà ÐÌÆÑÊjÌÅÛ5Å ÄIÅÛ4Ä´é¨ÒÌà´ÀJ¿ ÐÄJÅ{¿ÁÆÑÖÛË ¿ÁÄJÌÌj¿ÁËÄIÀ^Å{̨Æ4à ¿ÁÌà À9ÊÌjÄIÊk¾ÐÅ ÄIÆѾËÌÅÛÐzà ҨÅgÂƦà ÄIÅ ÆÑ¿ÁÅgÅ Ë À,çcçà ÄI¿ÁÌ¿¾ÄJÖ{Å&¾jÈÁçqÓ4ÓÊÈÁÈÅ4Å{ÄIÊà ËèÀοÁÄIÌ¿ ¾ÄQÅà à à ÐÌjÖÛÐzÌÄIÅÛÅgÓéjà à ÆIÅ{ÈOÀ³ÀhÀIß!¿ÁÖ{ÌkÆI½³¿ÁË Ðj¾jÓÄIÅÀÆ ÈÁ¿ÁÉÆJà ƦÒß9½Q¾¿Á6À 4ÆÑÀIijÊ3Å 4Ìj¿ ÄJ¿ÁË Ì ¿ÁÀQÚ ¿ ÞÅ{Ì^ÉÒ 798Ûöï :;)û ; =ö <¿ÁÌkÄJ¾jŠݲËëkÀJÓÐÐzË Æ¦Ä4ÈÁ¿ ÉjÆJà ƦÒß O. Ü Ü Ì T+U ãUV.
(29) # #"$ %I"$ ;#"$ . . "$ # . psnd£²~ufhVuY;Y;YkenOYjtefh1£¦nOtewkfimnuOwhwEncXZn£5n+4wxOYpqOY;Y~u~Yfhw VuzYooqbiw zz~u~OY;nd OYnzwx£ Y;fhdgVufhpYXZpz~ufhupntu~ifxd;nz±u£²pq~CfhfxV1YpwxdèwxoQ~uzwxYOp§fx±VuluXZtefYfxp§fp^d{fxpqopoLoqoQpsdèOpqOY^nfhXZVuY 1zw zfhp~uluOoqYY ~1dh¼,Y;tuw;w ¥ fxncnoeXbV1Y V1~1eoY;ienXzp~1d nO~mzwxpszluoY;d lutefEnOtuw 1dgfY eLY;whpY~LY;d4nO~muwxnOwxXd oY;~1Oª09t1nOddgfxfgnm¡Ûw nO~1fxeVupqYfhwpnl9~1nd-tunz~1£kpXinO1XioqY;1XitefhY;Yj~CfhY; zo£¦tutuYj~1d¥fhpUnVu~1Y^d;¥ tuu 9YV1wkxY~«~1 0¬ onuY;whwnOl9w nzt1X ~1ud n~Cf pqzooÎp~1l9dmY^tL~«dgYj0dxdhp~YwhufhpwxnY~ ¡
(30) nOOdhdhYYwhwh¤1fhnpn~±Cenc±Y YjXZdE~uY;whnY£¦f~Yzw fxdun01fx oqn VubmY;fhfh V1n ©ZY®xfxVuluzYteotufuY=wxfhnn O9x˜Yfxwh¥ t1f{ bzooqnV1b ~ Y~p~ ±LXZz~1Y!whXZpszdhnluniwxob@YnO~QX-nO¥EwtL]Fd{pfè~ nCl9d{ fY¨nz1wx£4YwhOnfhV1pOdgYY;fhiY;uKw ~uwhR nOnzLfènOY;fh~1wgnfxdhpqY;tuYjrC~LdtueuYYwx~Cwhnfx¤1oqnb@Y; fhVunYfw fxpqf¨Vupsd,~dgfxl9YYY;wxdgY;fhrCpXtupwhfxY-Y;©C~1np§fxV!pq~ufh0VufhYVuY;YZwhwxennw XlLnOpqtu~~1n!£ ex˜YR²°1x˜fh~uV1Y;YmFe[cnOYjXZ fxpqpqnO~®~!nzu£ ¥ ux¥ XZb'~uY;Yw,lLYi~uY;Y;eYj!fhVunOtuV fxnp§£ fxpqYj¼,dtuV1wOYjdezt1~1;nzfhfhV1YjYwupY;Xips9dhnpqnOwh~fxfx~Cnf-lLnOntu~L~1dgYjrOt1fhVuYY~1Y u+ufxwxVun eYwxpqXYpdfxY;~unonOwhdxpsd zlup§£oY fhV1wxzY0fhVuoqnY; w YfhwV1~~1%fxVutuYuY 9 uYOwm fklLnOrCtut1~1zu~ed¡ l9nn~1t1x˜dh~1pszeuwxYdY-w,nppq~0~~CfhfxFY;VuwhY^Yd,o ud¨fxVunzYf£ RzzuoulutuwxtuY;n f^d enpqXnO£ tuFzosfh¥^Y;U~uYVuYjYioqt1nOY wh~1lux˜dgpqYjfhpsrCw d ztuwxzYp~%~1oqbmYYoYnpXZe~Y^Y£¦~CYnf ewxXZunzwx£ Y;o Fdxdh1pqlcnOwhncb®~1nzd e£EfhYni °LVu~uY Yj up§ fxO©cpqnOpq~ufh~%obZpwh~1d Y;udhtuwx Y;l1YdhdgYfxe~Czn'fè~Cfxwx~upY;nzzoIf o± ~cY utuzXmXZlLuY;owxEY d;¥G &!¼,&~F& fhVud{f Yiz~1nzfx1VuzYw w^V1dhpq~u~1OÎoqY±²lLnOnOwtue~1nutud^l1nOoqY~ ux˜wxY;whpdhYmpnwx~zfh~cpntu~1XmlLod¨Y;wxd p§ fx¥ V=0OYwxbopXipqfhYj®1whYjpsdgpn~¦£¦nw XZY;~O¬f nOfxXipqnOXZ~nOn~ £ pqfx~CVufxYYwxuuo p§fxpqwhnOpq~fhV1nOXiLYY;fhwxpszfhnw n~1£¦nOdhwkpu-Yw fxd-wxOenOpq~cfhpnY ~1 ªdhoÎtupq~Cl1fhdhY;Ywhfxdino²£ whRpqfh¥ªV1Xi¬YnOfh~1ps dgYjoqrCplutuw Yz~Cwxfhbobp± d,fx+ VuY'pqXZuoY¡ XU V1Ybmwx~uY nz5fzz~1wx wxb4Y~uenOYtu~unVfhYè1fhwhV1Yjzf4psdgnO[˜panL,~iY;b]wx£¦zn+fhw pn[˜c~1,d d]dgVu=znO~Ltu[5(˜ o sl9aY+wxncfx˜tun-),~Ll94(eYkY; Yb ufx+On d)]. obZwx d{fx−∞ z¥9~1GK f+∞ ¥ Y¨UwxY;V1OYdgl9nO~mntu~LVcub d h f n x w ; Y Î s p d x f u V fxVuY GÛf{~ nOnitunOwL;Y;wxdhzY;fhd;p±ndg~1tLd VwhY^whnOwhtunO~1tue~1pe~uYjnOdhni~1dhfha˜pV1e+zY;fwxc˜zfhfhVupnY~1wxdY;˜bdh+tuwhoqYdfh˜p~1~unzZfèpq~u~CYjfxYYjwxdhdxzoÎwxYb ~1+ÎfhoqVunCdgY¨YjV1dzzw oeoQLznCwxdhYdh¡KplupqXZoqY uoYzXZotuYYj~Cdfx¥ Y; pOXuefxpqfhpqnOpn~~ n£ fxpVudYn~1udhupsp§efxYpqnOwx~Y;0nOO~dfx-VuY ~uY;°1 Yos'Y unzO£4 fhfVunY9wxYY;w o²fhp~Cnt1~X-l9p§YfxVw d¥wxY;Udh9V1Y;z fkf Xifhn YjzF~1d ~1fxV10~1fknzpqf£ dfhVuYuuwxn C¡ ~1 y˜ ∈ [˜c, d]˜ fhV1Y~ x y ∈ [˜a c˜, ˜b d]˜ x ˜ ∈ [˜ a, ˜b] wfxxGÛ~LVunt1eY~1YwxYjenÎptu~u±~11fhu¥EV1pq~u¬Y®in~1XZzdhoneY;turCeY;tudYY;±ea˜~CfxfhVuoYb~ ±Oc˜dhpz~1~1Yfx˜bzVu~1Y, Odu˜epqfhoqwxpnY;~OzewxY^b«fhpsoVudèpqY=Yl9pqXZ~ ntunOF~u~L±nzufxdfhnVu¥ ~uY;nOwhY®t1d pd£¦tu~u~1n fhp~unY;~0Y;n£ £¦FnOw→~ FuuV1p§zfxfhpqnOYO~1Yzw o ˜. ˜. ˜. ˜. 2. ˜b d˜. a ˜ c˜. U V1YwxY0pdm¥ ~u n~1YY;ªfhnf z©OY0pq~Ld{fxY;[˜ a, Lb]nCdhdhpq[˜l1c,oqbªd]e=pq¢9[˜Y;awhY;~Cfmc˜,zb~1 d].~un~e¡KnufhpXZoèzotuYjd 5(˜a + c˜) ~1 ˜ 4(˜b + d) ¬ O n 1 ~ £¦psd^nOwn¬tuw-dguYjwhrCnoqtupy{luYY;w ~Czf;fhwxo¥ bb0± fhfxVLVuYYf XZVuznOnOodhoqdgnYif4kfhnOdVuXZYfxnXi dhncnOL~unOYjdgobfpq£¦t11b'dgYjfhwxVuY-Xip~Cf{YfhbCfhY9Y;wxwhY;p6d^zL;oezzlu~Lwxoq!YipqfhVufhp~OVuXZfxYiYYwxfxzpwxzp§fxoEoVupqluzXZwxw pqzYfhwxfxVuppY;XZdQfhY n0fxpYZl9wxY Ymop~ulutLnzwxdgfYjwh!zbNupq~114 Fdgwh7KfhnO¥YjuwhUFpsV1fxnpYd £ l9Yp~uZopqXZpqfhY;'fxnzwxp§fxVuXZYfhps n~ R ¥ ½Q¾¿ÁÀQÆÑÅgÀIÓÈ Ä³¿ÁÀQÚ ¿ ÞÅgÌ,É Ò 7 ð;)ù ;j÷ ü õ :;)û ; =ö <çqË Æ³Ú Å{ÌÅ{ÆÑ¿ÁÖ ËÃxÄJ¿ÁÌjÚÐË ¿ÁÌijÌ;Ój ÉzÅ{ÆIÀgß ˜. ˜. ˜. ˜. æ¦Ô4ÜQæ´Õ.
(31)
(32)
(33) ! #"$ &%'#)( *"+%' ! "$, -../01 % . ?.
(34) . xwUªY;V1dhutuY=p§¢²oqfnYfhwxVuY~1Y;~1w'YfxVuwhl9YpqfhYVuf{nO XZXiYYY1fh~ teps®fhfxYjVuu0YwxnY9z coYtu9whYf{Y;b ¥Efh¯4fhYjV1p ~uzpqf'fhwhY YjnOdgututuwxoqwfY;fhpsncdh~1pqnnO@o ~0ufhnzVuwx£4nY%~CYjt1ndXiXZpY;duwhpstufx¨fhVuY;Yª nXZep§u¢²teoqYtuf wxYOY¥~LfxpqnOY®[e~1t1d l9 pYV df{ oepqY©Opq¢9Y;Y~ oY;biwhY;fxfh~1VunZY=Yjpq~Ld0Y e ut1p oqYf o 1XZwhYjnOz~uwxpY;~udxzdgp£¦t1Y;oIoq¥ bilutupotu!z~1pqfpsd~uYjY;dxdxzwxbm£¦nOw fhVuY t1dhYwfxniYwhfhpq£¦bfhV1zffhVuYnXZutefxY;whYjdgtuoqfpd zfè~1 fx VufxY,nVut1Ydxwx~1zYèXZu dEYknnOfxtu~pqXZos YOzV1¥otu& OY;dYE lLzV0~1Y;Y~mY;wh~uwhpswxzYnªluw odYknOzL wxY;nYkwxtuzrCosfhtunpqw fhV1dÎY,pOdh~1pYkdhXiul9ppqYoswxzY;Ywè~lCwh~1Y;b upwh~C YjfhdgY¨YY;wx~CnOfhzY;tuocZozZwxlcp§VLbifxVu£¦XZnYkt1YewfxYjp~cEtupsfheXmV1Y;zlLZf Y;fx wxnd nV1tu´f{os ~1nenOow YXZz~ufhuVuOteY;Y;fhX d Y fxnOVu~Ywxfx¯1YVunY;zwidhwxYiYY urCdgzt1pqXZfht1wguzfxofhYYpf n±4d~1fh¥V1d[cYt1YV1 wxV%YwxwxnY wdhwxw t1Yz1 ~uV!whOYjZYdgY;dg£¦~Onpf XZw-ufxfhpqoqVunOpsY'~Fpqf{Y b enOu tuwxnoY;®t1dxdhoV1pqnO~lLYYmwxY;p√dgfhY;wx~®ps fhdgpV1nYOwh¥ fhYnOw^tuuowxncl9nz£èY'dxY;wxdhpqepoqf b d¥ nO8¨Xin1teY;fhYjY; w lcb'fhV1pd^£¦XZnw^YfxzVu~cneb αÎlu4;5 te&f^7J±²fhVuzYZ~L'enOfhVuXZpsdpqfx~®pqOnzVO£Ef,fxpqVu~CYmfhY;wxwhY;dhtuoQoqf,X bntul9osFY-x/~unuf;wx¥BY;1GÛ+n~1~1exeY;Y;pqfhpnfh~'VuYi£¦nOwhw¨Yjzdgt1~uo§nf^fhVupd^Y;wkp~F1zfhVuwhf¨Yinw £4z~ufxVuOYY [−1, 1] neoq;Ontuwxwxp§whfxY;Vu~1X!Yi¥Î\Enz£ Yfjfh±xV1pY~CfhdhYwxXZzYioezwxpqwhfhpsVuzXZluoYYZfxppq~%psd fxVut1YdgtLY z eouoqbwxY;~udxndgpf n~%luooY;Yfx1n,d^bcfhpYnosmz~%dht1n ViY;,whYjdhd{XfxpqXzooCzpfh~Cpnfh~®Y;whnz£o fx+QVuXmYtuwxo§Y;fxdhpq1tuoqo§Yf tLdgt1GÛ~CoqofhbY;wh;zoo³oqYjzwxp§efxVuYjXZnOYwhfxwxpY ospsfxdpqnOtu~Q~1¥ luoY fhnZ©Y;Y'fhw ©0n£ fxVuYwxYosfhpn~LdlLYf{Y;Y~Fdgt1le¡JY euwhYjdhdhpn~1dz~L p √ p Z d h d Y Y @ ~ m d § p ^ £ § p Z f O d x/ 1 + x x/ 1 + y ~1psdZY;p~«YjdhdxfxzVuwxYFpoqbwxfx~uVuYkY dxzXZY√zotuY¥ ¥è¬[Cnfx~L~1dgYjurOt1wx«Y~Cfhpq~Cobfh±zY;whp~Z±èfhokV1p§fxpzdèV wxp§Y fxy uVuzXZV1XZYucfhpsop'Y~u±zFpq£ fhpqxoV1oY'psfhdEV1dxpzY~Z~XZfhYVuzY~1udhw n zX~uYzwmOpY ~«fhV1[0,zdf2]xfh± Vu√Y!lute1fZ+Vu~unOxnzoqYf Y e~uunzwhfxYjVudhYdhw pn1~!wgpf d,nzp~ £Qfx[0,[1,VuY2]◦(zo÷n5)][1,wxpqfhVu◦(X √5)]nOtuo=Y[0, e92]Y; ¥¨fjU¥è[CVufxpsdk~1p~OufxYwxwxzp~Co³fhpsY;d,wh~uzno²dhztuwxl1pqfhdhVuYXZf,nY£fxpfh^VuYm~uwx~u~unf Y l9[−1, On d 1] , Y L t g d j Y h f oqps¬unOfx~1Y^dgYjfhVurCtuYYe~CnOfhXob±czppqf~XZn£ fxbVul9pdY Y u ewxuYwh£¦YjYdhw dhzpl1noq~Y¨£¦n~1w'lLVcnOtutuX~1uzd~'pq~C~1fh0Y;wxY;Owhwxfxnpqw nOdE~1pswhdnc~unz£ÑYdYjefxnmY;'l9Yp~1dgdgY;fh1Y;OzÎw ¥ fxY;0dhn-fxV1f pqVc£tunOXtuw,~fhncp~Cnfho Ypsw d ~ufhnzpnf~1zdluOoYmdfhX-n!t1u wxVFnYd9nO~unOdxYmdhpqnlu£èoYfx¥VuYX pqfXb!dgfhpoolLYZt1dhY;£¦nw^fhVuYZnfhVuY;w^nO~uYioqpXZp§fxpq~u 0 º $ ¶F¶ º Y;wxUnwhV1wxt1nYF~1w edXip~u4nC?Kd{7Kf¥Y;wh|kwxnnl1XZw dhXZneotencnY;fx~uYd^ob ~uYwxnY;wh~1fnOw,enOYpstud 9~CYt1fh~1Ydh=wxYY;£¦tu@noE~=©cfhpq~LV1pqfh@YiV%Xn ° £^ eYjY;wh®~uwxpqnfh9t1wZnupwx~CYiYfunwx£èY;whfxdhpqVufhYV1~CYXif YnfhfhpXZnps~Luditudgpfh~1Y;wh=YFYmfxzVul1oYZtudgnOYXoq¥ tuzfhGKYFf~1Xzp§fx~1t1 beYZwxzYnzososdg£ n'fxfhpqlLVuOYYY tLwxY;dgdhYtu£¦tuoqfxo²dkdgp§fxfxV0b'¤1nConOdhfhYp~unw9npqpfh~CV®fdhtuwhpqlufh~1V1nXiwxYXZfhpskoÎ~ctuVuX-Y;~l9Ymw dgd tu¦plu~1fhw oqt1 fxupqpqnO~u~ LY;~1whnY; o¥d;±CkYosVuYfh~pfxYVuY;Y^whwxY n ew LdnO~uY~!~Cf lLdèYn£QtLfhdgYjVu Y p~Fz|¨oo²l1fhdgVunOYoqtunfhfhYVuYY;wxwkwxnO w dgYjd¥ psdkfhfxO VuY;fhnZzwxpluoY lcb0YjrCt1zop§f{b η x 2. 2. 2. 2. x. kY poqo9~unfeY°L~uYfhV1Y¨l9YV1cpnwnz£Qoqo1fhVuY,pqXZuoYXZY~CfxY;Zn9Yw fxnw ddE£¦nwx wxmYwxwhnOwEz~1oqbedhpdEpd OYxw bmnXZXZn~Q¥ |¨dz~ZY uzXZuoY±CVuY;whYpsdfxVuY£¦nwxX-t1o Opqcp~ufhV1Y¨zl1dhnotefxYYwxwhnOw £¦nwEfxVuY¨Ouepqfhpn~Q¥ ½Q¾¿ÁÀQÊ3Å 4Ì¿ ÄI¿ÁË Ì^¿ÁÀQÚ ¿ ÞÅ{Ì ¿ÁÌ^ݲË;ëkÉÒ 798Ûöï
(35) :j÷ û ù;Øzà ÌÊ É Ò 798Ûöï õ ý ýûxýçqË ÆÎÀIÒ;ÂÂÅÛÄJÆÑ¿ÁÖ ¿ÁÌÄJÅ{Æ¦Þ Ã Èsß x=x ˜ + ηx .. Ü Ü Ì T+U ãUV.
(36) # #"$ %I"$ ;#"$ J. pd fxVuYwhnOtu~1ep~uZYwxwxnwlLYf{Y;Y~fhVuYY u fwxY;dhtuoqfn£ x˜ + y˜ z~LpqfxdknXZutefxY;'zotuY. η0. "$ # x˜ y˜. ¥. z − z˜ = (x + y) − (˜ x y˜). = (x + y) − (˜ x + y˜ − η0 ) = (x − x ˜) + (y − y˜) + η0 = ηx + ηy + η0 .. x ¥ ~1 UYEVuyY ps cd fxzY~1pq~C~1 fh^Y;wxwhfxY;VudhYELo eYjpsY d fx°Lpq~uOpp§YfxoY;pqbªnO~~ Ylc~1fhbFnoqpfhnC~CVudgfhYYiYwxuηwxznoz9zl9~LYnwh t1fhp~1Y;ηud^d;¥ nz¥ £èGÛGÛ~Cfh~CVufhfxY;YZYwhwxtuz~1oso ud YAAwxoqbczpY;~u~1~1' oAnOwhdhpqY;fhdZV1whXizYoYofhfh9psfxzOnO¥- dxVudg¯1pY;nlu,w^oY'fh° n eY;oq=tuwhYjps9zdinlu£¦po~OnY;fwd η nL;Y£whwxpqfhz˜nmV1¥0pqXi£4¼,YfhtufhVupsw^Y z±9fhfxncVup§f nOYo nOpsd,whuY;0YX fhYjnpdkf ~1ddgfxYzwxte~Cpqfx°1f,nY;pX0~Ofx£¦Ynfxwxpw¨;zzooJoqoqo¥¨b®¯u[CnOzfxw¨~LYwx¤1lLnCY;~<fx4 L%pqC ~u Jed±u LnO7KnO~1¥ pqe~Cpqf^fhpnwh~1pqd fhV1Xi~1Y®fhps1zwh±²npqOf^Y;ed¨Y;fhLV1Y;z~1f uAd^n~Fpd fxVuYjrCY-t1zo4oqtufhnY x ˜ y˜ x. x. y. y. 0. 0. 0. p ~CwhfhpqfhY; V1whXinzt1YoQ~1fhpsu'whdpqfh V1nOO~XidZYfhpsY^oqwxtubªYjdp§ofxpqV'nzXZ£pqwxfhn[cY;t1YjQ~1¥ fhepnY;GK~f0npudZ;¥ 5!Y;~1whnzYj fd{YfxwxpqfhXYFV1Y!z~ufhnz;pnf0~1dhwxY'd;Y;¥ £¦now~CYt1wxX-wxnl9wZYw pqd0~CfxzY~1wx@ofxdZVuYF~1u wxY;psY!dhpqt1nO~@dhY; n£ pnO~CXZfhY;XiwhnOz~ o ¶ $Ñe ¶¶ j º wxY1YFwhYjndg~1Y;oq~Ob«f fxnpq~1nOdh~psenzY£ wZfxVuwxYpdkosYfhwxpwhnOY!wY;pwhd wxnw V1Y~ x z~1 lux˜tef^V1z~uYnfhfhVuV1Y;YwkdhLnCXidhdhYFpludhoqpqYO~QnO~u¥ Y Upd VuY!XZnOdgfnOXiXZnO~ x ˜ = x × (1 + ) x = x˜ × (1 + ) 465j&7J¥ nO9~unYp~CGÛwx~fEYlLunYwxw f{Y;edhY;YY;w,~CYf fx~iznFf{lu dgoY;Y n^oqYj~Cwx t1Yf1X-nwhl9Yj~1YdgYiY;w ~Onf £èoznOfxludhVuoY;Y Y;dgdhfYZfhoqnf{t1Y;xn'd ´fwx¥ hYV1vEuYwxwxwxY;nY-dhCYpspsdk~CefxYjt1z-dhfht1p nzY~1ood;bz±ÎwxnOYoY~udhfoqt$b't1=0dn~1pYYn~C~1x˜fxdhoqpb-uzY£Ñozw tuwYfh£¦V1wxtuY0n~1XoqYjdhfxdhdVuYiYkxtupsVu~Ld¨YewxYY whXZ¤1x˜npscpsd¡ fxVuwxY;dhVunosα z~L u u u u − ≤ − ≤ ≤ ≤ ηz ∈ A z ⊆ A x + A y + A 0. . . 1. 2 u − 2. 2+u u ≤ − 2(1 + u). 2. 1. ≤ 2. ≤. 2+u u 2. ≤. 2 u . 2. 9lwxnnV1t1t1Y~1~1wxeY p~uupsmdipsd Y;pqXZwhfhwxVu9nYwjn¥whufxp§z¢²~CYfiwxYlL~1YjY zlLtLYdgf{Y'p§Y;fZY~psdm1tLdgYj~1«0fxVu£´fxY Ywi~uY Y; cOfk V«wxYnu9wxY;Ydhw Y~Cfxpqf nOz~ luofhYkn%¤1nCpq~Lfxnpq~uwx9in9w npfh~OY0fkfh~cVutuYFXmlL1Y;ew;p§¥fxpqUnO~1Vuzpsd o ½Q¾¿ÁÀ ÆÑÅ{ÀJÓÈ Ä ¿ÁÀ Ú ¿ ÞÅ{Ì ¿ÁÌ ÄI¾Å@Ú ÅgÌjÅgÆIà È'Ögà ÀIÅ ÉÒ 7 ð;)ù ;j÷ õ ý ýûxý7à ÌÊçË Æ ËÃxÄJ¿ÁÌjÚ7ÐzË ¿ÁÌÄ Ì;ÓÂÉzÅgÆÑÀ ÉÒ 7 ð;ù);j÷ ü õ õ ý ýûxýà ÌÊ7 ð;ù);j÷ õ
(37) hï ü õ õ ý ýûxýÊÅ{ÐzÅgÌjÊ¿ÁÌÚË Ìkͳ¾ÅÛÄJ¾Å{Æ ×ÄIÅ{ÆIÉzÅ{Ì ê À Ö{Ë ÌÊj¿ ÄJ¿ÁË ÌÀQË Ì¨ÅÛéjÐzË ÌÅ{ÌÄJÀ à ÆIÅ Þ½QÅ{¾ÆÑ¿ ¿Á4ÀQÅ{ÊÊC3Å ß 4Ì¿ ÄI¿ÁË Ì^¿ÁÀQÚ ¿ ÞÅ{Ì ÉÒ 798Ûöï ýõ ù
(38) ïß . . æ¦Ô4ÜQæ´Õ.
(39) .
(40)
(41) ! #"$ &%'#)( *"+%' ! "$, -../01 %. n pq£ x˜ psd fhVuYdhXzooqYjd{f9nOdhp§fxpqOY ~unwxXzop;L;Y;~Ct1X-l9Ywj±. u 2 u − 2 −. ≤ − ≤. u 2+u u − 2. ≤ 1. ≤. ≤ 2. ≤. u 2−u u 2. 6≤ ≤. u 2 u . 2. ~1. Y un~1zXZ|,dhY;durCotuY Y;~COnfhd ~1ob0£¦noqnwxtL ~udgponbwx~ZfxVut1YYdhwxpqwx~1Y n e w9xzn~1~u=Y;oq~Ox˜befkdh×pnd(1£ psxd˜+~uY;Y;whY;b0)uOdnpqfhOXZnY;dEXZl9Yn~Qwx Vu¥~uY;¯u nY©OwY;ÎfxzVu¥opsYZ¼,X-~1n~0t1Yo§fxzzpqouo1Oo~1pspqn~³wxfx±eXZpqnO~ Y oqp6LuYjwxinc~Cpt1eX-Y l9nO~uY±ew oqp§bdè£ zn~L~ups Yd z =x×y z˜ oqbedè~1nwxXZoq6p LYjαcfhV1YwhY;ozfhpY^YwxwhnOw ,p,d + x. . x×y x ˜ y˜ x×y (1 + 0 ) = x ˜ × y˜ = (1 + x )(1 + y )(1 + 0 ).. z z˜. =. 1 ~1whnO L¼,Y;~1wgfx¥pqY-Yj³d zYCf¨nzz£èpp~C~QfxfhVu±uY;Y whYzwho pqfhfhRVufxXZ YYVF~1fhpspi~CoqnCfhY;dg~1Y wh%fxzVuosdYYZRV1zotuOzYY~Lndg£4Y;RYfx~%VuYfhfhV1n0wxYzwxosfY;fxdhpqpq9~%OY;Yfx VufxYpqY0wxOwhYnOnOw XizwxXZp¥InOluGK~%fxoqdkYj;d w zxdh~1Y;d ~1Ynz £ eY;y¤1LnCY;Y;~1~1fhupo~udknO!dhnOpq~u~!9nfhpVu~OYf whpqfhV1XiYfhps^whnOtu~1ep~uifhnZ~uYjzwxY;dgf;±epqfkpd [−u/2, u/2] ~10°L~1zooqb x. y. y. 0. x. 0. Ot1z¨|w zoq~CoèfxfhYVuYkYfxV1nfhVufkY;~1w-n0OdgYjdhd^Y^V1whYZdV1l9Y~1Y;~eo£¦Y;nO%whOp~ªnzfhfhnYtu~'wnopqwl1pwx~1whubO¥uwxnub=wxpt1zdhfhpqY;~uoqFbZV1te~1fhnOeXZoY;zÎfh¥ psZuwxnCn£ VuYj ©Y;wxd;±ÎY º = %e º $ ¶ 4» ¶ $Ñe ¶®¶ º wxUYwhV1osYiYfxwxopqpqY ~uOYX©OY;Y=wxbwhlcnOl9bwkYkO~FdgYjlLd Y-VunYXZ±QwxYpqu£ lLtenfxY;fhpVdz~=~i~1Fpp~O~CfxfhY;YYwgwxwxfxp§zz°Loo Y;A'Y~L£¦£¦nnOow,w nOdhfhpqVu~uYk pl1Y;±Q~'dgnOfhoqVutuY;fhwh~ YpszYluwxowhY nOxw¥^z~1ps[cdipq~Lzzos~ZdgYn!pfx~OzVufx~%YYwxf{p~O zfxn0o YRwxpq~Cz£¦fxno YwEwxfhVLfhVuoYfd Y;~1onOdhY;d¨fhV1YiwxYηosfx=pqOY-x˜Y;whwxnwj±9I~1 R × I Y~LonOdhY;d¨fhVuYzlLx˜dgnOoqtefxYmY;Awhwxn÷wj¥I [cn'dgfxwgfxpq~1£¦wxnX A z~1 ±e Yz~!lut1pqosf{nZdgYjrCtuY~1Y;dn£4p~CfhYwxzosd¥ R z ∈ Rz ⊆ (1 + Rx )(1 + Ry )(1 + R0 ) − 1.. . . . x. . . x. . A0 = A R0 = R. and and. An+1 = An ∩ (Rn × I) Rn+1 = Rn ∩ (An ÷ I). dxz£´fhwxY;p[cew tLfk V nO!tu~1oswh Yjl9dgtuY;oqf¥ nXZ [en1nYtu±1Vcospq£%tuOlL~uYnnz¥fhf-V ¯ul9nYwhfht1t1~1~1dhY £¦fxtuYoobp§z±u£kwxpqY!f,onzf-z~FponlL£ luY-pqofhuYY;±ewhwxn9zOfhnOY;pdxndg~1plufhdV1ob0zfkY;fhpwhfhYZV1VCY-~ufxYYjdgwkYjY;rCpdx~CtudxfhYzY~1wxwxbY;±³zdkosdhdkpq~LwhYY~!dgfxfxY;VuzfhY0dhpnpuoq~1bwxnclLwhnzbY £ A R nXZuteAfxY;Î¥ R ½Q¾¿ÁÀQÆÑÅgÀIÓÈ Ä³¿ÁÀQÚ ¿ ÞÅgÌ,ÉÒ 7 ,;;ùxï ýõ ù
(42) ï¿ÁÌkÄI¾ÅÚ Å{ÌÅ{ÆJà ÈuÖgà ÀJÅ ß 1. Ü Ü Ì T+U ãUV. 1.
(43) .
(44) j. # #"$ %I"$ ;#"$ . 5. . "$ # . * %(' . .*"). . qpn¼,f-£t1nOfxw~uVufhoqY;b ncdhYneofxYjVudhY;Y~uwhnOpwhYlLY;w YjXZdfxd;Y;¥dV1=GÛz~Lf-¬eYYneYjor%Y%XZdhfhYVuwh~CYjpf edgzYf-wxb£ÑnO£ £Ñ fxf VudfxY0dmzwxudgYwxVuncnOunztuwx£{nos¥ Cps[celLt1YjY ®V lcub%uoupqYjwhÎncwh± npn£p§tLfidxd ewxoqncpqpuluY;dfmw z~1ewxpqnzncYjf-Y;d d-+u~uwxfxnVunzcf-YpnOuowhpYmY;XY0fxVudlcYb®n1~ pqwhfxncdhwxYY;nzoqz£Ñ£5d o+ ~c9tunXmp~Cf,lLY;zwxwxdpqfhVuwhXZpqfhV1YfxXip! Yfh4 ps& 7KI¥ ´fxGKVuf,Y,z¬osdhnen0r-edgYfx9zY~L~1u1zdkw n~opql10wxoqpwhlub w z±Owxdgb9Y;zl9p§n°Lte;f,fxpqpq~CnOfh~iY;wh~1io³zl1wxp§dhfxpVu XZuYwxfxnp9Ywh~1fhp!Y;d pqfxnd£L¤L¤LnOnOfxfxpqpq~1~1 9Y unzp~CXZfkuY o cYfh±ÎY;p~1~=dhpqnOnOwx~1edY;w^ fhYn'et1YOdgYZYonp~C9fhY;Y!wxdgznZofxzV1wxpqfhf,VuXZY;Y fxV'pm£¦Y;nO~uw,Yw fxVufxYY;uuuwxp§nCfxnpqnO£ ~Q±ÎnfhtuV1os!pdl9Y nXZ£¦nLwxXZnCdgpqfhoqopbn~=OYuwxwxp§n°L9Y;YÎwh¥ f{bF¯unpwd ~1YY;uY;6 + pq£ a˜ ≤ ˜b ~1 c˜ ≤ d.˜ a ˜ c˜ ≤ ˜b d˜. no~d¼,pfx~!~ whpncfxtuVupwYouofxnpqVul1fhYwxVunOY;whwhwbOY;XZ±cV1dè~1~1oqÎp©±kt1Y dgnO[CYjtufh'wY;whlCfhl9bncYnO+~ no,L%tupswdEd0fxn~unC~1nOnY,foI¥ z wxY¨Lzowhdhfn-dgnzfx£mfx¬Y;neS r«4 17K±cwhnOY cw fhzY;~1X eY;~1fhnpq¤Lf'nOfx~pq~1zosLdgnªnOpq~Cl9f Y®pq~CtLfhdgY;Yjwg ¡ 1whpqnfhVcp~unzfx'VuYw ~1%uwxunwxnCYnw dè£ dhdxt1wx pqVufhOp d~u!8 ¼pq~ vP³O pqO[²VC¥ fU nnFw uPv wxO Y;dh[0YwxpqYfhVfxVuvEY0whncp~1ne£ QY;LpqfhY;Y ~1,e1YO~L ©Ynz£YnfxV1t1w ffhdhnctunuoJ±³9 nwhYfxdel1nF~uf nzV f tL|dg1Yzze~cfxpqb~ufxY;n Vutu~1w,pfhrCnctunOYo³dhfxLnYjnpqfh°LVu^Y;w,fhnZuwxnOn~uYY;wxudkwxnpqYoo wndht1~u ob!VFlLYZd fx0OXfxp;fhdfhY;zw,~1n!£zdgtubcfh~CnfxX zfhps,d^1dgncwhncnnz~£ Oed¨YOopYluowxnuwhXZpY;Y;dk~O£¦f ndw ¥ nXZ uteYZfxlLYwkY;~uYwh°upqfhfVuXZ£¦wxnYXfhps^fxVuwhYiY£Ñzf posnOztuluw^oY,fhncnO~'no ps~cd b~unzzfoqfhY;wh~11zzfhwhY f unzwx£ n~cY;bFw;¥ uwhnOYw^z~1%nO~1dgYjrCtuY~Cfhob!fhVLfp§f uOnCf Yjd¨d¨~1d^nzf z~®~uYnYjw Ffhon'Y-l9~1YmuwxnnOXZYjuÎte¥fh¯uYjd¨nOw,l9YY £¦ enOwhXZY;V1uzoqYO~L±²'fhVuVuYYZ~%dgt1uX wxnCp~ufxVuYiuwhznO~LLFY;wguf{wxb nCa˜pse≤Yjd˜bfhVupscd^˜±²~cfxtuVuX-Yml9fhYncw nosd fxp~ nnfxVuw eYZYuw wxfxnCnFn£èu wxVunY; Ym©OfhYVuwjY¥-¬uwxnn~19dhYY;whrCf{tubY;± ~Op§fxfoqbOnO±²~ufhob®VuYZV1 OVud^Yjfh nF©Yw Y;ewhpqnc£¦bFY;d^dfx˜~uV1=nf^f ˜bVLc˜d YufxnwxnY c epeuYjoqps®pqfhlcob®b®fhVunYZXZfxunCtenOfxoEY ps˜d b fhVudcY˜˜ oqnCdgYjd{f ¦pqfhV!whYjdg9Y;ffhnifhVuYwxnt1~1ep~umXZneeYn£ è¤1nOzfhp~uZdL˜nOpq~Cf~ctuX-l9Ywfxn ˜b + c˜±uz~1fhV1Y~ fxfx9VuV1nYip~Cf fhfnca˜nn≤9oYOdw ˜d^¥ fhp ~®nn~LnOfhdVFwxOnp§o9fxYmVYw fxVufxnOYpqpnOp1w~1d¨dkV1z;wxzpqc~FnOpt1~ul9d0Ymwxfxnen!tunO~1pq~uXZuYpqu~ulcoLbYXZ¥ fxVuY~CY-fY ep~®pdgfhfxpVu~uY ¬VuY;ne r0©OY¤Lw,nOfx~1pq=~uuLwhnnOOpq~CYmf¨ooqpqo4l1fhwxV1YmwhbO¤L¥ nO ,dgfxppq~u~1 p~CfhY;Uwh~1VupsnzdoL£ nOdh~noteefhbCpqp~Cnfhe~Y;pswhk 1~cnwhtuYwxfh©eXmY;dk«lL°LY;wx~ud d Y-z£¦~1nO0w^fhfhVuVuYY;b0¥«1z¨wxeY¨p§fxeupqpnOwx @~=nc!pu~1¤1Y;FnCZfxlcfxVupqbZYm~u=fhXmVuLtuY^nOoqofhpqpqp~Cluufw oqzps~cwxztubfhX-¥ pn',l9~ YbOw diud^pzdg¨wxtLY~C t1V®eX-bCnl99eYYw psw dfx~cpqwhtunOY,~1Xm1d^lLzzY;pwxwxwxYdd (m, e) ~c~1tuXmlLnOY;tuwxw doqpuZlun'w z~1wxnzbFfwhY;Y;oqp~uY;Yd,w nz~=oobFfhV1uY;whmdhneYe¥×tL8¨2YnebOY;OeY;w,psmX~ctufxXmVuYlLXY;wxzd;fh¥ps¬zon~LedgpcYjprOdht1pnY~=~Cfhob!~1%fhVudhYjrCdgt1YnOwhLYmY;whwxncznzfhf nOwxnzd^£ne~%bOOwxeY;zps o ~c¯1tunwhXmfhtulL~LY;wxdfhY;;oqzb0~ufh~1VunzYjfdgY lLnY09uYpqw wxY;fxpqfhnOo~1bdt1dhY;~'=l9nY~ªwxeYbOY;OwgefxpsY;-~ctuXmVuYlL~!Y;wxwxdntu~1~1u=pq~ufhmVuYfhnu~1wxncY;nzz£Ñwxd Y;dgf;¥~u¯1~unnwf Y wx uYobXinO1~®oqYO±fxVuYX!¥ pq¢ ˜b × c˜ pdoqnCdgY;w£¦wxnX a˜ fxV1z~ ˜b × c˜ z~1 ˜b × c˜ c˜ = ◦(˜ a ÷ ˜b) V1YwxY c˜ ~1 c˜ whY,fhV1Y ¤1nOzfhp~uZLnOpq~Cf~ctuX-l9Yw dwxY;dhLYj fhpY;oqb y{tLd{fkl9YonN~1my{t1d{f¨lLnOY c˜¥ î½Qï ¾ï ¿Áð1À ñ¦Ðjò ÆIòxË ýÐzõÅ{÷xÆÑõ Ä´
(45) Ò-ý ¿ÁgÀ4î1ÞôöÅ{ÆÑ8 ¿
(46) x4öÅ{õ ÊmïuÉô¦ûxÒ ý ÄI¾ò ÅÉz; Ëö;Ëû ÈÁÅhò à ÌýjûçqÓûxÌü9þÖÛÄI8{¿ÁïË õÌiò;ßõ
(47) )ù ;
(48) ïõ õ õxö ù û÷xõ÷hï^çqË Æ4ÆÑË ÓÌÊj¿ÁÌÚ,ÄIË^ÌÅgà ÆÑÅ{ÀIÄèà ÌÊ ÄJ¿ÁÅÛà´ÉÆÑÅgà Ï;¿ÁÌjÚÄJËÅÛÞÅ{ÌCß
(49) . . e. 2. −. −. . . +. +. . . . . æ¦Ô4ÜQæ´Õ.
(50)
(51)
(52) ! #"$ &%'#)( *"+%' ! "$, -../01 %. 5A5. pq fkYwhpsfxd& zwxpq~uoswxdgnonibwi£¦wxlLtuY;nOoeoqtubt1~11uY;zddZw uzzXZwxwxY;YYfhpdhYopwxdhnp6n®~QL;z±ewxl1Yluoq1tuYOwhf¥ Yj]FfhdgVuY;~OnOYfxwhdhY;Y;p§ªnfxt1nOYwj~@fx±CpqnOe~bCYpsedeYjpsdh0Yps~1e~cdhY;tupql1XmoqfhY lLniY;p~'wx£¦tudmwxwh£¦YfhwxV1CnzYX wkw ZofxpqfhXZVun0YpqfkonpuluXZwxwxY;XZwhpsnbOdh~'pq¥«nO~u¼,w ntu£³wfxfhpV1eYY;Y;dYpdhwxzpqwh~LnOnO~ w fxl9nVu£ nYt1fxVu~1~cYutud;XmY¥wxlLwx[enY;pqwwx~1dlLYtLnOdgtunYj~1tu!uw d¨pqfx~'nCnOfhwxV1o²nY-kpdduXmwxnct1nnz~C £Vfxpq~c£ÑdOt1d{XmfxoqYot1bw ¥èfhVFVL[czn0d~!u9znCnO~cYjdxb0ddgpfhzluV1teoY Yfx¥nfhXp XiY-p§fxfxpVu~u,nYutuYjwxef,ncY;znz~c£4bfh nV1dhY;pOXi Y©wx1Y;p§£¦oqw;pqb±C°LpqY;f zOfxfh whpV'npY;~Qdgd fx±1fxzfhnfhVuYY-dgXZpXZoqY;Y;~O~uufkzoqpqfx£¦nVb £ fxVuY¯1dxnw wxpqeY ufkzOXZd ufhVuoYY±²u wxYmncnzX£4b!ncY;wxd Yunos~³¥ Y osY;zwhwxwxnY;w,wwxl1te~ufkYjd,YwhOfhd¨pq£¦bconpq~1~1'ipqOfkdkpsdèfxVu£ÑYObd{fxYwxYwkXOdmpqdm~%×dgX·22zoolCYeb w,pfhdmdV1Z~·dhXZ2fhV1YioqoeYnO×w~uY;2nd¨~1fhdgV1fxYm£¦~Onfxfjncw ¥n¼,o4fht1wxpwpqYjYfhd,nc~ fhnn'koÎ¥Y;u~uwhUonVuOwhYZYOB¥ Y;lLd GKnOfztuo~1po²d ®fhVup~ Yd Y =0pY~Cf b'fhn!wxY;etLYifhVuYdxwxpqufdh6p LYZz~1®fhVuYYwhfhpq°Lzfhpn~=fhpXiYdhpq~LYifhVuYZXzp~%1zwhf^n£ ~ Y;1whwhwxncnnzw¨£4p d¨OdY~1£¦nYtuw zwofxoqbpqXZp§f Y;d¨dX£ÑzdgfhOY~uwpqfhnOt1~eYOfxVu±LY~1nzzf,1upqfxoqd,psY z ufhpOn ~'f¨nz£Ezo[ctuY;YO¥¨fhp¯unnO~!w¨uY ¥ uXi1oqYO±9Ywhfhpq£¦bCp~ufxVuYZdgpXZuoqpq°1Yj. $
(53) 4 4-j (
(54) m
(55)
(56) ' ( L "
(57) (Î ' ()#= fxUdhwxbeV1#d{Y=0fxYwxYm¨Xpsd;dnO¥^~C¼,fhwxo~unnzYmofoqY;nwxoq£èd Onfxn-wxnOp§fxwhuVu©pXonzufxnd4 ~uOfxFYiVu74nY X~ ndhdgwxYV1©eop§d£´Y;fxpd;pq~®~u¥ !zU~ wxVuY;p& dhd Lt1pnO~c~1opdhunpqoY;luzpYjo~p§df{b'fhuVuwx£¦wxnnYcwYp¡Keeppq~upw XZw Y1~1£´pqdhf onzpndhf ~1zd裦Yo³f{pqb~ufhV'Y;epqOpsdgnVCfx~ul9z¤1n~LpwxVuY;fncd,une£¦YFwxfhnYjzX` ~1fxFpqnOpq~ w fx& wxt1~1odhpuozY;fhzpn~F~%nCpd-nOwx~uuY;pq~1Y;zdxfhdhYjdwh¥ bF£¦wxnX Y;ncuYfhpsncnOwxep~1zfhY;d-dOpqOY~%lCb%9nOdhp§fxpqnO~upq~1dgbedgfhYXd 4Á$ 57èfhn ~1n%wx|¨©^pqV1wxund4osz~e~u¤1Y;Yjpswgd,fxfp§°1pswhYjdYe1fxYV1wh°Ln~ufhf4Y;Y;p§%f fhpYjd4Fd^YjrOlcfxVut1b'YZpqznoYbcY~Coqwxpf os~1zfheun Y;uew p~uY¦ffx{Y;bc nzuf£Ep;f{znO o~eoqn!b¤1psuZwhf nd³XZfhwxYjpYoq Yjosfhd,Yjfx@ upqOpYEL;nXifh~un¨YYjfhfhdVuY;¥iw^Y Up~O~1VufxYwhtLz5;el9OYnwji¥ YiGÛ£¦Y;~-XiYfhf Y;Vu~CVupsfhd Yppn~uVCdhYjfY ± y{fxntLVu£³d{YfxfVup~OY fx9pqwh~CtLnfhpewx~OYt1fjwe¥Y;V1| w;O¥dUnOi~eVuu¤1Y whpsunf fht1Yjwhpdè9fhfhnOYjVudh Y,Y;~Lnn£4e~1YY^°1nn~e~u£ ¤1Y;w ps fkedèpet1YfhdkVufhYjY,m pqfhXZ~1pnpq~'otuY;w d¨psdgd pznfh~1~n'neVu£ÎYY;fxfhpqY;VuOY,VOffndht1n£ ~1V'dgV1pqpq~C0fx-whpt1£¦~YdhYfxpnf;Vu¥E~1Y¨d UuzVuwxVunzYfxYjnY;fh~LY;nzdg£QVufxL;ppq'nXZ~upYYd ~1| fhnoqnuf,wxnn9£nOzdhuY,1Yjwhdhn ; ezpXZ9Yzfhzp~1n~1d¨whYjzwxnYO~uYwxY;bmY;fxdxwxdhzy{whY;bfhfhnn'wxpdgY;nOd;oq¥ OYfhV1pd^uwxnluoYX +9nOdhp§fxpqnO~®z~L®dhLY;Y;Fn£EfhVuY 1ncon~uw Y;edZpq~LzwxfhYYjd~1nzwxfZY;Y fx uY;d XZfhobªnee©CY~1opqn~1i~QY;±whwxfhnV1w Yd;±t1fxdhwxY'~1nzdg£^osfx~ pqnO~& tLpqfxdhoYpeoq£4Yjpz~1~@tu~uwxYdpXZVcnel9enY;wxVuoqpnc~unc z~1pq~1dgfhwxYjntu«~1enz¡J£¨n¢!OYY;newhewxnYfxw pd; ¥ |¨UV1oqocYfxVubcY;dhoqpY~1YewxY;whwnOpwxd d³Yj~uYdhYjpqobfxpqn,~u¤Ll9Y fxfxY;i©dgYn,~mfhpqV1~Cfxzn fO£¦Y nYtuw~Czf4~Ldhn,£¦Y;fhV1zY;f4w fxfhVuw Yy{dhY;z£¦fhYnOf{whbpY;nd £1XfhV1Ybdhbewxd{nOfxdxYd³Xfxd4VuYpd pqO~1t1p§fxzpw zo1~CdhzfxY£¦YY;f{Qb ¥ bcoqp~1eY;wxd;¥E\EYf;±9p§f¨psdkopq£¦Y-wxp§fxp;zoÎfxn0tLzw z~CfhY;Y¨fxV1fkfxVuYmbcoqp~1eY;wkV1dklLY;Y~dh$t =0pY~Cfhobp~e¤LzfhYj fxnZwh|,Y;XidnXZOYY^~Cfh~cpnb0~uYjpq~LαcnfhwxV1wxYY;wx Yfzl9oYwhV1Yjcepbnwjpsd¥ iutuluopdhVuYj'oqOnwxp§fxVuX fhVLfk nwx©cd p~Fz~ & t1opseY;~fxVuwxYY¡ ofxsuV1pqfxXZzpq~1nOY~-©c~Ld dg1pfxnnZwg~1fEnoÎtu~1~uwYfxpnCt1nOVcdhoIYl9¥ p§nfEwxVuOd4ncneÎ~m¥ Y uzYXZupooqYo³nu£9Y;dxdx£¦wxYpql9f{bY VuwhYpqfhwxpsYmou~1zYu 1oqpszozfhnpwxnpq~fhVufxX)V1wxfEY;;dhzL~-nO~1l9dhYpqlu£¦noY wxXnz£ zfhooqVubY 1fxwhwxnO~1Y;d{ ¡ n£ whY,uUfhoszV1Vu~1YY,Y;whBdpqY;~1o5uztefhzpfx~1d!Y nze£Înc±ufxnVuw ~1Y,e|¨p~1fhoqOVufxnY;Y;wxpqd w¨p§fxzdhVu~19X YY;fh5¨1Vud zYwxfhYdhn9fxYVuzY;Y¨w 0onnz~u~u£4nOOlLwgp§fxfxnVt1fhV!evYjud osλz~uYjd±epqfh~!n~1zZ~zw fh&V1t1Y¨Y;Ooqd{psY;feneYjvezY~!fxp~uYosp¥EfxVcp§Ul9fxt1VuneYwxVuYjnOdncteneφfhÎ1¥ tefxd e. −k. e+k. −k. {1,2}. N {1,2}. {1,2}. E{1,2}. tr. Ü Ü Ì T+U ãUV.
Documents relatifs
1) La recherche des victimations dans les établissements scolaires, à commencer par la Martinique et la Guadeloupe (territoires français d’Amérique), puis sur les
Repérer les signes, les traces et les discours de la commande au sein des espaces de l’édition professionnelle, comme nous l’avons fait pour le cas particulier des éditions du
Dans ce contexte, afin de venir en aide aux différentes parties prenantes présentes sur le terrain de la collabora- tion et afin d’appuyer les décideurs dans leur
can observe that it is composed of three layers: (i) service instance layer, which represents the services, denoted by a service instance; (ii) network slice instance layer,
Les deux indicateurs précédents (encadrés 1 et 2) donnent la synthèse des asymétries existant entre les structures d’exportation, par branche et par destination, d’un PECO et
dant, il décrit les utilisateurs de covoiturage comme des personnes « militantes » ou « associatives » et leur pratique du covoiturage s’apparente plus à la mise en commun
Para um diagnóstico preliminar do nível de resíduos presentes nos frutos de mamão comercializados no atacado de São Paulo se montou uma parceria entre os projetos “Otimização
We also show that mimi compares favorably to existing methods, in particular when the main effects are significantly large compared to the interactions, and when the proportion
