Function Model Selection and Assumption Articulation |...

SECTION 1

Historical Context & Motivation

The act of choosing a mathematical function to describe observed phenomena is as old as quantitative science itself. Long before graphing calculators or regression software existed, mathematicians and natural philosophers confronted a fundamental question: given a set of observations, which algebraic form best captures the underlying relationship? This question drives function model selection—the deliberate process of matching data behavior to a function family—and it demands that the modeler explicitly state every assumption that justifies the choice. Without such assumption articulation, a model's predictive power cannot be evaluated, and its domain of validity remains unknown.

~300 BCE

Euclid's Proportional Reasoning

Euclid formalized proportional relationships in Elements, establishing linear and quadratic models as tools for describing geometric quantities and laying the groundwork for algebraic modeling.

1615

Kepler's Polynomial Interpolation

Johannes Kepler used polynomial relationships to describe planetary motion, selecting power-law models and explicitly noting the assumptions of elliptical orbits—an early instance of model selection grounded in physical reasoning.

1805

Legendre's Least Squares Method

Adrien-Marie Legendre published the method of least squares, providing a systematic criterion for fitting candidate function models to data and comparing their quality of fit.

1974

Akaike Information Criterion

Hirotugu Akaike introduced AIC, a formal framework for balancing model fit against complexity—formalizing the idea that a good model is not merely accurate but parsimonious in its assumptions.

The central gap that this lesson addresses is the space between recognizing data patterns and rigorously defending a modeling choice. On the AP Precalculus exam, you are expected not merely to identify whether data looks linear, quadratic, or rational, but to articulate why a particular function family is appropriate, what assumptions are embedded in that choice, and under what conditions the model may break down. This synthesis of quantitative reasoning and verbal justification is the hallmark of mathematical maturity.

SECTION 2

Core Principles & Definitions

Function model selection rests on several interconnected principles that guide the modeler from raw data to a justified algebraic representation. Understanding these principles transforms model selection from guesswork into a disciplined analytical process. Each principle carries embedded assumptions that must be made explicit whenever a model is proposed or defended.

End Behavior & Dominance

As x → ±∞, the dominant term of a polynomial or the ratio of leading terms in a rational function determines long-run behavior. This is the first filter for distinguishing polynomial from rational models: does the output grow without bound, level off, or approach an asymptote?

Rate of Change Patterns

Constant first differences suggest a linear model; constant second differences suggest a quadratic model. For polynomial models of degree n, constant nth differences are the signature. Rational functions exhibit rates of change that themselves involve rational expressions.

Zeros, Poles, and Discontinuities

The locations where a function equals zero (x-intercepts) or is undefined (vertical asymptotes and holes) provide structural fingerprints. Polynomial functions are continuous everywhere; rational functions may have vertical asymptotes where the denominator vanishes.

Concavity and Inflection

The direction and changes of curvature help distinguish among polynomial degrees. A quadratic has one concavity; a cubic has an inflection point. Rational functions can exhibit multiple shifts in concavity near vertical asymptotes.

Parsimony (Simplicity)

When two models fit data equally well, the simpler model—the one with fewer parameters and weaker assumptions—is preferred. A linear model should not be replaced by a cubic unless the data clearly demand additional flexibility.

✦ KEY TAKEAWAY

Think of model selection like choosing a vehicle for a trip. A bicycle (linear model) is perfect for a flat, short commute—few assumptions and easy to operate. A car (quadratic or cubic) handles hills and longer distances but requires fuel and maintenance assumptions. A helicopter (high-degree polynomial or rational function) can navigate any terrain but demands far more assumptions about operating conditions. The best choice depends on the landscape of your data, and you must always state why that vehicle is appropriate.

SECTION 3

Visual Explanation — Comparing Function Families

The diagram below places four major function families on the same coordinate axes so that their contrasting behaviors become visually immediate. When selecting a model, ask yourself which curve's qualitative shape most closely mirrors the data's overall trajectory, paying particular attention to end behavior, symmetry, and the presence or absence of asymptotes.

The blue line (linear) grows at a constant rate. The violet parabola (quadratic) has a single extremum and symmetric end behavior. The pink cubic shows opposite end behaviors and an inflection point. The amber rational function features a vertical asymptote (VA) and a horizontal asymptote (HA), distinguishing it structurally from all polynomial models.

