Vạn Năng Số Liệu

Linh cảm, luôn là đến như vậy không kịp đề phòng!

Trình Dạ khóe miệng có chút móc một cái, mang trang sách lật trở về vốn là kia một trang.

Nếu Chebyshev (cắt so với tuyết phu) cho ra Bertrand giả thiết chứng minh quá trình phức tạp như vậy, như vậy, chính mình liền khiêu chiến một chút, nhìn một chút có hay không có thể đủ càng giản tiện số học ngôn ngữ chứng minh Bertrand giả thiết đi.

Thuận tiện, tới nghiệm chứng một chút, một năm này đi sâu vào điều nghiên, năng lực mình kết quả đến trình độ nào.

Bertrand giả thiết đơn giản chứng minh phương pháp.

Chỉ là cái này luận văn đề mục, cũng đủ để bị gọi là 1 khu tài nghệ luận văn. Dĩ nhiên, điều kiện tiên quyết là Trình Dạ thật có thể thăm dò ra cái điều đơn giản giải pháp.

Giống như Trình Dạ trước sở giả thiết qua. Số học giới từng cái phỏng đoán hoặc là giả thiết chứng minh quá trình đều là do khởi điểm đi tới điểm cuối quá trình, có đường tuyến khúc chiết, có đường tuyến thẳng tắp.

Mà có lẽ, cắt so với tuyết phu phát hiện là cái điều tương đối khúc chiết đường đi, mà Trình Dạ, thì cần muốn ở phía trước nhân trên căn bản, mở ra một cái càng nói thẳng con đường.

Nhưng này so với đơn độc chứng minh Bertrand giả thiết đơn giản hơn.

Dù sao cũng là đứng ở người khổng lồ trên bả vai nhìn vấn đề, có cắt so với tuyết phu vị này “Khai hoang người” nói lên chứng minh phương án, Trình Dạ hoặc nhiều hoặc ít cũng có thể từ trong hấp thu được cái gì, tịnh tiến đi độc đáo hiểu.

Nghĩ đến liền làm!

Trình Dạ không phải là như vậy do dự bất quyết nhân. Phản chính thời gian sung túc, cho phép Trình Dạ ở phát hiện “Đường này không thông” sau, lần nữa tìm một cái khác luận văn phương hướng.

Muốn nói lên càng giản tiện phương án, đầu tiên phải đem tiền nhân nói lên chứng minh ý nghĩ hiểu rõ.

Hắn không có vô cùng lo lắng trực tiếp bắt đầu chính mình điều nghiên, mà là cúi đầu xuống, từ đầu tới cuối xem trong sách mới Bertrand giả thiết kia mười mấy trang nội dung.

Sau hai giờ, Trình Dạ khép sách lại.

Nhắm hai mắt trở về chỗ mấy giây, hắn từ trong bọc sách móc ra 1 chồng trống không bản nháp giấy, cầm lên trên mặt bàn màu đen Các-bon làm bút, tập trung tinh thần bắt đầu chính mình suy diễn:

Muốn chứng minh Bertrand giả thiết, thì nhất định phải chứng minh mấy cái phụ trợ mệnh đề.

Dẫn lý 1: (Dẫn lý 1: Thiết lập n làm một số tự nhiên, p làm một làm cân nhắc, là có thể chia hết n! P cao nhất mịch thứ là: S=Σi≥ 1floor (n/pi) (thức bên trong floor (x) là không lớn hơn x lớn nhất số chẳn) )

Nơi này, yêu cầu mang từ 1 đến n toàn bộ (n cái) số tự nhiên xếp hàng ở một đường thẳng bên trên, ở mỗi một con số bên trên gấp lại một nhóm tử cái ký hiệu, hiển nhiên ký hiệu tổng số là s.

Quan hệ thức s=Σ 1 ≤ i ≤ n tử biểu thị là tiên tính toán các hàng ký hiệu cân nhắc (gần tử) lại cầu hòa, như vậy lấy được quan hệ, chính là dẫn lý 1.

