قضایای متفرقه چند جمله ای ها

-->)

این مطلب از بخش آموزش وب‌سایت المپیاد ریاضی رشد،انتخاب شده که با فرمت pdf نیز در وب‌سایت المپیاد رشدموجود می‌باشد. برای مشاهده این موضوعات در وب‌سایت المپیاد، به آدرس فهرست مطالب ریاضی مراجعه کنید. همچنین می‌توانید با کلیک اینجا‌ ، با ویژگی‌های بخش آموزش این وب‌سایت آشنا شوید.

قضایای متفرقه چندجمله‌ایها

در این فصل چند قضیه نسبتاً مهم که در فصول گذشته امکان آوردنشان نبود را بیان می‌کنیم. هر چند شاید برخی از این قضیه‌ها به مساله شباهت بیشتری داشته باشند، لکن به علت اهمیت آنها و ایده‌ای که در حل دارند بصورت قضیه بیان شده‌اند.

قضیه1

فرض کنید $e439aeb37a07532bec17869b58fa585b.png$ چند جمله‌ای درجه $f120302f595acc3d7b0e4b5b7c4320d5.png$ با ریشه‌های $20eb545ff7a9c9c82cd59b003b771bd0.png$ (نه لزوماً متمایز) باشد، ثابت کنید بین $e439aeb37a07532bec17869b58fa585b.png$ و مشتق آن یعنی $e8cea56ba85708702e67936f0cc3a63d.png$ ، رابطه زیر برقرار است
$1b9d024271b67dced9aa111e2ded5b72.png$
اثبات.
بسادگی می‌توان نوشت
$c4bbff982979b17f629fee700992cb40.png$
که $70d61bec300c154842415dcb282b5d05.png$ ضریب بزرگترین توان $42b0f16a5c0944b5a7820f26d9ebafa6.png$ است. اکنون با توجه به فرمول محاسبه مشتق ضرب چندعبارت، می‌توان $e8cea56ba85708702e67936f0cc3a63d.png$ را بدین گونه بدست آورد:
$365cfa6fb8ab477def137413be610528.png$
$faca2bba15df3d68dd38bc1394c85394.png$ --------
$97eda421d861ca1b2297369fb9a86b17.png$
$4e1eb897c4feb475c173730406a39a2f.png$
که همان صورت قضیه می‌باشد.

مثال1. (لهستان 1979)

فرض کنید $42b0f16a5c0944b5a7820f26d9ebafa6.png$ چند جمله‌ای از درجه $8237254080649ea357b9e8ab4814f8ef.png$ است که $f120302f595acc3d7b0e4b5b7c4320d5.png$ ریشه حقیقی و متمایز $48e499b92815d06b295a0311b83c9f87.png$ دارد. ثابت کنید:
$d6d8e42765f3810e877bfa6c262bbc87.png$
اثبات.
با توجه به قضیه قبلی و محاسبه مقدار $9635d961362961b84c913fcff1ffc263.png$ می‌توان نوشت:
$a74a3eafd0bb512e9374eb172f85a23f.png$
اگر قضیه درون‌یابی لاگرانژ را به خاطر آورید، متوجه شباهت بسیاری میان دستور درون‌یابی لاگرانژ و عبارت فوق که همان
$b64995dae53aeb16055ce17f44e11921.png$
می‌باشد، خواهید شد. اکنون فرض کنید چندجمله‌ای ثابت $41d7973c01f18453de1728d47c036e79.png$ را بخواهیم با فرمول درون‌یابی لاگرانژ بسط دهیم:
اگر در صورت قضیه قرار دهیم $04ca442b08952dfa63dea47c01872fe1.png$ می‌توان نوشت:
$798a183d2301cd7122fcc6a15c639f69.png$
اکنون بوضوح ضریب جمله $806ece7e79908a81ef46073bc8fb723a.png$ در دو طرف برابر صفر خواهد بود، لذا در طرف چپ تساوی ضریب $806ece7e79908a81ef46073bc8fb723a.png$ را بدینگونه محاسبه می‌کنیم:
$d05df7d876318c58bb9d7f6f40a06343.png$
که همان رابطه مورد نظر می‌باشد. پس اثبات مساله به پایان می‌رسد.

قضیه2

