Closed-Form for RD(f(n)): Finding k(n)

  • Thread starter Thread starter Big-Daddy
  • Start date Start date
AI Thread Summary
The discussion centers on finding a closed-form expression for the rounded-down function RD(f(n)) for three specific functions of n, where n is a positive integer. It is established that for even n, RD(f(n)) equals f(n), while for odd n, RD(f(n)) can be expressed as f(n) minus a constant fraction x, which varies by function. The values of x are identified as 0.5, 0.75, and 0.25 for the three functions, respectively. A proposed solution involves defining a function g(n) that accounts for the parity of n, allowing the expression k(n) to be formulated as k(n) = f(n) + g(n)*x. The challenge remains to express k(n) in a way that aligns with the floor function notation, which is central to the problem.
Big-Daddy
Messages
333
Reaction score
1
I have 3 functions in n which are rounded down to the nearest integer, and I need a closed-form way of writing each function. n will be a positive integer in all cases.

(Let the notation RD(f(n)) denote rounding-down the value of f(n) for a certain n, to the nearest integer.) What I have found with each function is that f(n)=RD(f(n)) for all even values of n, and RD(f(n))=f(n)-x where x is a fraction which varies from function to function but, for a given function, is constant across all values of n. For the first function, x=0.5, for the second, x=0.75, for the third, x=0.25.

Knowing this, how can I rewrite RD(f(n)) as a closed-form function, k(n), of n and f(n)? The key lies in finding some g(n) so that g(n)=-1 if n is odd and g(n)=0 if n is even; then I could write k(n)=RD(f(n))=f(n)+g(n)*x.
 
Mathematics news on Phys.org
Can't you use the "floor" function, f(x)= \lfloor x \rfloor which is defined as "the largest integer less than or equal to x"?
 
HallsofIvy said:
Can't you use the "floor" function, f(x)= \lfloor x \rfloor which is defined as "the largest integer less than or equal to x"?

No, that's the very definition of my problem. I need a k(x) such that k(x) = RD(f(x)) = \lfloor f(x) \rfloor to use your notation.
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Back
Top