m²=a-n
n²=a+m
两式相减得n-m=1(假设m+n≠0),m²+n²-2mn=1
两式相加得m²+n²=2a-1
所以2a-1=1+2mn
a-mn=1