Çok eski bir web tarayıcısı kullanıyorsunuz. Bu veya diğer siteleri görüntülemekte sorunlar yaşayabilirsiniz.. Tarayıcınızı güncellemeli veya alternatif bir tarayıcı kullanmalısınız.
Teorem: Tüm atlar aynı renktedir.
İspat: Tümevarım kullanalım.n = 1 için ifadenin doğruluğu açıktır (bir at aynı renktedir)
n= k
için iddianın doğru olduğunu kabul edelim, yani k
tane at aynı renktedir.
n = k + 1 için
ispatlamalıyız.k + 1 tane...