Say we have a list of normalized vectors. Let q be a vector such that each kth component of q is the average of all the kth components of the normalized vectors. All vectors here have the same length. Is q normalized?
My intuition says yes, but I would like to see a proof.