核心考点是对称矩阵的压缩存储。对称矩阵只需要存储下三角（或上三角）部分的元素，因为对称矩阵的元素满足a[i][j] = a[j][i]。下三角部分的元素数量是1+2+...+n = n(n+1)/2。因此，压缩存储所需的一维数组的大小是n(n+1)/2，选项C是正确答案。错误选项A和B没有考虑到对称矩阵的特性，而选项D计算的是上三角部分的元素数量，与题目要求的下三角部分不符。