满m叉树编号为i的结点的子结点编号推导

结论

对于 i 结点的第一个子结点的编号 j，有
j = (i-1)*m+2

题目

有满 m 叉树按照层次从上到下，每层从左到右的顺序从1开始对全部结点编号，编号为 i 的结点的第1个子结点 j 的编号是多少

推导过程（修改于2021.08.26，已更正评论区提出的问题）

1. 假设 i 在第 n 行 (n = 1,2,3,…)
2. 前 n-1 行一共有 [m^(n-1)-1] / (m-1) 个结点
3. 则在第 n 行，结点 i 前有 i - [m^(n-1)-1] / (m-1) - 1 个结点
4. 那么第 n+1 行，i 的第1个子结点前有
   { i - [m^(n-1)-1] / (m-1) - 1 } * m 个结点
5. 所以在 i 的第1个子结点前，一共有
   { i - [m^(n-1)-1] / (m-1) - 1 } * m + (m^n-1)/(m-1) 个结点，化简得，有 (i-1) * m+1 个结点
6. 故 i 的第1个子结点 j = (i-1) * m+2，证明完毕

推导过程（LaTex版本）

1. 假设 $i$ 在第 $n$ 行 $(n=1,2,3,\dots )$
2. 前 $n$ 行一共有 $\frac{m^n-1}{m-1}$ 个结点
3. 前 $n-1$ 行一共有 $\frac{m^{(n-1)}-1}{m-1}$ 个结点
4. 则在第 $n$ 行，结点 $i$ 前有 $i-\frac{m^{(n-1)}-1}{m-1}-1$ 个结点
5. 那么第 $n+1$ 行，$i$ 的第 $1$ 个子结点前有 $[i-\frac{m^{(n-1)}-1}{m-1}-1]\ast m$ 个结点
6. 所以在 $i$ 的第 $1$ 个子结点前，一共有 $[i-\frac{m^{(n-1)}-1}{m-1}-1]\ast m+\frac{m^n-1}{m-1}$ 个结点，化简得，有 $(i-1)\ast m+1$ 个结点
7. 故 $i$ 的第 $1$ 个子结点 $j=(i-1)\ast m+2$，证明完毕