if a+b=k, let S denote the set of all a,b pairs. S={(a,b)∈R2|a+b=k}. Its a fun exercise to prove this.
where
For example, if a+b = 10, the maximum of ab = 25, where a = 5, b=5