1、下面的式子，左边是根号下（2+2/3），右边是2倍的根号下（2/3），二者相等。
2、类似的，还可以找出其它巧合数。
3、利用python程序，可以搜索到一大堆：
A=[]
for a in range(1,30):
for b in range(1,30):
for c in range(1,1000):
if sy.sqrt(a+b/c)==a*sy.sqrt(b/c):
x=[a,sy.Rational(b,c)]
if x not in A:
A.append(x)
4、观察规律，可以发现一个恒等式：
对于任意不等于1的正数a，
5、实际上，这是唯一的形式。
因为b是正整数，所以，a^2-1|ac，所以c必定是a^2-1的倍数。
6、可是，为什么python会忽略掉a=3的情形？
在调用sympy模块进行计算的时候，竟然认为sqrt(3+3/8)和3*sqrt(3/8)不相等。
