Đặt \(t=2^x\left(t>0\right)\), xét hàm số \(F\left(t\right)=\frac{a}{3}t^3+\frac{b}{3}t^2+ct\) khả vi liên tục trên \(\left(0;+\infty\right)\) và \(F\left(1\right)-F\left(0\right)=\frac{a}{3}+\frac{b}{2}+c=0\)
Theo định lí Laggange thì tồn tại ít nhất 1 số \(k\in\left(0;1\right)\) sao cho :
\(F'\left(k\right)=ak^2+bk+c=0\)
Do đó \(x=\log_2k\) là nghiệm của phương trình đã cho