inverse of 0.3^x
An exponential with a positive base other than 1 and a nonconstant affine exponent is strictly monotone on ℝ and takes every strictly positive value
Express input x in terms of output y: y = 0.3x
⇥Let's solve in ℝ: 0.3x = y
⇥The logarithm being defined only for positive numbers, let's apply the ln function on both sides, provided that y > 0:
⇥ ln(0.3x) = ln(y)
⇥ⓘ On the real domain of the original expression, the base is strictly positive: the logarithm of the power is the exponent times the logarithm of the base: ln(0.3x) = x·ln(0.3)
⇥ x·ln(0.3) = ln(y)
⇥ⓘ Both sides are divided by ln(0.3)
⇥Solution found: x = ln(y)ln(0.3)
⇥Let's solve for y: y > 0
⇥Solution found: y > 0
Renaming the output as x, the inverse is ln(x)ln(0.3), with domain x > 0, the condition found when isolating the input
▶Inverse function:   ln(x)ln(0.3)