|p|^2=|a|^2+2ab+|b|^2