Using the Maple computer algebra system to study mathematical induction

Mathematical induction is one of the main methods of the proof that students study and use it in their studies in higher education. This important method, in addition to mathematics, is widely used in computer science and a number of other related disciplines. However, even if the principles of proof using the method of induction are taught, understood and mastered by students well, many students have great difficulty with algebraic transformations necessary for proving, for example, finding the inductive step. The use of the Maple computer algebra system allows students to overcome this obstacle and, more attention and effort to pay to understanding the concept of proofs using the method of mathematical induction. In addition, students can prove more complex algebraic statements, and their activities can be of a pronounced research nature.