SECTION 1
Historical Context & Motivation
Mathematics has always been about more than just getting an answer — it is about getting a reasonable answer. Throughout history, scientists and mathematicians have built mathematical models — simplified representations of real-world situations — and then had to go back and fix them when the predictions didn't match reality. A model is only as good as the assumptions behind it, and questioning those assumptions is one of the most powerful skills in mathematics.
~240 BC • Eratosthenes Measures Earth
1687 • Newton's Gravitational Model
1915 • Einstein Refines the Model
2020 • Pandemic Modeling
The common thread across all these examples is a cycle: build a model, test its predictions, identify where it fails, question the assumptions, and refine. This lesson focuses on developing your ability to carry out that cycle yourself. How do you know when a mathematical result is unreasonable? What do you do when your model breaks down? These are the questions we will answer.
SECTION 2
Core Principles of Model Critique & Refinement
Before you can refine a model, you need a clear framework for evaluating one. Every mathematical model rests on a set of assumptions — simplifications that make the math manageable. The process of critique involves checking whether those assumptions hold, whether the results make sense in context, and whether the model can be improved without becoming unnecessarily complex.
Identify Assumptions
Check Reasonableness
Compare with Data
Diagnose the Failure
Refine & Re-evaluate
KEY TAKEAWAY
SECTION 3
The Model Critique Cycle — Visual Explanation
The diagram above shows the iterative nature of model critique. Notice that the cycle doesn't end — even a refined model should be tested again. In practice, you might go through this loop several times on a single problem. The key insight is that finding an unreasonable answer is not failure; it is valuable diagnostic information that tells you something about the situation your model missed.
SECTION 4
Mathematical Framework — Reasonableness Checks
How do you actually decide whether a result is reasonable? There are several mathematical strategies you can use. These aren't separate formulas to memorize — they're thinking tools that apply to any model, from a simple linear equation to a complex exponential growth function.
Strategy 1: Boundary & Extreme-Value Checks
Plug in extreme values — zero, very large numbers, or negative numbers — and see if the model behaves sensibly. For example, if a model for profit is P(x) = 50x − 200, where x is the number of items sold, then P(0) = −200, which makes sense (you lose money if you sell nothing). But if your model gave P(0) = 5000, that would be a red flag.
BOUNDARY CHECK
f(0) checks the starting condition; f(∞) checks long-term behavior; f(−x) checks whether negative inputs are meaningful in context.
Strategy 2: Unit & Dimensional Analysis
Check whether the units of your answer match what's expected. If you're solving for time and your answer comes out in dollars, something went wrong. Even in pure math, you can track what each variable represents to make sure the output quantity is logical.
UNIT CHECK
For example, if distance = rate × time, then miles = (miles/hour) × hours. If the units don't simplify correctly, revisit the model.
Strategy 3: Order-of-Magnitude Estimation
Before doing a detailed calculation, round the numbers and estimate the answer. If your estimate says the answer should be around 500 and your exact calculation gives 50,000, you likely made an error. This technique catches arithmetic mistakes and modeling errors alike.
ESTIMATION
If the exact result differs from the estimate by more than one order of magnitude (a factor of 10), investigate.
Strategy 4: Residual Analysis
When you have data, compute the residuals — the differences between each observed data point and the model's prediction. If the residuals show a pattern (for instance, they're all positive at high x-values), the model is systematically off, which signals a flawed assumption.
RESIDUAL
Random scatter in residuals suggests a good fit. A curved pattern in residuals suggests the model type (e.g., linear) is wrong.
SECTION 5
When Models Fail — Common Assumption Breakdowns
Understanding the most common ways assumptions fail helps you diagnose problems faster. The diagram below shows a concrete example: a linear model is fit to data that actually follows a quadratic pattern. On the left, the linear fit looks reasonable over a small range, but as you zoom out, the model diverges dramatically from reality.
| Broken Assumption | What You See | How to Refine |
|---|---|---|
| Constant rate of change (linear model used for nonlinear data) | Residuals curve — positive at extremes, negative in the middle (or vice versa) | Switch to a quadratic, exponential, or logarithmic model |
| Unlimited growth (exponential model with no cap) | Predictions become absurdly large (e.g., more bacteria than atoms in the universe) | Use a logistic model with a carrying capacity |
| Independence of variables | Changing one input unexpectedly changes another; predictions are inconsistent | Introduce interaction terms or use a multivariable model |
| No external influences (closed-system assumption) | Model works in lab conditions but fails in real-world application | Add terms to account for friction, air resistance, competition, etc. |
Common assumption breakdowns and their refinement strategies
SECTION 6
Worked Example — Critiquing a Population Model
A biologist models a rabbit population in a meadow using the exponential function P(t) = 20 × 1.5t, where P is the population and t is time in years. After collecting data for five years, she notices the model's predictions increasingly overshoot the actual population. Let's walk through the critique and refinement process.
Critiquing and Refining an Exponential Population Model
- 1
Step 1 — State the Model and Its Assumptions
The model P(t) = 20 × 1.5t assumes: (a) the population grows by 50% each year, (b) there is no limit on resources, (c) no predators or disease affect the population. These are the assumptions to scrutinize. - 2
Step 2 — Generate Predictions and Compare to Data
Year 1: P(1) = 30, Observed = 29. Year 2: P(2) = 45, Observed = 41. Year 3: P(3) = 67.5, Observed = 52. Year 4: P(4) = 101.25, Observed = 58. Year 5: P(5) = 151.88, Observed = 61. The gap between predictions and observations widens significantly.Residuals grow from −1 to +90.88, showing systematic over-prediction. - 3
Step 3 — Diagnose the Broken Assumption
The actual population appears to level off near 60 rabbits. This suggests the meadow has a limited carrying capacity — it can only sustain a certain number of rabbits. The "unlimited growth" assumption fails because food, space, and other resources are finite.Broken assumption identified: unlimited resources. - 4
Step 4 — Refine the Model
Replace the exponential model with a logistic model: P(t) = K / (1 + Ae−rt), where K = 62 (carrying capacity estimated from data), A = (K − P₀)/P₀ = (62 − 20)/20 = 2.1, and r is a growth rate. Using trial with the data, r ≈ 1.2 produces a much closer fit.Refined model: P(t) = 62 / (1 + 2.1 × ) - 5
Step 5 — Re-evaluate the Refined Model
Testing: P(3) ≈ 53.4 vs. observed 52, P(5) ≈ 60.7 vs. observed 61. The logistic model's residuals are much smaller and show no systematic pattern. The boundary check also passes: as t → ∞, P(t) → 62, which is a reasonable long-term population for a meadow.Refined model passes reasonableness checks ✓
SECTION 7
Strengths & Limitations of Different Model Types
Every model type has situations where it shines and situations where it struggles. When you critique a model, one of the first questions to ask is whether the type of model (linear, quadratic, exponential, logistic, etc.) is appropriate for the situation. The table below compares the most common model families you encounter in Math 3.
| Model Type | Best For | Key Limitation |
|---|---|---|
| Linear (y = mx + b) | Constant rate of change; short-range approximations of curved data | Cannot capture acceleration, decay, or leveling-off behavior |
| Quadratic (y = ax² + bx + c) | Projectile motion, area problems, situations with a single maximum or minimum | Assumes symmetric rise and fall; doesn't model sustained growth or decay |
| Exponential (y = a × ) | Unrestricted growth or decay — compound interest, radioactive decay, early-stage epidemics | Predicts infinite growth, which is unrealistic in resource-limited systems |
| Logistic (y = K / (1 + )) | Growth with a natural limit — populations, adoption of technology, spread of information | Requires estimating the carrying capacity K, which may be unknown or changing |
| Piecewise (different rules for different intervals) | Situations where the rules change — tax brackets, shipping rates, tiered pricing | Can be discontinuous at breakpoints; harder to analyze algebraically |
Comparison of common model types in Math 3
KEY TAKEAWAY
SECTION 8
Connection to Advanced Mathematical Reasoning
The skills you're building in this lesson — questioning assumptions, testing reasonableness, and iterating on models — are the foundation of advanced mathematical practice in college and beyond. In statistics, this process becomes hypothesis testing and regression analysis. In engineering, it's called design iteration. In data science, it drives model validation and cross-validation. The thinking is the same — only the tools get more sophisticated.
| What You Learn Now | What It Becomes Later |
|---|---|
| Checking if an answer makes sense in context | Validating statistical models with test data, checking p-values and confidence intervals |
| Looking at residual patterns | Formal residual analysis, R² values, and goodness-of-fit tests in regression |
| Switching model type when assumptions fail | Model selection criteria (AIC, BIC) in statistics and machine learning |
| Testing boundary and extreme values | Asymptotic analysis, limit behavior, and edge-case testing in computer science |
How model critique skills connect to advanced coursework
The key difference between a student who "just does the math" and one who truly thinks mathematically is this critical habit: always asking, Does this answer actually make sense, and if not, why not? Developing this instinct now will serve you across every quantitative discipline you encounter in college and your career.
SECTION 9
Practice Problems
Question 1: CONCEPTUAL
Show answer
Question 2: BASIC CALCULATION
Show answer
Question 3: INTERMEDIATE
Show answer
Question 4: APPLIED
Show answer
Question 5: CRITICAL THINKING
Show answer
SUMMARY
Lesson Summary
Summary
Every mathematical model is built on assumptions that simplify reality. Critiquing a model means using reasonableness checks — boundary values, unit analysis, estimation, and residual analysis — to determine whether the model's predictions match reality. When they don't, you diagnose which assumption failed and refine the model by relaxing that assumption — for example, switching from a linear to a quadratic model, or from exponential growth to a logistic model with a carrying capacity.
This process is not a one-time fix — it is an iterative cycle of building, predicting, critiquing, diagnosing, and refining. The goal is not a "perfect" model (no model is perfect) but a model that is accurate enough for the situation while remaining as simple as possible. Developing the habit of questioning your results and revising your approach is one of the most important skills in all of mathematics.