MathDB
SMT 2010 General #22

Source:

February 11, 2012
ratio

Problem Statement

We need not restrict our number system radix to be an integer. Consider the phinary numeral system in which the radix is the golden ratio ϕ=1+52\phi = \frac{1+\sqrt{5}}{2} and the digits 00 and 11 are used. Compute 1010100ϕ.010101ϕ1010100_{\phi}-.010101_{\phi}