simplificação de uma soma de raízes quadradas
Escreva C na forma a⋅√b onde a é um inteiro relativo e b um número natural: C=7⋅√112-5⋅√7-3⋅√7.
Este tipo de exercício pode ser resolvido usando a função : simplificar_raizes_quadradas
Lembrete do curso : Funções reais