Lesson 120 — Final program workshop
Capstone. 40 integrating problems spanning Years 1–3. Theme: real application in ML, finance, engineering, science.
Used in: Age 18 (final-year secondary) · German Leistungskurs Abitur equivalent · Singapore H2 Math equivalent
The final workshop integrates the four pillars of the program in 40 problems demanding the synthesis of techniques from multiple terms. Each problem combines at least two concepts: derivative with algebra, integral with statistics, ODE with linear algebra. Completing this workshop prepares you for quantitative university coursework.
Rigorous notation, full derivation, hypotheses
Formal synthesis — the four pillars
Structure of the completed program
"A mathematical theory is not to be considered complete until you have made it so clear that you can explain it to the first man whom you meet on the street." — David Hilbert, cited in Active Calculus §1.1
Flow of the four pillars of the program converging into the final workshop.
Worked examples
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 120.1Application
Compute .
Show solution
Substitution , . Limits: , . Integral becomes .Show step-by-step (with the why)
- Rewrite — factor that allows substitution.
- Let , then . Update limits.
- The integral becomes , which expands into two power-term integrals.
- Integrate: . Evaluate at 1 and 0.
- Result: . Trick: when sine and cosine appear together with exponents, separate the even power using and use substitution on the odd power.
- Ex. 120.2ApplicationAnswer key
Solve with , .
Show solution
Characteristic equation gives . General solution: . With : . With : . So . - Ex. 120.3Application
Revenue and cost . Find that maximizes profit .
Show solution
Profit . . , maximum. Maximum profit: dollars/day. - Ex. 120.4ApplicationAnswer key
Write the Taylor series of centered at through the term.
Show solution
Taylor series of centered at 0: . Through : . - Ex. 120.5Application
Compute .
Show solution
Chain rule: . - Ex. 120.6Application
Compute using the FTC.
Show solution
FTC part 2: . - Ex. 120.7Application
Compute .
Show solution
See the reference indicated in fonte for detailed resolution.Show step-by-step (with the why)
See the reference indicated in fonte for the step-by-step walkthrough. - Ex. 120.8Application
Compute the volume of the solid of revolution generated by , , rotated around the -axis.
Show solution
Disk: . - Ex. 120.9Application
Compute using the product rule.
Show solution
Product rule: . - Ex. 120.10Understanding
What is the correct statement of the Fundamental Theorem of Calculus (both parts)?
Show solution
FTC part 1: the function defined by accumulating the integral is differentiable and its derivative is the integrand. Part 2: to compute a definite integral, just find an antiderivative and compute . - Ex. 120.11ApplicationAnswer key
Diagonalize . Find and .
Show solution
Characteristic polynomial: . Eigenvalues , . Eigenvectors: , . , .Show step-by-step (with the why)
- Compute . Roots: and .
- For : . Row 1: . Eigenvector: .
- For : . Row 1: . Eigenvector: .
- Assemble with eigenvectors as columns. Verify: .
- Trick: upper triangular matrix has eigenvalues on the diagonal.
- Ex. 120.12Application
Compute the inverse of .
Show solution
Inverse of : . . - Ex. 120.13Application
Why is every real symmetric matrix orthogonally diagonalizable? Cite the relevant theorem.
Show solution
By the Spectral Theorem, every real symmetric matrix is orthogonally diagonalizable — its eigenvalues are real and eigenvectors of distinct eigenvalues are orthogonal. - Ex. 120.14ApplicationAnswer key
In (SVD), what do and represent geometrically?
Show solution
In SVD : represents a rotation/reflection in the input space (domain); applies scalings along principal axes; represents rotation/reflection in the output space (codomain). - Ex. 120.15Application
Given the system , determine if it has a solution. If so, find it.
Show solution
System with , : the system has a solution iff . Row reduction of the augmented matrix reveals whether a solution exists and what it is. - Ex. 120.16Understanding
For an matrix , what is the dimension of the null space of ?
Show solution
Rank–Nullity Theorem: for , . So . - Ex. 120.17Application
Apply the 30° rotation matrix to the point .
Show solution
A 30° rotation applies the matrix . Applying to : . - Ex. 120.18Application
Find the unit vector in the direction of .
Show solution
The unit vector in the direction of is . - Ex. 120.19ChallengeAnswer key
symmetric with eigenvalues . Show that for all .
Show solution
For symmetric with eigenvalues and orthonormal eigenvectors : where . So (trace is invariant under similarity). - Ex. 120.20Challenge
has two linearly dependent columns. Show via SVD that is singular.
Show solution
If has 2 collinear columns, then . So , which implies — the matrix is singular and not invertible. The singular values of in the SVD include a zero, and the same singularity appears in , whose eigenvalues include zero. - Ex. 120.21Application
5 fair coin flips. Compute where = number of heads.
Show solution
Binomial: . .Show step-by-step (with the why)
- X ~ Binomial(5, 1/2). The formula is P(X=k) = C(n,k) p^k (1-p)^(n-k).
- P(X=3) = C(5,3) * (1/2)^3 * (1/2)^2 = C(5,3) * (1/2)^5.
- C(5,3) = 5!/(3!*2!) = 10.
- P(X=3) = 10 * (1/32) = 10/32 = 5/16 = 0.3125.
- Trick: C(n,k) = C(n, n-k); here C(5,3) = C(5,2) = 5*4/2 = 10.
- Ex. 120.22Application
. Compute .
Show solution
. . - Ex. 120.23Application
Five points: , , , , . Find and of the regression line .
Show solution
With points : , . . . Line: .Show step-by-step (with the why)
- Compute and .
- Tabulate and for each point.
- . .
- ; .
- Verification: the regression line always passes through . Check: . Correct.
- Ex. 120.24Application
A/B test: conversion A = 10%, B = 12%, each. Perform the two-sided -test for difference of proportions at .
Show solution
-test for difference of proportions. , , . Pooled proportion: . . . Since , we do not reject at 5%. - Ex. 120.25Understanding
What is the correct difference between a frequentist 95% CI and a Bayesian 95% credible interval?
Show solution
Frequentist 95% CI: in 95% of same-size samples, the computed interval contains the true parameter — the parameter is fixed, the interval is random. Bayesian 95% credible interval: given the data, there is 95% posterior probability the parameter is in the interval — the parameter is treated as a random variable. - Ex. 120.26ApplicationAnswer key
Prove that .
Show solution
. Proof: . Expand the square and use linearity of expectation. - Ex. 120.27ApplicationAnswer key
Prior , observations with , . Compute the posterior distribution of .
Show solution
Prior , likelihood with , . Posterior: . - Ex. 120.28Application
State the Central Limit Theorem and explain intuitively why it works.
Show solution
CLT: for iid with , finite, as . Intuitive justification: the sum of many iid variables approaches the normal due to the additive structure of variance.Show step-by-step (with the why)
- Statement: iid with and finite.
- .
- Conclusion: converges in distribution to as .
- Intuition: sum of iid variables has and ; normalize by to get variance 1.
- Trick: CLT does not require normality of — it works for any distribution with finite variance.
- Ex. 120.29Challenge
Prove that using polar coordinates.
Show solution
Proof of : Let . Then . In polars: . So .Show step-by-step (with the why)
- Define and compute as a double integral.
- Switch to polar coordinates: , , Jacobian .
- Integrate over : gain factor .
- Integrate over by substitution : result is 1.
- Conclude , . Fun fact: this "multiply by itself and go to polars" trick is one of the most elegant maneuvers in analysis.
- Ex. 120.30Challenge
Why does multiple regression with collinear features produce unstable ? Explain via .
Show solution
In multiple regression, . If two features are collinear (one is a scalar multiple of the other), is singular (rank deficient), hence not invertible. Small perturbations in can cause huge changes in — numerical instability. Solution: regularization (ridge: ) or removal of collinear features. - Ex. 120.31ModelingAnswer key
Damped mass-spring: , , . Identify the damping type and write the general solution of .
Show solution
Equation: , , , . Discriminant: . Underdamped. Roots: . General solution: . - Ex. 120.32ModelingAnswer key
RC circuit with s. How long for the voltage to drop to 5% of initial value?
Show solution
RC circuit: . We want . s. - Ex. 120.33ModelingAnswer key
Mass-spring: kg, N/m, driving force , no damping. For which does the amplitude diverge (resonance)?
Show solution
Natural frequency: rad/s. For , the amplitude of the forced response diverges as rad/s. This is resonance. - Ex. 120.34Modeling
Population grows at intrinsic rate 2% per year with carrying capacity and harvest of 1000 individuals/year. Model the ODE and identify the equilibrium points.
Show solution
Logistic ODE with harvest: . Equilibrium points: solve . Stable equilibrium depends on : if sufficiently large, there is a stable equilibrium above the collapse threshold. - Ex. 120.35Modeling
Use Newton-Raphson to approximate starting from . Do 3 iterations.
Show solution
Newton-Raphson for : . Starting from : , , . Quadratic convergence.Show step-by-step (with the why)
- Identify: we want the root of , so .
- Iteration: .
- : .
- : .
- Trick: Newton-Raphson converges quadratically near the root — each iteration doubles the correct digits.
- Ex. 120.36Modeling
Markowitz portfolio: 2 assets with , , , equal weights. Compute the portfolio volatility.
Show solution
Markowitz portfolio with 2 assets: . With , , , : . .Show step-by-step (with the why)
- Formula: .
- Data: , , , .
- Term 1: .
- Term 2: .
- Cross term: . Total: ; . Since 12.4% is less than 25%, there is diversification benefit.
- Ex. 120.37Challenge
Prove using Taylor series of , , .
Show solution
Combine the Taylor series: (Euler formula). With : . So . The Euler formula derives from substituting into the series and separating even and odd terms. - Ex. 120.38Proof
Prove the Fundamental Theorem of Calculus (Part 2): where and is continuous on .
Show solution
FTC Part 2: let . By FTC Part 1, . If is another antiderivative of , then is constant (zero derivative). At : , so . At : . - Ex. 120.39Proof
Prove: .
Show solution
Prove : . Expand: . Regroup: . - Ex. 120.40Proof
Given , use implicit differentiation to find and determine all points on the curve where the tangent is horizontal.
Show solution
Using implicit differentiation on : differentiate both sides with respect to : . So . Horizontal tangent: . Substitute into the curve: . Points: and .Show step-by-step (with the why)
- Differentiate implicitly with respect to .
- Use the product rule on : .
- Isolate : .
- Horizontal tangent: .
- Substitute into the original equation and solve for . Trick: implicit differentiation is used whenever you cannot isolate explicitly.
Sources
This synthesis lesson integrates the four pillars of the program. Primary sources by axis:
Calculus (60% of problems):
- Active Calculus 2.0 — Matt Boelkins · Grand Valley State University · 2024 · EN · CC-BY-NC-SA. §1–8 (limits, derivatives, integrals, series, intuitive ODEs): primary source for the calculus questions in this workshop.
Linear Algebra (15% of problems):
- Linear Algebra Done Right (4th ed) — Sheldon Axler · 2024 · EN · CC-BY-NC. Chs. 1–10 (vector spaces, operators, eigenvalues, spectral decomposition, SVD): modern rigor without determinants-first; foundation of diagonalization and eigenvalue problems.
Probability and Statistics (15% of problems):
- OpenIntro Statistics (4th ed) — Diez, Çetinkaya-Rundel, Barr · 2019 · EN · CC-BY-SA. Chs. 1–8 (distributions, CI, regression, tests): probability and inferential statistics with real data.
Applied Modeling (10% of problems):
- Notes on Diffy Qs — Jiří Lebl · Oklahoma State University · 2024 · EN · CC-BY-SA. Chs. 1–4 (applied ODEs, reduced Black–Scholes to heat equation): foundation for quantitative finance and dynamic modeling exercises.