正矢

**正矢**（せいし、）は、三角関数の1つであり、1からその余弦（コサイン）を引いた値である。初期ののいくつかにも見られる（サンスクリットの''Aryabhatia''）。

関連する関数として、**余矢**(coversine)と**半正矢**(haversine)がある。後者は正矢の半分であり、航海におけるにおいて特に重要である。

## 概要

正矢は英語では**versine**または**versed sine**と表記する。正矢は三角関数の1つであり、初期の三角関数表でも見ることができる。式においては , , , といった略表記が用いられる。ラテン語では *sinus versus*（反転した正弦の意）, *versinus*, *versus*, *sagitta*（矢の意）として知られる。

一般的な三角関数であるサイン、コサイン、タンジェントを使用して表すと、正矢は次の式で表される。

\operatorname{versin}\theta = 1 - \cos \theta = 2\sin^{2}\frac\theta2 = \sin\theta\,\tan\frac\theta2


正矢に対応する関連の関数はいくつかある。

* **versed cosine**, or **vercosine**, 略して , , と表記される。
* **coversed sine** or **coversine** (ラテン語では *cosinus versus* または *coversinus*) 略して , , , と表記される。

正矢の半分の値である半正矢を記載した特別な表も作成された。これは、歴史的に航海術で用いられたに半正矢が使用されていたためである。

* **半正矢**(**haversed sine** or **haversine**) (ラテン語 *semiversus*), 略して , , , , , , , と表記される。

## 歴史と応用
### 正矢と余矢

通常の正弦関数（サイン）は、歴史的には*sinus rectus*（「直線正弦」）と呼ばれ、正矢 (*sinus versus*) と対比されることがあった。これらの用語の意味は、関数の定義における元の文脈、すなわち単位円で見れば明らかである。

単位円の垂直弦*AB*に対して、角度*&theta;*（対角*&Delta;*の半分を表す）の正弦は距離*AC*（弦の半分）である。一方で、*&theta;*の正矢は弦の中心から円弧の中心までの距離*CD*である。したがって、cos(*&theta;*)（線*OC*の長さに等しい）とversin(*&theta;*)（線*CD*の長さに等しい)の和は半径*OD*（長さ1）である。このように図示すると、正弦は垂直 (*rectus* 文字通り「直線」)であり、正矢は水平 (*versus* 文字通り「向きを変えた」) でありどちらも*C*から円までの距離である。

この図は正矢がラテン語で矢を意味する *sagitta* と呼ばれることがあった理由を示している。2倍角*&Delta;*&nbsp;= 2*&theta;*の弧*ADB*を「弓」、弦*AB*をその弓の糸とみなすと、正矢*CD*は明らかに「矢の軸」である。

正弦を「垂直」、正矢を「水平」とする解釈に従うと、*sagitta*は横座標（グラフの横軸）の廃れた同義語でもある。

1821年にオーギュスタン＝ルイ・コーシーは正矢を *sinus versus* (*siv*) と呼び、余矢を *cosinus versus* (*cosiv*) と呼んだ。

*&theta;*が0に近づくと、versin(*&theta;*)はほぼ等しい2つの量の差になる。そのため、余弦のみの三角関数表の使用者は、catastrophic cancellationを避けて正矢を計算するためには非常に高い精度が必要となるため、正矢を求める別の表がある方が便利である。計算機やコンピュータを使用する場合でも、があるため、*&theta;*が小さい場合はsin2の式を使用することが推奨される。

正矢の他の歴史的な利点は常に非負であるため、ゼロとなる単一角(*&theta;* = 0, 2, …)を除くあらゆる角度で対数が定義されることである。そのため、正矢を含む式の乗算には対数表を使うことができる。

実際、現存する最古の正弦（弦の半分）値表は、や他のギリシャの著述家による弦の表とは対照的に、紀元前3世紀に遡るインドのから算出されたものであり、正弦と正矢の値の表（0°から90°まで3.75°刻み)であった。

プトレマイオスにより導出され、表の作成のために使用された半角の公式 sin2 = versin(*&theta;*)の中間過程として正矢が登場する。

### 半正矢
半正矢はに現れるため、特に航海において重要であった。この公式により、天体上の回転楕円体（赤道部の膨らみに関する記事:en:equatorial bulge参照）上の距離を、角度位置（例えば経度と緯度）からかなり正確に計算することができる。sin2を直接使用することもできるが、半正矢の表があれば平方や平方根を計算する必要がなくなる。

