O quadrado da soma de dois números reais quaisquer