Raíces enteras
Definir la función
|
1 |
raizEnt :: Integer -> Integer -> Integer |
tal que raizEnt x n es la raíz entera n-ésima de x; es decir, el mayor número entero y tal que \(y^n \leq x\). Por ejemplo,
|
1 2 3 4 5 |
raizEnt 8 3 == 2 raizEnt 9 3 == 2 raizEnt 26 3 == 2 raizEnt 27 3 == 3 raizEnt (10^50) 2 == 10000000000000000000000000 |
Comprobar con QuickCheck que para todo número natural n,
|
1 |
raizEnt (10^(2*n)) 2 == 10^n |