用c语言设计一个子函数，判断二维数组是否为对称数组（对称矩阵），如果是，则返回1；如果不是，则返回0，并在主函数中调用此函数，判断一个4×4的数组是否为对称数组。

以下是一个用C语言实现的判断二维数组是否为对称数组的函数：

#include <stdio.h>

int isSymmetric(int arr[][4], int n) {
    int i, j;
    for(i = 0; i < n; i++) {
        for(j = 0; j < n; j++) {
            if(arr[i][j] != arr[j][i]) {
                return 0;
            }
        }
    }
    return 1;
}

int main() {
    int arr[4][4] = {{1, 2, 3, 4}, 
                     {2, 5, 6, 7}, 
                     {3, 6, 8, 9}, 
                     {4, 7, 9, 10}};
    if(isSymmetric(arr, 4)) {
        printf("The array is symmetric\n");
    } else {
        printf("The array is not symmetric\n");
    }
    return 0;
}

在主函数中，我们声明了一个4×4的数组arr，然后调用了isSymmetric函数，将数组arr和4作为参数传入。如果isSymmetric函数返回1，说明数组是对称数组，输出"The array is symmetric"；否则，输出"The array is not symmetric"。