| For All Solvers

出題範囲

以下の記述は,高等学校学習指導要領(2018年告示・2022年4月施行)にのっとるものとする.
なお,有志コンテストについてはこの限りではない.

  • 数学Ⅰは「数と式」「図形と計量」「二次関数」を範囲とし,「データの分析」は基本的に範囲外とする.
  • 数学Aはすべてを範囲とする.
  • 数学Ⅱはすべてを範囲とする.
  • 数学Bは「数列」のみを範囲とし,「統計的な推測」「数学と社会生活」は基本的に範囲外とする.
  • 数学Ⅲは「極限」のみを範囲とし,「微分法」「積分法」は基本的に範囲外とする.
  • 数学Cは「ベクトル」「複素数平面」を範囲とし,「平面上の曲線」「数学的な表現の工夫」は基本的に範囲外とする.
  • 初等幾何・整数論・不等式・関数の扱い・離散数学などについては,より幅広い内容を範囲とすることがある.
  • 以下で定義された用語・記法については無条件に使用を認め,質問対応も行わない.

用語・記法集

今後,拡充していきます.

  • 特に断りが無ければ,数の表記は十進法で考えるものとする.

集合の記法など

  • 単にといったとき,順序付きであるものとする.すなわち,順序が異なるものも区別するものとする.
  • 組は (a,b,c,)(a,b,c,\ldots) などと (( および )) で要素を囲んで表す.一方で,集合は {a,b,c,}\lbrace a,b,c,\ldots\rbrace などと {\lbrace および }\rbrace で要素を囲んで表す.
  • 集合 A,BA,B に対し,以下のように定める:
    • aaAAである,すなわち aaAA に属するとき,aAa\in A で表す.
    • BB に属する元がすべて AA にも属するとき,BBAA部分集合であるといい,BAB\subset A または BAB\subseteq A で表す.
    • AA または BB の少なくとも一方に属する元からなる集合を AABB和集合あるいは合併とよび,ABA\cup B で表す.
    • AA および BB の双方に属する元からなる集合を AABB共通部分あるいは交差(交叉)とよび,ABA\cap B で表す.
    • AA に属するが BB に属さない元からなる集合を AABB差集合とよび,ABA\setminus B で表す.
      特に BBAA の部分集合であるとき,BB補集合ともよばれる.
    • A|A| あるいは #A\# AAA に含まれる元の数を表す.
  • 実数 a,ba,b に対し,以下のように定める:
    • aa 以上 bb 以下のすべての実数からなる集合を [a,b][a,b] で表す.この形式の集合を閉区間とよぶ.
    • aa より大きく bb 未満のすべての実数からなる集合を (a,b)(a,b) または ]a,b[]a,b[ で表す.この形式の集合を開区間とよぶ.
    • aa 以上 bb 未満のすべての実数からなる集合を [a,b)[a,b) または [a,b[[a,b[ で表す.
    • aa より大きく bb 以下のすべての実数からなる集合を (a,b](a,b] または ]a,b]]a,b] で表す.
  • i=ab(iの式)\displaystyle\sum_{i=a}^{b}(iの式)i=a,a+1,,bi=a,a+1,\ldots,b に対する (iの式)(iの式) の和を意味する.
    また,iの条件(iの式)\displaystyle\sum_{iの条件}(iの式) で,条件をみたす ii すべてに対する (iの式)(iの式) の和を意味する.
  • i=ab(iの式)\displaystyle\prod_{i=a}^{b}(iの式)i=a,a+1,,bi=a,a+1,\ldots,b に対する (iの式)(iの式) の積を意味する.
    また,iの条件(iの式)\displaystyle\prod_{iの条件}(iの式) で,条件をみたす ii すべてに対する (iの式)(iの式) の積を意味する.
  • 非負整数 m,nm,n に対し,相異なる mm 個のものから nn 個のものを選ぶ場合の数を mCn{}_{m}\mathrm{C}_{n} または (mn)\binom{m}{n} で表す.
    ただし,n=0n=0 のときは mCn=(mn)=1{}_{m}\mathrm{C}_{n}=\binom{m}{n}=1 とし,m<nm\lt n のときは mCn=(mn)=0{}_{m}\mathrm{C}_{n}=\binom{m}{n}=0 とする.
  • nn 個の実数 a1,a2,,ana_1,a_2,\ldots,a_n に対し,min{a1,a2,,an}\min\lbrace a_1,a_2,\ldots,a_n\rbracemin(a1,a2,,an)\min(a_1,a_2,\ldots,a_n)a1,a2,,ana_1,a_2,\ldots,a_n における最小の値を表す.
    また,実数からなる集合 SS に対して,minS\min SSS における最小の値を表す.
  • nn 個の実数 a1,a2,,ana_1,a_2,\ldots,a_n に対し,max{a1,a2,,an}\max\lbrace a_1,a_2,\ldots,a_n\rbracemax(a1,a2,,an)\max(a_1,a_2,\ldots,a_n)a1,a2,,ana_1,a_2,\ldots,a_n における最大の値を表す.
    また,実数からなる集合 SS に対して,maxS\max SSS における最大の値を表す.

幾何

  • ある円上にある 22A,BA,B に対し,弧 ABAB のうち短い方を劣弧 ABAB とよび,長い方を優弧 ABAB とよぶ.
    なお,ABAB が直径をなす場合は,OMCではこの用語は用いないものとする.
  • 三角形において,その 33 辺それぞれの垂直二等分線は 11 点で交わる.これを三角形の外心とよぶ. また,三角形において,その 33 頂点すべてを通る円が一意に存在する.これを三角形の外接円とよぶ. 外心は外接円の中心である.
  • 三角形において,各頂点から対辺におろした 33 本の垂線は 11 点で交わる.これを三角形の垂心とよぶ.
  • 三角形において,各頂点とそれぞれの対辺の中点を結ぶ 33 本の直線(中線)は 11 点で交わる.これを三角形の重心とよぶ.
  • 一般に nn 個の点 P1,,PnP_1,\ldots,P_n に対し,各座標の(相加)平均によって得られる点を,P1,,PnP_1,\ldots,P_n幾何中心とよぶ. n=2n=2 のとき幾何中心は線分 P1P2P_1P_2 の中点に一致し,n=3n=3 のとき幾何中心は三角形 P1P2P3P_1P_2P_3 の重心に一致する.
  • (正三角形でない)三角形の外心・垂心・重心は同一直線上にある.これを三角形のオイラー線(Euler線)とよぶ.
  • 三角形において,各辺の中点,各頂点から対辺におろした垂線の足,各頂点と垂心の中点は,すべて同一円周上にある. これを三角形の九点円とよぶ.
  • 三角形において,その 33 つの内角それぞれの二等分線は 11 点で交わる.これを三角形の内心とよぶ. また,三角形において,その 33 辺すべてに接する円が一意に存在する.これを三角形の内接円とよぶ. 内心は内接円の中心である.
  • 三角形 ABCABC において,角 AA の内角の二等分線と角 B,CB,C それぞれの外角の二等分線は 11 点で交わる.これを三角形 ABCABCAA 内の傍心とよぶ. また,三角形 ABCABC において,辺 BCBC と辺 AB,ACAB,AC それぞれの延長線に接する円が一意に存在する.これを三角形 ABCABCAA 内の傍接円とよぶ. 角 AA 内の傍心は角 AA 内の傍接円の中心である.
  • 三角形が退化しているとは,3つの頂点が同一直線上に並ぶことをさす.
    非退化な三角形とは,退化していない三角形,すなわち3つの頂点が同一直線上に並ばない三角形をさす.

整数

  • 実数 xx に対し,xx 以下で最大の整数を x\lfloor x \rfloor または [x][x] で表す.これを床記号またはガウス記号とよぶ.
  • 実数 xx に対し,xx 以上で最小の整数を x\lceil x \rceil で表す.これを天井記号とよぶ.
  • 整数 a,ba,b に対し,a=bca=bc なる整数 cc が存在するとき,aabb で割り切れる,逆に bbaa を割り切るといい, bab\mid a で表す.また,aabb倍数bbaa約数とよぶ.
  • 整数 a,ba,b および正整数 mm に対し,aba-bmm で割り切れるとき,aabbmm を法として合同であるといい,ab(modm)a\equiv b\pmod{m} で表す.
  • nn 個の整数 a1,,ana_1,\ldots,a_n に対し,これらをすべて割り切る整数を a1,,ana_1,\ldots,a_n公約数とよぶ. 特にそのうち最大のものを a1,,ana_1,\ldots,a_n最大公約数とよび,gcd(a1,,an)\gcd(a_1,\ldots,a_n) で表す. ただし,a1,,ana_1,\ldots,a_n がすべて 00 の場合は,OMCでは考えないものとする.
  • nn 個の整数 a1,,ana_1,\ldots,a_n に対し,gcd(a1,,an)=1\gcd(a_1,\ldots,a_n)=1 であるとき,a1,,ana_1,\ldots,a_n互いに素であるという.
    n3n\geq 3 であるとき,「どの 22 つについても互いに素である(pairwise coprime)」とは意味が異なることに注意せよ.
  • nn 個の 00 でない整数 a1,,ana_1,\ldots,a_n に対し,これらですべて割り切れる整数を a1,,ana_1,\ldots,a_n公倍数とよぶ. 特にそのうち正で最小のものを a1,,ana_1,\ldots,a_n最小公倍数とよび,lcm(a1,,an)\textrm{lcm}(a_1,\ldots,a_n) で表す.

数列の性質

  • 実数列 {an}\lbrace a_n\rbrace が,任意の nn に対し anan+1a_n\leq a_{n+1} をみたすとき, {an}\lbrace a_n\rbrace広義単調増加である,または単に単調増加であるという.
  • 実数列 {an}\lbrace a_n\rbrace が,任意の nn に対し an<an+1a_n\lt a_{n+1} をみたすとき, {an}\lbrace a_n\rbrace狭義単調増加であるという.
  • 実数列 {an}\lbrace a_n\rbrace が,任意の nn に対し anan+1a_n\geq a_{n+1} をみたすとき, {an}\lbrace a_n\rbrace広義単調減少である,または単に単調減少であるという.
  • 実数列 {an}\lbrace a_n\rbrace が,任意の nn に対し an>an+1a_n\gt a_{n+1} をみたすとき, {an}\lbrace a_n\rbrace狭義単調減少であるという.
  • 実数列 {an}\lbrace a_n\rbrace について,ある実数 KK が存在し,任意の nn に対して anKa_n\leq K が成り立つとき,{an}\lbrace a_n\rbrace上に有界であるという.
  • 実数列 {an}\lbrace a_n\rbrace について,ある実数 KK が存在し,任意の nn に対して anKa_n\geq K が成り立つとき,{an}\lbrace a_n\rbrace下に有界であるという.

数列の極限

  • 実数列 {an}\lbrace a_n\rbrace と実数 α\alpha が以下をみたすとき,{an}\lbrace a_n\rbraceα\alpha に収束する,または単に収束するという.
    • 任意の正の実数 ε\varepsilon に対し,ある正の整数 NN が存在して,任意の NN 以上の整数 nn について anα<ε|a_n-\alpha| \lt \varepsilon が成立する.
    {an}\lbrace a_n\rbrace に対してこのような α\alpha は存在すれば一意であるから,これを limnan=α\displaystyle\lim_{n\rightarrow\infty}a_n = \alpha と書き, α\alpha{an}\lbrace a_n\rbrace極限または極限値とよぶ.
  • 実数列 {an}\lbrace a_n\rbrace がいかなる値にも収束しないとき,{an}\lbrace a_n\rbrace発散するという. 発散する数列は,さらに以下の 33 種類に大別される.
    • 実数列 {an}\lbrace a_n\rbrace が以下をみたすとき,{an}\lbrace a_n\rbrace正の無限大に発散するという.
      • 任意の実数 KK に対し,ある正の整数 NN が存在して,任意の NN 以上の整数 nn について an>Ka_n\gt K が成立する.
    • 実数列 {an}\lbrace a_n\rbrace が以下をみたすとき,{an}\lbrace a_n\rbrace負の無限大に発散するという.
      • 任意の実数 KK に対し,ある正の整数 NN が存在して,任意の NN 以上の整数 nn について an<Ka_n\lt K が成立する.
    • 実数列 {an}\lbrace a_n\rbrace が正の無限大にも負の無限大にも発散しないとき,{an}\lbrace a_n\rbrace振動するという.
  • 実数列 {an}\lbrace a_n\rbrace が(広義)単調増加かつ上に有界であるならば,{an}\lbrace a_n\rbrace は収束する. 同様に,実数列 {an}\lbrace a_n\rbrace が(広義)単調減少かつ下に有界であるならば,{an}\lbrace a_n\rbrace は収束する.

関数の性質

  • 集合 AA の各元に対して集合 BB の元を対応付ける規則 ff を,AA から BB への関数または写像とよび, AAff定義域BBff終域とよぶ. これを f ⁣:ABf\colon A\to B で表し,AA の元 aa に対応する BB の元を f(a)f(a) で表す.
  • (一部の)実数に対して定義され実数値をとる関数 ff に対して,以下のように定める:
    • 任意の実数 x<yx\lt y に対し,f(x)f(y)f(x)\leq f(y) をみたすとき,ff広義単調増加である,または単に単調増加であるという.
    • 任意の実数 x<yx\lt y に対し,f(x)<f(y)f(x)\lt f(y) をみたすとき,ff狭義単調増加であるという.
    • 任意の実数 x<yx\lt y に対し,f(x)f(y)f(x)\geq f(y) をみたすとき,ff広義単調減少である,または単に単調減少であるという.
    • 任意の実数 x<yx\lt y に対し,f(x)>f(y)f(x)\gt f(y) をみたすとき,ff狭義単調減少であるという.

実関数の極限

  • (一部の)実数に対して定義され実数値をとる関数 f(x)f(x) と実数 c,αc,\alpha が以下をみたすとき,f(x)f(x)x=cx=cα\alpha に収束するという.
    • 任意の正の実数 ε\varepsilon に対し,ある正の実数 δ\delta が存在して,0<xc<δ0\lt|x-c|\lt\delta なる任意の実数 xx に対し f(x)α<ε|f(x)-\alpha| \lt \varepsilon が成立する.
    f(x)f(x) および cc に対してこのような α\alpha は存在すれば一意であるから,これを limxcf(x)=α\displaystyle\lim_{x\rightarrow c}f(x) = \alpha と書く.
  • (一部の)実数に対して定義され実数値をとる関数 f(x)f(x) と実数 α\alpha が以下をみたすとする.
    • 任意の正の実数 ε\varepsilon に対し,ある実数 XX が存在して,x>Xx\gt X なる任意の実数 xx に対し f(x)α<ε|f(x)-\alpha| \lt \varepsilon が成立する.
    f(x)f(x) に対してこのような α\alpha は存在すれば一意であるから,これを limxf(x)=α\displaystyle\lim_{x\rightarrow \infty}f(x) = \alpha と書く.
  • (一部の)実数に対して定義され実数値をとる関数 f(x)f(x) と実数 α\alpha が以下をみたすとする.
    • 任意の正の実数 ε\varepsilon に対し,ある実数 XX が存在して,x<Xx\lt X なる任意の実数 xx に対し f(x)α<ε|f(x)-\alpha| \lt \varepsilon が成立する.
    f(x)f(x) に対してこのような α\alpha は存在すれば一意であるから,これを limxf(x)=α\displaystyle\lim_{x\rightarrow -\infty}f(x) = \alpha と書く.
  • 上記のそれぞれの設定について,いかなる α\alpha にも収束しないとき,発散するという.

多項式

  • 単項式も多項式であるものとする.
  • xx の多項式 P(x)=anxn+an1xn1++a1x+a0 (an0)P(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0~(a_n\neq 0) について,以下のように定める:
    • nnP(x)P(x)次数とよぶ.なお,P(x)=0P(x)=0 のとき次数は考えないものとする(-\infty とされることもある).
    • a0a_0P(x)P(x)定数項とよぶ.
    • ana_nP(x)P(x)最高次(の)係数とよぶ.特に an=1a_n=1 であるとき,P(x)P(x)モニックであるという.
    • P(α)=0P(\alpha)=0 をみたす値 α\alphaP(x)P(x)とよぶ.
  • 複素数 α\alpha について,α\alpha を根にもつ有理数係数多項式が存在するとき,そのうち次数が最小であり,かつモニックであるものを, α\alpha最小多項式とよぶ.α\alpha の最小多項式は,存在すれば一意である.

複素数

  • 特に断りが無ければ,虚数単位は ii で表すものとする.
  • 複素数 z=a+biz=a+bi に対し(a,ba,b は実数),以下のように定める:
    • aazz実部とよび,Re z\mathrm{Re}~z または z\Re z で表す.また,bbzz虚部とよび,Im z\mathrm{Im}~z または z\Im z で表す.
    • a2+b2\sqrt{a^2+b^2}zz絶対値とよび,z|z| で表す.
    • z0z\neq0 のとき,複素数平面上において原点を OOzz に対応する点を PP として, 実軸の正方向とベクトル OP\overrightarrow{OP} のなす角(反時計回りを正とする)を zz偏角とよび,argz\arg z で表す. 偏角には 2π2\pi360360^\circ)の任意の整数倍の差だけ不定性があるが,OMCでこれを定める必要がある場合は問題文中で明記される. また,00 の偏角はOMCでは考えない.
  • 虚部が 00 でないような複素数を虚数とよぶ.さらに,実部が 00 であるような虚数を純虚数とよぶ.
    なお,実部が 00 である複素数を純虚数とする(すなわち,00 を純虚数とする)流儀も一般的である.OMCでは,この用語を用いるときにはかならず定義を述べるものとする.