Notice how each function family carries distinct structural signatures. A linear model assumes a constant rate of change—an assumption that must be verified by inspecting first differences or a scatter plot. A quadratic model assumes a single turning point and that both ends of the graph point in the same direction, implying constant second differences. Selecting a cubic or higher-degree polynomial assumes additional turning points and an inflection structure that the data must support. Finally, choosing a rational model assumes the existence of input values where the function is undefined—a qualitative feature absent from all polynomial models. Articulating these assumptions is what transforms a curve-fitting exercise into genuine mathematical modeling.

SECTION 4

Mathematical Framework

The mathematical backbone of model selection involves analyzing the algebraic structure of candidate function families and matching their properties to observed data. Below are the key forms and the diagnostic tests associated with each. In every case, the assumptions required by each model type are stated alongside the formula.

POLYNOMIAL OF DEGREE n

f(x) = aₙxⁿ + aₙ₋₁xⁿ⁻¹ + … + a₁x + a₀

where aₙ ≠ 0. Assumptions: The function is continuous for all real x, has at most n − 1 turning points, and the nth finite differences of equally spaced data are constant.

RATIONAL FUNCTION

r(x) = p(x) / q(x), where p and q are polynomials with q(x) ≠ 0

The degree of p is m and the degree of q is n. Assumptions: There exist values of x where the output is undefined (vertical asymptotes or holes). If m < n, HA at y = 0. If m = n, HA at y = aₘ/bₙ. If m > n, no horizontal asymptote (slant or polynomial end behavior).

FINITE DIFFERENCE TEST (DEGREE n)

Δⁿf = f(x + nh) − C(n,1)·f(x + (n−1)h) + … + (−1)ⁿ·f(x) = constant

For equally spaced inputs with step size h, the nth forward differences of a polynomial of degree n are constant. If Δ¹ values are constant → linear. If Δ² values are constant → quadratic. This test assumes equally spaced inputs—a critical assumption often overlooked on exams.

HORIZONTAL ASYMPTOTE CRITERION

lim(x→±∞) r(x) = lim(x→±∞) [aₘxᵐ / bₙxⁿ]

When selecting a rational model, the end behavior is determined by comparing the degrees m (numerator) and n (denominator). This limit analysis assumes that the data eventually stabilizes toward a long-run value, which must be supported by the context of the problem.

📝 AP Exam Tip

Free-response questions frequently ask you to "justify your choice of model." A complete justification includes: (1) naming the function family, (2) citing specific data features (e.g., constant second differences, presence of an asymptote), and (3) stating the underlying assumption (e.g., "this model assumes the rate of change is proportional to the input"). Merely stating "it looks quadratic" earns minimal credit.

SECTION 5

Model Selection Decision Framework

The following decision diagram provides a systematic workflow for choosing among polynomial and rational function models. Rather than relying on visual intuition alone, this framework uses a sequence of diagnostic questions—each tied to a specific mathematical assumption—to narrow the field of candidate models. Work from the top down, and at each decision node, verify the corresponding assumption against your data.

Begin at the top. The first branch separates rational models (undefined outputs exist) from polynomial models (continuous everywhere). The polynomial branch uses the finite difference test to determine the degree. Each decision node corresponds to a testable assumption that should be articulated in your written justification.

When using this flowchart on an exam, remember that the finite difference test carries a built-in assumption: the input values must be equally spaced. If the x-values in your table are not equally spaced, you must either re-interpolate or rely on other diagnostic criteria such as the number of turning points, the presence of inflection points, or the scatter plot's qualitative shape. Additionally, in applied problems, contextual clues—such as a population that cannot exceed a carrying capacity—may directly suggest a rational model whose horizontal asymptote represents the limit, even before any numerical test is performed.

SECTION 6

Worked Example — Selecting and Justifying a Model

A biologist records the concentration of a nutrient (mg/L) in a lake at equally spaced weekly intervals. The data are shown below. Determine an appropriate function model and articulate the assumptions that support your choice.

Nutrient concentration data measured at weekly intervals

Week (t)	Concentration C(t)
0	2.0
1	5.0
2	8.0
3	9.5
4	10.0
5	10.3
6	10.4

Selecting a Model for Nutrient Concentration

