同底数幂的除法公式：a^m÷a^n=a^(m-n)，同底数幂（The same base powers）是指底数相同的幂。同底数幂之间共有5条计算性质，对正指数幂和负指数幂均适用。
除法是四则运算之一。已知两个因数的积与其中一个非零因数，求另一个因数的运算，叫做除法。
两个数相除又叫做两个数的比。若ab=c（b≠0）,用积数c和因数b来求另一个因数a的运算就是除法，写作c÷b，读作c除以b（或b除c）。其中，c叫做被除数，b叫做除数，运算的结果a叫做商。