Matemática ajuda brasileiro a descobrir possível novo planeta