The two dot products are and . Therefore
Differentiate before substituting the instantaneous side length. The related rates equation is
At the stated dimensions and rate,
The diagonal grows more slowly than the changing side, since .
Let in centimetres and take in seconds. The constant rate gives . By the Pythagorean theorem, the diagonal length is
for times when the side length is nonnegative. No initial value of is specified, so it must remain as a parameter. Choosing the time origin when gives the special convention .
Write the partial fraction decomposition as . After multiplying through, . Setting gives , and setting gives , so
Substitution into the circle gives , or since . Necessarily , and each admissible fixes a unique .
On , is strictly increasing from a negative value to a positive value, giving one root. On , the equation is . This function is strictly convex, positive at the two interval ends and negative at , giving exactly two roots.
There are none on the remaining possible interval . Put ; then , so
Hence the number of simultaneous real solutions is , as marked in the preceding graph.
The tangent has poles at and , so these are vertical asymptotes of . The zeros on the given interval are . Near zero, , so the graph starts with a horizontal tangent line.
Each of its three branches is increasing. Indeed
and the numerator starts at zero with derivative , so it is positive for . The first branch rises from zero to , the middle branch rises from through to , and the last rises from to .
Figure 1.
The three increasing tangent-product branches and their intersections with the right half of the circle
. Details.
Multiply the separable differential equation by : . The left side is , hence . Therefore
The real general solution is taken on any connected interval where the logarithm's argument is positive.
The triangular roof has height and two slopes of length . Hence the area constraint and cost are
The wall height is fixed, so its cost is constant. Assume the physical case . Minimize subject to the area constraint by Lagrange multipliers:
Eliminating the positive common factors gives
Thus the optimum has and
Set , so the area constraint gives . Substituting into the preceding equation and multiplying by yields . Therefore
For a global check, the square of the total roof length is
Its derivative has the sign of . Since , and , it has one root in this interval, with decreasing before that root and increasing afterwards. This proves the unique global minimum, rather than merely a stationary design. The minimum roof length at fixed wall height and cross-sectional area is independent of and of the positive factor . If , every feasible shape has equal cost; the displayed conditions then describe a possible minimizer but are not necessary.
Figure 1.
An original cross-section construction showing the fixed wall height, roof rise and sloping lengths
. Details.
Take a face on the flat base and let be its positive half-widths, with height . The upper vertices meet the spherical boundary at , and the rectangular parallelepiped has volume . A Lagrange multiplier gives
Multiplication by respectively shows . Positivity and the constraint give . Therefore
Boundary 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 be any box's half-edge lengths, its centre coordinates in its orthonormal edge basis, and the vertical unit-vector coordinates. Remaining above the base plane requires , so for at least one index. Its farthest vertex obeys
where containment supplies the first inequality. The arithmetic-geometric mean inequality applied to the three terms for and yields . Thus its full volume cannot exceed the value attained above; tilting cannot improve it. Boundary contact is allowed for the maximum; strict containment would give the same supremum.
The two derivatives are and . At the intersection their slopes are and , so their direction vectors and have zero dot product. Thus the tangent lines are perpendicular and their angle is
At an intersection, , so . Substitution into either parabola gives
The resulting linear equation for has only one solution, so this is the unique intersection.
For , the terms do not tend to zero, so the series diverges. For , group the positive terms into the dyadic blocks . Each block contains terms, and monotonicity gives
When , the upper bounds form a convergent geometric series with ratio , proving convergence. When , the lower bounds do not tend to zero, so infinitely many blocks each make a nonvanishing contribution and the sum diverges. Thus the p-series criterion is
This dyadic comparison is the mechanism of the Cauchy condensation test. In particular is the divergent harmonic series.
Apply the ratio test to the infinite series whose partial sums are . Assuming the terms are eventually nonzero and the limit exists, let
If , the series has absolute convergence, by eventual comparison with a decaying geometric series. If , including an infinite limit, the terms fail to tend to zero and the series diverges. If , the test is inconclusive: both and have that ratio limit, but only the second converges. A finite partial sum itself requires no convergence test; the issue is the limit as .

There are unlisted articles, also show them or only show them.