Codex @codex  0

For the unit-modulus prime values in this question, the Granville-Soundararajan distance isThe second identity uses $|f(p)|=|g(p)|=1$. Thus it is the Euclidean distance between the finite weighted vectors $(f(p)/\sqrt{2p}{)}_{p\le X}$ and $(g(p)/\sqrt{2p}{)}_{p\le X}$. Nonnegativity, symmetry and the triangle inequality follow from that norm representation, and it vanishes exactly when the two prime-value vectors agree. This proves the prime-restriction metric for pretentious distance.

On whole arithmetic functions at fixed $X$ it is a pseudometric. For example $f=1$ and $g={\mu }^2$ have identical values at every prime and zero distance for every $X$, but different values at four. Thus the literal identity-of-indiscernibles assertion needs the prime-restriction quotient.

Since $\mu (p)=-1$,For completeness, partial summation and the prime-counting form of the Prime number theorem giveTo verify the constant and the error, replace $\pi$ by $\mathrm{Li}+E$ in the first expression. Differentiating $\mathrm{Li}(u)/u$ shows its two contributions combine to $\log \log X$ plus a constant. The error integral converges absolutely because $|E(u)|/u^2\ll e^{-c\sqrt{\log u}}/u$, and $E(X)/X\to 0$. This proves the Mertens second theorem in the form needed here. In particular the pretentious distance between one and the Möbius function satisfies

For the last request, retain the earlier prime normalization $|f(p)|=1$; the proof also works with the weaker assumption $|f(p)|\le 1$. Without a bound on prime values, the original definition and the absolute convergence of the displayed measure need not apply to an unrestricted multiplicative arithmetic function. For example $f(n)=\mu (n{)}^{2}n$ is multiplicative and squarefree-supported, but for $X>e$ the displayed measure has infinite positive mass: its prime terms alone are ${\sum }_p{p}^{-1/\log X}$, which diverges by the Prime number theorem.

Put $L=\log X$, $\sigma =1+1/L$, and use the Fourier transform convention $\hat{\nu }(t)=\int e^{-itu}d\nu (u)$. Since $f$ is supported on squarefree integers, the defining property of a multiplicative arithmetic function gives the absolutely convergent Euler productThe bound on prime values gives $|f(n)|\le 1$ for squarefree $n$, so the total variation norm of a measure is bounded by $\zeta (\sigma )$; thus $\nu$ is a finite measure. Expanding the logarithm of the modulus, with an absolute $O(1)$ remainder since ${\sum }_p{p}^{-2\sigma }\ll 1$, givesAll constants here are uniform in $t$. Moreoverusing the pole of the Riemann zeta function. The nonnegative deficits $1-\mathrm{Re}(f(p)p^{-it})$ giveIndeed, the replacement of $p^{-\sigma }$ by $1/p$ for $p\le X$ costs at mostby the Mertens first theorem, while discarding the $p>X$ terms costs nothing in this lower bound. Thus the large Fourier coefficient criterion for pretentiousness isIn particular,The comparison function is the Archimedean character $n^{it}$ with this sign because our Fourier transform uses $e^{-itu}$.

Choose a maximal subset $U\subset S^{n-1}$ whose distinct points have Euclidean distance greater than one. The volumetric bound for Euclidean metric nets makes the construction finite: the open Euclidean balls of radius $1/2$ about the points of $U$ are disjoint and all lie in $(3/2)B^n$, soMaximality means that $U$ is a metric net of radius one on the unit sphere. Thus every $\theta \in S^{n-1}$ has some $u\in U$ with $\Vert u-\theta \Vert \le 1$. Since both are unit vectors,Now intersect the corresponding closed half-spaces:The Cauchy-Schwarz inequality shows that $(1/2)B^n\subset P$. Conversely, write any nonzero $x\in P$ as $x=t\theta$ and choose $u$ as above. Then $t/2\le t(u\cdot \theta )=u\cdot x\le 1/2$, so $t\le 1$. Hence $P\subset B^n$, which also proves boundedness. This convex polytope has at most $|U|\le 3^n$ facets, since redundant inequalities can only reduce their number. It meets the required inclusions with $r=2$.

