Proč lna - lnb = ln (a / b)?

Nezáleží na tom, jakou základnu používáme, pokud používáme stejnou základnu pro všechny logaritmy, zde používáme bease #E#.

Pojďme definovat # A, B.C # = =

# A = ln a iff a = e ^ A #, # B = ln b iff b = e ^ B #

# C = ln (a / b) iff a / b = e ^ C #

Z poslední definice máme:

# a / b = e ^ C => e ^ C = (e ^ A) / (e ^ B) #

A pomocí zákonů indexů:

# e ^ C = (e ^ A) (e ^ -B) = e ^ (A-B) #

A jako exponenciál je #1:1# monotónní kontinuální funkce, máme:

# C = A-B #

A tak:

# ln (a / b) = ln a - ln b t QED