Pascal's triangle
等差数列について暗黙に数学的帰納法を用いた証明は、紀元 1000年ごろにによる ""al-Fakhri" に扱われている。al-Karaji は二項定理やパスカルの三角形を示すのに数学的帰納法を用いた。