Xem mã nguồn của Vi phân

{{Giải tích}}[[Tập tin:Tangent_to_a_curve.svg|nhỏ|200x200px| Biểu đồ của một hàm, được vẽ bằng màu đen và một đường tiếp tuyến của hàm đó, được vẽ bằng màu đỏ. Độ dốc của đường tiếp tuyến bằng với đạo hàm của hàm tại điểm được đánh dấu.]]
Trong [[toán học]], '''vi phân''' ([[tiếng Anh]]: ''differential'') là một khái niệm và là một nhánh con của [[vi tích phân]]<ref>{{Chú thích web|url=https://www.merriam-webster.com/dictionary/differential%20calculus|title=Definition of DIFFERENTIAL CALCULUS|website=www.merriam-webster.com|language=en|access-date = ngày 26 tháng 9 năm 2018}}</ref> liên quan đến nghiên cứu về tốc độ thay đổi của hàm số khi biến số thay đổi. Đây là một trong hai nhánh truyền thống của vi tích phân. Cái còn lại là [[tích phân]], ngược lại với vi phân, liên quan đến cả một quá trình thay đổi của một hàm số nguyên thuỷ ([[nguyên hàm]]) hay một thực thể khởi thuỷ phụ thuộc vào biến số khi đã biết tốc độ thay đổi của nó, thường được thể hiện bởi diện tích (thể tích) nằm bên dưới một đường cong (mặt cong).<ref>{{Chú thích web|url=https://www.merriam-webster.com/dictionary/integral%20calculus|title="Integral Calculus - Definition of Integral calculus by Merriam-Webster"|author=|first=|date=|website=www.merriam-webster.com|language=en|archive-url=|archive-date=|url-status=|access-date = ngày 1 tháng 5 năm 2018}}</ref>

Các đối tượng nghiên cứu chính trong vi phân là [[đạo hàm]] của [[hàm số]], các khái niệm liên quan như [[vi phân hàm số]] và các ứng dụng của chúng. Đạo hàm của hàm tại một giá trị đầu vào được chọn mô tả tốc độ thay đổi của hàm gần giá trị đầu vào đó. Về mặt hình học, đạo hàm tại một điểm là [[độ dốc]] của đường [[tiếp tuyến]] với [[Đồ thị của hàm số|đồ thị của hàm]] tại điểm đó, với điều kiện là đạo hàm tồn tại và được xác định tại điểm đó. Đối với hàm có giá trị thực của một biến thực duy nhất, đạo hàm của hàm tại một điểm thường xác định xấp xỉ tuyến tính tốt nhất cho hàm tại điểm đó.

Phép tính vi phân và phép tính tích phân được kết nối bởi [[Định lý cơ bản của giải tích|định lý cơ bản của vi tích phân]], trong đó nêu rõ vi phân là quá trình ngược lại với [[tích phân]].

Vi phân có các ứng dụng cho gần như tất cả các ngành định lượng. Ví dụ, trong [[Vật lý học|vật lý]], đạo hàm của sự [[Li độ|dịch chuyển]] của vật chuyển động theo [[thời gian]] là [[vận tốc]] của vật thể và đạo hàm của vận tốc đối với [[thời gian]] là gia tốc. Đạo hàm của [[động lượng]] của một cơ thể đối với [[thời gian]] bằng với lực tác dụng lên cơ thể; sắp xếp lại tuyên bố phái sinh này dẫn đến phương trình nổi tiếng {{Math|'''F''' {{=}} ''m'''''a'''}} liên quan đến [[Các định luật về chuyển động của Newton|định luật chuyển động thứ hai của Newton]]. [[Tốc độ phản ứng]] của một [[phản ứng hóa học]] là một đạo hàm. Trong [[Vận trù học|nghiên cứu hoạt động]], các công cụ phái sinh xác định các cách hiệu quả nhất để vận chuyển vật liệu và thiết kế nhà máy.

Các đạo hàm thường được sử dụng để tìm [[Cực trị của hàm số|cực đại và cực tiểu]] của hàm. Các phương trình liên quan đến đạo hàm được gọi là [[phương trình vi phân]] và là cơ bản trong việc mô tả các [[hiện tượng tự nhiên]]. Các dẫn xuất và khái quát hóa của chúng xuất hiện trong nhiều lĩnh vực toán học, chẳng hạn như [[giải tích phức]], [[giải tích hàm]], [[hình học vi phân]], [[Độ đo|lý thuyết đo lường]] và [[đại số trừu tượng]].

== Đạo hàm ==
{{chính|Đạo hàm}}
[[Tập tin:Tangent-calculus.svg|nhỏ|300x300px| Đường [[tiếp tuyến]] tại {{Math|(''x'',''f''(''x''))}} ]]
[[Tập tin:Tangent_function_animation.gif|nhỏ|300x300px| Đạo hàm tại các điểm khác nhau của hàm phân biệt]]
Giả sử {{Math|''x''}} và {{Math|''y''}} là [[Số thực|các số thực]] và {{Math|''y''}} là [[Hàm số|hàm]] của {{Math|''x''}}, nghĩa là với mỗi giá trị của {{Math|''x''}}, có một giá trị tương ứng của {{Math|''y''}}. Mối quan hệ này có thể được viết là {{Math|1=''y'' = ''f''(''x'')}}. Nếu {{Math|''f''(''x'')}} là phương trình của đường thẳng (gọi là [[phương trình tuyến tính]]), thì có hai số thực {{Math|''m''}} và {{Math|''b''}} sao cho {{Math|1=''y'' = ''mx'' + ''b''}}. Trong "hình thức chặn dốc" này, thuật ngữ {{Math|''m''}} được gọi là [[độ dốc]] và có thể được xác định từ công thức:

:<math> m = \frac{\text{thay đổi của } y}{\text{thay đổi của } x} = \frac{\Delta y}{\Delta x},</math>

trong đó ký hiệu {{Math|Δ}} (dạng chữ hoa của chữ [[Bảng chữ cái Hy Lạp|Hy Lạp]] [[delta]]) là tên viết tắt của "thay đổi". Theo sau đó {{Math|1=Δ''y'' = ''m'' Δ''x''}}.

Nói chung hàm số không phải là một đường thẳng, vì vậy nó không có độ dốc. Về mặt hình học, '''đạo hàm của {{Math|''f''}} tại điểm {{Math|1=''x'' = ''a''}}''' là độ dốc của đường [[tiếp tuyến]] với hàm {{Math|''f''}} tại điểm {{Math|''a''}} (xem hình). Điều này thường được ký hiệu là {{Math|''f'' ′(''a'')}} trong ký hiệu Lagrange hoặc {{Math|1={{sfrac|''dy''|''dx''}}{{Pipe}}<sub>''x'' = ''a''</sub>}} trong ký hiệu của Leibniz. Do đạo hàm là độ dốc của xấp xỉ tuyến tính với {{Math|''f''}} tại điểm {{Math|''a''}}, nên đạo hàm (cùng với giá trị của {{Math|''f''}} tại {{Math|''a''}}) xác định xấp xỉ tuyến tính tốt nhất hoặc tuyến tính hóa của {{Math|''f''}} gần điểm {{Math|''a''}}.

Nếu mọi điểm {{Math|''a''}} trong miền của {{Math|''f''}} có đạo hàm, có một hàm gửi mọi điểm {{Math|''a''}} đến đạo hàm của {{Math|''f''}} tại {{Math|''a''}}. Ví dụ: nếu {{Math|1=''f''(''x'') = ''x''<sup>2</sup>}}, thì hàm đạo hàm {{Math|1=''f'' ′(''x'') = {{sfrac|''dy''|''dx''}} = 2''x''}}.

Một khái niệm liên quan chặt chẽ là sự khác biệt của một hàm. Khi {{Math|''x''}} và {{Math|''y''}} là các biến thực, đạo hàm của {{Math|''f''}} tại {{Math|''x''}} là độ dốc của đường tiếp tuyến với đồ thị của {{Math|''f''}} tại {{Math|''x''}}. Vì nguồn và đích của {{Math|''f''}} là một chiều, nên đạo hàm của {{Math|''f''}} là một số thực. Nếu {{Math|''x''}} và {{Math|''y''}} là vectơ, thì phép tính gần đúng tuyến tính tốt nhất với đồ thị của {{Math|''f''}} phụ thuộc vào cách {{Math|''f''}} thay đổi theo nhiều hướng cùng một lúc. Lấy xấp xỉ [[Tuyến tính|tuyến]] tính tốt nhất theo một hướng xác định [[đạo hàm riêng]], thường được ký hiệu là {{Math|{{sfrac|∂''y''|∂''x''}}}}. Việc tuyến tính hóa của {{Math|''f''}} theo tất cả các hướng cùng một lúc được gọi là [[đạo hàm tổng]].

== Lịch sử vi phân ==
Khái niệm về vi phân theo nghĩa của một [[Tiếp tuyến|đường tiếp tuyến]] là một khái niệm rất cũ, quen thuộc đối với các nhà nghiên cứu hình học [[Hy Lạp cổ đại|Hy Lạp]] như [[Euclid]] (c. 300 TCN), [[Archimedes]] (c 287-212 TCN.) Và [[Apollonius của Pergaeus]] (c. 262 – 190 TCN).<ref>See [[Cơ sở (Euclid)|Euclid's Elements]], The [[Archimedes Palimpsest]] and {{MacTutor Biography}}</ref> [[Archimedes]] cũng giới thiệu việc sử dụng [[infinitesimals]], mặc dù chúng chủ yếu được sử dụng để nghiên cứu diện tích và khối lượng hơn là các dẫn xuất và tiếp tuyến; xem sử dụng infinitesimals của Archimedes.

Việc sử dụng infinitesimals để nghiên cứu tốc độ thay đổi có thể được tìm thấy trong [[toán học Ấn Độ]], có lẽ sớm nhất là vào năm 500 sau Công nguyên, khi nhà thiên văn học và nhà toán học [[Aryabhata]] (476-550) sử dụng infinitesimals để nghiên cứu [[quỹ đạo của Mặt trăng]].<ref>{{MacTutor Biography}}</ref> Việc sử dụng infinitesimals để tính toán tỷ lệ thay đổi đã được [[Bhāskara II]] (1114411185) phát triển đáng kể; thật vậy, người ta đã lập luận rằng <ref>Ian G. Pearce. [http://turnbull.mcs.st-and.ac.uk/~history/Projects/Pearce/Chapters/Ch8_5.html Bhaskaracharya II.] {{Webarchive|url=https://web.archive.org/web/20160901092504/http://turnbull.mcs.st-and.ac.uk/~history/Projects/Pearce/Chapters/Ch8_5.html |date = ngày 1 tháng 9 năm 2016}}</ref> rằng nhiều khái niệm chính của phép tính vi phân có thể được tìm thấy trong công trình của ông, chẳng hạn như " [[Định lý Rolle]] ".<ref>{{Chú thích tạp chí|last=Broadbent|first=T. A. A.|last2=Kline|first2=M.|date=October 1968|title=Reviewed work(s): ''The History of Ancient Indian Mathematics'' by C. N. Srinivasiengar|url=https://archive.org/details/sim_mathematical-gazette_1968-10_52_381/page/307|journal=The Mathematical Gazette|volume=52|issue=381|pages=307–8|doi=10.2307/3614212|jstor=3614212|postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}}}</ref>

Nhà toán học Ba Tư, [[Sharaf al-Dīn al-Tūsī]] (1135-1213), trong tác phẩm ''Chuyên luận về phương trình'', đã thiết lập các điều kiện để một số phương trình bậc ba có các nghiệm, bằng cách tìm cực đại của đa thức bậc ba thích hợp. Ví dụ, ông đã chứng minh rằng tối đa của biểu thức bậc 3 {{Math|''a x<sup>2</sup> — x''<sup>3</sup>}} xảy ra khi {{Math|''x'' {{=}} 2''a''/3}} và kết luận rằng phương trình {{Math|''a x''<sup>2</sup> — ''x''<sup>3</sup> {{=}} ''c''}} có chính xác một nghiệm dương khi {{Math|''c'' {{=}} 4 ''a''<sup>3</sup>/27}} và hai nghiệm dương khi {{Math|0 < ''c'' < 4 ''a''<sup>3</sup>/27}} <ref name="JL Berggren 1990">JL Berggren (1990). "Đổi mới và truyền thống ở Muafat Sharaf al-Din al-Tusi", ''Tạp chí của Hiệp hội Đông phương Hoa Kỳ'' '''110''' (2), trang 304-309.</ref> Nhà sử học khoa học, [[Roshdi Rashed|Roshdi Rashing]],<ref>Trích dẫn bởi JL Berggren (1990). "Đổi mới và truyền thống ở Muafat Sharaf al-Din al-Tusi", ''Tạp chí của Hiệp hội Đông phương Hoa Kỳ'' '''110''' (2), trang 304-309.</ref> đã lập luận rằng al-Tūsī phải sử dụng đạo hàm của hàm bậc 3 để có được kết quả này. Tuy nhiên, kết luận của Rash đã được tranh luận bởi các học giả khác, những người lập luận rằng ông ta có thể thu được kết quả bằng các phương pháp khác không yêu cầu đạo hàm của hàm.<ref name="JL Berggren 1990"/>

Sự phát triển hiện đại của tính toán thường được ghi nhận cho [[Isaac Newton]] (1643-1727) và [[Gottfried Leibniz|Gottfried Wilhelm Leibniz]] (1646-1716), trong đó cả hai người có tiếp cận độc lập <ref>Newton bắt đầu công việc của mình vào năm 1666 và Leibniz bắt đầu công việc của mình vào năm 1676. Tuy nhiên, Leibniz đã xuất bản bài báo đầu tiên vào năm 1684, trước khi xuất bản của Newton vào năm 1693. Có thể Leibniz đã thấy các bản nháp về tác phẩm của Newton vào năm 1673 hoặc 1676 Leibniz là công việc để tinh chỉnh của riêng mình. Cả Newton và Leibniz đều cho rằng người kia đạo văn các tác phẩm tương ứng của họ. Điều này dẫn đến một cuộc [[Newton Leibniz calculus controversy|tranh cãi tính toán Newton Leibniz]] cay đắng giữa hai người đàn ông lần đầu tiên phát minh ra phép tính làm rung chuyển cộng đồng toán học vào đầu thế kỷ 18.</ref> và thống nhất về vi phân và đạo hàm. Tuy nhiên, cái nhìn sâu sắc quan trọng của hai người để được ghi công, là [[định lý cơ bản của giải tích]] liên quan đến vi phân và tích phân: điều này làm cho hầu hết các phương pháp trước đây dùng để tính toán diện tích và thể tích,<ref>Đây là một thành tựu hoành tráng, mặc dù phiên bản giới hạn đã được chứng minh trước đó bởi [[James Gregory (astronomer and mathematician)|James Gregory]] (1638 sừng1675), và một số ví dụ chính có thể được tìm thấy trong tác phẩm của [[Pierre de Fermat]] (1601 cách1665).</ref> vốn không được mở rộng đáng kể kể từ thời [[Alhazen|Ibn al -Haytham]] (Alhazen), trở nên lỗi thời.<ref name="Katz">Victor J. Katz (1995), "Ý tưởng tính toán trong Hồi giáo và Ấn Độ", ''Tạp chí Toán học'' '''68''' (3): 163-174 [165-9 & 173-4]</ref> Đối với ý tưởng về đạo hàm, cả Newton và Leibniz đều xây dựng dựa trên công trình quan trọng trước đó của các nhà toán học như [[Pierre de Fermat]] (1607-1665), [[Isaac Barrow]] (1630-1677), [[René Descartes]] (1596-1650), [[Christiaan Huygens]] (1629), [[Blaise Pascal]] (1623-1662) và [[John Wallis]] (1616 sừng1703). Về ảnh hưởng của Fermat, Newton từng viết trong một bức thư rằng " ''Tôi đã có gợi ý về phương pháp này từ cách vẽ tiếp tuyến của Fermat, và bằng cách áp dụng nó vào các phương trình trừu tượng, trực tiếp và đảo ngược, tôi đã đưa nó thành tổng quát.'' " <ref name="Sabra">{{Chú thích sách|title=Theories of Light: From Descartes to Newton|url=https://archive.org/details/theoriesoflightf0000sabr|last=Sabra|first=A I.|publisher=Cambridge University Press|year=1981|isbn=978-0521284363|page=[https://archive.org/details/theoriesoflightf0000sabr/page/144 144]}}</ref> Isaac Barrow thường được công nhận cho sự phát triển ban đầu của đạo hàm.<ref>Yêu tinh, H. (1990).</ref> Tuy nhiên, [[Isaac Newton|Newton]] và [[Gottfried Leibniz|Leibniz]] vẫn là những nhân vật quan trọng trong lịch sử của vi phân, không chỉ bởi vì Newton là người đầu tiên áp dụng vi phân vào [[vật lý lý thuyết]], trong khi Leibniz đã phát triển một cách có hệ thống phần lớn các ký hiệu vi phân mà vẫn được sử dụng cho đến ngày nay.

Từ thế kỷ 17, nhiều [[nhà toán học]] đã đóng góp cho lý thuyết về vi phân. Vào thế kỷ XIX, giải tích đã được các nhà toán học như [[Augustin-Louis Cauchy|Augustin Louis Cauchy]] (1789 –1857), [[Bernhard Riemann]] (1826 –1866) và [[Karl Weierstrass]] (1815 – 1897). Cũng trong thời kỳ này, vi phân được khái quát hóa thành [[không gian Euclide]] và [[mặt phẳng phức]].

==Xem thêm==
* [[Dạng vi phân]]
* [[Tích phân]]
* [[Giới hạn (toán học)|Giới hạn]]
*[[Hàm số]]
*[[Đạo hàm]]
*[[Tích phân đường]]
*[[Tích phân mặt]]

==Tham khảo==
{{tham khảo}}

[[Thể loại:Vi phân| ]]
[[Thể loại:Vi tích phân]]