已知数列an为公差不为0的等差数列Sn为前n项和a5和a7的等差中项