فرض کنید $e439aeb37a07532bec17869b58fa585b.png$ چندجمله‌ای با ضرایب حقیقی باشد به نحویکه برای هر $ebc07c33ab81fc5914d3206be8bfdf65.png$ ، $3d25bdd5efd1413e7b0b5fa10c30bf09.png$ باشد. ثابت کنید دو چندجمله‌ای $5489cac6fc8c666f924fcae982743a96.png$ با ضرایب حقیقی موجودند که برای آنها داشته باشیم:
$0b9f39526996cb69aca5139a04c4c96e.png$
اثبات.

ابتدا نشان می‌دهیم اگر $3d25bdd5efd1413e7b0b5fa10c30bf09.png$ باشد، آنگاه باید ریشه‌های حقیقی $e439aeb37a07532bec17869b58fa585b.png$ ، همگی دارای مرتبه تکرار زوج باشند. به عبارت دیگر امکان ندارد داشته باشیم $03133e0f72324339eae34e0c727422b4.png$ ، زیرا در اینصورت با توجه به همواره مثبت بودن $e439aeb37a07532bec17869b58fa585b.png$ ، برای $13de37174555cc9587ab161f930bd17e.png$ داریم $a13a9b50a62caff9a645b9c08073628b.png$ و برای $f55022b1430ed374716add64885c9339.png$ داریم، که نتیجه می‌دهد باید ریشه‌ای از $cdd90367f978f8f1d7dc39d53e61086d.png$ هم باشد، اما این نتیجه با فرض اینکه $0ae4586491b258f23f7c94f0ae0efb83.png$ مقدار تکرار ریشه $d54c801b9b4adcc32bac63c381fde3c2.png$ است، تناقض دارد. لذا باید داشته باشیم
$e32d58449737ab3409b00278763d9c4f.png$
که $47e62d2fd1488510847e955c7fbe335e.png$ و $ab7c26b9e3a03a62fc05b9649198e6b1.png$ ها ریشه‌های حقیقی $42b0f16a5c0944b5a7820f26d9ebafa6.png$ را شامل می‌شوند و $c90e36b208b119b0e54ddb1991fd4b08.png$ نیز تمام ریشه‌هایش مختلط است.
از طرفی بنابر قضیه3 مشاهده می‌شود که اگر $f38b6ece6c66082e844a3390cc029b5a.png$ ریشه $cdd90367f978f8f1d7dc39d53e61086d.png$ باشد، مزدوج آن یعنی $121fc219499a8daee3195f1580cf69a5.png$ نیز ریشه $c90e36b208b119b0e54ddb1991fd4b08.png$ خواهد بود، لذا می‌توان $cdd90367f978f8f1d7dc39d53e61086d.png$ را بصورت حاصلضرب چندجمله‌ایهای درجه دوم و با ضرایب صحیح تجزیه کرد که هر کدام بدین شکل‌اند:
$efff7ff0a22795d33f7fc0f494b0ecb3.png$
اکنون با توجه به اتحاد لاگرانژ
$2e4270519d1ac6f3ae5f58ceef614d83.png$
می‌توان گفت که ضرب دو عبارت بصورت $c0c3a128a078260d84395dc2c231e75a.png$ یک عبارت به همان شکل است و چون $c90e36b208b119b0e54ddb1991fd4b08.png$ ضرب یک دسته چندجمله‌ای بصورت $ffa6ed6492bff20aab7ce06ec437f55e.png$ است، پس خود $c90e36b208b119b0e54ddb1991fd4b08.png$ نیز بصورت جمع دو مجذور کامل قابل نوشتن می‌باشد، یعنی داریم
$7a78cc410473596c16dd7d41d441dd30.png$
پس می توان $42b0f16a5c0944b5a7820f26d9ebafa6.png$ را اینگونه نوشت:
$edaab91e742c3930a9ec4c7a841bc75b.png$
$967f6723088d330bde0efb1e7953b950.png$ -------
$05af674f8c87b47b11b92a7a71f7e308.png$ -------
لذا اثبات قضیه کامل می‌شود.

قضیه3

نشان دهید اگر $d54c801b9b4adcc32bac63c381fde3c2.png$ ریشه‌ای با تکرر $f120302f595acc3d7b0e4b5b7c4320d5.png$ از چندجمله‌ای $e439aeb37a07532bec17869b58fa585b.png$ باشد،‌ آنگاه $d54c801b9b4adcc32bac63c381fde3c2.png$ ریشه‌ای با تکرار $16f166c0ae4d1a6d7ed829032620a066.png$ از $e8cea56ba85708702e67936f0cc3a63d.png$ خواهد بود.
اثبات.
می‌توان نوشت $37f7227dfcedb979c498e8752b47a9aa.png$ که داریم $7e92156224a242ec1da36065f3bbda99.png$ .
با محاسبه مشتق $e439aeb37a07532bec17869b58fa585b.png$ از رابطه اخیر، خواهیم داشت:
$9522837c4c762241a955ea91f21a3369.png$
$2de8d8bcd807f8a32432da68987383ff.png$
و در ضمن داریم $46ca34ed3a68075e7d11ce700e289530.png$ . پس می‌توان نتیجه گرفت که $d54c801b9b4adcc32bac63c381fde3c2.png$ ریشه‌ای با تکرر $f647d24e9042d0c0fd51ca0245d27ac6.png$ از چندجمله‌ای $e8cea56ba85708702e67936f0cc3a63d.png$ می‌باشد.
در ادامه بحث لازم است بطور مختصر برخی از خواص چندجمله‌ایهای با ضرایب حقیقی را یادآوری کنیم:

خاصیت1

فرض کنید $af9217a40d3566b9b2a9c1a233c0e07f.png$ ، در اینصورت اگر $f120302f595acc3d7b0e4b5b7c4320d5.png$ زوج باشد، علامت $e439aeb37a07532bec17869b58fa585b.png$ برای $5e6e081b95039df74f744f18bc1ee90c.png$ ، موافق علامت $59b14d9d6113c14266317a5cf859bd89.png$ می‌باشد، و اگر $f120302f595acc3d7b0e4b5b7c4320d5.png$ فرد باشد و $e1240cee552b2395bf40ee8f523e49eb.png$ ، باز هم علامت $e439aeb37a07532bec17869b58fa585b.png$ و $59b14d9d6113c14266317a5cf859bd89.png$ موافق هم است، اما اگر $c41805fcaac24a0843b07bc032f467c0.png$ آنگاه علامت $e439aeb37a07532bec17869b58fa585b.png$ و $59b14d9d6113c14266317a5cf859bd89.png$ متضاد هم خواهد بود. (این نکات براحتی با خواص ابتدایی حد و پیوستگی قابل اثبات می‌باشند.)

خاصیت2

هر چند جمله‌ای جزء توابع پیوسته است. لذا با توجه به قضیه مقدار میانی و خاصیت1، می‌توان نتیجه گرفت که اگر یک چندجمله‌ای ریشه حقیقی میانی و خاصیت 1، می‌توان نتیجه گرفت که اگر یک چندجمله‌ای ریشه حقیقی نداشته باشد، آنگاه درجه‌اش باید زوج باشد. زیرا برای چندجمله‌ایهای با درجه فرد مانند $e439aeb37a07532bec17869b58fa585b.png$ ، مقادیر $25b96c3212de3a56123b2669ca7e1329.png$ دارای علامت مختلف هستند، لذا حتماً $e439aeb37a07532bec17869b58fa585b.png$ در بازه $0a9578c54d0dd9f1bcc3a9faf9ebfb32.png$ یک ریشه خواهد داشت.

خاصیت3

از آنجا که تعداد ریشه‌های هر چند جمله‌ای محدود بوده و با درجه آن چندجمله‌ای برابر است، لذا نمودار تابع چندجمله‌ای بعد از بزرگترین ریشه حقیقی و یا قبل از کوچکترین ریشه حقیقی، محور $d31b9ab65619dc0a054effb234c402f1.png$ ها را قطع نمی‌کند. به عبارت دیگر در این نواحی، علامت چندجمله‌ای ثابت می‌ماند و با توجه به خاصیت 1 می‌توان در $d704aae6bb3c520d6bc0dc6ea73c03be.png$ علامت آنرا تشخیص داد. پس مقداری مانند $e06dc751cba3ba33a35fed7c18b28107.png$ می‌توان به نحوی یافت که برای $3b4ea781a33e5cd72fb7bf17fcdb06f2.png$ و $92d0bdabbeae22df9b5a41f773b62975.png$ علامت $e439aeb37a07532bec17869b58fa585b.png$ ثابت بماند.