Step 1 — Examine End BehaviorThe concentration starts at 2.0 and increases, but the rate of increase clearly slows over time—from 3.0 between weeks 0–1 to just 0.1 between weeks 5–6. The data appear to be approaching a horizontal asymptote rather than growing without bound. This behavior is inconsistent with a polynomial model (which would eventually increase or decrease without limit) and suggests a rational function model.

Candidate: rational model with a horizontal asymptote

Step 2 — Compute First Differences (Verification)The first differences are: 3.0, 3.0, 1.5, 0.5, 0.3, 0.1. These are not constant, so a linear model is rejected. The second differences are: 0, −1.5, −1.0, −0.2, −0.2. These are also not constant, so a simple quadratic is also inappropriate. The diminishing and non-constant differences reinforce that a polynomial model of any fixed degree does not capture the leveling-off phenomenon.

Linear and quadratic models rejected by finite difference analysis

Step 3 — Propose a Specific Rational FormGiven the data starts at C(0) = 2 and appears to approach roughly 10.5, a rational model of the form C(t) = (at + b)/(t + c) is reasonable. Here, the degree of the numerator equals the degree of the denominator (both degree 1), so the horizontal asymptote is y = a/1 = a. We estimate a ≈ 10.5. Using C(0) = 2 gives b/c = 2, and using C(1) = 5 gives (a + b)/(1 + c) = 5. Solving this system with a = 10.5 yields approximately: C(t) = (10.5t + 2·c)/(t + c). From C(0) = 2: b = 2c. From C(1) = 5: (10.5 + 2c)/(1 + c) = 5, so 10.5 + 2c = 5 + 5c, giving c = 11/6 ≈ 1.833 and b ≈ 3.667.

Proposed model: C(t) ≈ (10.5t + 3.67) / (t + 1.83)

Step 4 — Articulate AssumptionsThe model assumes: (1) concentration is a continuous function of time; (2) there exists a finite carrying capacity that the concentration cannot exceed, represented by the horizontal asymptote y ≈ 10.5; (3) the rate of concentration increase diminishes as the concentration approaches this limit; and (4) the model is valid only for t ≥ 0 since negative weeks have no physical meaning. Additionally, the model implies the concentration will never exactly reach 10.5 mg/L, only approach it asymptotically—a biologically reasonable assumption if nutrient saturation is governed by limited absorption.

Four explicit assumptions articulated and justified by context

SECTION 7

Strengths and Limitations of Each Model Family

No single function family is universally superior. Each model type has inherent strengths—contexts in which its assumptions align well with reality—and limitations—situations where its structural constraints cause it to misrepresent the data. The table below provides a side-by-side comparison that is especially useful when defending a model choice on free-response questions.

Comparison of polynomial and rational function families for model selection

