以下程序的输出是 【8】 。
#include＜iostream＞
using namespace std；
fun(intm)

static int n=1；
n=m*n;
return(n);

void main()

int i;
for(i=1;i＜=3;i++) cout＜＜fun(i);

设A为m阶实对称矩阵且正定，B为m×n阶实矩阵，B^T为B的转置矩阵!试证B^TAB为正定矩阵的充分必要条件是矩阵B的秩r(B)=n