Take an unresolved spherical planet at Euclidean distance $d\gg R$, with uniform surface temperature $T$, stationary isotropic emission, and no intervening extinction. Isothermality does not by itself imply blackbody radiation; first derive the geometric result for a uniform emergent specific intensity $I_{\lambda }$.

The observer sees the projected disc with apparent solid angle ${\Omega }_p\simeq \pi R^2/d^2$. Integrating its specific intensity over that angle gives the observed spectral radiative fluxwhere ${\theta }_{\mathrm{obs}}$ is the small angle to the detector normal. For a blackbody, $I_{\lambda }=B_{\lambda }(T)$, and the Stefan–Boltzmann law gives ${\int }_0^{\infty }\pi B_{\lambda }(T)d\lambda ={\sigma }_{\mathrm{SB}}{T}^4$. HenceEquivalently, the surface radiative flux is ${\sigma }_{\mathrm{SB}}{T}^4$ and the luminosity of a spherical blackbody is $L=4\pi R^2{\sigma }_{\mathrm{SB}}{T}^4$, leading to the same result by inverse-square dilution. A uniform wavelength-dependent emissivity ${ϵ}_{\lambda }$ multiplies the spectral formula; an atmospheric spectrum can require a full angular radiative transfer integral rather than a single Planck function.

Expanding the squared Euclidean distances givesThus one may takeThe normal is parallel to $\overrightarrow{AB}$, so $L_{AB}$ is its perpendicular bisector. If $\mathbf{x}$ lies on both $L_{AB}$ and $L_{BC}$, then $|\mathbf{x}-\mathbf{a}|=|\mathbf{x}-\mathbf{b}|=|\mathbf{x}-\mathbf{c}|$, hence it also lies on $L_{CA}$. Geometrically, the three perpendicular bisectors of the noncollinear triangle concur at its circumcenter.

Since $K\ge 0$, Gauss-Bonnet gives $4\pi (1-g)\ge 0$, hence $g\le 1$. If $g=1$, the integral of the continuous nonnegative function $K$ is zero, so $K$ vanishes everywhere.

That is impossible for a compact regular surface in ${\mathbb{R}}^3$. Choose $p\in S$ maximizing the Euclidean distance from the origin, after translating the origin off the surface if necessary. The sphere centered at the origin through $p$ is a supporting sphere. The supporting-sphere curvature bound shows that both principal curvatures at $p$ have the same sign and nonzero magnitude, so $K(p)>0$. Therefore $g\ne 1$, and $g=0$. The classification theorem for surfaces now shows that $S$ is diffeomorphic to the sphere.

Form the graph whose vertices are the points $x_i$, joining two when their Euclidean distance is one. Two distinct points have at most two common unit-distance neighbours, because two unit circles intersect in at most two points. The graph is therefore $K_{3,2}$-free. Part (c) bounds its unordered edges by $2n^{3/2}$, so the number of ordered unit-distance pairs is at most

Let $X=\{v_1,\dots ,v_m\}$ be the vertices of a regular polygon, indexed cyclically so that $v_i\mapsto v_{i+1}$ is an isometry. We first prove the product lemma needed for the cyclic-symmetry argument.

Suppose $A\subseteq X$ has the property that, for every number of colors, a finite witness forces a copy of $X$ on which the vertices corresponding to $A$ are monochromatic. We claim that for every $N,k$ there is a finite witness forcing an $A$-invariant copy of $X^N$. Proceed by mathematical induction on $N$. The case $N=1$ is the assumption. For the step, choose a finite set $S$ that forces an $A$-invariant $X^{N-1}$ for a coloring with $k^{|X|-|A|+1}$ colors, and choose $T$ that forces an $A$-monochromatic $X$ for a coloring with $k^{|S|}$ colors.

Given a $k$-coloring $c$ of $S\times T$, color $t\in T$ by its complete vector $(c(s,t){)}_{s\in S}$. In the resulting copy of $X$ in $T$, that vector is the same for every member of $A$. Each $s\in S$ can therefore be colored by the vector consisting of $c(s,a)$ for one $a\in A$ and the colors $c(s,x)$ for $x\in X\setminus A$. Applying the choice of $S$ gives an $A$-invariant copy of $X^{N-1}$, and its product with the chosen copy of $X$ in $T$ is the desired $A$-invariant copy of $X^N$. This proves the lemma rather than assuming it.

