Positional number systems (binary, balanced ternary, decimal)

[8/88%]
Show
LaTeX

Any weight that is a positive integral multiple of a given unit can be weighed with the weights 1,2,4,8,16,…1, 2, 4, 8, 16, \ldots on one pan of the scales, and this can be done in exactly one way. That is, any positive integer admits a unique representation in the binary system.

?

A set of weights 1,3,9,27,81,…1, 3, 9, 27, 81, \ldots can be used to weigh any weight that is a positive integral multiple of a given unit if both pans of the scales are used, and this can be done in exactly one way.

?

Write

(1+qζ)(1+qζ2)(1+qζ4)(1+qζ8)(1+qζ16)⋯=a0+a1ζ+a2ζ2+a3ζ3+⋯ . (1+q\zeta )(1+q\zeta ^2)(1+q\zeta ^4)(1+q\zeta ^8)(1+q\zeta ^{16}) \cdots = a_0 + a_1 \zeta + a_2 \zeta ^2 + a_3 \zeta ^3 + \cdots .

Find the general formula for ana_n.

?

Consider the expansion

(1−a)(1−b)(1−c)(1−d)⋯=1−a−b+ab−c+ac+bc−abc−d+⋯ . (1-a)(1-b)(1-c)(1-d) \cdots = 1 - a - b + ab - c + ac + bc - abc - d + \cdots .

What is the sign of the nn-th term?

?
Remark.
?

E. Catalan, Problem: Nouv. Corresp. Math. Vol. 6, p. 143 (1880). Solved by E. Cesàro: Nouv. Corresp. Math. Vol. 6, p. 276 (1880).

Prove the identity

(1+ζ+ζ2+ζ3+⋯+ζ9)(1+ζ10+ζ20+⋯+ζ90)×(1+ζ100+ζ200+⋯+ζ900)⋯=11−ζ. (1+\zeta +\zeta ^2+\zeta ^3+\cdots +\zeta ^9)(1+\zeta ^{10}+\zeta ^{20}+\cdots +\zeta ^{90}) \times (1+\zeta ^{100}+\zeta ^{200}+\cdots +\zeta ^{900}) \cdots = \frac{1}{1-\zeta } .
?

Every value xx of the interval [−2,2][-2,2] can be written in the form

x=ε02+ε12+ε22+⋯ x = \varepsilon _0 \sqrt{2+\varepsilon _1 \sqrt{2+\varepsilon _2 \sqrt{2+\cdots }}}

where εk\varepsilon_k, k=0,1,2,…k=0,1,2,\ldots, is either −1-1 or +1+1. The representation is unique if xx is not of the form 2cos⁡p2qπ2 \cos \dfrac {p}{2^q} \pi, p,qp, q integers, 0<p<2q0<p<2^q. These are the only numbers that may be written in the finite form

ε02+ε12+ε22+⋯+εn2 . \varepsilon _0 \sqrt{2+\varepsilon _1 \sqrt{2+\varepsilon _2 \sqrt{2+\cdots +\varepsilon _n \sqrt{2}}}} \, .

The finite representation can be extended to an infinite one in two ways: by putting either

εn+1=1,εn+2=−1,εn+3=εn+4=⋯=1, \varepsilon _{n+1}=1, \quad \varepsilon _{n+2}=-1, \quad \varepsilon _{n+3}=\varepsilon _{n+4}=\cdots =1 ,

or

εn+1=−1,εn+2=−1,εn+3=εn+4=⋯=1. \varepsilon _{n+1}=-1, \quad \varepsilon _{n+2}=-1, \quad \varepsilon _{n+3}=\varepsilon _{n+4}=\cdots =1 .
?
Remark.
?

Cf.S. Pincherle: Atti Accad. Sci. Torino, Cl. Sci. Fis. Mat. Natur. Vol. 53, pp. 745-763 (1917-1918); Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. Ser. 5, Vol. 27, 2nd Sem. pp. 177-183 (1918).

The first and the third problem considered in the solution of 9 (concerned with AnA_n and CnC_n respectively) are the extreme cases of a common generalization which, properly extended, includes also 18. Formulate such a generalization.

?

Let pp be a natural number greater than 1 , and xx a real number, 0≤x≤10 \leq x \leq 1. Show that there is a sequence {an}\left\{ a_{n}\right\} of integers with 0≤an<p0 \leq a_{n} < p for each nn such that

x=∑n=1∞anpn x = \sum _{n = 1}^{\infty } \frac{a_{n}}{p^{n}}

and that this sequence is unique except when xx is of the form q/pn,0<q<pnq / p^{n}, 0 < q < p^{n}, in which case there are exactly two such sequences. Show that, conversely, if {an}\left\{ a_{n}\right\} is any sequence of integers with 0≤an<p0 \leq a_{n} < p, the series

∑n=1∞anpn \sum _{n = 1}^{\infty } \frac{a_{n}}{p^{n}}

converges to a real number xx with 0≤x≤10 \leq x \leq 1. If p=10p = 10, this sequence is called the decimal expansion of xx. For p=2p = 2 it is called the binary expansion; and for p=3p = 3, the ternary expansion.

?

References

[PóSz98] Pólya G., Szegő G. Problems and Theorems in Analysis. Springer, 1998.
[RoFi23] Royden H.L., Fitzpatrick P.M. Real Analysis. 5th ed., Pearson, 2023.