Dẫn lý nhị: (Thiết lập n là số tự nhiên, p là làm cân nhắc, là Πp ≤ np 2), chúng ta tới chứng minh n=N tình hình.

Nếu như N là số chẵn, là Πp ≤ Np=Πp ≤ N- 1p, dẫn lý hiển nhiên thành lập.

Nếu như N là số lẻ, thiết lập N= 2m+ 1 (m≥ 1). Chú ý tới toàn bộ m+ 1p ≤ 2m+ 1 làm cân nhắc đều là tổ hợp cân nhắc (2m+ 1)! /m! (M+ 1)! Nhân tử, mặt khác tổ hợp cân nhắc (2m+ 1)!/m! (M+ 1)! Ở nhị thức mở ra (1+ 1) 2m+ 1 bên trong xuất hiện hai lần, cho nên (2m+ 1)! /m! (M+ 1)! ≤ (1+ 1) 2m+ 1/ 2=4m.

Như thế, liền có thể...

Trình Dạ ý nghĩ trót lọt, cơ hồ miễn phí nhiều đại công phu, liền dùng chính mình phương pháp mang hai cái này phụ trợ mệnh đề chứng minh đi ra.

Đương nhiên, đây bất quá là mới đi xong bước đầu tiên mà thôi.

Dựa theo cắt so với tuyết phu ý nghĩ, phía sau còn cần thông qua hai cái này định lý dẫn nhập đến Bertrand giả thiết chứng minh bước bên trong đi.

Cắt so với tuyết phu dùng phương pháp là cứng rắn tiếp cận, không sai, chính là cứng rắn tiếp cận!

Thông qua công thức đang lúc không ngừng chuyển đổi, mang Bertrand giả thiết thành lập một cái, hoặc là nào đó mấy cái sung mãn muốn điều kiện, đổi thành dẫn lý 1 hoặc là dẫn lý nhị hình thức, tiến hành biến hóa giản chỉnh hợp cầu giải.

Đương nhiên, Trình Dạ khẳng định không thể làm như thế.

Bởi vì dùng loại này chứng thực phương án lời nói, đừng nói là Trình Dạ, coi như là khiến Hilbert đến, sợ rằng chứng minh bước cũng sẽ không so với cắt so với tuyết phu đơn giản bao nhiêu. Vì vậy, nhất định phải chuyển đổi ý nghĩ.

Nhưng là kết quả làm sao một cái chuyển đổi pháp...
Ách... Trình Dạ còn chưa nghĩ ra.

Mắt thấy mặt trời lặn xuống phía tây, lại đến lúc cơm nước xong đang lúc, Trình Dạ một bên trong đầu suy tư, một bên bước từ từ đi về phía nhà ăn.

...

Ngay tại lúc đó, tại phía xa bờ bên kia Đại Dương Mỹ Quốc.

«I femal» tạp chí trụ sở chính, nằm ở Mỹ Quốc Los Angeles.

Coi như số học trong giới hạn đứng đầu SCI tập san một trong, hàng năm bọn họ đại khái sẽ nhận được đến từ cả nước các nơi số học gia mấy chục ngàn thứ gửi bản thảo.

Nhưng cuối cùng có cơ hội lấy được đăng báo luận văn, cũng chỉ có không tới hai trăm thiên.

Hơn nữa, này hai trăm thiên học thuật luận văn chính giữa, có cơ hồ 4 phần 5 phân ngạch bị đương thời cao cấp nhất mấy vị kia số học gia chiếm cứ.

Như đại số bao nhiêu lĩnh vực Peteholze.

Vi phân bao nhiêu lĩnh vực RihardHamilton.

Số học phân tích lĩnh vực JeanBourgain.

Vân vân và vân vân...

Cho nên, xem xét bản thảo biên tập ở xem xét bản thảo thời điểm, cũng không phải là dựa theo gửi bản thảo thứ tự tiến hành thẩm duyệt, mà là dựa theo ký tên tác giả học thuật Thủy phê bình làm làm tiêu chuẩn.

