This is exercise $2.15$ from Harris book "Algebraic Geometry: A First Course". Show that the image of the diagonal in $\mathbb{P}^{n} \times \mathbb{P}^{n}$ under the Segre map is isomorphic to the Veronese variety $v_{2}(\mathbb{P}^{n})$.
Would the idea is just map everything to itself and ignore the repeated monomials of degree $2$ for example if $n=1$ we get that the diagonal under the Segre mapping sends a point $([a : b],[a:b]) \mapsto [a^{2} : ab : ab : b^{2}]$. Now this almost looks like the $2$-Veronese map $\mathbb{P}^{1} \rightarrow \mathbb{P}^{2}$ given by $[s : t] \mapsto [s^{2} : st : t^{2}]$. So what I mean is simply ignore the repeated monomial $ab$ and map $[a^{2} : ab: ab : b^{2}]$ to $[a^{2} : ab : b^{2}]$. Would this work?