是否存在一个由1到9组成的九位数，那个数字只能出现一次，且这个九位数由高位到低位前i位能被i整除

是的，这样的九位数存在。这个九位数可以通过穷举法得到。我们可以从高位到低位逐位确定数字，每确定一位就判断前i位能否整除i。如果当前位不能满足条件，则回溯到上一位重新选择数字。这样逐步递归直到确定了九个数字为止，最终得到的就是所求的九位数。

以下是 Python 代码实现：

def is_divisible(number, i):
    return int(str(number)[:i]) % i == 0


def generate_number(number, used, i):
    if i == 10:
        return number

    for digit in range(1, 10):
        if not used[digit] and is_divisible(number * 10 + digit, i):
            used[digit] = True
            result = generate_number(number * 10 + digit, used, i+1)
            if result:
                return result
            used[digit] = False

    return None


result = generate_number(0, [False] * 10, 1)
print(result)

输出结果为：

381654729

可以验证，这个九位数符合题目要求。