Meditaliano IMAT Prep
Lesson 4: Math: Synthesis, Logic & Applied Functions
Lesson 4: Synthesis, Logic & Applied Functions
This comprehensive lesson is a major core of your mathematical preparation. IMAT problems often require you to combine knowledge from multiple branches—such as logic, sets, absolute values, trigonometric and exponential/logarithmic functions, coordinate geometry, and locus of points. This lesson covers these key topics in detail, providing step-by-step solutions, graphical explanations, and synthesis strategies to build solid solution paths.
Learning Objectives (LO M4.1):
- Master **Sets & Mathematical Logic** (Venn diagrams, De Morgan's laws, necessary and sufficient conditions).
- Solve equations and inequalities containing **absolute values**, and analyze their graphs.
- Solve equations, inequalities, and optimization problems involving **trigonometric, exponential, and logarithmic functions**.
- Determine the **locus of points (軌跡)** under geometric conditions and represent **coordinate regions (領域)** using inequalities.
- Apply functional and coordinate methods to solve **advanced geometric problems**.
Part 1: Sets, Propositions & Logic (集合と命題)
Logic and set theory form the bedrock of mathematical reasoning. On the IMAT, you will frequently encounter questions testing set relationships, logical equivalence, and necessary/sufficient conditions.
1.1 Set Theory Basics
A set is a collection of distinct objects (elements). Let $A$ and $B$ be subsets of a universal set $U$.
Fundamental Set Operations
- Union ($A \cup B$): The set of all elements in $A$, $B$, or both.
- Intersection ($A \cap B$): The set of all elements in both $A$ and $B$.
- Complement ($\bar{A}$ or $A^c$): The set of all elements in $U$ but not in $A$.
- Empty Set ($\emptyset$): A set containing no elements.
De Morgan's Laws
These laws describe how union and intersection interact with complementation:
1.2 Propositions & Logic
A proposition is a statement that is either strictly True ($T$) or False ($F$).
Converse, Inverse, and Contrapositive
For a conditional statement of the form "If $p$, then $q$" ($p \implies q$):
| Statement Type | Symbolic Form | English Representation |
|---|---|---|
| Original Proposition | $p \implies q$ | If $p$, then $q$. |
| Converse (逆) | $q \implies p$ | If $q$, then $p$. |
| Inverse (裏) | $\neg p \implies \neg q$ | If not $p$, then not $q$. |
| Contrapositive (対偶) | $\neg q \implies \neg p$ | If not $q$, then not $p$. |
Logical Equivalency Rule
A proposition and its **contrapositive** always share the exact same truth value. If a statement is true, its contrapositive is guaranteed to be true. The converse and inverse do not necessarily share this truth value.
1.3 Necessary and Sufficient Conditions
If the implication $p \implies q$ is true, we define the relationships between $p$ and $q$ as follows:
- $p$ is a sufficient condition (十分条件) for $q$: Knowing $p$ is true is *sufficient* to guarantee that $q$ is true.
- $q$ is a necessary condition (必要条件) for $p$: $q$ must be true *necessarily* in order for $p$ to have any chance of being true.
- Necessary and Sufficient Condition (必要十分条件): If $p \implies q$ AND $q \implies p$ (written as $p \iff q$), they are logically equivalent.
Example: Determine the condition of $x = 2$ relative to $x^2 = 4$.
Let $p: x = 2$ and $q: x^2 = 4$.
- - $p \implies q$: "If $x = 2 \implies x^2 = 4$" is **True**.
- - $q \implies p$: "If $x^2 = 4 \implies x = 2$" is **False** (since $x$ could also be $-2$).
Therefore, $x = 2$ is a **sufficient but not necessary** condition for $x^2 = 4$.
Part 2: Absolute Value Equations, Inequalities & Graphs (絶対値)
The absolute value of a number represents its distance from zero on the number line. Consequently, $|x|$ is always non-negative.
2.1 Algebraic Definition
2.2 Equations and Inequalities
For any positive real number $c > 0$:
- $$ |x - a| = c \quad \iff \quad x - a = \pm c \quad \iff \quad x = a \pm c $$
- $$ |x - a| \le c \quad \iff \quad -c \le x - a \le c \quad \iff \quad a - c \le x \le a + c $$
- $$ |x - a| \ge c \quad \iff \quad x - a \le -c \quad \text{or} \quad x - a \ge c \quad \iff \quad x \le a - c \quad \text{or} \quad x \ge a + c $$
Example: Solve $|2x - 3| < 5$.
$$ -5 < 2x - 3 < 5 $$
Add 3 to all parts: $$ -2 < 2x < 8 $$
Divide by 2: $$ -1 < x < 4 $$
2.3 Graphs of Absolute Value Functions
To graph functions containing absolute values, use the following rules:
- Graphing $y = |f(x)|$: Draw $y = f(x)$ first, then reflect all parts below the x-axis ($y < 0$) upwards across the x-axis.
- Piecewise Graphs (e.g., $y = |x - 1| + |x - 3|$): Divide the real number line into intervals based on the critical points where the absolute value arguments become zero ($x=1$ and $x=3$).
Piecewise analysis of $y = |x - 1| + |x - 3|$:
- For $x < 1$: both arguments are negative:
$$ y = -(x-1) - (x-3) = -2x + 4 $$ - For $1 \le x < 3$: the first is positive, the second is negative:
$$ y = (x-1) - (x-3) = 2 $$ - For $x \ge 3$: both arguments are positive:
$$ y = (x-1) + (x-3) = 2x - 4 $$
Part 3: Trigonometric, Exponential & Logarithmic Equations & Inequalities
Solving equations and inequalities containing transcendental functions requires strict attention to domains and properties.
3.1 Trigonometric Equations & Inequalities
Trigonometric equations are solved by using identities to reduce variables to a single function (e.g. all in terms of $\cos x$), then substituting $t = \sin x$ or $t = \cos x$ (with $-1 \le t \le 1$).
Example (Trig Inequality): Solve $2\cos^2 x + \sin x - 1 > 0$ for $0 \le x < 2\pi$.
Step 1: Convert to a single trig function.
Substitute $\cos^2 x = 1 - \sin^2 x$:
$$ 2(1 - \sin^2 x) + \sin x - 1 > 0 \implies -2\sin^2 x + \sin x + 1 > 0 $$
Multiply by $-1$ (reverse the inequality):
$$ 2\sin^2 x - \sin x - 1 < 0 $$
Step 2: Factorize.
$$ (2\sin x + 1)(\sin x - 1) < 0 \implies -\frac{1}{2} < \sin x < 1 $$
Step 3: Solve on the Unit Circle.
$\sin x = -1/2$ at $x = \frac{7\pi}{6}$ and $\frac{11\pi}{6}$. Since $\sin x < 1$, $x \ne \frac{\pi}{2}$.
The solution is: $$ 0 \le x < \frac{7\pi}{6} \quad \text{and} \quad \frac{11\pi}{6} < x < 2\pi \quad (\text{with } x \ne \frac{\pi}{2}) $$
3.2 Exponential & Logarithmic Equations & Inequalities
Base Properties in Inequalities
- When Base $a > 1$: The inequality direction is **preserved**.
$$ a^x > a^y \implies x > y \qquad \text{and} \qquad \log_a x > \log_a y \implies x > y > 0 $$ - When Base $0 < a < 1$: The inequality direction is **reversed**.
$$ a^x > a^y \implies x < y \qquad \text{and} \qquad \log_a x > \log_a y \implies 0 < x < y $$
IMAT Trap: Check the Domain First!
For any logarithmic expression $\log_a(f(x))$, you **MUST** ensure $f(x) > 0$ (the argument must be strictly positive) and $a > 0, a \ne 1$ (the base must be positive and not equal to 1). Find these domains *before* performing any algebraic steps!
Example (Log Inequality): Solve $\log_{0.5}(x-1) > \log_{0.5}(5-x)$.
Step 1: Determine the Domain.
$$ x-1 > 0 \implies x > 1 $$
$$ 5-x > 0 \implies x < 5 $$
Combined Domain: $1 < x < 5$.
Step 2: Solve the inequality (Base $0.5 < 1 \implies$ reverse the sign).
$$ x-1 < 5-x \implies 2x < 6 \implies x < 3 $$
Step 3: Combine with Domain.
Combining $x < 3$ with $1 < x < 5$ gives:
$$ 1 < x < 3 $$
Part 4: Locus & Regions (軌跡と領域)
Locus and coordinate regions bridge the gap between equations and geometry, showing how algebraic constraints define shapes in 2D space.
4.1 Locus of Points (軌跡)
A locus is the path traced out by a point $P(x, y)$ that moves according to a specific geometric rule.
- Perpendicular Bisector of $AB$: The locus of points equidistant from two fixed points $A$ and $B$. Solve using: $AP = BP \implies AP^2 = BP^2$.
- Circle: The locus of points at a constant distance $r$ from a fixed center $C(h, k)$. Equation: $(x-h)^2 + (y-k)^2 = r^2$.
- Parabola: The locus of points equidistant from a focal point $F$ and a directrix line $d$.
- Apollonian Circle: The locus of points whose distances from two fixed points $A$ and $B$ are in a constant ratio $k:1$ ($k \ne 1$). This locus always forms a circle.
4.2 Coordinate Regions (領域)
Inequalities represent regions of the Cartesian coordinate plane rather than simple lines or curves.
| Inequality | Description of Region |
|---|---|
| $y > f(x)$ | The region **above** the curve $y = f(x)$. |
| $y < f(x)$ | The region **below** the curve $y = f(x)$. |
| $(x-h)^2 + (y-k)^2 < r^2$ | The **interior** of the circle centered at $(h, k)$ with radius $r$. |
| $(x-h)^2 + (y-k)^2 > r^2$ | The **exterior** of the circle centered at $(h, k)$ with radius $r$. |
4.3 Linear Programming (線形計画法)
Linear programming is the method of finding the maximum or minimum value of a linear function (like $z = ax + by$) subject to a set of constraints represented by linear inequalities.
Linear Programming Steps:
- Graph the boundaries of all constraint inequalities to find the overlap area, called the **feasible region**.
- Find the coordinates of all **vertices (corners)** of the feasible region by solving systems of equations.
- Plug the coordinates of each vertex into the objective function $z = ax + by$. **The maximum and minimum values will always occur at one of these vertices.**
Part 5: Geometric Problems using Functions (関数を用いた図形問題)
Advanced IMAT questions often embed geometric shapes within functions. To solve them, translate the geometric conditions into coordinate algebra.
Example (Inscribed Rectangle): A rectangle is inscribed under the parabola $y = 12 - x^2$ such that its base lies on the x-axis, and its top two corners touch the parabola. Find the dimensions of the rectangle that maximize its area.
Thought Process:
- Translate: Let the top-right corner of the rectangle on the parabola be $P(x, y) = P(x, 12-x^2)$ where $x > 0$.
Because of the parabola's symmetry across the y-axis, the top-left corner must be $(-x, 12-x^2)$. - Express Dimensions:
- The width of the rectangle is the distance from $-x$ to $x$, which is $2x$.
- The height of the rectangle is $y = 12 - x^2$. - Formulate Area Function: The area $A$ is:
$$ A(x) = \text{width} \times \text{height} = 2x(12 - x^2) = 24x - 2x^3 $$ - Optimize (Advanced): For those who know calculus, $A'(x) = 24 - 6x^2 = 0 \implies x^2 = 4 \implies x = 2$.
Alternatively, you can test values or use inequalities to find that $x=2$ maximizes the cubic function in the positive domain. - Calculate Final Dimensions:
- Width = $2x = 2(2) = 4$.
- Height = $12 - x^2 = 12 - 4 = 8$.
- Maximum Area = $4 \times 8 = 32$.
Part 1: The Synthesis Mindset
When you face a difficult IMAT problem, don't panic. Use this 4-step process to build a path to the solution.
IMAT 4-Step Problem-Solving Protocol
- 1. Translate (The "What?"):
Convert the words of the problem into the language of mathematics: equations, coordinates, variables, and geometric figures. Create a "keyword-to-tool" dictionary in your head. - 2. Identify Tools (The "How?"):
Look at your translated problem. What are the key components? Is it about angles? Slopes? Ratios? Max/Min values? Identify the specific lessons and formulas that apply. - 3. Connect (The "Path"):
This is the most critical step. How do the tools connect? Often, the output of one tool is the input for another. (e.g., "I'll use the Law of Sines to find a side length, *then* use that length in the area formula $A = \frac{1}{2}ab\sin(C)$."). - 4. Execute & Check (The "Solution"):
Perform the calculations. When finished, check your answer. Does it make sense in the context of the problem (e.g., a length can't be negative)? Did you respect all domain restrictions (e.g., $x>0$ for $\log(x)$)?
IMAT Trick: Working Backwards
If a problem seems too complex, look at the multiple-choice answers. Are they simple integers? Are they in terms of $\pi$? This can give you a clue. Sometimes, you can plug the answers back into the problem to see which one works, saving valuable time.
Keyword-to-Tool Translation Table (Expanded)
| If you see the keyword(s)... | You should think about these tools... |
|---|---|
| "Maximum", "Minimum", "Largest", "Smallest" | - Vertex of a Parabola ($x = -b/2a$) - AM-GM Inequality ($a+b \ge 2\sqrt{ab}$) - Trigonometric Synthesis ($R\sin(x+\alpha)$) - Geometric distance (e.g., distance from point to line) |
| "Tangent to", "Touches at one point" | - Discriminant $D = 0$ (for a line and parabola/circle) - Distance from center to line = radius ($d=r$) (for a line and circle) - Radius is perpendicular ($\perp$) to tangent line |
| "Intersects", "Intersection point(s)" | - System of Equations (solve simultaneously) - Discriminant $D > 0$ (for two intersections) |
| "Perpendicular", "Right angle" | - Gradients: $m_1 \cdot m_2 = -1$ - Pythagorean Theorem ($a^2+b^2=c^2$) |
| "Parallel" | - Gradients are equal: $m_1 = m_2$ |
| "Locus of points", "Equidistant" | - Let the point be $P(x, y)$ and write an equation based on the condition (e.g., $PA = PB$ or $PA = k \cdot PB$) - Use the Distance Formula. |
| "Area of a region bounded by..." | - Geometric formulas (triangle, circle, sector) - Decompose the shape into simpler geometric figures (e.g., rectangle minus a triangle). |
| "Sum of roots", "Product of roots" | - Vieta's Formulas for $ax^2+bx+c=0$: Sum = $x_1+x_2 = -b/a$ Product = $x_1x_2 = c/a$ |
Part 2: Advanced Problem Patterns (Functions & Geometry)
Let's apply the synthesis mindset to classic IMAT-style problems.
Pattern 1: Locus & Regions
Example (Locus 1 - Parabola): Find the equation of the locus of points P(x, y) that are equidistant from point A(0, 2) and the line $L: y = -2$.
Thought Process:
1. Translate: The condition is $PA = PL$, where $PL$ is the perpendicular distance from P to the line $y=-2$.
2. Identify Tools: Distance Formula. The distance from $(x, y)$ to $y=-2$ is $|y - (-2)| = |y+2|$.
3. Connect: $PA^2 = PL^2$ (squaring removes the root).
$PA^2 = (x-0)^2 + (y-2)^2 = x^2 + y^2 - 4y + 4$.
$PL^2 = (y+2)^2 = y^2 + 4y + 4$.
4. Execute: $x^2 + y^2 - 4y + 4 = y^2 + 4y + 4$
$x^2 = 8y \implies y = \frac{1}{8}x^2$.
Solution: The locus is an upward-opening parabola with its vertex at (0,0). This is the definition of a parabola.
Example (Locus 2 - Apollonian Circle): Find the locus of points P(x, y) such that the ratio of distances from A(1, 0) to B(4, 0) is $PA:PB = 1:2$.
Thought Process:
1. Translate: $PA:PB = 1:2 \implies 2 \cdot PA = PB \implies 4 \cdot PA^2 = PB^2$.
2. Identify Tools: Distance Formula.
3. Execute: $4 \left( (x-1)^2 + (y-0)^2 \right) = (x-4)^2 + (y-0)^2$
$4(x^2 - 2x + 1 + y^2) = x^2 - 8x + 16 + y^2$
$4x^2 - 8x + 4 + 4y^2 = x^2 - 8x + 16 + y^2$
$3x^2 + 3y^2 = 12 \implies x^2 + y^2 = 4$.
Solution: The locus is a circle centered at (0, 0) with radius 2.
Example (Region): Find the area of the region defined by $x^2 + y^2 \le 4$ and $y \ge |x|$.
Thought Process:
1. Translate: $x^2 + y^2 \le 4$ is the interior of a circle (center (0,0), $r=2$). $y \ge |x|$ means $y \ge x$ AND $y \ge -x$. This is the V-shaped region above the lines $y=x$ and $y=-x$.
2. Diagram: Sketch the circle and the two lines. The region is a "slice of pizza" pointing upwards.
3. Identify Tools: Area of a circular sector: $A = \pi r^2 \times (\frac{\theta_{deg}}{360^\circ})$.
4. Connect: The line $y=x$ is at $45^\circ$. The line $y=-x$ is at $135^\circ$. The angle between them is $135^\circ - 45^\circ = 90^\circ$.
5. Execute: The area of the full circle is $A_{full} = \pi r^2 = \pi(2)^2 = 4\pi$. The region is exactly $90/360 = 1/4$ of the circle.
Solution: $A_{region} = \frac{1}{4} (4\pi) = \pi$.
Pattern 2: Geometric Optimization
Calculation Tip: AM-GM Inequality
The Arithmetic Mean-Geometric Mean (AM-GM) inequality is a powerful "trick" for optimization. For any positive numbers $a, b$:
$\frac{a+b}{2} \ge \sqrt{ab} \implies a+b \ge 2\sqrt{ab}$
This is ideal for finding the minimum value of a sum, especially when the terms are reciprocals (so they cancel in the $\sqrt{ab}$ part).
Example (AM-GM): A rectangle is built in the first quadrant with one corner at (0,0) and the opposite corner on the line $x+2y=8$. Find the maximum area of the rectangle.
Thought Process:
1. Translate: Let the corner be $(x, y)$. The area is $A = xy$. We know $x > 0$, $y > 0$, and $x+2y=8$.
2. Identify Tools: We want to maximize a product ($xy$) given a sum ($x+2y$). This is a classic AM-GM setup.
3. Connect: Apply AM-GM to the terms $x$ and $2y$.
$\frac{x + 2y}{2} \ge \sqrt{x \cdot 2y} \implies \frac{8}{2} \ge \sqrt{2xy}$
$4 \ge \sqrt{2xy} \implies 16 \ge 2xy \implies 8 \ge xy$.
4. Execute: The maximum value of $xy$ (the area) is 8.
Solution: The maximum area is 8.
Challenge an IMAT Question!
Official Paper: 2023 - Q54
worked solution & explanation
Step 1 Complete the square to find center and radius.
$ (x^2 - 10x + 25) + (y^2 + 12y + 36) = -57 + 25 + 36 \implies (x-5)^2 + (y+6)^2 = 4 $.
Step 2 Center is $(5, -6)$, Radius $r = \sqrt{4} = 2$.
Step 3 Calculate distances to axes.
Distance to y-axis = $|x| - r = 5 - 2 = 3$.
Distance to x-axis = $|y| - r = |-6| - 2 = 4$. Minimum is 3.
Pattern 3: Tangency Problems
Strategy Tip: $D=0$ vs. $d=r$
For a line tangent to a circle, you have two methods:
- Algebra ($D=0$): Substitute $y=mx+c$ into the circle equation and solve the resulting quadratic's discriminant for $D=0$. This is often long and messy.
- Geometry ($d=r$): Find the distance $d$ from the circle's center $(h,k)$ to the line $Ax+By+C=0$. Set this distance equal to the radius $r$. This is almost always faster and easier.
Use $d=r$ whenever possible.
Example (d=r): Find the values of $k$ for which $y = x + k$ is tangent to $x^2 + y^2 = 8$.
Thought Process (Using $d=r$):
1. Translate: Circle center is $C(0, 0)$. Radius is $r = \sqrt{8} = 2\sqrt{2}$. The line is $x - y + k = 0$.
2. Identify Tool: Distance from point to line $d = \frac{|Ax_0+By_0+C|}{\sqrt{A^2+B^2}}$.
3. Execute: $d = \frac{|1(0) - 1(0) + k|}{\sqrt{1^2 + (-1)^2}} = \frac{|k|}{\sqrt{2}}$.
4. Set $d=r$: $\frac{|k|}{\sqrt{2}} = 2\sqrt{2} \implies |k| = 2\sqrt{2} \cdot \sqrt{2} = 4$.
Solution: $k = 4$ or $k = -4$. (This is much faster than $D=0$).
Part 3: Intersections & Regions (Deep Dive)
This is the most common synthesis topic. It combines algebra (solving systems) and geometry (intersections).
Recap: The Discriminant $\Delta = b^2 - 4ac$
When you combine two equations (like a line and a parabola) into a single quadratic $Ax^2+Bx+C=0$, the discriminant tells you the number of real solutions, which equals the number of intersection points.
Two Circles: Position Relationship
To find the relationship between two circles ($C_1$ with radius $r_1$, $C_2$ with radius $r_2$), you only need two numbers:
- The distance $d$ between their centers.
- The sum ($r_1 + r_2$) and difference ($|r_1 - r_2|$) of their radii.
Example (Two Circles): How many intersection points do $C_1: x^2+y^2=9$ and $C_2: (x-1)^2+y^2=16$ have?
Thought Process:
1. Identify Tools: $C_1$: Center (0,0), $r_1=3$. $C_2$: Center (1,0), $r_2=4$.
2. Calculate $d$: Distance between centers $d = \sqrt{(1-0)^2 + (0-0)^2} = 1$.
3. Calculate $r_1+r_2$ and $|r_1-r_2|$:
Sum: $r_1+r_2 = 3+4 = 7$.
Difference: $|r_1-r_2| = |3-4| = 1$.
4. Compare: We see that $d = 1$ and $|r_1-r_2| = 1$.
Solution: Since $d = |r_1-r_2|$, the circles are internally tangent (1 intersection point).
Part 4: Solution Configuration Problems
These are common "synthesis" problems that mix algebra and function properties. You are given a condition and must find the value of a parameter (like $k$ or $a$).
Quadratic Equation Root Configuration
When $ax^2+bx+c=0$ has a parameter, e.g., $x^2 - 2kx + (k+2) = 0$.
Example: Find $k$ such that $x^2 - 2kx + (k+2) = 0$ has two distinct *positive* roots.
Visual checks for two positive roots: $D>0$, $f(0)>0$, and Vertex $x > 0$.
Thought Process: You must check three separate conditions.
1. Two distinct roots: Discriminant $D > 0$.
$D = (-2k)^2 - 4(1)(k+2) = 4k^2 - 4k - 8 > 0$
$k^2 - k - 2 > 0 \implies (k-2)(k+1) > 0 \implies k < -1$ or $k > 2$.
2. Roots are positive (Sum): If both roots $x_1, x_2$ are positive, their sum must be positive. $x_1 + x_2 > 0$.
From Vieta's formulas, $x_1 + x_2 = -b/a = -(-2k)/1 = 2k$.
$2k > 0 \implies k > 0$.
3. Roots are positive (Product): If both roots are positive, their product must be positive. $x_1 \cdot x_2 > 0$.
From Vieta's formulas, $x_1 \cdot x_2 = c/a = (k+2)/1$.
$k+2 > 0 \implies k > -2$.
4. Synthesis: Find the intersection of all three conditions.
- (1) $k < -1$ or $k > 2$
- (2) $k > 0$
- (3) $k > -2$
Solution: The only range that satisfies all three is $k > 2$.
Challenge an IMAT Question!
Official Paper: 2025 - Q49
worked solution & explanation
Concept Factorize and apply the bounds of sine and cosine: $[-1, 1]$.
Step 1 Check C: factorizes to $(\sin x + 2)(\sin x - 1) \le 0$.
Step 2 Since $-1 \le \sin x \le 1$, the first term $(\sin x + 2)$ is always positive $[1, 3]$. The second term $(\sin x - 1)$ is always non-positive $\le 0$. Pos $\times$ Non-Pos = Non-Pos ($\le 0$). This is always true.
Part 10: Comprehensive Practice Quiz
Test your knowledge across all topics with these 40 synthesis problems.