a_17具有次可加性。
抛物线.当formula_23，formula_17的图形是抛物线，且用中点细分的构造方法曾被阿基米德描述。
可微性.对所有formula_25，formula_17在任意不是二进分数的formula_27是可微的，且其结果是其中formula_29是formula_30的二进位表达式的序列，也就是满足formula_31的序列。