r∧2+16=(2 r)^2的解