DISCOVERING THEOREMS ABOUT THE GAUSSIAN MERSENNE SEQUENCE WITH THE MAPLE´S HELP.

In Brazil, we are interested in the study of second-order recurrent numerical sequences. Such mathematical content has an enormous potential to provide a differentiated mathematical culture for the math teachers in initial training. However, it becomes important that the teacher in Brazil knows properties beyond the traditional and classic numerical sequences, such as the Fibonacci sequence, Lucas sequence, Pell sequence, Jacobsthal sequence, Narayana sequence, etc. Thus, in the present work, we present a proposal of CAS Maple as technological resources in the study and discovery of new theorems derived from the Mersenne sequence. Throughout the work, we show that the software allows the discovery of theorems from matrix properties derived from the Mersenne sequences and the sequence of Gaussian numbers of Mersenne. The research presented in the paper can stimulate the formation of Mathematics teachers in Brazil. [ABSTRACT FROM AUTHOR]