MicroPosts
- Logarithm laws
A quick recap of some fundamental properties of logarithms
Power law
logbpn = n * logbpProof:
logbp = a->ba = pRaise to
k->bk*a = pkApply
logb->k * a = logbpkReplace
awithlogbp->k * logbp = logbpkProduct law
logbm*n = logbm + logbnProof:
logbm = i->bi = m&logbn = j->bj = nMultiply ->
bi * bj = m * nSimplify ->
bi+j = m * nApply
logb->i + j = logbm*nReplace
iandj->logbm + logbn = logbm*nQuotient law
logbm/n = logbm - logbnProof:
logbm = i->bi = m&logbn = j->bj = nDivide ->
bi / bj = m / nSimplify ->
bi-j = m / nApply
logb->i - j = logbm/nReplace
iandj->logbm - logbn = logbm/n