Numbered textbook exercises
Actual source-numbered questions, original mathematical answers and existing owned Lean/graph mappings. Editorial admission, compiled core answers and a fixed Lean reconstruction challenge are separate states. This directory is not whole-book exercise coverage.
Lectures on Optimization · Exercise 3.2
arXiv:2605.07006v1 · printed p.23 / PDF p.23
- sogb-029 · accepted-after-repair
Named owned answer declarations: 2. Current trusted module build recorded: false.
The source's informal large-condition-number iteration-complexity comparison is contextual commentary, not an output of the two named owned declarations.
The finite-dimensional eigenvalue presentation and \(κ\) notation are explained in the mathematical answer; the actual owned proofs use the symmetric Rayleigh norm formula and the equivalent \((β-α)/(α+β)\) expression. No separate eigenvalue-list or asymptotic-complexity declaration is claimed.
Exact source/part/answer metadata · Intake and contribution rules