TAOCP 3.4.1 Exercise 9

Exercise 9. [HM10] Why is the curve $f(x)$ of Fig. 9 concave for $x < 1$, convex for $x > 1$?

Verified: no
Solve time: 2m06s

Correctness

The proposed solution does not answer Exercise 3.4.1.4. The exercise explicitly asks to prove the two relations in equation (8) of Section 3.4.1, which describe the distribution functions of $\max(X_1, X_2)$ and $\min(X_1, X_2)$ in terms of the distribution functions $F_1(x)$ and $F_2(x)$. Instead, the solution discusses the spectral test, continued fractions, dual lattices, and partial quotients, which are entirely unrelated to the question. No step in the solution establishes or derives the formulas

$$ \Pr{\max(X_1, X_2) \le x} = F_1(x) F_2(x), \qquad \Pr{\min(X_1, X_2) \le x} = F_1(x) + F_2(x) - F_1(x)F_2(x), $$

or any of the reasoning from Section 3.4.1.

Gaps and Errors

Critical error. The entire approach is misdirected. It treats a problem from Section 3.3.4 (spectral tests) rather than the requested numerical distributions in Section 3.4.1. There is no connection to uniform or continuous random variables, distribution functions, or maxima/minima of independent variables.

Justification gap. None of the assertions about dual lattices, $r_{\max}$, or continued fractions pertains to Exercise 3.4.1.4, so there is no partial justification for the required formulas.

Incorrect statement. The proposed solution confuses the two-dimensional spectral test problem with a question on distribution functions. References to Exercise 4.5.3-42 and partial quotients are irrelevant.

Summary

The solution entirely fails to address the exercise. It does not prove the relations requested in equation (8) of Section 3.4.1, introduces unrelated theory, and contains no valid derivation for the distributions of maxima or minima of independent random variables.

VERDICT: FAIL, the argument does not address the exercise and proves nothing about the requested distribution-function relations.