核心考点是对称矩阵的存储方式及其下三角部分在一维数组中的索引计算。对于对称矩阵，下三角部分的元素a[i][j](i≤j)在一维数组中的位置可以通过公式i(i-1)/2+j-1计算得出。这是因为在按行存储下三角部分时，每一行的元素数量等于其行号，因此第i行之前的元素总数为i(i-1)/2，再加上当前行的第j个元素的位置j-1，就得到了a[i][j]在一维数组中的下标k。选项A正确。选项B错误，因为它没有减去1来调整索引。选项C和D错误，因为它们使用了错误的公式来计算索引。