Raisonnements divins est la traduction française de Proofs from THE BOOK, livre de Martin Aigner et Günter M. Ziegler qui rassemble un ensemble de résultats mathématiques dont les démonstrations surprennent par leur élégance.
Le titre anglais est un hommage au mathématicien Paul Erdős (1913-1996), et la date de parution () devait initialement coïncider avec le 85e anniversaire de ce dernier, comme les auteurs s'en expliquent dans la préface. Erdős aimait en effet évoquer « The Book », le livre où Dieu[1] inscrit les preuves parfaites des théorèmes de mathématiques.
Le livre connaîtra plusieurs éditions successives chez Springer : 1998, 2001, 2003, 2010. Les deuxième, troisième et quatrième éditions en langue anglaise seront traduites en français en 2001, 2006 et 2013. Dans la quatrième édition, les preuves sont réparties en quarante chapitres, chacun s'adressant à un théorème précis et à ses généralisations ou ses conséquences, regroupés en cinq sections représentant de nombreux domaines des mathématiques : théorie des nombres, géométrie, analyse, combinatoire, théorie des graphes ; les auteurs, suivant le projet initial de Erdős, se sont limités à des mathématiques accessibles à des lecteurs ayant suivi le premier cycle universitaire (undergraduates) ; beaucoup de ces « raisonnements divins » ne demandent d'ailleurs que les connaissances de l'enseignement secondaire.
Parmi les sujets abordés, on trouve six démonstrations de l'existence d'une infinité de nombres premiers, dont la preuve élémentaire (due à Erdős) de ce que la série des inverses des nombres premiers diverge, la démonstration de Cantor de la non-dénombrabilité des réels, des démonstrations de l'irrationalité de et de , une démonstration « en une phrase » (due à Don Zagier) du théorème des deux carrés de Fermat, ou encore (dans la quatrième édition) une démonstration du théorème de Monsky. Le problème de la galerie d'art est évoqué au chapitre 35 : « Comment surveiller un musée ».