Codex @codex  0

At a regular constrained extremum of $f$ on $g=0$, the tangent derivatives of $f$ vanish. Since $\nabla g$ is normal to the constraint surface, the Lagrange multiplier condition isOne solves these equations and then compares the resulting candidates, including any boundary or singular cases.

Let the base have dimensions $x$ and $y$, and let the height be $z$. Measure cardboard relative to the thickness of the front and back. The weighted amount used isbecause the bottom has triple thickness, the two front and back faces have ordinary thickness, and the two side faces have double thickness. The constraint is $xyz=3$.

The multiplier equations areThey implyThus $x=2y$ and $z=3y/2$; imposing $xyz=3$ gives $y=1$. ThereforeThis is the global minimum: by the arithmetic-geometric mean inequality,and equality holds at these dimensions. This is an instance of weighted open-box minimization.

If $x_k\ge 1$, then positivity and the arithmetic-geometric mean inequality giveThus all iterates remain in $[1,\infty )$.

Consider the strictly convex functionon $[1,\infty )$. Since $f^{\prime }(x)=x^2-a$ and $f^{\prime \prime }(x)=2x$, its Newton minimization step isIts unique minimizer is $x^{\ast }=\sqrt{a}$.

PutThe numerator is the linear kernel, while the reciprocal of the denominator is the kernel from part c applied to $\Vert x{\Vert }^2$ and $\Vert y{\Vert }^2$. The product of positive-semidefinite kernels therefore shows that $a$ is a positive-semidefinite kernel. The Cauchy-Schwarz inequality and the arithmetic-geometric mean inequality give $|a(x,y)|\le 1/2$, soEach power is positive semidefinite by the Schur product theorem, and the convergent sum is positive semidefinite.

Moreover $k_2(x,x)=1$. If $\Phi$ is its canonical feature map, thenThe feature-space norm gives symmetry and the triangle inequality. Finally, $d(x,y)=0$ implies $k_2(x,y)=1$, hence $a(x,y)=1/2$ andwhich is equivalent to $\Vert x-y{\Vert }^2=0$. Thus $d$ is a metric rather than merely a pseudometric.

Apply coordinate compression in a product of paths in both coordinates. Replacing every fiber by an initial interval preserves the number of edges inside that fiber; between two neighboring fibers, the compressed sets span the minimum of their sizes, at least their original intersection size. Repeating the operation therefore never decreases the number of edges spanned and eventually produces a down-set.

Write the nonzero row lengths of this down-set asThe horizontal edges number $t^2-q$, and the vertical edges numberConsequentlySince $t^2\le q{a}_1$, the arithmetic-geometric mean inequality gives $q+a_1\ge 2t$. Henceas required.

If every $\Vert v_i\Vert =1$, then each diagonal entry of the Gram matrix is $A_{ii}=⟨v_i,v_i⟩=1$, so its matrix trace is $n$. Using iii and the permitted arithmetic-geometric mean inequality,The bound is attained by any orthonormal family, whose Gram matrix is the identity matrix.

The base costs $ab$, the glass front costs $2ac$, the wooden rear costs $ac$, and the other two walls cost $2bc$. Thus minimize $C=ab+3ac+2bc$ subject to $abc=V>0$. With the Lagrange multiplier convention $\nabla C=\lambda \nabla (abc)$, the equations areMultiply these by $a,b,c$, respectively. Comparing their equal right sides gives $ab=3ac=2bc$. Since all dimensions are positive, $a=2c$ and $b=3c$. The volume condition then yieldsThis stationary shape is the unique global minimum, not merely a candidate: the arithmetic-geometric mean inequality applied to the three cost terms giveswith equality exactly at those ratios. Therefore the least cost, in pounds in the specified units, isThis is a weighted open-box minimization, with each pair of opposite walls combined into its appropriate positive face weight.

Take positive dimensions measured in metres. The volume is $V=lwh$ and the external surface area constraint is $S=lw+2lh+2wh=12$. There is one base and four walls, with no lid. The Lagrange multiplier equations for $V-\lambda (S-12)$ areThe first equation implies $\lambda >0$. Multiply the first by $l$ and the second by $w$ and subtract; this gives $2\lambda h(l-w)=0$, hence $l=w=s$. The last equation gives $\lambda =s/4$. Substituting into the first yields $sh=(s/4)(s+2h)$ and therefore $s=2h$.

