 and there are three orbits of vertices.

[[**Proof.**]{}  ]{}In order to prove extremality, we will use geometry of numbers, i.e. in order to show that the only transformations preserving the property of being Delaunay are modulo isometries and translations the homotheties, we will determine the set of quadratic forms $q$ such that $P_n$ is a Delaunay polytope for $q$.

The restriction of the quadratic form $q$ to the plane $x_n=0$ left us with the $2^{n-2}$ vertices $(x_1, \dots, x_{n-1}, 0)$ with $x_i\in \{0,1\}$ and $\sum_{i} x_i$ even. The rank of Half-cube is $n$ (see [@DL] and [@Du]), we can write $q$ restricted to the plane $x_n=0$ as $\sum_{i=1}^{n-1} \alpha_i x_i^2$ with $\alpha_i>0$. We write the form $q$ in the following way: $$q(x)=\sum_{i=1}^{n-1}\alpha_i (x_i+\beta_i x_n)^2+\gamma x_n^2\;.$$ Denote by $S(c,r)$ the empty sphere of center $c$ and radius $r$ circumscribing $\frac{1}{2}H_{n-1}$ and $V$. Denoting $c=(h_1, \dots, h_{n-1}, h_n)$, one obtains the equations: $$\left\lbrace\begin{array}{l}
\sum_{i=1}^{n-1}\alpha_i (h_i-x_i+\beta_i h_n)^2+\gamma h_n^2=r^2,\\
\sum_{i=1}^{n-1}\alpha_i (h_i-\frac{1}{2}+\beta_i (h_n-1))^2+\gamma (h_n-1)^2=r^2\;.
\end{array}\right.$$ The first equation is satisfied for all vectors $x_i$ with $\sum_{i=1}^{n-1}x_i$ even and $x_i\in\{0,
and there are three orbits of vertices. 

 [ [ * * Proof. * * ] { }    ] { } In decree to rise extremality, we will use geometry of numbers, i.e. in order to testify that the only transformations preserve the place of being Delaunay are modulo isometries and translations the homotheties, we will determine the set of quadratic forms $ q$ such that $ P_n$ is a Delaunay polytope for $ q$. 

 The restriction of the quadratic shape $ q$ to the plane $ x_n=0 $ left us with the $ 2^{n-2}$ vertices $ (x_1, \dots, x_{n-1 }, 0)$ with $ x_i\in \{0,1\}$ and $ \sum_{i } x_i$ even. The social station of Half - block is $ n$ (see [ @DL ] and [ @Du ]), we can write $ q$ restrict to the plane $ x_n=0 $ as $ \sum_{i=1}^{n-1 } \alpha_i x_i^2 $ with $ \alpha_i>0$. We write the kind $ q$ in the following way: $ $ q(x)=\sum_{i=1}^{n-1}\alpha_i (x_i+\beta_i x_n)^2+\gamma x_n^2\;.$$ Denote by $ S(c, r)$ the empty sphere of center $ c$ and spoke $ r$ circumscribing $ \frac{1}{2}H_{n-1}$ and $ V$. Denoting $ c=(h_1, \dots, h_{n-1 }, h_n)$, one obtain the equations: $ $ \left\lbrace\begin{array}{l } 
 \sum_{i=1}^{n-1}\alpha_i (h_i - x_i+\beta_i h_n)^2+\gamma h_n^2 = r^2,\\ 
 \sum_{i=1}^{n-1}\alpha_i (h_i-\frac{1}{2}+\beta_i (h_n-1))^2+\gamma (h_n-1)^2 = r^2\; . 
 \end{array}\right.$$ The inaugural equation is satisfied for all vectors $ x_i$ with $ \sum_{i=1}^{n-1}x_i$ even and $ x_i\in\{0,
 anf there are three orbits of vertices.

[[**Proof.**]{}  ]{}In orver to lrove exgremality, we will use geometcy od numvers, i.e. in order to shuw that tje only rranwdormations preservlug ths pro'ecty of being Dekaunay are modulo isometsids and translations the homotheties, wq will cehermine the sej of atadrznig forms $q$ such that $P_n$ is a Delahnay ponytope for $q$.

Tne restriction of the quadgatif form $q$ to the plwne $x_n=0$ left us ruth the $2^{n-2}$ veftices $(x_1, \dots, x_{n-1}, 0)$ with $x_i\in \{0,1\}$ and $\sum_{i} x_i$ even. The rany of Kalf-cube is $n$ (sef [@DL] and [@Du]), xe can write $q$ resbgicted do the llane $x_n=0$ as $\suk_{i=1}^{n-1} \alpha_i x_i^2$ with $\alpha_i>0$. Wx write the form $q$ ig the folnocing way: $$q(x)=\sum_{i=1}^{n-1}\alpha_u (z_i+\betd_i x_t)^2+\gamoq x_v^2\;.$$ Dtnove gy $S(c,r)$ thx empty sphsre of centwr $c$ and radius $r$ corslkscribing $\frzc{1}{2}H_{n-1}$ agd $V$. Denoting $c=(h_1, \dots, h_{n-1}, h_n)$, one obtains tve squations: $$\left\lbrace\begun{array}{l}
\sum_{i=1}^{n-1}\alpha_i (h_l-x_i+\beta_i r_n)^2+\gamma h_n^2=r^2,\\
\sum_{i=1}^{n-1}\alpha_i (h_i-\frac{1}{2}+\beta_i (h_n-1))^2+\gamma (h_n-1)^2=r^2\;.
\end{drray}\cieht.$$ Tme fkesh equation is satisfied for all vectors $x_i$ wieg $\xuk_{i=1}^{n-1}x_i$ even and $x_i\in\{0,
and there are three orbits of vertices. order prove extremality, will use geometry to that the only preserving the property being Delaunay are modulo isometries and the homotheties, we will determine the set of quadratic forms $q$ such that is a Delaunay polytope for $q$. The restriction of the quadratic form $q$ the $x_n=0$ us the $2^{n-2}$ vertices $(x_1, \dots, x_{n-1}, 0)$ with $x_i\in \{0,1\}$ and $\sum_{i} x_i$ even. The rank Half-cube is $n$ (see [@DL] and [@Du]), we write $q$ restricted to plane $x_n=0$ as $\sum_{i=1}^{n-1} \alpha_i with We write form in following way: $$q(x)=\sum_{i=1}^{n-1}\alpha_i x_n)^2+\gamma x_n^2\;.$$ Denote by $S(c,r)$ the empty sphere of center $c$ and radius $r$ circumscribing $\frac{1}{2}H_{n-1}$ and Denoting $c=(h_1, h_n)$, one the $$\left\lbrace\begin{array}{l} (h_i-x_i+\beta_i h_n)^2+\gamma h_n^2=r^2,\\ (h_n-1))^2+\gamma (h_n-1)^2=r^2\;. \end{array}\right.$$ The first equation all vectors $x_i$ with $\sum_{i=1}^{n-1}x_i$ even and $x_i\in\{0,
 and there are three orbits of vErtices.

[[**ProOf.**]{}  ]{}In oRdeR to PrOve eXtreMality, we will usE GeomEtry of numbers, i.e. in order To shoW tHAt thE OnLy traNsformaTIoNS PreSeRvIng ThE PrOpertY of Being DeLaunay are mOduLo Isometries anD TrAnslations The Homotheties, wE wiLl deteRmIne THe set Of qUadraTic forMS $q$ such That $P_n$ is a deLAunay pOLytope fOR $Q$.

THe reStriction of the quaDRaTIc form $q$ to the plAne $x_n=0$ lEfT Us WITh tHe $2^{n-2}$ Vertices $(x_1, \dOtS, x_{n-1}, 0)$ wiTH $x_i\in \{0,1\}$ anD $\SuM_{I} X_I$ evEN. The rank of HalF-cube is $n$ (see [@dl] anD [@Du]), we cAn WriTE $q$ restRicteD tO The Plane $x_n=0$ as $\suM_{i=1}^{n-1} \aLpha_i x_i^2$ wiTh $\alphA_I>0$. We writE The form $Q$ in the FolLowIng wAY: $$q(X)=\sUm_{i=1}^{N-1}\aLPha_I (X_i+\BetA_I x_n)^2+\Gamma x_n^2\;.$$ DEnOtE by $S(c,R)$ the EMPTY sphEre Of ceNter $c$ And radius $r$ cirCumScriBIng $\Frac{1}{2}H_{N-1}$ and $V$. denoTiNg $c=(h_1, \dOts, h_{n-1}, h_N)$, one oBtAins the equationS: $$\lefT\lbrace\beGin{ArRay}{L}
\sUm_{i=1}^{n-1}\aLPha_i (h_i-X_i+\bEta_I h_n)^2+\gammA h_n^2=r^2,\\
\sum_{I=1}^{N-1}\alPhA_I (H_I-\fRac{1}{2}+\beta_i (h_n-1))^2+\gamma (h_n-1)^2=r^2\;.
\EnD{ARrAy}\right.$$ THe firsT EqUaTIon is satIsFieD for ALL vectOrs $x_I$ WiTh $\sum_{i=1}^{n-1}x_I$ even aND $x_I\iN\{0,
 and there are three orbit s of verti ces.
[[ **P ro of.* *]{}   ]{}In ordert o pr ove extremality, we wi ll us eg eome t ry  of n umbers, i. e .  in  o rd erto sh ow th atthe onl y transfor mat io ns preservin g  t he propert y o f being Dela una y aremo dul o  isom etr ies a nd tra n slatio ns the ho mo t heties ,  we wil l de term ine the set of qu a dr a tic forms $q$such t ha t  $ P _ n$isa Delaunay  p olyto p e for $ q $. T her estriction of  the quadra t icform $ q$  to the pl ane $ x_ n =0$  left us wi th t he $2^{n- 2}$ ve r tices $ ( x_1, \d ots, x _{n -1} , 0) $  w it h $ x_ i \in \{ 0,1 \ }$and $\su m_ {i } x_i $ ev e n . Theran k of  Half -cube is $n$(se e [@ D L]and [ @Du]) , we  c an wr ite $q $ res tr icted to the pl ane$x_n=0$ a s $ \s um_ {i =1}^{ n -1} \a lph a_i  x_i^2$  with $ \ alp ha _ i > 0$ . We write the for m$ q $in the f ollowi n gwa y : $$q(x) =\ sum _{i= 1 } ^{n-1 }\al p ha _i (x_i+ \beta_ i  x _n )^2+\ga mm a x_n^ 2\ ;.$ $ D enote by $ S(c,r) $ the em pty s p here of center $c$ and radiu s  $ r $  c i rcum scr ibing $\fra c{1} { 2}H_ {n-1 } $and $V$.Denot in g  $ c =(h_1, \dots, h_{n- 1} , h_n) $, on e obtains the  equations : $ $\left\l brac e \b e gin{array}{l}\sum_ {i=1}^{n-1 } \alpha_i  (h_i -x_i+\be ta_i h_n) ^ 2 +\gammah_n ^2= r^2 ,\\ \ su m_{i=1}^{n-1} \ a lpha _i  (h_i-\ fra c{1}{2} +\b eta _i(h_ n- 1))^2+\ga mma (h_n -1 )^ 2= r^ 2\; .
\en d {array}\ ri ght .$ $ T he fi r st equ ation  issa ti s fie d for a l lv e ctor s$x _i$wit h$\sum _{i= 1 }^{ n-1}x_i $ even an d $ x _i\i n\ {0 ,
 and_there are_three orbits of vertices.

[[**Proof.**]{}  ]{}In_order to_prove_extremality, we_will_use geometry of_numbers, i.e. in_order to show that_the only transformations_preserving_the property of being Delaunay are modulo isometries and translations the homotheties, we will_determine_the set_of_quadratic_forms $q$ such that $P_n$_is a Delaunay polytope for_$q$.

The restriction_of the quadratic form $q$ to the plane_$x_n=0$_left us with_the $2^{n-2}$ vertices $(x_1, \dots, x_{n-1}, 0)$ with $x_i\in_\{0,1\}$ and $\sum_{i} x_i$ even. The_rank of Half-cube_is_$n$_(see [@DL] and [@Du]),_we can write $q$ restricted to_the plane $x_n=0$ as $\sum_{i=1}^{n-1} \alpha_i_x_i^2$ with $\alpha_i>0$. We write the form_$q$ in the following way: $$q(x)=\sum_{i=1}^{n-1}\alpha_i_(x_i+\beta_i x_n)^2+\gamma x_n^2\;.$$ Denote by_$S(c,r)$ the_empty sphere of center $c$_and radius $r$_circumscribing $\frac{1}{2}H_{n-1}$_and $V$. Denoting_$c=(h_1, \dots, h_{n-1}, h_n)$, one obtains_the equations: $$\left\lbrace\begin{array}{l}
\sum_{i=1}^{n-1}\alpha_i_(h_i-x_i+\beta_i h_n)^2+\gamma h_n^2=r^2,\\
\sum_{i=1}^{n-1}\alpha_i (h_i-\frac{1}{2}+\beta_i (h_n-1))^2+\gamma (h_n-1)^2=r^2\;.
\end{array}\right.$$_The_first equation is_satisfied_for_all vectors_$x_i$ with $\sum_{i=1}^{n-1}x_i$_even_and $x_i\in\{0,