※ 引述《bard3 (吟游诗人)》之铭言： : Show that x^3+7x+1 =0 has exactly one solution : in the interval [-4,1] [证明] 3 设 f(x) = x + 7x +1 , domf= R (一) 存在性:f在[-4,1]连续 --(1) 3 f(-4) = (-4) + 7(-4) + 1 = -64 -28 + 1 = -91 < 0 --(2) 3 f(1) = 1 + 7(1) + 1 = 1 + 7 + 1 = 9 > 0 --(3) 由 (1),(2),(3) 及连续函数的中间值定理,可知 存在 c 属於 [-4,1] such that f(c) = 0 3 即 f(x) = x + 7x + 1 在 [-4,1]间,至少有一根 3 (二) 唯一性:f(x) = x + 7x +1 ,domf = R 2 f'(x) = 3x + 7 > 0 for all x属於(-∞,∞) 所以 f在 R上 严格递增 所以 f为 one to one on R 故 f在 [-4,1] 亦为 one to one 即 f在 [-4,1]之间的根为方程式唯一的根 综合(一),(二),可知 f在 [-4,1] 之间恰有一根 Q.E.D. -- http://www.wretch.cc/album/show.php?i=arbitrager&b=10&f=1497117351&p=0 射手学妹一号(手绘版) --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.7.59