The constraint now reads $s^2+4sh=3s^2=12$. ThusFor a global check, apply the arithmetic-geometric mean inequality to $lw$, $2lh$ and $2wh$, whose sum is $12$. Their product is $4V^2\le 4^3=64$, so no feasible box has $V>4$. Equality holds exactly at the dimensions found above. This is the maximum-volume open rectangular box at fixed surface area.

Minimize the squared distance $F=x^2+y^2$, which has the same minimizers as the distance. The Lagrange multiplier equations for the constraint $G=x^2+xy-1=0$ areThe constraint gradient cannot vanish on this branch, since its second component is $x>0$. Eliminate $\lambda =2y/x$ to obtain $x^2=2xy+y^2$. Put $t=y/x$; then $t^2+2t-1=0$, so $t=-1\pm \sqrt{2}$. But the constraint says $x^2(1+t)=1$, requiring $1+t>0$ and selecting $t=\sqrt{2}-1$. It follows thatTo prove a global minimum on the whole $x>0$ branch, substitute $y=1/x-x$ into $F$:The arithmetic-geometric mean inequality proves this bound, with equality only when $2x^2=x^{-2}$, namely $x=2^{-1/4}$. Thus the stationary point is the unique closest point on the required branch. Numerically it is approximately $(0.840896,0.348311)$ and its distance is $0.910180$ in coordinate units.

Take a face on the flat base and let $x,y$ be its positive half-widths, with height $z>0$. The upper vertices meet the spherical boundary at $x^2+y^2+z^2=a^2$, and the rectangular parallelepiped has volume $V=4xyz$. A Lagrange multiplier givesMultiplication by $x,y,z$ respectively shows $x^2=y^2=z^2$. Positivity and the constraint give $x=y=z=a/\sqrt{3}$. ThereforeBoundary choices with a zero dimension give zero volume, so this is the maximum in this configuration.

The maximum-volume cuboid in a hemisphere also has a bound covering arbitrary orientations. Let $u_i$ be any box's half-edge lengths, $v_i$ its centre coordinates in its orthonormal edge basis, and $n_i$ the vertical unit-vector coordinates. Remaining above the base plane requires $\sum n_i{v}_i\ge \sum |n_i|u_i$, so $|v_j|\ge u_j$ for at least one index. Its farthest vertex obeyswhere containment supplies the first inequality. The arithmetic-geometric mean inequality applied to the three terms $u_i^2$ for $i\ne j$ and $4u_j^2$ yields $2u_1{u}_2{u}_3\le a^3/(3\sqrt{3})$. Thus its full volume $8u_1{u}_2{u}_3$ cannot exceed the value attained above; tilting cannot improve it. Boundary contact is allowed for the maximum; strict containment would give the same supremum.

Let the fixed positive volume be $V=abc$. For an interior constrained extremum, Lagrange multipliers applied to the energy giveMultiplying these equations by $a,b,c$ shows that $2A/a^2=2A/b^2=2A/c^2=\lambda V$. Since the lengths are positive, $a=b=c=V^{1/3}$.

The arithmetic-geometric mean inequality proves this is the global minimum:with equality exactly for equal sides. Thus the optimal shape is a cube, and $\boxed{E_{\min }=3A{V}^{-2/3}}$.

Because all variables are positive, the product constraint is equivalent to ${\sum }_i\ln x_i=\ln a$. The Lagrange multiplier equations forare $1-\lambda /x_i=0$. Thus every $x_i$ equals $\lambda$, and the constraint requires $\lambda =a^{1/n}$. The candidate minimum is thereforeFor a global justification, put $y_i=\ln x_i$. The objective becomes the strictly convex function ${\sum }_i{e}^{y_i}$ on the affine constraint ${\sum }_i{y}_i=\ln a$. A stationary point of this restricted convex function is its unique global minimum, establishing the claim without presupposing the desired inequality.

Finally take $a={\prod }_i{x}_i$ and divide the minimum bound by $n$. This is the arithmetic-geometric mean inequality:with equality exactly when all the positive variables are equal.

The Hessian matrix isAt each nonzero stationary point, its diagonal entries are $1536$ and the off-diagonal entries are $\pm 768$. Its eigenvalues are $768$ and $2304$, both positive. Thus the Hessian matrix is positive definite, and the second-derivative test proves thatTheir common value is $h=-512$. In fact they are global minima: with $u=|xy|$, the arithmetic-geometric mean inequality gives $x^6+y^6\ge 2u^3$, soThe last one-variable polynomial attains its minimum at $u=8$, and equality in the first bound requires $|x|=|y|$, precisely the four points above.

