Đồng nhất thức logarit