Решение уравнений/ Любые/ 2^x=8-x

Сумма корней 2^x=8-x

Учитель очень удивится увидев твоё верное решение 😼

Примеры
Неизвестное в уравнении :

Искать численное решение на промежутке:

[, ]

    Решение

    Сумма и произведение корней [src]
    сумма
    -W(log(115792089237316195423570985008687907853269984665640564039457584007913129639936)) + log(256)
--------------------------------------------------------------------------------------------------
                                              log(2)
    −W(log⁡(115792089237316195423570985008687907853269984665640564039457584007913129639936))+log⁡(256)log⁡(2)\frac{- W\left(\log{\left(115792089237316195423570985008687907853269984665640564039457584007913129639936 \right)}\right) + \log{\left(256 \right)}}{\log{\left(2 \right)}}
    =
    -W(log(115792089237316195423570985008687907853269984665640564039457584007913129639936)) + log(256)
--------------------------------------------------------------------------------------------------
                                              log(2)
    −W(log⁡(115792089237316195423570985008687907853269984665640564039457584007913129639936))+log⁡(256)log⁡(2)\frac{- W\left(\log{\left(115792089237316195423570985008687907853269984665640564039457584007913129639936 \right)}\right) + \log{\left(256 \right)}}{\log{\left(2 \right)}}
    произведение
    -W(log(115792089237316195423570985008687907853269984665640564039457584007913129639936)) + log(256)
--------------------------------------------------------------------------------------------------
                                              log(2)
    −W(log⁡(115792089237316195423570985008687907853269984665640564039457584007913129639936))+log⁡(256)log⁡(2)\frac{- W\left(\log{\left(115792089237316195423570985008687907853269984665640564039457584007913129639936 \right)}\right) + \log{\left(256 \right)}}{\log{\left(2 \right)}}
    =
    -W(log(115792089237316195423570985008687907853269984665640564039457584007913129639936)) + log(256)
--------------------------------------------------------------------------------------------------
                                              log(2)
    −W(log⁡(115792089237316195423570985008687907853269984665640564039457584007913129639936))+log⁡(256)log⁡(2)\frac{- W\left(\log{\left(115792089237316195423570985008687907853269984665640564039457584007913129639936 \right)}\right) + \log{\left(256 \right)}}{\log{\left(2 \right)}}