Question and Answers Forum

All Questions      Topic List

Others Questions

Previous in All Question      Next in All Question      

Previous in Others      Next in Others      

Question Number 182934 by moh777 last updated on 17/Dec/22

        Is that right !      IF  :   Σ_(k = 1) ^n  (⌊(n/k)⌋−⌊((n−1)/k)⌋) = 2     so n is a prime number .

$$\:\:\:\:\:\:\:\:{Is}\:{that}\:{right}\:! \\ $$$$\:\:\:\:{IF}\:\::\: \\ $$$$\underset{{k}\:=\:\mathrm{1}} {\overset{{n}} {\sum}}\:\left(\lfloor\frac{{n}}{{k}}\rfloor−\lfloor\frac{{n}−\mathrm{1}}{{k}}\rfloor\right)\:=\:\mathrm{2} \\ $$$$\:\:\:{so}\:{n}\:{is}\:{a}\:{prime}\:{number}\:. \\ $$

Answered by dre23 last updated on 17/Dec/22

⇔∀n≥2  Σ_(k=2) ^n ([(n/k)]−[((n−1)/k)])=1 n est premiers  n=2 worcks ∀n≥3  ⇔Σ_(k=2) ^(n−1) ([(n/k)]−[((n−1)/k)])=0  f(n,k)=[(n/k)]−[((n−1)/k)]  if n is not prime ∃s∈N−{1,n} such n=sp  (n/s)=p and((n−1)/s)=p−(1/p),  [(n/k)]=p,[((n−1)/k)]=p−1  Σ_(k=2) ^(n−1) ([(n/k)]−[((n−1)/k)])=Σ_(k=2,k≠k) ^(n−1) f(n,k)+p−(p−1)≥p−(p−1)=1  ⇔Σ_(k=2) ^(n−1) f(n,k)≥1>0⇒not true  so Σ_(k=1) ^n f(n,k)=2⇒n is prime true

$$\Leftrightarrow\forall{n}\geqslant\mathrm{2} \\ $$$$\underset{{k}=\mathrm{2}} {\overset{{n}} {\sum}}\left(\left[\frac{{n}}{{k}}\right]−\left[\frac{{n}−\mathrm{1}}{{k}}\right]\right)=\mathrm{1}\:{n}\:{est}\:{premiers} \\ $$$${n}=\mathrm{2}\:{worcks}\:\forall{n}\geqslant\mathrm{3} \\ $$$$\Leftrightarrow\underset{{k}=\mathrm{2}} {\overset{{n}−\mathrm{1}} {\sum}}\left(\left[\frac{{n}}{{k}}\right]−\left[\frac{{n}−\mathrm{1}}{{k}}\right]\right)=\mathrm{0} \\ $$$${f}\left({n},{k}\right)=\left[\frac{{n}}{{k}}\right]−\left[\frac{{n}−\mathrm{1}}{{k}}\right] \\ $$$${if}\:{n}\:{is}\:{not}\:{prime}\:\exists{s}\in\mathbb{N}−\left\{\mathrm{1},{n}\right\}\:{such}\:{n}={sp} \\ $$$$\frac{{n}}{{s}}={p}\:{and}\frac{{n}−\mathrm{1}}{{s}}={p}−\frac{\mathrm{1}}{{p}}, \\ $$$$\left[\frac{{n}}{{k}}\right]={p},\left[\frac{{n}−\mathrm{1}}{{k}}\right]={p}−\mathrm{1} \\ $$$$\underset{{k}=\mathrm{2}} {\overset{{n}−\mathrm{1}} {\sum}}\left(\left[\frac{{n}}{{k}}\right]−\left[\frac{{n}−\mathrm{1}}{{k}}\right]\right)=\underset{{k}=\mathrm{2},{k}\neq{k}} {\overset{{n}−\mathrm{1}} {\sum}}{f}\left({n},{k}\right)+{p}−\left({p}−\mathrm{1}\right)\geqslant{p}−\left({p}−\mathrm{1}\right)=\mathrm{1} \\ $$$$\Leftrightarrow\underset{{k}=\mathrm{2}} {\overset{{n}−\mathrm{1}} {\sum}}{f}\left({n},{k}\right)\geqslant\mathrm{1}>\mathrm{0}\Rightarrow{not}\:{true} \\ $$$${so}\:\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{f}\left({n},{k}\right)=\mathrm{2}\Rightarrow{n}\:{is}\:{prime}\:{true} \\ $$$$ \\ $$$$ \\ $$

Terms of Service

Privacy Policy

Contact: info@tinkutara.com