首先马尔可夫方程是这样一个方程：

，其中x，y，z为正整数。

 

那么关于它有几个结论：

(1)它有无穷多组解。

(2)如果x=a，y=b，z=c是它的一组解，那么x=a，y=b，z=3ab-c是它的另一组解。

(3)它的每一组解都能从x=1，y=1，z=1这组解开始通过(2)中的结论迭代产生。

 

在此方程解中出现的数称为马尔可夫数，分别是：1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, 985等。

它们组成的解是：(1, 1, 1), (1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29), (1, 13, 34), (1, 34, 89), (2, 29, 169), (5, 13, 194), (1, 89, 233), (5, 29, 433)

 

马尔可夫数可以排成一棵二叉树。如下图

和1的范围相邻的数（即2, 5, 13, 34, 89, ...），都是相隔的斐波那契数，那么都是此方程的解。

和2的范围邻接的数（即1, 5, 29, 169, ...）也有相似的特质：它们都是相隔的佩尔数。

和斐波那契数列类似，佩尔数的定义是：

所以同理也都是马尔可夫方程的解。

 

 

丢番图方程：的每一个解(A,B,C)都能通过A=3a，B=3b，C=3c产生，其中(a,b,c)是马尔可夫方

程：的解。

 

另外对于丢番图方程：来说，只有在k等于1或者3时才有非零解。