Josef de Mendoza y Ríosにより現在半正矢と呼ばれる表が早くに使用されたことが1801年に記録されている。

半正矢表に相当する英語の最初の文献は、1805年にJames Andrewにより出版された"Squares of Natural Semi-Chords"である。

1835年、が著書*Navigation and Nautical Astronomy: For the Use of British Seamen*の第3版の中で、航海における球面三角法を用いた地球表面上の2点間の距離計算を簡素化するために *haversine*という用語（通常は *hav.* と表記し、10を底とする対数は*log. haversine* や *log. havers.*と表記）を考案した。インマンは正矢に*nat. versine*および*nat. vers.*という用語も使用した。

他の高く評価されている半正矢の表としては、1856年にRichard Farleyが作成したものや1876年にJohn Caulfield Hannyngtonが作成したものがある。

半正矢は航海において現在も使用されており、近年では新たな応用も見出されている。1995年以降のBruce D. Starkによるを用いてを求める方法に使用されており、2014年以降のsight reductionのためのよりコンパクトな方法に使用されている。

### 現代での使用
正矢、余矢、半正矢やそれらの逆関数の使用は数世紀も遡ることができるが、他の5つのの名称の起源ははるかに新しいようである。

正矢またはより一般的には半正矢と呼ばれる波形の1周期 (0 \begin{align}
  \mathrm{versin}(\theta)
    &= \mathrm{coversin}\left(\theta + \frac{\pi}{2}\right)
     = \mathrm{vercosin}\left(\theta + \pi\right) 
\end{align}

### 微分と積分

### 逆関数
**arcversine** (arcversin, arcvers, avers, aver), **arcvercosine** (arcvercosin, arcvercos, avercos, avcs), **arccoversine** (arccoversin, arccovers, acovers, acvs), **arccovercosine** (arccovercosin, arccovercos, acovercos, acvc), **archaversine** (archaversin, archav, haversin−1, invhav, ahav, ahvs, ahv, hav−1), **archavercosine** (archavercosin, archavercos, ahvc), **archacoversine** (archacoversin, ahcv) or **archacovercosine** (archacovercosin, archacovercos, ahcc) のような逆関数も同様に存在する。

### 他の特性
これらの関数は複素平面に拡張することができる。

マクローリン級数:
: \begin{align}
    \operatorname{versin}(z) &= \sum_{k=1}^\infty \frac{(-1)^{k-1} z^{2k}}{(2k)!} \\
  \operatorname{haversin}(z) &= \sum_{k=1}^\infty \frac{(-1)^{k-1} z^{2k}}{2(2k)!}
\end{align}

: \lim_{\theta \to 0} \frac{\operatorname{versin}(\theta)}{\theta} = 0

: \begin{align}
  \frac{\operatorname{versin}(\theta) + \operatorname{coversin}(\theta)}
       {\operatorname{versin}(\theta) - \operatorname{coversin}(\theta)} -
  \frac{\operatorname{exsec}(\theta) + \operatorname{excsc}(\theta)}
       {\operatorname{exsec}(\theta) - \operatorname{excsc}(\theta)}
    &= \frac{2 \operatorname{versin}(\theta) \operatorname{coversin}(\theta)}
            {\operatorname{versin}(\theta) - \operatorname{coversin}(\theta)} \\[3pt]
  [\operatorname{versin}(\theta) + \operatorname{exsec}(\theta)]\,
       [\operatorname{coversin}(\theta) + \operatorname{excsc}(\theta)]
    &= \sin(\theta) \cos(\theta)
\end{align}

## 近似

正矢 *v* が半径 *r* に比べて小さい場合、半分の弦の長さ *L* （上記図における距離*AC*）を用いた次の式を用いて近似することができる。
v \approx \frac{L^2}{2r}.

または、正矢が小さく、正矢、半径、半分の弦の長さが分かっている場合にはこれらを使用して次の式で弧長 *s* （上記図における距離*AD*）を推定することができる。
s\approx L+\frac{v^2}{r}
この公式は中国の数学者沈括にも知られており、その2世紀後に郭守敬がより正確な公式を開発した。

工学で使用されるより正確な近似は以下のとおりである。
v\approx \frac{s^\frac{3}{2} L^\frac{1}{2}}{8r}

## 関連項目
* 三角関数の公式の一覧

## 脚注

### 注釈

### 出典

## 参考文献
*
* 

## 外部リンク
* 
* Trigonometric Functions at GeoGebra.org