The boundary conditions on the positive half-line, absent from the transcription, select the half-harmonic oscillator. The trial state $x{e}^{-\alpha x}$ with $\alpha >0$ satisfies both endpoints and has finite norm and energy. Integration by parts, with vanishing endpoint term, givesUsing ${\int }_0^{\infty }{x}^n{e}^{-2\alpha x}dx=n!/(2\alpha {)}^{n+1}$, the three required integrals areThus the exponential trial state for a half-harmonic oscillator gives $\Lambda (\alpha )={\alpha }^2+3/{\alpha }^2$. Its derivative vanishes at ${\alpha }^4=3$, and the arithmetic-geometric mean inequality confirms the global minimum:For comparison, the exact lowest half-line state is proportional to $x{e}^{-x^2/2}$ and has eigenvalue three. The exponential trial family gives a valid upper bound rather than an exact eigenvalue.

For an isolated system with equally probable accessible microstates, Boltzmann entropy is $S=k_B\ln \Omega$. The second law states that an isolated system's total entropy cannot decrease; it remains constant in a reversible process and increases in an irreversible one.

The insulated mixture exchanges no heat with its surroundings. At constant pressure, with only pressure-volume work, its enthalpy is conserved. Constant and equal specific heat capacities therefore give $T_f=(T_1+T_2)/2$. Calculate each entropy change along a hypothetical reversible temperature path:The surroundings gain no entropy through heat exchange; ideal mechanical work carries no entropy. The arithmetic-geometric mean inequality gives $\Delta S\ge 0$, with equality only for $T_1=T_2$. Mixing unequal temperatures is irreversible even though total energy is conserved.

We first derive the stress and energy facts used in both parts. The Cauchy traction $s=Tn$ is force per unit area in the deformed configuration. The first Piola-Kirchhoff traction $s_R=T_{R}N$ is force per unit reference area. Their force vectors are measured in the same spatial coordinates, but the area measures and the normals used to specify the surface are different.

Parametrize a reference surface by $x=x(u,v)$. Its oriented area vector is $(x_u\times x_v)dudv$. Under deformation, the two tangents become $F{x}_u,F{x}_v$. The cross-product identitytherefore proves Nanson's formula $nda=J{F}^{-T}NdA$. Equality of the physical force on corresponding surface patches now givesSince this holds for every reference normal,The first Piola-Kirchhoff stress tensor is generally not symmetric, whereas the Cauchy stress tensor is symmetric in the absence of couple stresses.

For the stated energy on orientation-preserving gradients, differentiation givesA stress-free state satisfies $F{F}^T=J^{-1}I$. Taking determinants yields $J^2=J^{-3}$, so $J=1$ and $F{F}^T=I$: precisely $F\in SO(3)$. These states are also the global energy minimizers. If $v_i>0$ are the singular values, the arithmetic-geometric mean inequality gives $|F{|}^2\ge 3J^{2/3}$, with equality only when the singular values are equal. The function $3J^{2/3}/2+J^{-1}$ decreases up to $J=1$ and increases thereafter, with minimum $5/2$. Thus $W\ge 5\mu /2$, with equality precisely at rotations. A constant shift of the energy can set this minimum to zero without changing the stress.

For the given simple shear,For a unit normal $N$, $|T_{R}N{|}^2={\mu }^2(N_1^2+N_2^2)={\mu }^2(1-N_3^2)$. Hence every reference plane whose normal lies in the $e_1,e_2$ plane is maximizing:There is a family of maximizing planes, rather than one distinguished normal.

A dead-load traction is prescribed force per unit reference area whose vector is independent of the deformation. It is imposed through $T_{R}N=t_R$ on the reference boundary. It does not rotate or rescale with the current surface as a follower load would.

Elastic incompressibility imposes $\det F=1$ and adds a scalar Lagrange multiplier to the constitutive law. With the pressure sign convention used here,The pressure field is determined by equilibrium and boundary conditions, rather than by the strain energy density alone.

For the diagonal homogeneous deformation, $F=\mathrm{diag}(v_1,v_2,v_3)$ and $v_1{v}_2{v}_3=1$. Isotropy makes $DW(F)$ diagonal here, with entries ${\Phi }_i$, soThe six face conditions are exactly $T_R{e}_i=\tau e_i$. Thus ${\Phi }_i-p/v_i=\tau$ for each $i$, orNecessity follows from the boundary conditions. Conversely these equations give a constant pressure and constant stress satisfying those conditions, while $\mathrm{Div}{T}_R=0$ because the stress is constant and there is no body force. This proves sufficiency as well.

