“Không phải, ngươi còn chưa đi a?”
Nhìn đến như cũ còn ngồi ở chính mình bên người tang khải, Hàn xuyên sửng sốt một chút, theo bản năng hỏi: “Ngươi lại không thi lại, cần thiết như vậy oa ở chỗ này cuốn sao?”
Tang khải: “....”
Cái gì kêu ‘ còn chưa đi a? ’
Hắn từ buổi sáng 7 giờ cùng lại đây đến bây giờ, mông liền không rời đi quá này trương ghế dựa. Hàn xuyên cư nhiên căn bản không chú ý tới hắn còn ở?
Khóe miệng trừu trừu, hắn cầm trong tay luyện tập sách hướng bên này đẩy đẩy, nói: “Ta nơi này có cái đề làm không ra tới, ngươi giúp ta nhìn xem?”
“Nha?”
Nghe vậy, Hàn xuyên nhướng mày, trêu chọc nói: “Đại học bá cũng phải hỏi ta cái này học tra vấn đề?”
Tang khải “Thẹn quá thành giận” mà phản bác nói: “Liền nói ngươi có thể hay không đi.”
Hàn xuyên vươn tay, lấy quá luyện tập sách, quét mắt mặt trên đề mục, có một đạo bị vẽ cái vòng.
“Họa vòng này đạo?”
“Ân.”
“ok, ta nhìn xem.”
Cúi đầu, Hàn xuyên nhìn về phía đề mục.
【 thiết f(x) ở [0, 1] thượng nhị giai nhưng đạo, f(0)=f(1)=0, thả đương x∈(0, 1) khi, f″(x)≤0. Chứng minh: Đối với tùy ý x∈(0, 1), có f(x)≥0. 】
Đề làm thực đoản, liền hai hàng.
Nhưng ở toán học phân tích phạm trù, càng là đề làm tinh giản chứng minh đề, nội bộ logic bẫy rập cùng suy luận khó khăn thường thường càng cao.
Hàn xuyên nhìn chằm chằm đề mục nhìn một hồi, theo bản năng mà cân nhắc lên.
Đề này ở toán học phân tích thuộc về trung giá trị định lý ứng dụng đề, nhưng cùng bình thường khóa sau bài tập hoàn toàn không phải một cái lượng cấp.
Đề trên mặt cấp điều kiện là nhị giai đạo số phi chính: Cũng chính là hàm số là “Lõm”, hai đầu điểm giá trị bằng không, muốn chứng minh trung gian tùy ý điểm hàm số giá trị phi phụ.
Nếu là đơn thuần bằng trực giác tới xem, hắn cảm thấy đề này chứng minh là đúng.
Bởi vì một cái hai đầu rơi xuống đất, trung gian sẽ không hướng về phía trước nhô lên đường cong, xác thật không có khả năng chạy đến dưới nền đất đi.
Nhưng trực giác là trực giác, toán học luận chứng chú trọng nghiêm cẩn logic suy luận, chỉ dựa vào trực giác xa xa không đủ, cần thiết đi bước một suy đoán, làm được hoàn hoàn tương khấu, không chê vào đâu được.
Một bên tang khải tựa lưng vào ghế ngồi, lặng lẽ quan sát Hàn xuyên thần sắc, trong lòng suy nghĩ cuồn cuộn.
Đề này khó khăn không nhỏ, là trước hai năm sinh viên toán học thi đua một đạo chứng minh đại đề.
Chính hắn vừa mới thử làm hai cái giờ, kết quả liền giải đề môn cũng chưa sờ đến.
Đương nhiên, thật muốn nói, đề này ở luyện tập sách cuối cùng kỳ thật là có đáp án.
Hắn cũng nhìn, nhưng hắn hỏi Hàn xuyên mục đích chính là muốn nhìn xem cái này túc hữu rốt cuộc là cái cái gì trình độ.
Đương nhiên, cũng có chút phân cao thấp ý tứ.
Rốt cuộc ở 401 ký túc xá trung, tất cả mọi người biết Hàn xuyên là toán học cử đi học sinh, là CMO tỉnh tái giải nhất, thiếu chút nữa gần đây quốc quyết thiên tài.
Nhưng một học kỳ tới nay, ai cũng chưa gặp qua hắn nghiêm túc học tập, ai cũng không biết hiện tại cái này thiên tài rốt cuộc là cái cái gì trình độ.
Tang khải cũng muốn nhìn xem.
Thư viện trung, Hàn xuyên không biết tang khải trong đầu này đó cong cong vòng. Hắn chỉ là nhìn chằm chằm đề mục, trong đầu đang ở bay nhanh mà tìm kiếm tương quan tri thức điểm.
Giả thiết tồn tại mỗ điểm hàm số giá trị vì phụ, sau đó lợi dụng đạo mấy điều kiện đẩy ra mâu thuẫn..... Không được, phép phản chứng không thể thực hiện được.
Định lý giá trị trung bình của Lagrange đâu?
Giống như có thể, nhưng này yêu cầu xử lý hai cái khu gian thượng nhất giai đạo số quan hệ, còn muốn dẫn vào nhị giai đạo số tới khắc hoạ nhất giai đạo số đơn điệu tính. Bởi vì f″≤0 ý nghĩa f′ đơn điệu giảm dần.
Này có điểm quá phiền toái, có hay không càng đơn giản phương pháp?
Tang khải tựa lưng vào ghế ngồi, nhìn Hàn xuyên nhíu mày bộ dáng, trong lòng bị đè nén hơi chút tan một chút, treo tâm cũng thả lỏng không ít, cười mở miệng nói.
“Sẽ không liền tính, không có việc gì, ta nhìn xem đáp án nghiên cứu một chút.”
Nhìn dáng vẻ học kỳ 1 đánh một học kỳ trò chơi, cái này bạn cùng phòng trình độ đã xa không bằng hắn.
Án thư trước, Hàn xuyên không để ý tới tang khải, suy tư sau khi, hắn bỗng nhiên nghĩ tới cái gì, nhanh chóng mà mở miệng nói.
“Bức tới!”
Tang khải sửng sốt một chút, theo bản năng mà truyền lên bút.
Nắm bút, Hàn xuyên kéo qua giấy viết bản thảo, vẽ một cái lõm hàm số sơ đồ phác thảo.
【 lệnh x₀∈(0, 1) vì tùy ý một chút. Bởi vì f″(x)≤0, cho nên f′(x) ở [0, 1] thượng đơn điệu giảm dần. Từ Định lý giá trị trung bình của Lagrange, ở (0, x₀) thượng tồn tại ξ₁, khiến cho f(x₀)−f(0)=f′(ξ₁)(x₀−0), tức f(x₀)=f′(ξ₁)x₀. 】
【 ở (x₀, 1) thượng tồn tại ξ₂, khiến cho f(1)−f(x₀)=f′(ξ₂)(1−x₀), tức −f(x₀)=f′(ξ₂)(1−x₀). Cho nên f(x₀)=−f′(ξ₂)(1−x₀). 】
【 bởi vì f′ đơn điệu giảm dần, mà ξ₁<x₀<ξ₂, cho nên f′(ξ₁)≥f′(x₀)≥f′(ξ₂). 】
【 nếu f(x₀)<0, tắc f′(ξ₁)<0 thả f′(ξ₂)>0. Từ f′ đơn điệu giảm dần tính, f′(ξ₁)≥f′(ξ₂), tức f′(ξ₁)−f′(ξ₂)≥0. Nhưng f′(ξ₁)<0, f′(ξ₂)>0, cố f′(ξ₁)−f′(ξ₂)<0. Mâu thuẫn. 】
【 bởi vậy giả thiết không thành lập. Cố f(x₀)≥0! 】
“Thu phục!”
Viết xong cuối cùng một cái ký hiệu, Hàn xuyên đem bút hướng trên bàn một phóng, đem giấy viết bản thảo đưa cho tang khải.
“Làm... Thu phục?”
Tang khải trừng lớn hai mắt, kinh ngạc cằm đều mau rớt trên mặt đất.
Hắn nguyên tưởng rằng đối phương sẽ tạp tại đây nói thi đua nan đề thượng, kết quả trăm triệu không nghĩ tới bất quá một lát suy tư, Hàn xuyên liền hoàn chỉnh viết ra toàn bộ chứng minh quá trình.
“Ân.”
Hàn xuyên cười gật gật đầu, nói: “Đề này xác thật có điểm khó khăn, bất quá dùng trung giá trị định lý kết hợp đơn điệu tính vẫn là tương đối dễ dàng cởi bỏ.”
Nghe vậy, tang khải khóe miệng trừu trừu.
Hắn cầm lấy kia hai trương tràn ngập suy luận quá trình giấy viết bản thảo, từ đầu tới đuôi nhìn một lần, sau đó lại nhìn một lần, cau mày hỏi
“Này một bước phép phản chứng mâu thuẫn cấu tạo, ngươi là như thế nào suy luận ra tới?”
Hàn xuyên thò qua tới, nhìn mắt giấy viết bản thảo, mở miệng nói: “Bình thường phép phản chứng là trực tiếp giả thiết kết luận không thành lập, cũng chính là giả thiết tồn tại nào đó điểm x₀ làm f(x₀)<0, sau đó ngạnh đẩy mâu thuẫn.”
“Nhưng quang có cái này giả thiết không đủ, bởi vì f(x₀)<0 bản thân đẩy không ra quá nhiều đồ vật.”
Nói, hắn dùng bút ở giấy viết bản thảo thượng điểm điểm.
“Cho nên không cần nhìn chằm chằm f(x₀)<0 liều mạng, mà là trước dùng Định lý giá trị trung bình của Lagrange đem f(x₀) biểu đạt thành hai cái bất đồng hình thức. Một cái dùng bên trái điểm cuối 0, một cái dùng bên phải điểm cuối 1, như vậy liền có thể được đến hai cái đẳng thức, f′(ξ₁) cùng f′(ξ₂).”
Tang khải nhìn chằm chằm kia hai cái đẳng thức nhìn vài giây, đồng tử hơi hơi phóng đại: “Cho nên f′(ξ₁) cần thiết là phụ. Bởi vì x₀>0, f′(ξ₁)x₀ phải đợi với một cái số âm, kia f′(ξ₁) chỉ có thể là phụ?”
“Tân mua!”
Hàn xuyên búng tay một cái, cười nói: “Đối! Bởi vậy cùng lý, −f′(ξ₂)(1−x₀) phải đợi với một cái số âm, mà (1−x₀)>0, cho nên −f′(ξ₂) cần thiết là phụ, cũng chính là f′(ξ₂) cần thiết là chính.”
Nghe xong Hàn xuyên giảng giải, tang khải nhìn chằm chằm trong tay giấy viết bản thảo thượng biểu thức số học chậm rãi phun ra một hơi.
“Thì ra là thế....”
Lời còn chưa dứt, hắn tựa hồ liền nhớ tới cái gì, nhanh chóng lấy qua một bên huấn luyện bổn, phiên tới rồi cuối cùng đáp án trang.
“Đợi lát nữa, ngươi cái này giải pháp, giống như cùng tiêu chuẩn đáp án thượng giải pháp không giống nhau!”