Podstawowe twierdzenie rachunku całkowego
Podstawowe twierdzenie rachunku całkowego – twierdzenie mówiące o tym, że podstawowe operacje rachunku różniczkowego i całkowego – różniczkowanie i całkowanie – są operacjami odwrotnymi. Dokładniej, jeżeli dana jest funkcja ciągła formula_1 to pochodna jej funkcji górnej granicy całkowania jest równa formula_2 Bezpośrednią konsekwencją twierdzenia jest możliwość wykorzystania funkcji pierwotnej do obliczania całki oznaczonej danej funkcji.

Prawdopodobnie twierdzenie to znał już nauczyciel Isaaca Newtona, Isaac Barrow (1630–1677). Pierwszy znany dowód przypisywany jest szkockiemu matematykowi Jamesowi Gregory’emu (1638–1675).
Q29175
różniczkowanie
Concept
Q80091
całkowanie
Concept
Q170058
funkcja ciągła
Concept
Q1991596
funkcji górnej granicy całkowania
Concept
Q114326
funkcji pierwotnej
Concept
Q935
Isaaca Newtona
PER
Q207718
Isaac Barrow
PER
Q6856
1630
TIME
Q7631
1677
TIME
Q313906
Jamesowi Gregory’emu
PER
Q6893
1638
TIME
Q7624
1675
TIME
Q1217677
Podstawowe twierdzenie rachunku całkowego
Concept
1630-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1630
DATE
1677-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1677
DATE
1638-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1638
DATE
1675-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1675
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+1630^^http://www.w3.org/2001/XMLSchema#decimal
1630
NUMBER
+1677^^http://www.w3.org/2001/XMLSchema#decimal
1677
NUMBER
+1638^^http://www.w3.org/2001/XMLSchema#decimal
1638
NUMBER
+1675^^http://www.w3.org/2001/XMLSchema#decimal
1675
NUMBER
significant person
point in time
point in time
point in time