Before we solve anything, we need a shared language for the kinds of numbers that can show up. These sets are nested: every natural number is an integer, every integer is rational, and every rational number is real.
Natural numbers: N={1,2,3,…}. These are the counting numbers.
Whole numbers: {0,1,2,3,…}. This is the natural numbers plus 0.
Integers: Z={…,−3,−2,−1,0,1,2,3,…}.
Rational numbers: Q={qp∣p,q∈Z,q=0}. These are numbers that can be written as fractions of integers.
Irrational numbers: real numbers that are not rational, such as π, e, and 2.
Real numbers: R. These are all numbers on the number line.
Complex numbers: C={a+bi∣a,b∈R,i=−1}.
Decimal form is often a good way to tell rational and irrational numbers apart. Rational decimals either terminate, like 21=0.5, or repeat, like 31=0.333…. Irrational decimals do not terminate and do not repeat.
We also use set notation to describe groups of numbers:
x∈A means ”x is in set A.”
A∪B means ”A or B” (the union).
A∩B means ”A and B” (the intersection).
A∖B means “in A but not in B.”
∃ means “there exists.”
∀ means “for all.”
Interval notation is another way to describe parts of the number line. Parentheses mean an endpoint is not included; brackets mean it is included:
(3,5)={x∣3<x<5},[3,5]={x∣3≤x≤5}.
Infinity is never included, so it always uses a parenthesis:
The rectangular (Cartesian) coordinate plane lets us turn algebra into geometry. A point (x,y) records two movements: horizontal movement first, then vertical movement. The plane is divided into four quadrants, starting with Quadrant I in the upper right and moving counterclockwise. The signs of x and y tell you where the point is:
Quadrant I: (+,+)
Quadrant II: (−,+)
Quadrant III: (−,−)
Quadrant IV: (+,−)
The distance formula comes from the Pythagorean Theorem. For points A(x1,y1) and B(x2,y2),
d(A,B)=(x2−x1)2+(y2−y1)2.
The midpoint formula averages the coordinates:
M=(2x1+x2,2y1+y2).
These formulas are very useful later on for analytic geometry.
Slope measures how fast y changes compared with x:
m=runrise=ΔxΔy=x2−x1y2−y1.
The same line can be written in several useful forms:
Slope-intercept form: y=mx+b. This is best when you know the slope and y-intercept.
Point-slope form: y−y1=m(x−x1). This is best when you know a point and a slope.
Standard form: Ax+By=C, usually with A,B,C∈Z and A≥0.
From standard form, if B=0, the slope is
m=−BA.
The intercepts are found by setting the other variable equal to 0. For example, in Ax+By=C, the x-intercept is AC when A=0, and the y-intercept is BC when B=0.
Also, parallel lines have the same slope, while perpendicular lines have slopes that are negative reciprocals:
Solving a linear equation is usually a matter of undoing operations until the variable is alone. The main danger is not algebraic difficulty; it is losing track of what operation you applied to both sides.
For example,
3x−7=11
becomes
3x=18⟹x=6.
Linear equations usually have one solution, but there are two special cases:
If the variables disappear and you get a true statement, such as 0=0, the equation is true for all real x that sastisfies the equation.
If the variables disappear and you get a false statement, such as 0=5, there is no solution.
The basic idea is to get the equation into a form where the zero-product property, square roots, or the quadratic formula can finish the job.
Examples of problem solving techniques (Quadratics).
Factoring is the fastest method when it works:
(x−3)(x+2)=0⟹x=3orx=−2.
Be careful not to divide by a variable expression unless you know it is nonzero. For example, dividing x2=3x by x loses the solution x=0. Instead, move everything to one side:
x2−3x=0⟹x(x−3)=0.
Completing the square rewrites a quadratic as a perfect square:
x2+6x+5=0⟹(x+3)2=4.
Then
x+3=±2,
so x=−1 or x=−5.
The quadratic formula works for every quadratic, but often times it is very inefficient to use compared to the techniques shown above. The solutions to any quadratic come in the form of:
x=2a−b±b2−4ac
The discriminant b2−4ac tells you how many real roots the equation has:
b2−4ac>0: two distinct real solutions.
b2−4ac=0: one repeated real solution.
b2−4ac<0: no real solutions, but two complex solutions.
Vieta’s formulas are also useful. If r1 and r2 are the roots of ax2+bx+c=0, then
r1+r2=−ab,r1r2=ac.
Proof (Quadratic formula). Let the quadratic be in the form of
ax2+bx+c=0
with a=0. Divide both sides by a:
x2+abx+ac=0
Move the constant term to the other side:
x2+abx=−ac.
To complete the square, add (2ab)2 to both sides:
More generally, ∣x−a∣ is the distance between x and a. This distance interpretation is usually easier than memorizing cases.
For a>0:
∣u∣=a⟹u=a or u=−a∣u∣<a⟹−a<u<a∣u∣>a⟹u<−a or u>a
If a=0, ∣u∣=0 means u=0. If a<0, ∣u∣=a has no solution in R.
Absolute value expressions are also naturally piecewise. For example,
∣x−3∣={x−3,3−x,x≥3,x<3.
When an equation has several absolute values, break the number line at the values where the inside expressions equal 0, solve on each interval, and check that each answer belongs to the interval where you found it.
When the bases can be made the same, rewrite first:
2x−3=8x⟹2x−3=(23)x=23x.
Since 2u is one-to-one,
x−3=3x.
In general, if a>0 and a=1, then
am=an⟹m=n.
If the bases cannot be matched cleanly, isolate the exponential expression and use logarithms. Keep an eye on the domain: logarithms only accept positive inputs, and exponential bases must be positive and not equal to 1 in the usual real-valued setting.
Absolute value inequalities are distance statements. For a>0:
∣u∣<a⟺−a<u<a∣u∣≤a⟺−a≤u≤a∣u∣>a⟺u<−a or u>a∣u∣≥a⟺u≤−a or u≥a
The short version:
“Less than” means between.
“Greater than” means outside.
For example,
∣3x−2∣≤4
means
−4≤3x−2≤4.
But
∣4−5x∣>1
means
4−5x>1or4−5x<−1.
If the absolute value expression is compared to a negative number, pause. Since absolute value is never negative, statements like ∣u∣<−3 have no solution.
Radical inequalities need more care than radical equations because squaring inequalities is only automatically safe when both sides are known to be nonnegative.
Always begin with the domain. For an even root,
f(x)
requires f(x)≥0.
If the inequality is
f(x)≤g(x),
then we also need g(x)≥0, because the left side is nonnegative. After those conditions are in place, squaring is safe:
f(x)≤g(x)2.
For
f(x)>g(x),
split into cases:
If g(x)<0, the inequality is automatically true wherever the radical exists.
If g(x)≥0, square both sides and solve f(x)>g(x)2.
The final answer is the union of valid pieces that also satisfy the original domain.
x-axis symmetry: if (x,y) is on the graph, then (x,−y) is also on the graph. Algebra test: replace y with −y and see whether the equation stays the same.
y-axis symmetry: if (x,y) is on the graph, then (−x,y) is also on the graph. Algebra test: replace x with −x.
Origin symmetry: if (x,y) is on the graph, then (−x,−y) is also on the graph. Algebra test: replace both x with −x and y with −y.
For example, the graph of
y=x2
has y-axis symmetry because replacing x with −x gives
y=(−x)2=x2.
The graph of
y=x3
has origin symmetry because replacing both variables gives
−y=(−x)3=−x3,
which simplifies back to y=x3.
Extension. If a graph has both x-axis and y-axis symmetry, does it necessarily have origin symmetry? If a graph has origin symmetry, does it necessarily have x-axis and y-axis symmetry?
The taxicab distance between points (x1,y1) and (x2,y2) in the coordinate plane is given by ∣x1−x2∣+∣y1−y2∣. For how many points P with integer coordinates is the taxicab distance between P and the origin less than or equal to 20? (2022 AMC 12A)
We want integer points (x,y) satisfying
∣x∣+∣y∣≤20.
For distance 0, there is only the origin: 1 point.
For each distance r≥1, the equation
∣x∣+∣y∣=r
has 4r integer points. Therefore the total number of points is
1+r=1∑204r=1+4(220⋅21)=1+840=841.
Thus
841.
Solve for x: x4−13x2+36=0.
Let u=x2. Then
x4−13x2+36=0
becomes
u2−13u+36=0.
Factor:
(u−9)(u−4)=0.
So u=9 or u=4. Since u=x2,
x2=9orx2=4.
Therefore
x=−3,−2,2,3.
Simplify 256x4+32x3+165x2+x+4+16x−84x−7−24+2(16x2+4x+2)(−2+24x−7). (Hint: Use factor by grouping.)
Let
A=16x2+4x+2andB=−2+24x−7.
The first five terms under the square root are exactly A2:
(16x2+4x+2)2=256x4+32x3+165x2+x+4.
The next three terms are exactly B2:
(−2+24x−7)2=16x−84x−7−24.
The remaining term is 2AB, so the expression under the radical is
A2+B2+2AB=(A+B)2.
Thus the original expression is
(A+B)2=∣A+B∣.
Now
A+B=16x2+4x+24x−7.
The domain requires 4x−7≥0, so x≥47. On this domain, A+B≥0, so
16x2+4x+24x−7.
Solve for x and discard any extraneous solutions: x−11+x2−12=x+13.
The denominators show that
x=1,x=−1.
Start with
x−11+x2−12=x+13.
Factor x2−1=(x−1)(x+1) and multiply both sides by (x−1)(x+1):
x+1+2=3(x−1).
Solve:
x+3=3x−3⟹6=2x⟹x=3.
Since 3 is allowed in the original equation,
x=3.
Solve for x in R: 9x−10⋅3x+9=0.
Let
u=3x.
Then 9x=(3x)2=u2, so
9x−10⋅3x+9=0
becomes
u2−10u+9=0.
Factor:
(u−1)(u−9)=0.
Thus u=1 or u=9. Returning to u=3x:
3x=1⟹x=0,
or
3x=9⟹x=2.
Therefore
x=0,2.
Solve for x in R and check every candidate in the original equation: 2x+3+x+1=3.
The domain requires
2x+3≥0andx+1≥0,
so x≥−1. Start with
2x+3+x+1=3.
Isolate one radical:
2x+3=3−x+1.
Square both sides:
2x+3=9−6x+1+x+1.
Simplify:
x−7=−6x+1.
Then
7−x=6x+1.
Square again:
(7−x)2=36(x+1).
Expand and solve:
x2−14x+49=36x+36x2−50x+13=0.
By the quadratic formula,
x=250±2500−52=25±617.
Check candidates in the original equation. The value 25+617 is extraneous because it makes 7−x<0 in the equation 7−x=6x+1. The value 25−617 works. Therefore
x=25−617.
Solve for x in R and write the answer in interval notation: x−23x+1>2.
Move everything to one side:
x−23x+1>2⟹x−23x+1−2>0.
Combine into one rational expression:
x−23x+1−2(x−2)>0.
Simplify:
x−2x+5>0.
The critical values are x=−5 and x=2. A sign chart gives positive values on (−∞,−5) and (2,∞). Since the inequality is strict, x=−5 is not included, and x=2 is never allowed.
Thus
(−∞,−5)∪(2,∞).
Solve for x in R and write the answer in interval notation: ∣x−2∣+∣x+4∣≤10.
The expression
∣x−2∣+∣x+4∣
is the sum of the distances from x to 2 and from x to −4. Break at x=−4 and x=2.
If x<−4, then
∣x−2∣+∣x+4∣=−(x−2)−(x+4)=−2x−2.
So
−2x−2≤10⟹x≥−6.
This gives [−6,−4).
If −4≤x≤2, then
∣x−2∣+∣x+4∣=(2−x)+(x+4)=6,
which is always at most 10. This gives [−4,2].
If x>2, then
∣x−2∣+∣x+4∣=(x−2)+(x+4)=2x+2.
So
2x+2≤10⟹x≤4.
This gives (2,4]. Combining all pieces,
[−6,4].
Solve for x in R and write the answer in interval notation: ∣x2−9∣≤5.
Start with
∣x2−9∣≤5.
Rewrite this as a compound inequality:
−5≤x2−9≤5.
Add 9 to all parts:
4≤x2≤14.
Thus x2 must be at least 4 and at most 14. Therefore
[−14,−2]∪[2,14].
Solve in R: (x−1)2(x−4)(x+2)<0. Explain how repeated roots change the sign chart compared with all simple roots.
The inequality is already factored:
(x−1)2(x−4)(x+2)<0.
The critical values are
x=−2,x=1,x=4.
The root x=1 has even multiplicity because of (x−1)2, so the sign does not change when crossing x=1. Simple roots, like x=−2 and x=4, do change the sign.
A sign chart gives:
positive on (−∞,−2),
negative on (−2,1),
negative on (1,4),
positive on (4,∞).
Because the inequality is strict, none of the zeros are included. Thus
(−2,1)∪(1,4).
Solve in R: x3−5x2+6x≥0.
Factor:
x3−5x2+6x=x(x2−5x+6)=x(x−2)(x−3).
Solve
x(x−2)(x−3)≥0.
The critical values are 0, 2, and 3. A sign chart gives:
negative on (−∞,0),
positive on (0,2),
negative on (2,3),
positive on (3,∞).
Since the inequality is ≥0, include the zeros. Therefore
[0,2]∪[3,∞).
Solve in R: x2+xx2−4≤0. Give the domain, a single rational inequality of the form Q(x)R(x)≤0 with no common factors, and the solution in interval notation.
The domain comes from the denominator:
x2+x=x(x+1)=0.
So
x=0,x=−1.
Factor the rational expression:
x2+xx2−4=x(x+1)(x−2)(x+2).
There are no common factors, so the rational inequality is
x(x+1)(x−2)(x+2)≤0.
The critical values are −2,−1,0,2. Remember that −1 and 0 cannot be included because they make the denominator zero. A sign chart gives nonpositive values on
Solve in R: 4−x2≥x. Find the radical domain first, then split into x<0 and x≥0 before squaring where legal.
First find the domain:
4−x2≥0⟹−2≤x≤2.
Now solve
4−x2≥x.
If x<0, the right side is negative and the left side is nonnegative, so the inequality is automatically true on the domain. This gives [−2,0).
If x≥0, both sides are nonnegative, so we can square:
4−x2≥x2.
Then
4≥2x2⟹x2≤2.
With x≥0, this gives 0≤x≤2. Combining both cases,
[−2,2].
Solve in R: x2+5≤x+2. Impose all conditions needed before and after squaring.
The radical is always defined because
x2+5>0
for all real x. But since
x2+5≥0,
we also need the right side to be nonnegative:
x+2≥0⟹x≥−2.
Now square both sides:
x2+5≤(x+2)2.
Expand:
x2+5≤x2+4x+4.
Cancel x2:
5≤4x+4⟹x≥41.
This already satisfies x≥−2, so
[41,∞).
Determine the symmetries of both graphs: f(x)=x2+1x2 and g(x)=x∣x∣. For each, decide whether the graph has y-axis symmetry, x-axis symmetry, origin symmetry, or none.
For
f(x)=x2+1x2,
test f(−x):
f(−x)=(−x)2+1(−x)2=x2+1x2=f(x).
So f has y-axis symmetry. It does not have origin symmetry because f(−x)=−f(x) in general, and it does not have x-axis symmetry because reflecting a nonzero function value across the x-axis would not stay on the graph of the same function.
For
g(x)=x∣x∣,
test g(−x):
g(−x)=(−x)∣−x∣=−x∣x∣=−g(x).
So g has origin symmetry. It does not have y-axis symmetry because g(−x)=g(x) in general, and it does not have x-axis symmetry for the same reason ordinary nonzero functions usually do not.
Therefore
f has y-axis symmetry only, and g has origin symmetry only.
(Bonus, Markov equations)
Our goal is to find all positive integer solutions (x,y) to
x2+y2+1=3xy.
This is a small version of a famous family of Diophantine equations (equations with positive integer solutions) known as Markov equations.
(A) Find the solutions with y=1.
(B) Treat the equation as a quadratic in x. If x is one root, use Vieta’s formulas to find the other root x′.
(C) Suppose (x,y) is a positive integer solution with x≥y≥2. Prove that the other root x′ is a positive integer and that x′<y.
(D) Explain why repeatedly replacing the larger coordinate by the smaller Vieta root must eventually reach a solution with one coordinate equal to 1.
(E) Reverse the process to describe all positive integer solutions.
We solve
x2+y2+1=3xy
in positive integers.
For part (A), set y=1. Then
x2+2=3x.
So
x2−3x+2=0⟹(x−1)(x−2)=0.
Thus the solutions with y=1 are
(1,1) and (2,1).
By symmetry, (1,2) is also a solution.
For part (B), treat the equation as a quadratic in x:
x2−3yx+(y2+1)=0.
If x is one root, let x′ be the other root. By Vieta’s formulas,
x+x′=3y
and
xx′=y2+1.
From the sum formula,
x′=3y−x.
Because x and y are integers, x′ is also an integer. The pair (x′,y) satisfies the same equation because x′ is the other root of the same quadratic.
For part (C), suppose (x,y) is a positive integer solution with
x≥y≥2.
We first show x′>0. Since
x′=3y−x,
it is enough to show x<3y. If x≥3y, then
x2−3xy+y2+1>0,
which contradicts the equation rewritten as
x2−3xy+y2+1=0.
Therefore x<3y, so x′>0.
Now show x′<y. Since x≥y≥2, the larger root is
x=23y+5y2−4.
Because y≥2,
5y2−4>y2,
so
5y2−4>y.
Thus
x>23y+y=2y.
Therefore
x′=3y−x<3y−2y=y.
So every solution with x≥y≥2 creates a smaller positive integer solution
(x′,y)
with 0<x′<y≤x.
For part (D), repeat this step. Each time, the larger coordinate decreases to a smaller positive integer. A strictly decreasing sequence of positive integers cannot continue forever, so the descent must eventually stop.
It can only stop when the smaller coordinate is 1. By part (A), the terminal solutions are (1,1), (2,1), and by symmetry (1,2).
For part (E), reverse the descent. Starting with (1,1), repeatedly replace the smaller coordinate by
new coordinate=3(larger coordinate)−(smaller coordinate).
This gives
(1,1),(1,2),(2,5),(5,13),(13,34),…
and the swapped pairs.
Equivalently, define a sequence by
a0=1,a1=1,an+1=3an−an−1.
Then all positive integer solutions are
(an,an+1) and (an+1,an)for n≥0.
The first few values are
a0=1,a1=1,a2=2,a3=5,a4=13,a5=34.
It remains to check that this sequence really gives solutions. If (u,v) satisfies
u2+v2+1=3uv,
then (v,3v−u) also satisfies the equation because u and 3v−u are the two Vieta roots of
X2−3vX+(v2+1)=0.
Since (1,1) works, every pair generated by the recurrence works. The descent argument shows there are no others.
All positive integer solutions are (1,1),(1,2),(2,1),(2,5),(5,2),(5,13),(13,5),…