y=√x
y=alogx
がただ一つの共有点を持つ
⇔
√x = alogx
を満たす実数xがただ一つ存在する。