On the Mersenne sequence

From Binet’s formula of Mersenne sequence we get some properties for this sequence. Mersenne, Jacobsthal and Jacobsthal-Lucas sequences are considered in order to achieve some relations between them, sums and certain products involving terms of these sequences. We also present some results with matrices involving Mersenne numbers such as the generating matrix, tridiagonal matrices and circulant type matrices