Con $10^{0.5}$ hay que hacer una "media multiplicación", no una multiplicación por la mitad. Lo que es esta "multiplicación por la mitad" no se desprende de ninguna ley universal, sino sólo al extender de forma coherente las reglas válidas para los exponentes enteros.
Ya que, para los enteros $m$ y $n$ tienes $$ a^{m+n}=a^m\cdot a^n $$ se puede derivar también que $$ (a^m)^n=a^{mn} $$ (sólo hay que repetir las multiplicaciones y contar los factores). Entonces, ¿qué $a^{3.5}$ debe significar? Bueno, una posible opción viene de hacer $$ a^7=a^{3.5\cdot 2}\overset{*}{=}(a^{3.5})^2 $$ donde el signo de igualdad marcado con $*$ es donde aplicamos una extensión de la regla anterior.
Así, se puede intentar definir $$ a^{3.5}=\sqrt{a^7}. $$
Así es como se define realmente la exponenciación a un racional: $$ a^{\frac{p}{q}}=\sqrt[q]{a^p} $$ y se puede demostrar que las reglas
$$ a^{x+y}=a^x\cdot a^y,\qquad (a^x)^y=a^{xy} $$ siguen siendo válidos para todos los números racionales $x$ y $y$ (y positivo $a$ ).