Calcular o menor valor positivo de K para que a raiz real da equação 4−3x3−K=1 seja um número racional inteiro