已知函数f（x）对任意实数x，y满足f（x）+f（y）=f（x+y）+3，f（3）=6，当x＞0时，f（x）＞3．

（1）判断f（x）在R上的单调性，并证明你的结论．

（2）是否存在实数a使f （a²-a-5）＜4成立？若存在求出实数a；若不存在，则说明理由．

有以下程序：
float f1(float n)
return n*n;
float f2(float n)
return 2*n;
main()
float(*p1)(float),(*p2)(float),(*t)(float),y1,y2;
p1=f1;p2=f2;
y1=p2(p1(2.0));
t=P1;p1=p2;p2=t;
y2=p2(p1(2.0));
printf("%3.0f,%3.0f\n",y1,y2)；

程序运行后的输出结果是 【13】 。