Есть ли такая формула? Какое у неё название?
Да, переход на новое основание логарифма
Да, есть такая формула в свойствах логарифмов. Обычное называют - произведение логарифмов.
Например: log2(5) * log5(2) = log2(2) * log5(5) = 1