Why will this function always be an integer?

  • Thread starter Avichal
  • Start date
f(n) is defined as 11x22x33....xnn

Then it seems as if f(n)/(f(r).f(n-r)) is always an integer for 0 < r < n.
I tried a few cases. Its true for them. Is it always true? I cannot seem to figure out any ways to prove it.
I presume r and n are integers?
x means multiplication? * would be clearer.

You can prove it with the fact that ##{n \choose c} = \frac{n!}{c! (n-c)!}## is always an integer.
It is trivially true since the set of all integers is closed under the operation of multiplication (exponentiation being a special case of multiplication).
There is a division...
There is a division...
I think I might have missread the f(n)/(f(r).f(n-r)) statement in the OP by reading to quickly. When I look at it now it makes no sence at all unless someone defines the "."-operator.
I assumed it to be a multiplication, too.
This is the "hyperfactorial", ##H(n)## (assuming the x is multiplication). It is defined as
##H(n) = \prod_{i=1}^{n} i^i ##.
Just by looking at it, I don't see any reason to believe it wouldn't be an integer at any point. I don't know if there's an explicit proof of this out there, but generally, an integer multiplied any number of times by itself is an integer, and when added to another integer that has undergone the same process, it should still be an integer. Of course, ##n## can be really large, so I can't say with any certainty what happens as the product has more and more (perhaps infinite) terms.
Interesting question--I'm curious now!
I'd love for other members to contribute to this.
There is a division! It makes the question not trivial. Here it is in red:

Still always an integer, but you have to prove it.

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads