いろんな関数

いろんな関数 に関する55記事をまとめました。くわしくは各リンク先を見てください。

グラフの平行移動の公式

関数 y=f(x)y=f(x) のグラフを xx 軸方向に aayy 軸方向に bb 平行移動したグラフを表す式は

yb=f(xa)y-b=f(x-a)

つまり,xxxax-a に変えて,yyyby-b に変えればよい。

グラフの平行移動

→グラフの平行移動(具体例と公式の証明)

関数のグラフの拡大の公式

y=f(x)y=f(x) のグラフを,原点中心に xx 軸方向に AA 倍,yy 軸方向に BB 倍すると,xxxA\dfrac{x}{A} に変えて yyyB\dfrac{y}{B} に変えた以下の関数になる:

yB=f(xA)\dfrac{y}{B}=f\left(\dfrac{x}{A}\right)

→関数のグラフの拡大・縮小の証明と例

この記事では,y=ax+bcx+dy=\dfrac{ax+b}{cx+d} という一次分数関数について説明します。分数関数の基本形とグラフの描き方を説明します。

→一次分数関数のグラフと漸近線

f(x)f(x) が偶関数のとき,aaf(x)dx=20af(x)dx\displaystyle\int_{-a}^{a}f(x)dx=2\int_0^af(x)dx

f(x)f(x) が奇関数のとき,aaf(x)dx=0\displaystyle\int_{-a}^{a}f(x)dx=0

→偶関数と奇関数の意味,性質などまとめ

二次関数のグラフの軸と頂点

二次関数のグラフの軸と頂点

  • 二次関数のグラフは,yy 軸と平行な「とある直線」に関して対称になる。この「とある直線」のことを二次関数のグラフの軸と言う。

  • また,二次関数のグラフと軸の交点のことを二次関数のグラフの頂点と言う。

→二次関数のグラフの軸と頂点の求め方など

無理関数 y=±ax+b+cy=\pm\sqrt{ax+b}+c のグラフは (ba,c)\left(-\dfrac{b}{a},c\right) から(定義域,値域を見て)適切な向きに,最初は一瞬鉛直な方向に進んで徐々に変化がなだらかになるように書けばよい。

→無理関数とそのグラフの書き方

微分可能な関数 y=f(x)y=f(x) 上の点 A(a,f(a))A(a,f(a)) における接線の方程式は, yf(a)=f(a)(xa) y-f(a)=f'(a)(x-a) 接線の方程式

→微分を用いた接線の方程式の公式

二次関数の最大値の求め方

二次関数 y=ax2+bx+cy=ax^2+bx+c の最大値・最小値は,以下の2通りの方法で求めることができる:

  • 平方完成→グラフを描く→最大値,最小値を求める
  • 微分する→最大値,最小値を求める

→二次関数の最大値,最小値の2通りの求め方

合成関数の定義

2つの関数 f(x),g(x)f(x),g(x) に対して,f(g(x))f(g(x)) のことを,f(x)f(x)g(x)g(x) の合成関数と言いfgf\circ g または (fg)(x)(f\circ g)(x) と書く。

→合成関数について理解しておくべき性質まとめ

  1. 平方完成による解法(定番)
  2. 偏微分を用いる解法(計算が一番楽)
  3. 判別式を用いる解法(考え方が重要)

→二変数の二次関数

三次関数のグラフの対称性

三次関数の対称性

三次関数のグラフに関して以下の性質が成り立つ:

  1. 変曲点に関して点対称である

  2. 図において,A,B,C,D,EA,B,C,D,E は等間隔に並んでいる(4等分の法則)
    CC は変曲点,B,DB,D は極大,極小点,A,EA,E は極大,極小点と同じ高さの点の xx 軸への射影)

→三次関数の対称性と4等分の法則

ポイント

このように,通る3点が与えられる二次関数の決定問題は,

二次関数を y=ax2+bx+cy=ax^2+bx+c とおいて,a,b,ca,b,c を計算する

という方法で解けます。

→二次関数の決定とその背景

1/3公式

1/3公式

  • 放物線 y=ax2+bx+cy=ax^2+bx+c
  • 放物線と x=αx=\alpha で接する接線
  • x=βx=\beta

という3つのグラフで囲まれた部分の面積は,

a3βα3\dfrac{|a|}{3}|\beta-\alpha|^3

→1/3公式と1/12公式の意味と証明【二次関数・三次関数と面積】

一次不等式で表される領域内で一次関数の値を最大化(または最小化)する問題を線形計画法(Linear Programming, LP)と言う。