Model Family	Key Strengths	Key Limitations
Linear	Simplest model; fewest assumptions; excellent local approximation over short intervals; constant rate of change is easy to interpret.	Cannot model curvature, turning points, or bounded growth. Extrapolation often fails for large domains.
Quadratic	Models one turning point (max or min); constant second differences are easily verified; physically meaningful for projectile and area problems.	Symmetric parabolic shape may not match data; always unbounded for large \|x\|; cannot model asymptotic behavior.
Cubic / Higher Degree	Models multiple turning points and inflection; flexible shape; higher-degree polynomials can interpolate through any finite data set exactly.	Overfitting risk with higher degrees; wild oscillation between data points (Runge's phenomenon); strong assumptions needed for extrapolation.
Rational	Models asymptotic behavior (horizontal, vertical, slant); captures bounded growth and long-run limits; essential for rate and proportion problems.	Introduces discontinuities that may not exist in the physical context; more parameters to determine; domain restrictions must be contextually justified.

✦ KEY TAKEAWAY

In engineering, every material specification sheet lists both the material's rated capacity and the conditions under which those ratings apply. Similarly, every function model comes with a "specification sheet" of assumptions. A linear model's spec sheet says "constant rate of change assumed"; a rational model's says "bounded output and excluded input values assumed." Your job on the AP exam is to read the data carefully, select the right "material," and then fill out the spec sheet by articulating those assumptions in your written response.

SECTION 8

Connections to Advanced Theory

The model selection skills you develop in AP Precalculus form the foundation for more sophisticated techniques encountered in calculus, statistics, and applied mathematics. The table below maps the precalculus concepts covered in this lesson to their more advanced counterparts, illustrating how assumption articulation becomes even more critical as models grow in complexity.

Mapping precalculus model selection concepts to advanced mathematical frameworks

AP Precalculus Concept	Advanced Extension
Finite difference test for polynomial degree	Taylor polynomial approximation: nth-degree Taylor polynomials generalize finite differences to non-equally-spaced data via derivatives
Horizontal asymptote as long-run value	Formal limits at infinity in calculus; L'Hôpital's rule for indeterminate forms arising from rational expressions
Choosing between model families based on data	Statistical regression and model comparison using R², AIC, and BIC in AP Statistics and beyond
Articulating domain restrictions	Continuity and differentiability conditions in real analysis; piecewise function models in applied mathematics
Parsimony (prefer simpler model)	Occam's Razor formalized as the bias-variance tradeoff in machine learning; regularization techniques to prevent overfitting

Looking forward, the habit of explicitly stating assumptions—"I chose a rational model because the data approach a limiting value, and I assume this limit exists because the physical context involves a saturation process"—transfers directly to writing scientific reports, engineering design documents, and statistical analyses. In each of these advanced contexts, the strength of a conclusion is only as strong as the clarity and validity of the assumptions that support it. Developing this disciplined approach now will serve you well in any quantitative field you pursue.

SECTION 9

Practice Problems

A student claims that because a data set has five points, a degree-4 polynomial is the best model since it passes through all five points exactly. Which of the following best explains why this reasoning is flawed?

The following equally spaced data are given: | x | 0 | 2 | 4 | 6 | 8 | |---|---|---|---|---|---| | f(x) | 1 | 9 | 25 | 49 | 81 | Using the finite difference method, what is the degree of the polynomial that models this data?

A rational function r(x) = (2x² + 3x − 5) / (x² − 4) has which of the following long-run behaviors and structural features?

PROBLEM 4 — APPLIED

A pharmaceutical company measures the concentration C(t) of a drug in a patient's bloodstream (in mg/L) at times t = 0, 1, 2, 3, 4, 5 hours after administration. The recorded values are: t: 0, 1, 2, 3, 4, 5 C(t): 0, 4.8, 5.0, 4.0, 3.0, 2.2 (a) Explain why a polynomial model of degree 3 or higher might be appropriate for this data. Identify the specific features of the data that support this claim. (b) A researcher proposes the rational model C(t) = at/(t² + b) instead. Explain the pharmacological assumption embedded in this model, and describe one advantage this model has over a cubic polynomial for predicting drug concentration at t = 10 hours. (c) Using the rational model C(t) = at/(t² + b), find the values of a and b given that C(1) = 4.8 and C(2) = 5.0. (d) State the horizontal asymptote of your model from part (c) and explain its real-world meaning.

PROBLEM 5 — CRITICAL THINKING

A classmate presents the following argument: "Since any continuous function on a closed interval can be uniformly approximated by a polynomial (the Weierstrass Approximation Theorem), polynomial models are always sufficient, and we never need rational function models." (a) Identify the logical flaw in this argument as it relates to model selection in precalculus. (b) Provide a specific real-world scenario where a rational model is structurally necessary and explain which assumption of the polynomial model is violated. (c) Explain how the principle of parsimony applies to this debate.

SUMMARY

Lesson Summary

Function model selection requires you to match data behavior to the structural properties of a function family. Begin by examining end behavior: does the output grow without bound (polynomial) or approach a horizontal asymptote (rational)? Next, apply the finite difference test to equally spaced data to identify the polynomial degree: constant first differences signal linear, constant second differences signal quadratic, and so on. For rational models, compare the degrees of the numerator and denominator to determine the asymptotic structure, and verify that the data support the existence of excluded input values.

Equally important is assumption articulation: every model carries embedded assumptions about continuity, rate of change patterns, domain restrictions, and end behavior that must be explicitly stated and defended with evidence from the data or the problem's real-world context. Adhere to the principle of parsimony—choose the simplest model whose assumptions are satisfied—and always check that your model's behavior is physically or contextually reasonable, especially for extrapolation beyond the observed data range. Mastering this synthesis of quantitative analysis and verbal justification is a cornerstone of success on the AP Precalculus exam.