Polecenie SąWspółbieżne

SąWspółbieżne( <Prosta>, <Prosta>, <Prosta> )

Sprawdza, czy proste są współbieżne. Jeśli proste są równoległe, uznaje się, że mają punkt wspólny w nieskończoności, dlatego polecenie zwraca w takim przypadku wynik true.

Zazwyczaj to polecenie oblicza wynik numerycznie. Można to zmienić używając polecenia Udowodnij.

SąWspółbieżne(Prosta((1, 2), (3, 4)), Prosta((1, 2), (3, 5)), Prosta((1, 2), (3, 6))) daje w wyniku true ponieważ te trzy proste przecinają się w punkcie (1,2).