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
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