Sul sito web di Terence Tao, celebre matematico australiano, compare l’indovinello che riportiamo nei prossimi paragrafi in una versione edulcorata. Su un’isola lontana abita una tribù dai costumi particolari. [...] naturali da 0 a n è [n(n+1)]/2” e proviamo a dimostrarla per induzione per comprendere concretamente come funziona questa tecnica dimostrativa. Per dimostrare che P(n) è vera per ogni n, verifichiamo innanzitutto che P(0) è vera (il cosiddetto “passo ... Leggi Tutto