For an m x n matrix Q with orthonormal columns (m > n), QQ^T is a symmetric m x m matrix that is singular because its rank is n, which is less than m. This leads to a condition where QQ^T cannot be invertible. The discussion highlights the challenges faced when simplifying the matrix equation A^TDAx = A^Tb, especially when A is non-square. The broader question of solving the equation without direct multiplication was clarified by correcting the equation to ATDAx = ATDb, which simplifies the problem significantly. Ultimately, the relationship rank(A) = rank(ATA) = rank(AAT) reinforces that QQ^T retains the rank of Q, confirming its singularity.