→領域における最大・最小問題(線形計画法)

四次関数 y=ax4+bx3+cx2+dx+ey=ax^4+bx^3+cx^2+dx+e のグラフの概形

特徴1.上から入ってきて上に抜けていく

特徴2.極小点(コブ)は一つか二つ

→四次関数のグラフの概形と例題2問

陽関数と陰関数の定義

xx の値を決めたら yy の値が1つに決まるとき,yyxx関数であるという。その中でも,

  • 陽関数とは,y=f(x)y=f(x) という「いつもの形」で表された関数のこと。

  • 陰関数とは,F(x,y)=0F(x,y)=0 という形で表された関数のこと。

→陰関数と陽関数の意味と違いについて

変曲点の意味

変曲点には「グラフの曲がり方が変わる点」という意味がある。

→変曲点の意味といろいろな例

limx+0xlogx=0\displaystyle\lim_{x\to +0}x\log x=0

→xlogxの極限,グラフ,積分など

単調増加の定義

関数 y=f(x)y=f(x) と区間 II について,

  • 任意の x1,x2Ix_1,x_2\in I に対して,x1<x2x_1 < x_2 ならば f(x1)f(x2)f(x_1)\leq f(x_2) を満たすとき,y=f(x)y=f(x) は区間 II広義単調増加という。

  • 任意の x1,x2Ix_1,x_2\in I に対して,x1<x2x_1 < x_2 ならば f(x1)<f(x2)f(x_1)< f(x_2) を満たすとき,y=f(x)y=f(x) は区間 II狭義単調増加という。

→単調増加・単調減少の意味と覚えておくべき性質

基本方針

絶対値を含む不等式で表された領域は,絶対値の中身の正負で場合分けすることで,確実に図示できます。

→領域を図示するテクニック【絶対値つき不等式】

極大と極小の差

3次関数の極大値と極小値の差は 16\dfrac{1}{6} 公式を使って高速に計算できる。

→3次関数の極大値と極小値の差をすばやく計算するテクニック

放物線における二本の接線

公式1:放物線 y=ax2+bx+cy=ax^2+bx+c 上の二点 A,BA,B における接線の交点を PP とおくとき,PPxx 座標は A,BA,Bxx 座標の平均となる

公式2:図において S:T=2:1S:T=2:1 である

→放物線の二接線の交点

シンプソンの公式

f(x)f(x) が3次以下の関数のとき,

abf(x)dx=(ba)6{f(a)+4f(a+b2)+f(b)}\displaystyle\int_a^bf(x)dx\\=\dfrac{(b-a)}{6}\{f(a)+4f\left(\dfrac{a+b}{2}\right)+f(b)\}

→シンプソンの公式の証明と例題

x23+y23=a23x^{\frac{2}{3}}+y^{\frac{2}{3}}=a^{\frac{2}{3}} で表される曲線をアステロイド曲線(星芒形)と呼ぶ。

→アステロイド曲線の重要な性質まとめ

シグモイド関数(Sigmoid Function)

シグモイド関数とは, f(x)=11+eaxf(x)=\dfrac{1}{1+e^{-ax}} という関数のこと。ただし,a>0a>0 とする。 シグモイド関数

→シグモイド関数の意味と簡単な性質

中間値の定理

axba\leqq x\leqq b で連続な関数 f(x)f(x) を考える。f(a)f(a)f(b)f(b) の間にある任意の実数 kk に対して,f(c)=kf(c)=k となる c(acb)c\:(a\leqq c\leqq b) が存在する。 中間値の定理

→中間値の定理の意味と多変数関数への応用

ラグランジュの未定乗数法

L(x,y,λ)=f(x,y)λg(x,y)L(x,y,\lambda)=f(x,y)-\lambda g(x,y)

とおくと,

(α,β)(\alpha,\beta) が極値を与えるならば,(α,β)(\alpha,\beta)

  • Lx=Ly=Lλ=0\dfrac{\partial L}{\partial x}=\dfrac{\partial L}{\partial y}=\dfrac{\partial L}{\partial\lambda}=0 の解。

または

  • gx=gy=0\dfrac{\partial g}{\partial x}=\dfrac{\partial g}{\partial y}=0 の解。

→ラグランジュの未定乗数法と例題

定理

f(x)f(x) が区間内で二階微分可能なとき,

  • 下に凸     \iff 二階微分 f(x)0f''(x)\geqq 0
  • 上に凸     \iff 二階微分 f(x)0f''(x)\leqq 0

→上に凸,下に凸な関数と二階微分

合成積(畳み込み)

合成積(畳み込み)は2つの関数から1つの関数を作る演算で,いろいろなところに登場する。

畳み込み

→合成積(畳み込み)の意味と応用3つ

テント写像

aa をパラメータとして,

f(x)=amin(x,1x)f(x)=a\:\mathrm{min}(x,1-x)

と表される関数(写像)をテント写像と言う。

→テント写像とその性質〜東大入試の背景〜

定点から三次関数のグラフに接線が何本引けるかを問う問題は頻出。図で覚えておくとよい。変曲点における接線が重要。

→三次関数の接線の本数についての美しい定理

多くの四次関数には二重接線が存在する。二重接線は平方完成を用いて簡単に求めることができる。

→四次関数の二重接線を素早く求める方法

カージオイド曲線の定義

極方程式 r=a(1+cosθ)r=a(1+\cos\theta) で表される曲線をカージオイド曲線と言う。

→カージオイド曲線のグラフ,面積,長さ

包絡線の求め方

曲線群 f(x,y,t)=0f(x,y,t)=0 の包絡線の方程式は f(x,y,t)=0f(x,y,t)=0tf(x,y,t)=0\dfrac{\partial}{\partial t}f(x,y,t)=0 から tt を消去することで得られる。

→包絡線の求め方と例題

ファクシミリの原理

x=kx=k と固定して yy のとりうる値の範囲を求める」という操作を全ての kk について行うことで,領域を求めることができる。

→ファクシミリの原理と通過領域の例題2問

逆双曲線関数

y=sinhxy=\sinh x の逆関数は,y=log(x+x2+1)y=\log(x+\sqrt{x^2+1})

y=coshx(x0)y=\cosh x\:(x\geq 0) の逆関数は,y=log(x+x21)y=\log(x+\sqrt{x^2-1}) (1x)(1\leq x)

y=tanhxy=\tanh x の逆関数は,y=12log1+x1xy=\dfrac{1}{2}\log\dfrac{1+x}{1-x} (1<x<1)(-1< x< 1)

それぞれ arsinh\mathrm{arsinh}arcosh\mathrm{arcosh}artanh\mathrm{artanh} と表記することもあります。

→双曲線関数(sinhx, coshx, tanhx)の逆関数

二次元極座標平面上で r=aebθr=ae^{b\theta} と表される曲線を対数螺旋(または等角螺旋,ベルヌーイの螺旋)と言う。

→対数螺旋(等角螺旋)の長さと面積

11x=1+x+x2+\dfrac{1}{1-x}=1+x+x^2+\cdots

(1<x<1)(-1 < x < 1)

→1/(1-x) のテイラー展開と近似式

ハイポサイクロイドの媒介変数表示

x=(Rr)cosθ+rcos(θRrθ)x=(R-r)\cos\theta+r\cos(\theta-\frac{R}{r}\theta) y=(Rr)sinθ+rsin(θRrθ)y=(R-r)\sin\theta+r\sin(\theta-\frac{R}{r}\theta)

→ハイポサイクロイド(特にデルトイド)の式と面積

ベジェ曲線

平面上における (N+1)(N+1) 個の点 P0,P1,,PNP_0,P_1,\dots,P_{N} から以下の式で定まる曲線をベジェ曲線と呼ぶ。 pundefined(t)=k=0NNCktk(1t)Nkpkundefined\overrightarrow{p}(t)=\displaystyle\sum_{k=0}^{N}{}_N\mathrm{C}_kt^k(1-t)^{N-k}\overrightarrow{p_k} ただし,tt は実数で 0t10\leqq t\leqq 1 の範囲を動く。

→ベジェ曲線の定義と4つの性質

定理
  • 順像法(順手流・順手法・自然流)
    変数を1つ固定し,他の変数に応じて図形がどのように動くか調べる。

  • 逆像法(逆手流・逆手法)
    各点 (x,y)(x,y) に対して図形が通過するかどうか調べる。(存在条件を調べる)

→順像法と逆像法(自然法と逆手法)

アルキメデスの螺旋(らせん)

極方程式 r=aθr=a\theta で表される曲線をアルキメデスの螺旋と呼ぶ。

→アルキメデスの螺旋

コーシー(cauchy)の関数方程式

f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y)

→コーシーの関数方程式の解法と応用

アッカーマン関数 A(m,n)A(m,n) とは,非負整数 m,nm,n を入力とする二変数関数であり,m4m\geq 4 のときに猛烈に大きい値を取る。

→巨大数:アッカーマン関数とは

関数 f(x)f(x) に対して g(p)=maxx{pxf(x)}g(p)=\displaystyle\max_{x}\{px-f(x)\} で定義される関数 g(p)g(p)f(x)f(x) のルジャンドル変換と言う。

→ルジャンドル変換の意味と具体例

双曲線関数の加法定理
  1. sinh(x+y)=sinhxcoshy+coshxsinhy\sinh (x+y)=\sinh x\cosh y+\cosh x\sinh y

  2. sinh(xy)=sinhxcoshycoshxsinhy\sinh (x-y)=\sinh x\cosh y-\cosh x\sinh y

  3. cosh(x+y)=coshxcoshy+sinhxsinhy\cosh (x+y)=\cosh x\cosh y+\sinh x\sinh y

  4. cosh(xy)=coshxcoshysinhxsinhy\cosh (x-y)=\cosh x\cosh y-\sinh x\sinh y

  5. tanh(x+y)=tanhx+tanhy1+tanhxtanhy\tanh (x+y)=\dfrac{\tanh x+\tanh y}{1+\tanh x\tanh y}

  6. tanh(xy)=tanhxtanhy1tanhxtanhy\tanh (x-y)=\dfrac{\tanh x-\tanh y}{1-\tanh x\tanh y}

→双曲線関数の加法定理とその証明

練習問題

{x(θ)=3sinθy(θ)=2sin(2θ+π6) \begin{cases} x(\theta) = 3 \sin \theta\\ y(\theta) = 2 \sin \left(2\theta + \dfrac{\pi}{6}\right) \end{cases} と表されるリサージュ曲線で囲まれた領域の面積を求めよ。

→リサージュ曲線の定義とそれに関連する話

クロソイド曲線

媒介変数 tt を用いて x(t)=0tcosθ2dθx(t)=\displaystyle\int_0^{t}\cos\theta^2d\thetay(t)=0tsinθ2dθy(t)=\displaystyle\int_0^t\sin \theta^2d\theta と表される曲線はクロソイド曲線と呼ばれる。

→クロソイド曲線の性質とその証明

ニコメデスのコンコイド

ニコメデスのコンコイドとは (xb)2(x2+y2)=a2x2 (x-b)^2 (x^2+y^2) = a^2 x^2 で表される曲線である。

→ニコメデスのコンコイド

定理

パスカルの蝸牛形(蝸牛線・リマソン・limaçon of Pascal)とは (x2+y2ax)2b2(x2+y2)=0 (x^2 + y^2 - ax)^2 - b^2 (x^2 + y^2) = 0 と表される曲線である。

→パスカルの蝸牛形(リマソン)

定理

シッソイド(疾走線)とは x3+(xa)y2=0 x^3 + (x-a) y^2 = 0 で表される曲線である。

→シッソイド(疾走線)

定理1(ミニマックス原理)

最高次の係数が 11 である nn 次関数 P(x)=xn+an1xn1++a1x+a0P(x)=x^n+a_{n-1}x^{n-1}+\cdots +a_1x+a_0

の中で,xx 軸に [1,1][-1,1] で最も「近い」もの。つまり max1x1P(x)\displaystyle\max_{-1\leqq x\leqq 1}|P(x)| を最小にするものはただ一つ存在し,それはチェビシェフ多項式 Tn(x)T_n(x) の定数倍 12n1Tn(x)\dfrac{1}{2^{n-1}}T_n(x) である。

→最良近似多項式に関するおもしろい定理

ここまでのまとめ
  • max\max は最大値,arg max\mathop{\rm arg~max} は最大値を与える値の集合
  • max\max は値,arg max\mathop{\rm arg~max} は集合

→argmax,argminの意味と例

ソフトマックス関数

ソフトマックス関数とは yi=exiex1+ex2++exn(i=1,,n)y_i=\dfrac{e^{x_i}}{e^{x_1}+e^{x_2}+\cdots +e^{x_n}}\:(i=1,\dots,n) という関数のこと。

ソフトマックス関数 各成分が正で,合計が 11 になるように調整するという役割を持つ。

→ソフトマックス関数

ランプ関数

f(x)={xx00x<0f(x)=\begin{cases}x&x\geq 0\\0&x< 0\end{cases}

で表される関数をランプ関数と言う。

ランプ関数のグラフ

→ランプ関数(ReLU,正規化線形関数)