It is proved that the equation x * 2x = 1 has at least one positive root of Xiaoyu 1

It is proved that the equation x * 2x = 1 has at least one positive root of Xiaoyu 1

x*2x=1
2x²=1
x²=0.5
So 0.51 has at least one positive root of Xiaoyu 1 under x = positive and negative root sign