抛物线y=ax²与直线y=-x-3交于点A（1，b）．

（1）求a、b的值；

（2）设抛物线y=ax²与直线y=-2的两个交点为B、C（点B在点C的左侧），求△ABC的面积．

在证明的种类中，证明主体根据已知事实查明案件事实的活动被称为（）。

A．行为意义上的证明 

B．结果意义上的证明 

C．自由证明 

D．严格证明