Intereting Posts

Cauchy CDF derivation from standard normal?
Why this polynomial represents this figure?
Proving that the set of natural numbers is well-ordered
How to solve $e^x=x$?
Solving $u_{t}+u_{xxx} = u\sin{x}$ using 1. Laplace transforms 2. KdV equation comparison
Why does $ \frac{2x}{2+x}$ provide a particularly tight lower bound for $\ln(1+x)$ for small positive values of $x$?
What are some examples of classes that are not sets?
Does $R \cong S$ imply $R \cong S$?
Closed form for $\int_0^x \{1/t \}\,\mathrm{d}t$, $x \in \mathbb{R}_+$ and related.
Parameters on $SU(4)$ and $SU(2)$
Is this quotient Ring Isomorphic to the Complex Numbers
Minimize Frobenius norm
Show that $p \Rightarrow (\neg(q \land \neg p))$ is a tautology
$\mathbb Z^n/\langle (a,…,a) \rangle \cong \mathbb Z^{n-1} \oplus \mathbb Z/\langle a \rangle$
Quotient group $\mathbb Z^n/\ \text{im}(A)$

Denote

$$g(n)=\{\{x,y,z\}\mid \frac{1}x+\frac{1}y+\frac{1}z=\frac{3}n,x,y,z\in\mathbb N\},$$

$$h(n)=\{\{x,y,z\}\mid \frac{1}x+\frac{1}y+\frac{1}z=\frac{3}n,1\leq x\leq y\leq z,x,y,z\in\mathbb N\},$$

let $f(n)=|g(n)|$ be the number of members of $g(n)$.

For example, $h(3)=\{\{2,3,6\},\{2,4,4\},\{3,3,3\}\},f(3)=6+3+1=10.$

Since $\{n,n,n\}$ is a solution to $\frac{1}x+\frac{1}y+\frac{1}z=\frac{3}n$, it’s easy to see that $f(k)\equiv 1\pmod 3,\forall k\in \mathbb N.$

- Infinite solutions of Pell's equation $x^{2} - dy^{2} = 1$
- Gap between smooth integers tends to infinity (Stoermer-type result)?
- $x^y = y^x$ for integers $x$ and $y$
- Points on the elliptic curve for Ramanujan-type cubic identities
- Linear diophantine equation $100x - 23y = -19$
- A curious coincidence for Wroblewski's solutions to $1^4+x_2^4+x_3^4+x_4^4+x_5^4 = y_1^4$

I find thatQuestion:

$$f(3k)\equiv 0,f(4k+2)\equiv 0,f(6k\pm1)\equiv1 \pmod 2,\forall k\in \mathbb N.$$

I wonder how to prove them?

Edit: I find that $f(n)$ has the same parity to the number of solutions to $\frac{1}x+\frac{2}y=\frac{3}n,$ I think I have got it now.

- Supercongruence for Binomial Coefficients
- Proving a Pellian connection in the divisibility condition $(a^2+b^2+1) \mid 2(2ab+1)$
- Prove by induction that for all $n$, $8$ is a factor of $7^{2n+1} +1$
- Proving $\sqrt2$ is irrational
- Number of ways to express a number as the sum of different integers
- Legendre's Proof (continued fractions) from Hardy's Book
- If $a(n)=n^2+1$ then $\gcd(a_n,2^{d(a_n)})=1\text{ or }2$?
- Zeros of the decimal representation of $k!$
- Why can't this number be written as a sum of three squares of rationals?
- Are there arbitrarily large gaps between consecutive primes?

Since I already know how to prove them, I write a proof here now.

It’s easy to see that in $h(n)$,

(1)if $x,y,z$ are distinct, then $x,y,z$ add $6$ to $f(n)$,

(2)if just two of them are equal, add $3$ to $f(n)$,

(3)if $x=y=z$, then they add $1$ to $f(n)$.

Since $6$ is even, case (1) didn’t change the parity of $f(n)$. Hence $f(n)$ has the same parity of the number of solutions to $\frac{1}x+\frac{2}y=\frac{3}n.$ This is $(3x-n)(3y-2n)=2n^2,$ let $r(n)$ be the number of solutions to this equation.

If $n=3m,$ then $(x-m)(y-2m)=2m^2,$ hence $f(n)\equiv r(n)=d(2m^2)\equiv 0\pmod 2.$

If $n=6m+1$, then $3x-n=a,3y-2n=b,$

$$f(n)\equiv r(n)=\sum_{\substack{ab=2n^2\\a\equiv -n\equiv 2\pmod 3\\b\equiv -2n\equiv 1\pmod 3}}1=\frac{1}2d(2n^2)=d(n^2)\equiv 1\pmod 2.$$

The same to $n=6m-1.$

If $n=4m+2,$ then if $3\mid n$, we get $2\mid f(n),$ too. If $3\not \mid n$, then $2n^2\equiv -1\pmod3,f(n)\equiv r(n)=\dfrac{1}2d(2n^2)=2d((2m+1)^2)\equiv 0\pmod 2.$

Now we get a little more:

$$f(n) \equiv

\begin{cases}

\dfrac{1}2d(2n^2), & 3\not\mid n \\

0, & 3\mid n \\

\end{cases} \pmod 2 $$

- Does the Schur complement preserve the partial order
- Jobs in industry for pure mathematicians
- Problem 7 IMC 2015 – Integral and Limit
- Prove this number fact
- How do you find the solutions for $(4n+3)^2-48y^2=1$?
- What does limit notation with an underline or an overline mean?
- What are some interesting calculus facts your calculus teachers didn't teach you?
- Is there a monotonic function discontinuous over some dense set?
- Prove that if $d \mid n \in \mathbb{N}$, then $\varphi(d) \mid \varphi(n)$.
- Why does the Continuum Hypothesis make an ideal measure on $\mathbb R$ impossible?
- Prove Leibniz 's formula for the nth derivitive of a product by induction
- Exercise books in linear algebra and geometry
- $x^6+x^3+1$ is irreducible over $\mathbb{Q}$
- Another trigonometric proof…?
- Is there any number greater than 8 of the form $2^{2k+1}$ which is the sum of a prime and a safe prime?