خاصیت4

چون $42b0f16a5c0944b5a7820f26d9ebafa6.png$ تابعی پیوسته و مشتق‌پذیر است و مشتق آن یعنی $e8cea56ba85708702e67936f0cc3a63d.png$ هم یک چند جمله‌ای است با درجه یکی کمتر از درجه $42b0f16a5c0944b5a7820f26d9ebafa6.png$ ، لذا اگر از خاصیت 3 در مورد $e8cea56ba85708702e67936f0cc3a63d.png$ استفاده کنیم بدست می‌آید که عددی مانند $308d3319dbd1a0657721207eb421a933.png$ وجود دارد که علامت $e8cea56ba85708702e67936f0cc3a63d.png$ برای $3b4ea781a33e5cd72fb7bf17fcdb06f2.png$ و یا $92d0bdabbeae22df9b5a41f773b62975.png$ ، همواره مثبت و یا منفی می‌ماند. لذا می‌توان برای $e439aeb37a07532bec17869b58fa585b.png$ به این نتیجه رسید که در همان بازه $3b4ea781a33e5cd72fb7bf17fcdb06f2.png$ و یا $92d0bdabbeae22df9b5a41f773b62975.png$ ، $e439aeb37a07532bec17869b58fa585b.png$ اکیداً صعودی و یا اکیداً نزولی خواهد بود.

قضیه4

اگر $6a6e4bb8cc8498ff64e2eccd75623423.png$ و $e439aeb37a07532bec17869b58fa585b.png$ دو چندجمله‌ای باشند که معادله $f614473164d6ef55d2deb215071bee26.png$ ، به ازای هیچ $d31b9ab65619dc0a054effb234c402f1.png$ ، جواب نداشته باشد، انگاه یا همواره داریم $ac6aa6a8c4b52b0609e6ab450d514f87.png$ و یا $feefd38d7459703fd6319c554851ef48.png$
اثبات.

چندجمله‌ای $a364763a2979f32fb38221cd2ec88766.png$ را تعریف می‌کنیم. با توجه به فرض قضیه، $cdd90367f978f8f1d7dc39d53e61086d.png$ هیچ ریشه‌ای نخواهد داشت. لذا علامت $c90e36b208b119b0e54ddb1991fd4b08.png$ یا همواره مثبت است و یا منفی، زیرا اگر در دو نقطه متمایز دارای علامتهای مختلف باشد، در بازه میان این دو نقطه حتماً در جایی صفر شده است. لذا اگر همواره $3f89df6e4c8adc8b0b4b5d92566abf28.png$ باشد داریم $fe5151ababbfac2827ebcd48e8e3beff.png$ ، و اگر $feef2d94d9813ba94b15fa685a446bd9.png$ باشد، خواهیم داشت $feefd38d7459703fd6319c554851ef48.png$
در ادامه چند قضیه مهم را بدون اثبات ذکر می‌کنیم. این قضیه‌ها در مورد توابع پیوسته هم برقرار می‌باشند، اما چون چندجمله‌ایها نیز توابعی پیوسته و مشتق‌پذیرند، می‌توان از آنها در این بخش نیز استفاده کرد.

قضیه5. (قضیه مقدار میانگین)

فرض کنید $8a652c9b3c4c2b62fa79490289f60e5d.png$ تابعی پیوسته و مشتق‌پذیر روی بازه $d2447d069b5d3be187d43ae6d35ccaf5.png$ باشد. در اینصورت یک مقدار $23c0eb58516c70ecdda4e0b7401399ba.png$ وجود دارد که برای آنها داشته باشیم:
$db0979f445afddb731459c24385f309f.png$
توضیح. این قضیه بیان می‌کند که در یک نقطه $2e16d6781472c499a730575839b4b4c7.png$ ، شیب خط مماس بر تابع $48e39cd4c723dddebfa06a62d680d3ab.png$ با شیب خط واصل میان نقاط $47b46918e180be5ecd23798d7864747f.png$ و $b1cea7e01d9cc1bf84e8bec1313a237b.png$ برابر خواهد بود.
به عنوان حالت خاص مهمی از قضیه مقدار میانگین به قضیه زیر می‌رسیم:

