x + y =+ = + . This line is an IDENTITY. Now, the term is ALWAYS positive (non-negative), therefore, we can continue and transform this line / identity in THIS WAY x + y = + = + > = = = 2*3 = 6. Thus we have established this inequality x + y >= 6. Taking x= y= 3, we get the exact value of 6 for x+y. In all other cases we have inequality x + y > 6. So, under the given condition xy >= 9, the smallest value for x + y is 6.