Kyoto Entrance Mathematics key terms
Kyoto Entrance Mathematics · Get comfortable with the vocabulary.
- 実数 (real number)
- Related: 無理数, 絶対値
A number on the continuous number line, including rationals such as 3/4 and irrationals such as √2 and π. In Kyoto entrance problems it is the default universe for variables unless a question restricts to integers.
- 無理数 (irrational number)
- Related: 実数, 背理法
A real number that cannot be written as a fraction of two integers. Its decimal expansion never terminates or repeats. Proofs of irrationality usually proceed by contradiction, assuming a reduced fraction p/q and deriving a divisibility conflict.
- 絶対値 (absolute value)
- Related: 場合分け, 実数
The distance of a number from zero on the number line, written |x|. It equals x when x ≥ 0 and −x when x < 0. Equations and inequalities with absolute values are solved by splitting into cases at the sign-change points.
- 因数分解 (factorization)
- Related: 因数定理, 展開
Rewriting a polynomial as a product of lower-degree polynomials, for example x² − 5x + 6 = (x − 2)(x − 3). It is the standard first step for solving polynomial equations and simplifying rational expressions.
- 因数定理 (factor theorem)
- Related: 因数分解, 剰余定理
A polynomial P(x) has factor (x − a) exactly when P(a) = 0. It converts the search for factors into evaluating the polynomial at candidate values, typically divisors of the constant term.
- 剰余定理 (remainder theorem)
- Related: 因数定理, 因数分解
When a polynomial P(x) is divided by x − a, the remainder equals P(a). Dividing by a linear expression ax + b gives remainder P(−b/a). It underlies both factor finding and synthetic division checks.
- 展開 (expansion)
- Related: 因数分解, 二項定理
Multiplying out products of polynomials into a sum of monomials, using the distributive law and identities such as (a + b)³ = a³ + 3a²b + 3ab² + b³. Careful bookkeeping of like terms prevents sign and coefficient errors.
- 二項定理 (binomial theorem)
- Related: 展開, 組合せ
The identity (a + b)ⁿ = Σ C(n,k) a^(n−k) b^k for k from 0 to n, where C(n,k) is the binomial coefficient. It expands powers of sums and also yields identities for sums of binomial coefficients.
- 不等式 (inequality)
- Related: 連立不等式, 絶対値
A statement comparing two expressions with <, ≤, >, or ≥. Solving means finding all values of the variable making it true; multiplying or dividing by a negative number reverses the direction of the sign.
- 連立不等式 (system of inequalities)
- Related: 不等式, 領域
Two or more inequalities that must hold simultaneously. The solution set is the intersection of the individual solution sets, often displayed on a number line or as a region in the plane.
- 2次方程式の解の公式 (quadratic formula)
- Related: 判別式, 解と係数の関係
The solutions of ax² + bx + c = 0 with a ≠ 0 are x = (−b ± √(b² − 4ac)) / (2a). It solves every quadratic over the reals or complexes, depending on the sign of the discriminant.
- 判別式 (discriminant)
- Related: 2次方程式の解の公式, 共役複素数
The quantity D = b² − 4ac for a quadratic ax² + bx + c. D > 0 gives two distinct real roots, D = 0 a repeated real root, and D < 0 two conjugate complex roots. It also decides the number of intersections of a parabola with a line.
- 解と係数の関係 (relations between roots and coefficients)
- Related: 2次方程式の解の公式, 判別式
For ax² + bx + c = 0 with roots α and β, the sum α + β = −b/a and the product αβ = c/a. These let you compute symmetric expressions in the roots without solving the equation.
- 場合分け (case analysis)
- Related: 絶対値, 背理法
Splitting a problem into disjoint cases that together cover all possibilities, then solving each separately. Typical triggers are absolute values, sign of a parameter, and the relative order of numbers in inequalities.
- 背理法 (proof by contradiction)
- Related: 無理数, 数学的帰納法
A proof technique that assumes the negation of the desired statement and derives an impossibility. It is the standard tool for proving irrationality, infinitude of primes, and uniqueness of certain representations.
- 対偶 (contrapositive)
- Related: 必要条件と十分条件, 背理法
The statement 'not Q implies not P', which is logically equivalent to 'P implies Q'. Proving the contrapositive is a valid way to prove the original implication, often easier when the conclusion is negative.
- 必要条件と十分条件 (necessary and sufficient conditions)
- Related: 対偶, 集合
For 'P implies Q', P is sufficient for Q and Q is necessary for P. When both implications hold, P and Q are equivalent. Entrance problems often ask which condition is necessary, sufficient, or neither.
- 集合 (set)
- Related: 必要条件と十分条件, 順列
A collection of distinct objects, with union, intersection, difference, and complement as basic operations. Venn diagrams and De Morgan's laws help translate word problems into set equations and back.
- 2次関数のグラフ (graph of a quadratic function)
- Related: 平方完成, 最大値・最小値
The parabola y = ax² + bx + c, opening upward when a > 0 and downward when a < 0. Its axis of symmetry is x = −b/(2a) and its vertex, the extremum, is found by completing the square.
- 平方完成 (completing the square)
- Related: 2次関数のグラフ, 最大値・最小値
Rewriting ax² + bx + c as a(x − p)² + q, which reveals the vertex (p, q) and the range of the function. It is also the derivation route for the quadratic formula and for circle equations.
- 最大値・最小値 (maximum and minimum)
- Related: 平方完成, 場合分け
The largest and smallest values a function attains on a specified domain. For quadratics on a closed interval, compare values at the vertex (if inside) and at the endpoints; parameters may require case analysis.
- 領域 (region)
- Related: 連立不等式, 2次関数のグラフ
The set of points (x, y) satisfying an inequality such as y > x² − 1, drawn as a shaded part of the plane with a solid or dashed boundary. Linear programming problems maximize a linear expression over a polygonal region.
- 三角比 (trigonometric ratios)
- Related: 正弦定理, 余弦定理
For an acute angle in a right triangle, sine, cosine, and tangent are ratios of side lengths: opposite/hypotenuse, adjacent/hypotenuse, and opposite/adjacent. They extend to all angles through the unit circle.
- 正弦定理 (law of sines)
- Related: 余弦定理, 三角比
In a triangle with sides a, b, c opposite angles A, B, C, we have a/sin A = b/sin B = c/sin C = 2R, where R is the circumradius. It links angles to sides when one pair is fully known.
- 余弦定理 (law of cosines)
- Related: 正弦定理, 三角比
In a triangle, a² = b² + c² − 2bc cos A, with analogous formulas for the other sides. It determines a side from two sides and the included angle, or an angle from all three sides.
- 加法定理 (addition formulas)
- Related: 三角関数の合成, 三角比
Identities such as sin(α + β) = sin α cos β + cos α sin β and cos(α + β) = cos α cos β − sin α sin β. They generate double-angle and half-angle formulas and underpin trigonometric equation solving.
- 三角関数の合成 (combining trigonometric functions)
- Related: 加法定理, 最大値・最小値
Writing a sin θ + b cos θ as r sin(θ + α) with r = √(a² + b²) and tan α = b/a. This reduces a sum to a single wave, making maxima, minima, and equation solutions immediate.
- 指数関数 (exponential function)
- Related: 対数関数, 指数法則
A function y = aˣ with a > 0 and a ≠ 1. It is increasing for a > 1 and decreasing for 0 < a < 1, always positive, and passes through (0, 1). Its inverse is the logarithm to base a.
- 対数関数 (logarithmic function)
- Related: 指数関数, 底の変換
The inverse of the exponential: y = log_a x means aʸ = x, defined only for x > 0. It converts products into sums and powers into multiples, which is why it solves exponential equations and inequalities.
- 底の変換 (change of base)
- Related: 対数関数, 指数関数
The identity log_a b = log_c b / log_c a, valid for positive bases not equal to 1. It rewrites logarithms in a common base so that terms can be combined or compared in equations and inequalities.
- 極限 (limit)
- Related: 微分係数, 導関数
The value a function or sequence approaches as its input approaches a point or infinity. Derivatives are defined as limits of difference quotients, and improper behavior such as division by zero is resolved by taking limits.
- 微分係数 (derivative at a point)
- Related: 導関数, 接線
The limit of (f(a + h) − f(a))/h as h tends to 0, interpreted as the slope of the tangent to y = f(x) at x = a. It also gives the instantaneous rate of change of the quantity f.
- 導関数 (derivative function)
- Related: 微分係数, 増減表
The function f′(x) assigning to each x the derivative of f at x. Standard rules cover powers, products, quotients, and composites, and f′ tells where f increases, decreases, and attains extrema.
- 接線 (tangent line)
- Related: 微分係数, 導関数
The straight line touching a curve at a point with the same slope as the curve there. For y = f(x) at x = a its equation is y − f(a) = f′(a)(x − a); tangents from an external point require solving for the contact point.
- 増減表 (sign chart of the derivative)
- Related: 導関数, 最大値・最小値
A table recording the sign of f′ on intervals between critical points, showing where f rises or falls and classifying each critical point as a local maximum, minimum, or neither. It is the standard tool for graphing and extremum problems.
- 不定積分 (indefinite integral)
- Related: 定積分, 面積
The family of antiderivatives of a function, written ∫f(x)dx = F(x) + C where F′ = f. The arbitrary constant C matters when an initial condition or a definite integral later fixes it.
- 定積分 (definite integral)
- Related: 不定積分, 面積
The signed area ∫ from a to b of f(x)dx, computed as F(b) − F(a) for any antiderivative F. It gives areas between curves, volumes of solids of revolution, and average values of functions.
- 面積 (area by integration)
- Related: 定積分, 体積
The region between curves y = f(x) and y = g(x) from x = a to b has area ∫|f(x) − g(x)|dx. Finding intersection points first and splitting where the curves cross avoids sign errors.
- 体積 (volume of revolution)
- Related: 面積, 定積分
Rotating a region about an axis produces a solid whose volume is ∫πy²dx (disk method) or ∫2πx·y dx (shell method). The choice of method depends on which axis the region is rotated around.
- 等差数列 (arithmetic sequence)
- Related: 等比数列, 漸化式
A sequence in which each term differs from the previous by a fixed common difference d. The n-th term is a + (n − 1)d and the sum of the first n terms is n(2a + (n − 1)d)/2.
- 等比数列 (geometric sequence)
- Related: 等差数列, 漸化式
A sequence in which each term is the previous term multiplied by a fixed common ratio r. The n-th term is a·r^(n−1); the infinite sum converges to a/(1 − r) exactly when |r| < 1.
- 漸化式 (recurrence relation)
- Related: 等差数列, 数学的帰納法
An equation expressing a term of a sequence in terms of earlier terms, together with initial values. Standard types include linear recurrences solved by characteristic equations and those transformed by dividing or shifting.
- 数学的帰納法 (mathematical induction)
- Related: 漸化式, 背理法
A proof method for statements about all positive integers: verify the base case, assume the statement for n = k, and prove it for n = k + 1. Variants include strong induction and induction starting from a later integer.
- ベクトル (vector)
- Related: 内積, 位置ベクトル
A quantity with both magnitude and direction, represented by an arrow or by components. Addition follows the parallelogram law, and scalar multiplication stretches or reverses direction without changing the line of action.
- 内積 (dot product)
- Related: ベクトル, 位置ベクトル
For vectors a and b, the dot product is |a||b|cos θ, equal in components to a₁b₁ + a₂b₂ (plus a₃b₃ in space). It vanishes exactly when the vectors are perpendicular and gives the angle between them.
- 位置ベクトル (position vector)
- Related: ベクトル, 内積
The vector from a fixed origin O to a point P, written with an arrow over OP. Expressing points as position vectors turns geometric conditions such as collinearity into linear relations among coefficients.
- 複素数 (complex number)
- Related: 共役複素数, 複素数平面
A number of the form a + bi with real a and b and i² = −1. Addition and multiplication follow ordinary algebra with i² replaced by −1; the real and imaginary parts are manipulated independently.
- 共役複素数 (complex conjugate)
- Related: 複素数, 複素数平面
For z = a + bi, the conjugate is z̄ = a − bi, obtained by reflecting in the real axis. The product z·z̄ = a² + b² is real and nonnegative, which is how division by a complex number is performed.
- 複素数平面 (complex plane)
- Related: 複素数, 共役複素数
The plane in which z = a + bi is plotted at coordinates (a, b). Multiplication by a complex number acts as rotation and scaling, so geometry problems about angles and distances become algebra on complex numbers.
- 順列 (permutation)
- Related: 組合せ, 確率
An ordered arrangement of distinct objects. The number of ways to choose and order r objects from n is nPr = n!/(n − r)!. Circular arrangements and arrangements with repeated items need adjusted counts.
- 組合せ (combination)
- Related: 順列, 確率
A selection of objects where order does not matter. The number of ways to choose r from n is nCr = n!/(r!(n − r)!), symmetric in r and n − r, and computed via Pascal's triangle for small n.
- 確率 (probability)
- Related: 順列, 期待値
For equally likely outcomes, the probability of an event is the number of favorable outcomes divided by the total. Complementary events, unions, and conditional probabilities follow the standard addition and multiplication rules.
- 期待値 (expected value)
- Related: 確率, 分散
The probability-weighted average of a random variable: Σ x·P(X = x). It predicts long-run average outcomes in repeated trials and is used to judge whether a game or strategy is favorable.
- 分散 (variance)
- Related: 期待値, 確率
The average of the squared deviations from the mean, computed as E(X²) − (E(X))². Its square root is the standard deviation; both measure how spread out data or a random variable is.
- 最大公約数 (greatest common divisor)
- Related: ユークリッドの互除法, 互いに素
The largest positive integer dividing both of two integers. It is found by the Euclidean algorithm, repeatedly replacing the pair (a, b) with (b, a mod b) until the remainder is zero.
- ユークリッドの互除法 (Euclidean algorithm)
- Related: 最大公約数, 合同式
A procedure computing the greatest common divisor by repeated division with remainder: gcd(a, b) = gcd(b, r) where r is the remainder of a divided by b. It also yields integer solutions to linear Diophantine equations.
- 互いに素 (coprime)
- Related: 最大公約数, 合同式
Two integers whose greatest common divisor is 1. Coprimality is the condition under which a fraction is in lowest terms and under which division by a number is legitimate in modular arithmetic.
- 合同式 (congruence)
- Related: 互いに素, ユークリッドの互除法
The statement a ≡ b (mod m), meaning m divides a − b. Congruences may be added, subtracted, and multiplied freely; division requires the divisor to be coprime to the modulus, and solutions may form residue classes.