设函数[tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex]和[tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex]在闭区间[tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex]上可微分.若有[tex=15.286x1.429]w6PVZnaDpV6OaJNAIufU/EP72TSbtHUhUz3G8wlhoSJsnDJY5w2KW+OV5pMFmANpOBZQCiaWdWSXdWajFQZ4nQJlvKNW65f/vV59CfSLqxU=[/tex]证明:[tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex]在闭区间[tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex]上的两个零点之间必有[tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex]的零点.

2022-06-04

设函数[tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex]和[tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex]在闭区间[tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex]上可微分.若有[tex=15.286x1.429]w6PVZnaDpV6OaJNAIufU/EP72TSbtHUhUz3G8wlhoSJsnDJY5w2KW+OV5pMFmANpOBZQCiaWdWSXdWajFQZ4nQJlvKNW65f/vV59CfSLqxU=[/tex]证明:[tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex]在闭区间[tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex]上的两个零点之间必有[tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex]的零点.

答案：

设[tex=1.714x1.214]jsM/Lg33JMLvoOCckk59rQ==[/tex]为函数[tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex]在闭区间[tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex]上的两个零点，不妨认为[tex=2.571x1.214]/l2bpmo5gq2fy7d6iqy/rQ==[/tex].根据 [tex=15.286x1.429]w6PVZnaDpV6OaJNAIufU/EP72TSbtHUhUz3G8wlhoSJsnDJY5w2KW+OV5pMFmANpOBZQCiaWdWSXdWajFQZ4nQJlvKNW65f/vV59CfSLqxU=[/tex]所以[tex=3.786x1.357]AJx9Nypie5YBACu0QEsHV/dkPeQMgCxc0xNr/w0vxVM=[/tex]且[tex=3.714x1.357]sjICYJ/QewssU0wd1FW/xD+dc/ymLnkLdK6htcuddow=[/tex].(反证法)假若[tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex]在区间[tex=2.429x1.357]8fluPWUVnlWsfy+XwfRcNdqvZA5xHg9yS5w8yyU1P3o=[/tex]内没有零点，作辅助函数[tex=10.143x2.714]JfP4Gv9UXUCkyAY5YYw0Z/MTfSoSl5PHtDnVu3Tc2mtUs0QSqNWkowYRIJvEM9/U4/lmW2XDOF6QuPqim1BQXw==[/tex]则函数[tex=1.929x1.357]0fRX0V1rxv8nkoCpsr9nHQ==[/tex]在闭区间[tex=2.214x1.357]oPHqJczixptAixEBvgznbOX0ggvGZRx1puchoTLLdRg=[/tex]上满足罗尔定理的条件，所以有点[tex=3.429x1.357]DwSuVO2krPB8xDXmnTZAx8uNQp8rc6AKNNl9dMsIV6k=[/tex],使[tex=3.357x1.429]dK2NBQhx2YyhzGysTuIKwVEMuFWeHGB+ORN0Ou7silY=[/tex].而 [tex=12.786x2.714]B3GPme6hXnc9oYRMy+6Vl+OOEHA0qBkcb3pEXsA9rgtY5SFwbhNFQVEvRaoWnJM5bdbTau/C3bFLLUNKtFjNhrGAWLEGphQHfkQ3OrmsdZo=[/tex]所以[tex=13.429x2.714]2xBJNZaWQsTU9QvWXLw5HMRyZ882MNCDNOaU2tsnEXTKqCXdWmfAUTvLCZc8rQ4NJ/lnLYVEiW92dJHjbOvt9D+Njz7tg1CNThguSSzteJg6wjMqR1nvuR5ouJ5pbHx4[/tex]即[tex=14.786x1.429]aWJWVBG3St35JwVMiGniOnBaKHUidTR9HQYZLu+aOaUpY5/bxqIq/CCIrE/tVoZTMWIF/vzoDrG+3Ae8rxImWL5uI+C3WAA/UQkL1ceYCzw=[/tex]这与假设条件[tex=15.286x1.429]w6PVZnaDpV6OaJNAIufU/EP72TSbtHUhUz3G8wlhoSJsnDJY5w2KW+OV5pMFmANpOBZQCiaWdWSXdWajFQZ4nQJlvKNW65f/vV59CfSLqxU=[/tex]矛盾. 因此，必有点[tex=3.5x1.357]RiF9kPRJ35FjYroWHegVs2+PdvEOAzJQcfq8j1rbatw=[/tex], 使[tex=3.071x1.357]CuvqcNHpxVM1xPuKM+2xww==[/tex].

举一反三

内容

0
设[tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex]是[tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex]上一有限函数，那么下列两件事等价:(1)[tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex]在[tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex]上满足 Lipschitz 条件,(2)[tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex]是[tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex] 上某个有界可积函数的不定积分.
1
设 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 是域 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上的两个不可约多项式, [tex=1.286x1.214]rkgrF+YaaESwSQDjR6KfWg==[/tex] 分别是 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 在 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 的某个扩域 [tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex] 中的根. 证明: [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 在 [tex=1.857x1.357]tPNFVy5slGvSYsD8XFn6/g==[/tex] 上可约当且仅当 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 在 [tex=2.0x1.357]meCJel/67w3XgRBnBuDjxw==[/tex] 上可约.
2
设 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex]在 [tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex]上连续,在 [tex=2.214x1.357]BBsQyjaNPR/OoqeFMMndcw==[/tex] 上可导, [tex=5.857x1.357]/v/rbm8y94xQjBrlnxRxnA==[/tex] 又[tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 在 [tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex] 上连续. 证明 : 一定至少存在[tex=3.143x1.357]3v9HBq0lFtIDOP11f7lbPg==[/tex]使得[tex=6.5x1.429]aWJWVBG3St35JwVMiGniOlnSiyAS3oZDWEyWQ5Lx8fx4MchmEpw2xhyFVGP0Nayc[/tex]
3
证明: 在 [tex=2.0x1.357]beH6DnGK6LEsYI2cIHxhuQ==[/tex] 中, 如果 [tex=1.929x1.357]aMCa7j968L/hYU5HJBvp5g==[/tex] 是 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 的倍式和, 并且 [tex=1.929x1.357]aMCa7j968L/hYU5HJBvp5g==[/tex] 是 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 的一个公因式, 则 [tex=1.929x1.357]aMCa7j968L/hYU5HJBvp5g==[/tex] 是 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 的一个最大公因式.
4
如果 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 在 [tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex] 上连续,则 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 在 [tex=2.0x1.357]bXp5Vb63IyKXaWMS3BCP6w==[/tex] 上有界.