Konstanta integrasi dalam kalkulus adalah suatu konstanta tambahan, sampai di mana integral suatu fungsi (yaitu himpunan semua antiderivatif fungsi itu) dapat didefinisikan.[1][2] Konstanta ini mengekspresikan sebuah ambiguitas yang inheren dalam konstruksi antiderivatif. Jiks suatu fungsi didefinisikan pada suatu interval dan adalah antiderivatif , maka himpunan semua antiderivatif diberikan oleh fungsi , di mana C adalah konstanta sembarang. Konstanta integrasi kadang kala dihilangkan dalam tabel integral untuk penyederhanaan.
Turunan fungsi konstanta apapun adalah nol. Jika sudah didapatkan satu antiderivatif untuk suatu fungsi , penambahan atau pengurangan konstanta C apapun akan memberikan antiderivatif lain, karena . Konstanta ini merupakan suatu cara mengekspresikan bahwa setiap fungsi mempunyai antiderivatif berbeda-beda dalam jumlah tak terhingga.
Misalnya, hendak ditemukan antiderivatif . Salah satu antiderivatif adalah . Yang lain adalah . Yang ketiga adalah . Setiap fungsi ini mempunyai turunan , sehingga semuanya adalah antiderivatif .
Ternyata penambahan dan pengurangan konstanta adalah satu-satunya fleksibilitas yang tersedia dalam menemukan antiderivatif berbeda untuk fungsi yang sama; yaitu, semua antiderivatif adalah sama sampai suatu konstanta. Untuk mengekspresikan fakta ini bagi cos(x), dapat ditulis:
Menggantikan C dengan suatu bilangan akan menghasilkan sebuah antiderivatif. Namun, dengan menuliskan C, bukannya suatu bilangan, akan didapatkan pemerian singkat dari semua kemungkinan antiderivatif cos(x). C inilah yang disebut konstanta integrasi. Mudah ditentukan bahwa semua fungsi ini benar-benar antiderivatif :
Sepintas konstanta itu tampaknya tidak dibutuhkan, karena dapat ditetapkan sebagai bilangan nol. Lebih lanjut, ketika mengevaluasi integral tertentu (definite integral) menggunakan teorema dasar kalkulus, kontanta itu selalu akan dibatalkan oleh dirinya sendiri.
Namun, upaya untuk menetapkan konstanta sama dengan nol tidak selalu masuk akal. Misalnya, dapat diintegrasikan dalam, paling sedikit, tiga cara:
Jadi, menetapkan C sama dengan nol masih akan meninggalkan suatu konstanta. Ini berarti bahwa, untuk fungsi tertentu, tidak ada "antiderivatif paling sederhana".
Hasil ini dapat dinyatakan secara formal dengan cara: misalkan dan adalah dua fungsi yang dapat dibedakan di mana saja. Seandainya ada untuk setiap bilangan real x, maka akan ada suatu bilangan real C sedemikian sehingga untuk setiap bilangan real x.
Untuk membuktikannya, perhatikan bahwa , maka F dapat diganti dengan F-G dan G dengan fungsi konstanta 0, sehingga menjadikan tujuan untuk membuktikan bahwa suatu fungsi yang dapat dibedakan di mana saja, yang turunannya selalu nol harus konstan:
Pilih sebuah bilangan reala, dan misalkan . Untuk setiap x, teorema dasar kalkulus menyatakan bahwa:
yang menyiratkan bahwa . Jadi F adalah suatu fungsi yang konstan.