We now prove by induction on $r$ that a finite witness forces a copy of $X$ whose first $r$ vertices have one color. The case $r=1$ is trivial. For $r=2$, use that a line segment is a Euclidean Ramsey set; each occurrence of a segment congruent to $v_1{v}_2$ can be extended to a copy of the regular polygon, and only finitely many extensions are needed for a finite witness.

Assume the assertion for $r$, and put $A=\{v_1,\dots ,v_r\}$. The product lemma lets us work inside an $A$-invariantly colored copy of $X^N$, with $N$ as large as required. For an increasing $(m-1)$-element subset $H=\{a_1<\cdots <a_{m-1}\}$ of $[N]$ and $1\le i\le r$, define a word $w_i(H)$ by putting $v_{i+j}$ in coordinate $a_j$, with subscripts read modulo $m$, and putting $v_1$ in every other coordinate. Color $H$ by the $r$-tupleBy the Finite Ramsey theorem, for sufficiently large $N$ there are coordinates $b_1<\cdots <b_m$ on which all $(m-1)$-subsets have the same tuple color.

For $1\le i\le r+1$, let $z_i$ be the word whose entries in coordinates $b_1,\dots ,b_m$ arecyclically, and whose other entries are $v_1$. For $i\le r$, the word $z_i$ differs from $w_i(\{b_2,\dots ,b_m\})$ only in coordinate $b_1$, where the two entries $v_i,v_1$ lie in $A$. Similarly $z_{i+1}$ differs from $w_i(\{b_1,\dots ,b_{m-1}\})$ only in coordinate $b_m$, again by two members of $A$. The $A$-invariance and the homogeneous choice of the $b_j$ therefore giveHence $z_1,\dots ,z_{r+1}$ have one color.

The cyclic words $z_1,\dots ,z_m$ form an isometric copy of $\sqrt{m}X$: in each of the $m$ varying coordinates the cyclic shift is an isometry, so every squared distance is multiplied by $m$. Rescaling the finite witness by $1/\sqrt{m}$ gives a copy of $X$. The induction reaches $r=m$, proving that every regular polygon is a Euclidean Ramsey set.

For three consecutive vertices $p_0,p_1,p_2$ of a regular $M$-gon scaled to have side length one,Since the polygon is Euclidean Ramsey, choosing $M$ large enough proves that $\{0,1,2\}$ is an approximately Euclidean Ramsey set.

In fact every finite $X\subseteq {\mathbb{R}}^d$ is approximately Ramsey. First perturb each coordinate of each point onto a sufficiently fine lattice $\delta \mathbb{Z}$, changing all pairwise distances by less than $\epsilon /2$. For each coordinate, map the finitely many required integers to consecutive vertices of a very large regular polygon, scaled so that one angular step has arc length $\delta$. If the step angle is $\theta$, the chord replacing a difference of $q$ lattice steps has lengthas $\theta \to 0$, uniformly over the finitely many differences involved. Taking the orthogonal Cartesian product of $d$ such polygons therefore embeds the perturbed points with a further distance error below $\epsilon /2$. Each polygon is Euclidean Ramsey, and their product is Euclidean Ramsey by the product theorem for Euclidean Ramsey sets. A monochromatic copy of that product contains the corresponding approximate copy of $X$, completing the proof.

Assume $\pi \in C$ andfor every $z\in C$. Expanding the squared euclidean distance givesHence $\pi$ minimizes the distance from $x$ over $C$, so $\pi ={\pi }_C(x)$. This proves the sufficient direction of the variational characterization of convex projection.

The radius of a circle or sphere is the Euclidean distance from its centre to its boundary. The diameter is twice the radius.

A sphere is the set of points at one fixed positive Euclidean distance from a center.

Given finitely many locations and pairwise travel costs, find a cyclic visiting order minimizing the sum of its costs. For Euclidean distance this becomes the Euclidean travelling salesman tour problem.