方程sin(πx)/2=logax恰有3个不同实数根