设Ax=b，其中A为非奇异阵。 （a）求证A^TA为对称正定阵； （b）求证cound（A^TA）₂=（cound（A）₂）²。