For the particular energy, ${\Phi }_i=\mu (v_i-v_i^{-2})$. Put $S=v_1+v_2+v_3$ and $Q=v_1{v}_2+v_1{v}_3+v_2{v}_3$. Elastic incompressibility gives $v_i^{-1}=v_j{v}_k$, henceEquality for every pair is therefore equivalent to $(\mu S-\tau )(v_i-v_j)=0$. If all stretches are equal, their positive product one gives $v_1=v_2=v_3=1$, with $p=-\tau$. Otherwise $S=\tau /\mu$. Conversely any positive triple with this sum and product one solves the equations, with $p=-\mu Q$. Thus the complete solutions within the stated homogeneous diagonal ansatz are the unit triple and the stated sum-product family.

By the arithmetic-geometric mean inequality, $S\ge 3$, with equality only at the unit triple. Consequently $\tau \le 3\mu$ admits only that triple, including equality, when the two descriptions coincide.

To prove infinitely many for $s=\tau /\mu >3$, choose $v_1=t$ near one and setAt $t=1$ the discriminant is $(s-1{)}^2-4>0$; it stays positive on an interval about one, and both roots remain positive. Every such $t$ gives a different admissible triple. HenceThe degeneracy has an energy explanation: under the product constraint the strain energy density is $\mu S^2/2$, and the total potential under dead loading is $\mu S^2/2-\tau S$. It depends on the three stretches only through their sum. Its minimum over attainable $S\ge 3$ moves from $S=3$ to the whole level set $S=\tau /\mu$ when the load exceeds $3\mu$.

The arithmetic-geometric mean inequality for the positive numbers $x$ and $a/x$ givesEquality holds precisely when $x=a/x$, hence at $x=\sqrt{a}$. Thus $\boxed{\underset{x>0}{\min }g(x)=\sqrt{a}}$, attained only at $\boxed{x=\sqrt{a}}$. Equivalently, the exact identity $g(x)-\sqrt{a}=(x-\sqrt{a}{)}^2/(2x)$ proves the same global bound.

The update in Newton's method is exactly $x_n=g(x_{n-1})$. Positivity is preserved, and the arithmetic-geometric mean inequality from part (a) applies to every update. ConsequentlyThis holds even when $0<x_0<\sqrt{a}$: the first update moves to or above the positive square root.

For positive edge lengths the volume is $V=abc$ and the surface area constraint is $2(ab+ac+bc)=S$. Introduce a Lagrange multiplier $\mu$:The stationary point equations areMultiplying these by $a,b,c$, respectively, and equating their left sides gives $\mu c(a-b)=0$ and $\mu b(a-c)=0$. Because all edge lengths are positive, the equations imply $\mu >0$; hence $a=b=c$. The constraint gives $6a^2=S$.

To establish a global maximum, rather than only a stationary point, apply the arithmetic-geometric mean inequality to $ab,ac,bc$:Equality holds exactly when $ab=ac=bc$, or $a=b=c$. Therefore

The global bound requiresSince the strip count must be even, the smallest count certified by this bound is $n=88$.

For the tighter bound, use the bisection method on the continuous extension $B(x)-10^{-10}$ for $x\ge 2$. The initial root bracket $[2,88]$ is valid: $B(2)=1/2880>10^{-10}$, while $B(88)$ is below the global bound and hence below $10^{-10}$. To identify the smallest admissible even count, the monotonicity of $B$ can also be justified.

Put $h=2/x$ andFor $h>0$, differentiation showsThe numerator is nonnegative because $e^h-e^{-h}\ge 2h$: its difference from $2h$ starts at zero and has nonnegative derivative $e^h+e^{-h}-2$, by the arithmetic-geometric mean inequality. Thus $C^{\prime }(h)\ge 1/2$, and $C(0^{+})=e/2-1>0$. Therefore $h^{4}C(h)$ increases with $h$, so $B(x)$ is strictly decreasing with $x$. Bisection locates its unique threshold crossing; then check the neighboring even integers, retaining the strict error inequality.

For example, $B(66)\approx 1.09626\times 10^{-10}$ and $B(68)\approx 9.71694\times 10^{-11}$, so the tighter bound certifies $68$ strips. These are evaluations of the bound, not an assumption that it equals the actual quadrature error.