solve%20x*(x%2B1)/2%20=%20y%20%20for%20x