Spain | A Nice Exponential Algebra Problem | Math Olympiad

[@RyanLewis-Johnson-wq6xs]

(2/3)^(2/3)=0.3 recurring Surd[12,3] Input interpretation (2/3)^(2/3) = 0.3^_ (repeating decimal) 12^(1/3) Result True Logarithmic form 2/3 log(2/3, 2/3) = log(2/3, 0.3^_ (repeating decimal)) + log(2/3, 12^(1/3)) Surd[12,3]/3

[@عبدالواسع-س8م]

Seriously great job !

[@ronaldnoll3247]

Where is the problem?

[@berndkru]

I cannot see any algebraic problem. The first term is well defined and there is no reason to change it.