L'equazione
606) √(3 + log(1/2, x)) + √(3 + log(2, x^2) + log(1/2, x)) = 6/√(3 + 2*log(4, x))
è indefinita solo in x = 0 e in
* 3 + 2*log(4, x) = 0 ≡ x = 1/8
mentre altrove, con
* log(1/2, x) = - log(2, x)
* log(2, x^2) = 2*log(2, x)
* 2*log(4, x) = log(2, x)
* u = log(2, x)
si ha
---------------
606) √(3 + log(1/2, x)) + √(3 + log(2, x^2) + log(1/2, x)) = 6/√(3 + 2*log(4, x)) ≡
≡ √(3 - log(2, x)) + √(3 + 2*log(2, x) - log(2, x)) - 6/√(3 + log(2, x)) = 0 ≡
≡ √(3 - u) + √(3 + u) - 6/√(3 + u) = 0 ≡
≡ √(3^2 - u^2) + (3 + u) - 6 = 0 ≡
≡ √(3^2 - u^2) = 3 - u ≡
≡ (3^2 - u^2) = (3 - u)^2 ≡ (ACHTUNG: quadratura!)
≡ (3 - u)^2 - (3^2 - u^2) = 0 ≡
≡ 2*u*(u - 3) = 0 ≡
≡ (u = 0) oppure (u = 3) ≡
≡ (log(2, x) = 0) oppure (log(2, x) = 3) ≡
≡ (x = 1) oppure (x = 8)
------------------------------
VERIFICA anti spurie da quadratura
---------------
√(3 - log(2, 1)) + √(3 + 2*log(2, 1) - log(2, 1)) - 6/√(3 + log(2, 1)) =
= √(3 - 0) + √(3 + 2*0 - 0) - 6/√(3 + 0) =
= √3 + √3 - 6/√3 = 0
Ok
---------------
√(3 - log(2, 8)) + √(3 + 2*log(2, 8) - log(2, 8)) - 6/√(3 + log(2, 8)) =
= √(3 - 3) + √(3 + 2*3 - 3) - 6/√(3 + 3) =
= 0 + √6 - 6/√6 = 0
Ok