Ruas garis

Dalam geometri, **ruas garis** adalah sebagian dari garis yang dibatasi oleh dua titik ujung yang berbeda, dan memuat semua titik pada garis di antara ujung-ujungnya. Contoh ruas garis misalnya sisi segitiga atau sisi persegi. Lebih umumnya, ketika titik-titik ujung adalah verteks suatu poligon, maka ruas garis adalah sisi (poligon tersebut); jika mereka merupakan verteks-verteks yang bertetanggaan, atau diagonal. Ketika titik-titik ujung terletak pada sebuah kurva, misalnya lingkaran, maka ruas garis itu disebut tali busur (kurva tersebut).

## Dalam ruang vektor real atau kompleks
Jika *V* adalah sebuah ruang vektor pada \mathbb{R} atau \mathbb{C}, dan *L* adalah himpunan bagian dari *V*, maka *L* adalah **ruas garis** jika *L* dapat diparametrisasi sebagai
:L = \{ \mathbf{u}+t\mathbf{v} \mid t\in[0,1]\}

untuk suatu vektor \mathbf{u}, \mathbf{v} \in V\,\!, di mana kasus vektor **u** dan  disebut titik-titik ujung *L*.

Kadang-kadang seseorang harus membedakan antara ruas garis "terbuka" dan "tertutup". Maka orang tersebut mendefinisikan **ruas garis tertutup** seperti di atas, dan **ruas garis terbuka** sebagai suatu himpunan bagian *L* yang dapat diparametrisasi sebagai
: L = \{ \mathbf{u}+t\mathbf{v} \mid t\in(0,1)\}

untuk suatu vektor \mathbf{u}, \mathbf{v} \in V\,\!.

Secara ekivalen, ruas garis adalah *[[convex hull]]* dari dua titik. Dengan demikian, ruas garis tersebut dapat disajikan sebagai kombinasi konveks suatu ruas yang memiliki dua titik ujung.

Dalam geometri, ruas garis kadang-kadang didefinisikan bahwa sebuah titik *B* berada di antara titik *A* dan *C*, jika jarak *AB* dijumlahkan dengan jarak *BC* sama dengan jarak *AC*. Dengan demikian persamaan sebuah ruas garis dengan titik-titik ujung  dan  adalah
:\sqrt{(x-c_x)^2 + (y-c_y)^2} + \sqrt{(x-a_x)^2 + (y-a_y)^2} = \sqrt{(c_x-a_x)^2 + (c_y-a_y)^2}.

## Sifat
* Ruas garis adalah sebuah himpunan tak-kosong terhubung.
* Jika *V* adalah sebuah ruang vektor topologis, maka ruas garis tertutup adalah sebuah himpunan tertutup pada *V*. Tetapi, ruas garis terbuka adalah sebuah ruang terbuka pada *V* jika dan hanya jika *V* berdimensi-satu.
* Lebih umumnya, konsep ruas garis dapat didefinisi dalam geometri terurut.

## Dalam pembuktian
Dalam sebuah perlakuan aksiomatis geometri, gagasan keantaraan dianggap memenuhi sejumlah tertentu aksioma, atau jika tidak demikian maka didefinisikan dalam suku-suku isometri sebuah garis (digunakan sebagai sebuah sistem koordinat).

Ruas memainkan peran penting dalam teori-teori lainnya. Misalnya, himpunan dikatakan konveks jika ruas yang menghubungkan sembarang dua titik suatu himpunan adalah termuat dalam himpunan itu. Hal ini penting karena ruas mentransformasi beberapa analisis himpunan konveks kepada analisis ruas garis.

## Sebagai elips degenerat
Ruas garis dapat dipandang sebagai irisan kerucut degenerat suatu elips di mana sumbu semi-minor menuju nol, fokus-fokusnya menuju titik-titik ujung, dan eksentrisitasnya menuju satu. Sebagai sebuah orbit degenerat, ruas garis adalah sebuah trajektori eliptik radial.

## Lihat pula
* Garis (geometri)

## Referensi
* David Hilbert: *The Foundations of Geometry*. The Open Court Publishing Company 1950, p.&nbsp;4

## Pranala luar

* [Ruas garis di [PlanetMath]]
* Definisi ruas garis  dengan animasi interaktif
* Menyalin sebuah ruas garis dengan kompas dan ''straightedge''
* Membagi ruas garis ke dalam N bagian yang sama panjang dengan kompas dan ''straightedge'' - peragaan animasi