32 Знайдіть усі значення  параметра а,  при яких добуток коренів рівняння  `+`(`*`(`^`(log[2], 2), `*`(x)), `-`(`*`(`+`(`*`(2, `*`(`^`(a, 2))), `-`(a)), `*`(log[2], `*`(x)))), 1, `-`(`*`(2, `*`(a)))) = 0 дорiвнює 8. Якщо таке значення а єдине, то запишіть його у відповідь. Якщо таких значень більше одного, то у відповіді запишіть найменше з них. 

Решение 32

`+`(`*`(`^`(log[2], 2), `*`(x)), `-`(`*`(`+`(`*`(2, `*`(`^`(a, 2))), `-`(a)), `*`(log[2], `*`(x)))), 1, `-`(`*`(2, `*`(a)))) = 0 

Напрашивающаяся замена: `*`(log[2], `*`(x)) = t 

`+`(`*`(`^`(t, 2)), `-`(`*`(`+`(`*`(2, `*`(`^`(a, 2))), `-`(a)), `*`(t))), 1, `-`(`*`(2, `*`(a)))) = 0 

`+`(`*`(`^`(t, 2)), `*`(a, `*`(`+`(1, `-`(`*`(2, `*`(a)))), `*`(t))), 1, `-`(`*`(2, `*`(a)))) = 0 

 

D = `+`(`*`(`^`(`+`(`*`(2, `*`(`^`(a, 2))), `-`(a)), 2)), `-`(`*`(4, `+`(1, `-`(`*`(2, `*`(a))))))) 

D = `+`(`^`(`*`(a, `*`(`+`(`*`(2, `*`(a)), `-`(1)))), 2), `*`(4, `+`(`*`(2, `*`(a)), `-`(1)))) 

D = `*`(`+`(`*`(2, `*`(a)), `-`(1)), `*`(`+`(`*`(`^`(a, 2), `*`(`+`(`*`(2, `*`(a)), `-`(1)))), 4))) 

D = `*`(`+`(`*`(2, `*`(a)), `-`(1)), `*`(`+`(`*`(2, `*`(`^`(a, 3))), `-`(`*`(`^`(a, 2))), 4))) 

Тупик! поступим иначе. Пусть 

 

iff(iff(`*`(x[1], `*`(x[2])) = 8 implies `*`(`^`(2, u), `*`(`^`(2, v))) = 8, `^`(2, `+`(u, v)) = `^`(2, 3)), `+`(u, v) = 3) 

 

 

 

a = -1 

a = `/`(3, 2) 

 

Проверка 

`and`(`*`(x[1], `*`(x[2])) = `*`(`^`(2, `*`(`+`(3, sqrt(17)), `/`(1, 2))), `*`(`^`(2, `*`(`+`(3, `-`(sqrt(17))), `/`(1, 2))))), `and`(`*`(`^`(2, `*`(`+`(3, sqrt(17)), `/`(1, 2))), `*`(`^`(2, `*`(`+`(3... 

#@02=5=85  

 8AC=>: 

restart; -1; a := `/`(3, 2); -1; solve(`+`(`*`(`^`(t, 2)), `-`(`*`(3, `*`(t))), `-`(2)) = 0, x) 

exp(`+`(`*`(`/`(3, 2), `*`(ln(2))), `-`(`*`(`/`(1, 2), `*`(`^`(17, `/`(1, 2)), `*`(ln(2))))))), exp(`+`(`*`(`/`(3, 2), `*`(ln(2))), `*`(`/`(1, 2), `*`(`^`(17, `/`(1, 2)), `*`(ln(2))))))

Відповідь 

1.5