Bom o número a ser calculado (o qual designamos por
)só pode ser constante ,pois o conjunto que goza da propriedade
é não-enumerável .Agora convenhamos,caso
não fosse constante não seria uma tarefa simples obter a,b,c particulares tais que
coincide com uma das alternativas ,o que acha ?
Só para confirmar se
é constante vamos desenvolver esta expressão .
Da hipótese
(1) ,podemos obter algumas relações :
,logo
e assim ,
(2) .
Elevando a expressão em destaque ao quadrado podemos obter uma expressão análoga àquela antes de "logo " ,basta trocar a,b,c respectivamente por
e preservar as estruturas algébricas ,obtendo
e daí ,
(3) .
Tudo isto até agora só para conseguir um dos fatores do numerador . Prosseguindo
(4) e
assim
(5) .
Infelizmente meu tempo esgotou , só poderei tentar terminar amanha .De qualquer forma se quiser tentar concluir .