Constructing all Integers with 3 Functions
Source: 1991 IrMO Paper 1 Problem 3
October 1, 2017
functionalgebra
Problem Statement
Three operations and are defined on subsets of the natural numbers as follows:
, if is a positive integer;
, if is a positive integer;
, if is an even positive integer.
Prove that, starting from , every natural number can be constructed by performing a finite number of operations , and in some order.For example: