Найдите сумму корней уравнения 2^x=8-x (2 в степени х равно 8 минус х) [Есть ответ!]

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

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

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

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

[, ]

    Решение

    Сумма и произведение корней [src]
    сумма
    -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)                                              
    $$\frac{- W\left(\log{\left(115792089237316195423570985008687907853269984665640564039457584007913129639936 \right)}\right) + \log{\left(256 \right)}}{\log{\left(2 \right)}}$$
    произведение
    -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)                                              
    $$\frac{- W\left(\log{\left(115792089237316195423570985008687907853269984665640564039457584007913129639936 \right)}\right) + \log{\left(256 \right)}}{\log{\left(2 \right)}}$$