В. А. Успенский. Простейшие примеры математических доказательств. Учебное пособие. М.:МЦНМО, 2012