This suggests that you can use log_12(x)log12(x), where xx is either 12^(2x-3)122x−3 or 1616. (By default, log x = log_10 xlogx=log10x.)
log_12(12^(2x-3)) = log_12(16)log12(122x−3)=log12(16)
Now if you use the change of base law, you get:
(log (12^(2x-3)))/(log12) = (log 16)/(log 12)log(122x−3)log12=log16log12
Since (lnx)/(logx) = "constant"lnxlogx=constant (try it on any xx; it is ~~2.303≈2.303), we can change this to:
(ln (12^(2x-3)))/(ln12) = (ln 16)/(ln 12)ln(122x−3)ln12=ln16ln12
Using exponential rules of logs:
(2x-3)cancel(((ln 12)/(ln12))) = (ln 16)/(ln 12)
2x - 3 = (ln 16)/(ln 12)
x = color(blue)(((ln 16)/(ln 12) + 3)/2 ~~ 2.05789)
If you plug this back in, it indeed works.
12^((2(~~2.05789) - 3)) = 16
12^((~~1.11578)) = 16