This yields a proof by induction.

Это позволяет доказать требуемое по индукции.

Graham, Ronald L.,Knuth, Donald E.,Patashnik, Oren / Concrete Mathematics: A Foundation for Computer ScienceГрэхем, Р.,Кнут, Д.,Паташник, О. / Конкретная математика. Основание информатики

Конкретная математика. Основание информатики

Грэхем, Р.,Кнут, Д.,Паташник, О.

© 1994, 1989 by Addison-Wesley Publishing Company, Inc.

© перевод, В. В. Походзей, А.В. Ходулёв, 1998

Concrete Mathematics: A Foundation for Computer Science

Graham, Ronald L.,Knuth, Donald E.,Patashnik, Oren

© 1989 by Addison-Wesley Publishing Company

But students of mathematics should be able to meet stricter standards; so it's a good idea to construct a rigorous proof by induction.

Но изучающие математику должны уметь действовать в соответствии с более строгими стандартами—вот хороший повод для строгого доказательства по индукции.

Graham, Ronald L.,Knuth, Donald E.,Patashnik, Oren / Concrete Mathematics: A Foundation for Computer ScienceГрэхем, Р.,Кнут, Д.,Паташник, О. / Конкретная математика. Основание информатики

Конкретная математика. Основание информатики

Грэхем, Р.,Кнут, Д.,Паташник, О.

© 1994, 1989 by Addison-Wesley Publishing Company, Inc.

© перевод, В. В. Походзей, А.В. Ходулёв, 1998

Concrete Mathematics: A Foundation for Computer Science

Graham, Ronald L.,Knuth, Donald E.,Patashnik, Oren

© 1989 by Addison-Wesley Publishing Company

Corresponding to these two generalized inductive definitions we have forms of proof by induction.

Для этих двух обобщенных индуктивных определений мы имеем соответствующие формы доказательств по индукции.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

The proof is by induction on the number of variables n.

Доказательство использует индукцию по числу переменных n.

Cox, David,Little, John,O'Shea, Donal / Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraКокс, Дэвид,Литтл, Джон,О'Ши, Донал / Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры

Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры

Кокс, Дэвид,Литтл, Джон,О'Ши, Донал

© 1997, 1992 Springer-Verlag New York, Inc.

© перевод на русский язык, «Мир», 2000

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

Cox, David,Little, John,O'Shea, Donal

© 1997, 1992 Springer-Verlag New York, Inc.

The proof is by structural induction on R, following the recursive definition of regular expressions that we had in Section 3.1.2.

Доказательство проводится структурной индукцией по выражению R, следуя рекурсивному определению регулярных выражений из раздела 3.1.2.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

The proof will proceed by induction on n.

Доказательство этого факта мы проведем индукцией по n.

Borevich, Z.I.,Shafarevich, I.R. / Number TheoryБоревич, З.И.,Шафаревич И. Р. / Теория чисел

Теория чисел

Боревич, З.И.,Шафаревич И. Р.

Number Theory

Borevich, Z.I.,Shafarevich, I.R.

© 1966, by Academic Press Inc.