x平方减y平方等于12