$\lfloor a n\rfloor \lfloor b n\rfloor \lfloor c n\rfloor = \lfloor d n\rfloor \lfloor e n\rfloor \lfloor f n\rfloor$ for all $n$

Let $E=(\mathbb{R}/\mathbb{Z})^6$. Let $x=(\overline{a},\overline{b},\overline{c},\overline{d},\overline{e},\overline{f})\in E$. Let $F=\mathbb{N}x$.

$\overline{F}$ is a subgroup of $E$.

$a,b,c,d,e,f$ are irrationnal, so it exists $(u_n)\in\mathbb{N}^{\mathbb{N}}$ and $(\delta_a,\delta_b,\delta_c,\delta_d,\delta_e,\delta_f)\in \{0,1\}^6$ such that $u_nx \in E \mapsto 0_E$ with $u_nx=(\overline{a_n},\overline{b_n},\overline{c_n},\overline{d_n},\overline{e_n},\overline{f_n})$ and $0<a_n<1,0<b_n<1,0<c_n<1,0<d_n<1 ,0<e_n<1 ,0<f_n<1$.

and $(a_n,b_n,c_n,d_n,e_n,f_n)\in[0,1]^6 \mapsto (\delta_a,\delta_b,\delta_c,\delta_d,\delta_e,\delta_f)$.

So it exists $(v_n)\in\mathbb{N}^{\mathbb{N}}$ such that $v_nx \in E \mapsto 0_E$ with $v_nx=(\overline{a'_n},\overline{b'_n},\overline{c'_n},\overline{d'_n},\overline{e'_n},\overline{f'_n})$ and $0<a'_n<1,0<b'_n<1,0<c'_n<1,0<d'_n<1 ,0<e'_n<1 ,0<f'_n<1$.

and $(a'_n,b'_n,c'_n,d'_n,e'_n,f'_n)\in[0,1]^6 \mapsto (1-\delta_a,1-\delta_b,1-\delta_c,1-\delta_d,1-\delta_e,1-\delta_f)$

So $\lfloor au_n\rfloor \lfloor bu_n\rfloor \lfloor cu_n\rfloor=(au_n-a_n) (bu_n-b_n)(cu_n-c_n)=abc(u_n)^3-abc_n(u_n)^2-acb_n(u_n)^2-bca_n(u_n)^2+\dots$

So, as already shown by dxiv, $$\lim\frac{\lfloor au_n\rfloor \lfloor bu_n\rfloor \lfloor cu_n\rfloor}{u_n^3}=abc$$

So $abc=def$ because $\lfloor au_n\rfloor \lfloor bu_n\rfloor \lfloor cu_n\rfloor=\lfloor du_n\rfloor \lfloor eu_n\rfloor \lfloor fu_n\rfloor$

And $$\lim \frac{\lfloor au_n\rfloor \lfloor bu_n\rfloor \lfloor cu_n\rfloor-abc(u_n)^3}{u_n^2}=-ab\delta_c-ac\delta_b -bc\delta_a$$

We have also $$\lim \frac{\lfloor av_n\rfloor \lfloor bv_n\rfloor \lfloor cv_n\rfloor-abc(v_n)^3}{v_n^2}=-ab(1-\delta_c)-ac(1-\delta_b) -bc(1-\delta_a)$$

So $$ab+ac+bc=-\lim \frac{\lfloor au_n\rfloor \lfloor bu_n\rfloor \lfloor cu_n\rfloor-abc(u_n)^3}{u_n^2}-\lim \frac{\lfloor av_n\rfloor \lfloor bv_n\rfloor \lfloor cv_n\rfloor-abc(v_n)^3}{v_n^2}$$

So $ab+ac+bc=de+df+ef$.

Lemma: We show $\overline{F}=\overline{\mathbb{N}x}$ is a subgroup. For all $k \in \mathbb{N}$, let the compact $A_k=kx+\overline{\mathbb{N}x}\subset \overline{\mathbb{N}x}$. And for all $k$, $0\in A_k$. So $0 \in G=\cap_k A_k$. $x+G\subset G$. So $\mathbb{N}x+G\subset G$.

$G$ is compact so $\overline{\mathbb{N}x}\subset G$.

As $G \subset A_0=\overline{\mathbb{N}x}$, we have $G=\overline{\mathbb{N}x}$.

As $0 \in\overline{\mathbb{N}x}=G \subset A_1=x+\overline{\mathbb{N}x}$, we have $-x\in \overline{\mathbb{N}x}$. So $ \overline{\mathbb{N}x}= \overline{\mathbb{Z}x}$

Remark: for all $m\in\mathbb{N}$, we can choose $(\delta_a,\delta_b,\dots,\delta_f)=(\{ma\},\{mb\},\dots,\{mf\})\in \overline{F}$, and $(u_n)$ such that $u_n x\mapsto \delta$. So we have $ab\{mc\}+ac\{mb\}+bc\{ma\}=de\{mf\}+df\{me\}+ef\{md\}$ for all $m\in\mathbb{N}$.