Dù sao, học thuật tài nghệ càng cao trứ tác người, đạt tới tập san thu nhận sử dụng tiêu chuẩn có khả năng càng cao. Mà mỗi kỳ nào khan thu nhận sử dụng luận văn số lượng lớn thể là trên dưới trôi lơ lửng một vài giá trị, nhưng trôi lơ lửng không lớn.

Lời như vậy, liền có thể đại tiết kiệm xem xét bản thảo biên tập thời gian.

Có thể ở như vậy số học giới đứng đầu tập san đảm nhiệm xem xét bản thảo biên tập, tự thân cũng không phải bừa bãi hạng người vô danh.

Nói thí dụ như, «I femal» xem xét bản thảo biên tập một trong, Lafite - Peter ngươi, chính là cho là đã từng từng thu được kéo Manu kim tưởng nổi danh số học gia.

Hiện nay, hắn ngoại trừ là nhà này tập san xem xét bản thảo biên tập bên ngoài, còn đảm nhiệm California đại học Los Angeles phân giáo khách tọa giáo sư, chủ công lĩnh vực phân tích số luận.

Làm một vị nhiều tên đầu hàm gia thân số học Đại Ngưu, hắn không thể nào mỗi ngày giống như đi làm tựa như 9h đi 5h về ngây ngô ở trong phòng làm việc thẩm duyệt bài viết.

Nói như vậy, hắn đều là mỗi thứ hai rút ra một cái hoặc là hai cái buổi sáng thời gian, ở tại nhà mình trong căn hộ, thẩm duyệt những thứ kia do phổ thông xem xét bản thảo biên tập phát tới, mấy thiên đứng đầu số học gia gửi bản thảo, cùng một ít không quá nổi danh số học gia phát tới, nhưng bị bọn họ cho là có thu nhận sử dụng tư chất gửi bản thảo.

Nhưng đa số dưới tình huống, bởi vì phổ thông xem xét bản thảo biên tập tự thân số học tài nghệ không cao nguyên nhân, những thứ kia tuyển chọn đi lên bưu kiện chỉ có rất một số ít phù hợp tập san thu nhận sử dụng tiêu chuẩn.

Buổi sáng tám giờ.

Peter ngươi Giáo sư nhàn nhã rót một ly cà phê, ngồi ở trên ban công, một bên thẩm duyệt đến trong máy vi tính xách tay biểu hiện gửi bản thảo, một bên nhàn nhã tự đắc cái miệng nhỏ uống xuyết.

“Gần đây khoảng thời gian này số học giới có chút bình tĩnh hả!” Raphael đóng lại 1 bài luận văn, nhỏ giọng than nhẹ một câu.

Gần đây mấy tháng này, theo ABC phỏng đoán tranh tấm màn rơi xuống, toàn bộ số học giới cũng lâm vào nhất thiên bình tĩnh. Có lẽ, đến năm nay tháng mười một phỉ thưởng ban hành thời điểm, mới có thể lần nữa náo nhiệt lên đi.

Chậm rãi khoan thai, thời gian sẽ đến mười một giờ.

Mấy vị đứng đầu số học gia gửi bản thảo bảy bài luận văn hắn đã toàn bộ thẩm duyệt xong. Trong đó, có ngũ bài luận văn tài nghệ cao hơn thu nhận sử dụng tiêu chuẩn tuyến. Peter ngươi đánh dấu mấy nơi, để cho thủ hạ liên lạc tác giả tiến hành nhỏ tu.

Vốn là dự định kết thúc như vậy hôm nay công việc, bất quá nhớ tới buổi trưa hôm nay có người mời khách, ngược lại không cần cuống cuồng làm cơm trưa.

Đã như vậy, vậy thì nhìn lại hơn mấy thiên đi.

Peter ngươi điều khiển con chuột, mở ra tiếp theo phong bưu kiện.

Luận văn tựa đề: «Làm phân tích trật là 1 lúc, yếu BSD phỏng đoán chứng minh»!