قضیه6. (قضیه رول)

اگر $8a652c9b3c4c2b62fa79490289f60e5d.png$ روی بازه $d2447d069b5d3be187d43ae6d35ccaf5.png$ پیوسته و مشتق‌پذیر باشد و داشته باشیم $3f0a871646d354635340caaa3fb9603c.png$ ، آنگاه عدد $2e16d6781472c499a730575839b4b4c7.png$ در بازه $817e90267f1cda30b9a661036f58af23.png$ موجود است به نحویکه:
$56b0d260a9e509374be878d8e4cb885b.png$
به عنوان نتیجه ای از قضیه رول، می‌توان قضیه زیر را اثبات کرد.

قضیه7

اگر $e439aeb37a07532bec17869b58fa585b.png$ چندجمله‌ای باشد که دارای $4137b8cbe28d0b61ce44b64209c85b0c.png$ ریشه متمایز حقیقی $21bd0856d28ad746b7049bfd5c452159.png$ است. آنگاه $e8cea56ba85708702e67936f0cc3a63d.png$ نیز دارای $563a0c34ddf2553f510be83dedf1fbb3.png$ ریشه متمایز حقیقی خواهد بود و هر ریشه $e8cea56ba85708702e67936f0cc3a63d.png$ ، بین دو ریشه متوالی $42b0f16a5c0944b5a7820f26d9ebafa6.png$ خواهد بود.

اثبات.
بوضوح داریم $048461f9749d304fb2f3215f0a43f838.png$ ، پس بنابر قضیه رول می‌توان گفت که در هر بازه $2d620082ef8cc62185f35429c9e679af.png$ یک ریشه دارد و این همان چیزی است که درصدد اثبات آن بودیم.
دو قضیه زیر نیز در مورد رابطه بین ضرایب یک چندجمله‌ای و تعداد ریشه‌های مثبت و منفی ان چندجمله‌ای بیان شده‌اند.

قضیه8. (قاعده تعیین علامت دکارت)

فرض کنید $af789edde51f771b138b610956d545d5.png$ ، اگر تعداد تغییر علامتها در دنباله $85267f4d2b59818c40bcd9673619d1d3.png$ ، $4137b8cbe28d0b61ce44b64209c85b0c.png$ تا باشد (ضرایب صفر را حذف می‌کنیم) آنگاه $e439aeb37a07532bec17869b58fa585b.png$ حداکثر $4137b8cbe28d0b61ce44b64209c85b0c.png$ ریشه مثبت دارد و در ضمن اختلاف تعداد ریشه‌های مثبت با $4137b8cbe28d0b61ce44b64209c85b0c.png$ ، عددی زوج خواهد بود.

نکته

توجه کنید که اگر ریشه‌ای مختلط باشد، منظور از مثبت بودن آن، مثبت بودن قسمت حقیقی ریشه می‌باشد.

مثال2

فرض کنید $bca75227b9a182be1e16a94572d84ef1.png$ ، آنگاه دنباله ضرایب غیرصفر عبارتند از $2bf14295e6c801b501f8f9bfc2ca6b5a.png$ ، چون در این دنباله تعداد تغییر علامت از مثبت به منفی و برعکس آن، تعداد $1604408f2d961eb77f13f698c32a1d30.png$ است، لذا می‌توان نتیجه گرفت که تعداد ریشه‌های مثبت $42b0f16a5c0944b5a7820f26d9ebafa6.png$ صفر، یک و یا دو تا است. اما چون اختلاف این تعداد با $a2deb297efd225d0f16c2ccf1607f45f.png$ ، عددی زوج است، پس تعداد ریشه‌های مثبت $e439aeb37a07532bec17869b58fa585b.png$ تنها می‌تواند صفر و یا دو عدد باشد.
در قضیه8 ؛ ما تنها یک حد بالا برای تعداد ریشه‌های مثبت $42b0f16a5c0944b5a7820f26d9ebafa6.png$ ارائه دادیم. برای بدست آوردن تعداد دقیق ریشه‌های مثبت و منفی یک چندجمله‌ای، می‌توان قضیه بعدی را بکار بست. لکن مشاهده می‌شود، هزینه این محاسبه دقیق، زیادی محاسبات خواهد بود. ابتدا به تعریف زیر توجه کنید: