Sirge ehk sirgjoon on ilma läbimõõduta, mõlemas suunas lõpmata pikk, kõverusteta joon ehk ühemõõtmeline ruum, mis võib sisalduda mitmemõõtmelises ruumis[1].
Sirge üldvõrrand tasandil on (Descartesi koordinaadistikus) ristkoordinaadistikus lineaarvõrrand , kus , ja on konstandid, kusjuures ja ei võrdu samaaegselt nulliga.
Sirge võrrand tasandil:
Kasutatakse üldvõrrandi parameetrilist kuju [2][3]
, kus sirge on määratud 2 vektori kaudu :
või
Lisaks eelnimetatule on võimalik parameetrilist kuju tähistada, kui parameetrilisi võrrandeid
ja (Descartesi kujul) ehk kanoonilisel kujul
Olgu antud sirged ja , ning nendele vastavad sihivektorid ja .
Sirged on risti parajasti siis, kui nende sihivektorite tadamskalaarkorrutis on :
Sirged on paralleelsed parajasti siis, kui nende sihivektorite skalaarkorrutise moodul on :
Eukleidese geomeetrias läbib kahte eri punkti parajasti üks sirge.
Tõusu (k) ja algordinaadiga (a) määratud sirge võrrand tasandil:
Kahe punktiga määratud sirge võrrand tasandil:
Punkti ja sihivektoriga määratud sirge võrrand tasandil:
Punkti ja tõusuga määratud sirge võrrand tasandil:
Kahe tasandi ja lõike sirge, kus on normaal vektor, on antud
kus
Olgu antud sirge ja punkt . Olgu sirge sihivektoriks , siis leiame punkti sirgel, mis asub sirgel ja mille kaugus on vähim punkti . Selleks lahendame võrrandid :
Siis leiame vektori ja selle pikkuse , mis on punkti kaugus sirgest:
Olgu antud sirged ja . Sellest leiame vastavad sihivektorid ning ja suvalised punktid mõlemal sirgel vastavalt ja .