En la literatura, generalmente se asume que Leibniz describió la prueba para el Teorema Fundamental del Cálculo (FTC) en 1693. Sin embargo, ¿realmente lo probó? Si la respuesta es no desde la perspectiva actual, ¿hay trabajos en los que Leibniz introdujo argumentos que pueden entenderse como formulaciones y justificaciones del FTC? Para responder a esta pregunta, utilizamos una metodología historiográfica con triangulación de expertos. A partir del estudio de los manuscritos de Leibniz que describen el problema inverso de las tangentes y su relación con el problema de la cuadratura, encontramos evidencia de un argumento geométrico a partir del cual se puede inferir el FTC. Presentamos este argumento utilizando recursos tecnológicos y notación moderna. Este resultado puede utilizarse para enseñar el FTC debido a la existencia de software dinámico y geométrico, lo que lo hace adecuado para el aula. Además, proporciona otra interpretación del FTC complementaria a la interpretación utilizando sumas de Riemann.