${n\choose 2}$ counts the 2-combination $(a,b)$ where
- $a\,\in\,\{\text{Set with n-k elements}\}\,b\,\in\,\{\text{Set with n-k elements}\}$
- $a\,\in\,\{\text{Set with n-k elements}\}\,b\,\in\,\{\text{Set with k elements}\}$ Order trivial here?
- $a\,\in\,\{\text{Set with k elements}\}\,b\,\in\,\{\text{Set with k elements}\}$
${k\choose 2}$ counts the 2-combination $(a,b)$ where
- $a\,\in\,\{\text{Set with k elements}\}\,b\,\in\,\{\text{Set with k elements}\}$
${n-k\choose 2}$ counts the 2-combination $(a,b)$ where
- $a\,\in\,\{\text{Set with n-k elements}\}\,b\,\in\,\{\text{Set with n-k elements}\}$
$k(n-k)$ counts the 2-combination $(a,b)$ where
- $a\,\in\,\{\text{Set with n-k elements}\}\,b\,\in\,\{\text{Set with k elements}\}$
- First question, is that because the order is trivial, either $k(n-k)$ or $(n-k)k$ would suffice?
- Second question, under what circumstances will both $k(n-k)$ and $(n-k)k$ have to be counted?
Maybe it is clearer as $$\binom{n}{2}=\binom{k}{2}+\binom{n-k}{2}+k(n-k),$$ which you can prove combinatorially as follows. The LHS counts the number of 2-subsets $\{a,b\}$ (with $a<b$) of $\{1,\dots,n\}$. The RHS counts the same objects according to three mutually exclusive cases:
Because $a < b$, these are the only possibilities.