路可以看成一个2*n 的矩阵,用规格为 1*2的砖铺路.现给你 n的值 求铺法总数 的值.pascal语言

其实n的值就是一个斐波那契数列,这里n的值等于斐波那契数列第n+1个的值.这个问题可以通过递推算出来,代码就是：
var
a,b,c,n,i:integer;
begin
read(n);
a:=1;
b:=2;
for i:=3 to n do
begin
c:=a+b;
a:=b;
b:=c;
end;
writeln(c);
end.
再问： 可以给出证明吗？为什么是斐波那契数列