교차로(유클리드 기하학)

Intersection (Euclidean geometry)

기하학에서 교차로는 두 개 이상의 객체(예: 선, 원곡선, 평면 및 표면)에 공통되는 점, 선 또는 원곡선입니다.유클리드 기하학에서 가장 간단한 경우는 두 개의 뚜렷한 선들의 교차점인데, 선들이 평행하다면 그것은 한 이거나 존재하지 않는다.

빨간색 점은 두 선이 교차하는 지점을 나타냅니다.

평면 교차점 결정(고차원 공간에 내장된 선형 기하학적 객체)은 선형 대수의 단순한 작업, 즉 선형 방정식 시스템의 해법이다.일반적으로 교차점의 결정은 비선형 방정식으로 이어지며, 이는 예를 들어 뉴턴 반복을 사용하여 수치적으로 풀 수 있습니다.선과 원뿔 단면(원, 타원, 포물선 등) 또는 4차원(구면, 원통, 쌍곡선 등)의 교차 문제는 쉽게 풀 수 있는 2차 방정식으로 이어진다.사분원 사이의 교차는 대수적으로 풀 수 있는 사분원 방정식으로 이어진다.

비행기 안에서

2개의 선.

평행하지 않은 두 선의 교차점 결정

Cramer 규칙에서 또는 변수를 대입하여 교차점의좌표(s , ) { , )를 얻을 수 있습니다.

( 1 2 - {\}-{1}= 선은 평행하며 이러한 공식은 0으로 나누기 때문에 사용할 수 없습니다.)

2개의 선분

두 선분의 교차

2개의 비병렬 선분1, y (2, ( ( 3, 3( 4 (x 4 )( (})에는 반드시 해당되지 않습니다.대응하는라인의 {\(는) 라인 세그먼트에 포함할 필요가 없습니다상황을 확인하기 위해 라인의 파라메트릭 표현을 사용합니다.

회선 세그먼트는 대응하는 가 0 , t0 경우 대응하는 회선의 공통점 에서만 교차합니다} {\displaystyle 0 {1 . 0 선형 시스템의 솔루션입니다.

Cramer의 법칙을 사용하여 및 t대해 해결할 수 있습니다( 참조). 00, 1 {\},0}\ 1이 충족되면 대응하는 파라미터 에 s0(\ }) t 0(\t_ 하여 교차점0, 을 가져옵니다.

예:회선 세그먼트 (,2 {, ((, 4(-){ (21)}의 경우 선형 시스템을 가져옵니다.

s 0 0 { s{ } ={ 0 } = { }} 선은 (, 지점에서 교차합니다.{ { \{ { }

비고: 점의 쌍으로 결정되는 선이 아닌 선을 고려하여 각 0 s 1 { 0 \ s { } , _ { } \1 을 드롭하고, 이 방법으로 선의 교차점을 산출할 수 있습니다( 참조).

선-원 교차로

선과 원

의 교차점에 대하여

  • x+ y { ax + =} 및 + { \ x {2} + y ^ { }

하나는 x 또는 y에 대한 선 방정식을 풀고 그것을 원의 방정식으로 대체하고 (2차 방정식의 공식을 사용하여 (, 1 (2, 2){ (}) 를

22 + ) 0. { r - 0 .} 이 조건이 엄격한 부등식으로 유지되면 두 개의 교차점이 있습니다. 이 경우 선을 원의 보조선이라고 하며, 이 선을 현의 교차점이라고 합니다.

22 + )- 2 r}= 되면 교점은 1개뿐이고 선은 원에 접하는 것입니다.약한 부등식이 유지되지 않으면 선이 원을 교차하지 않습니다.

원의 중간점이 원점이 아닌 경우 [1]를 참조하십시오.선과 포물선 또는 쌍곡선의 교점은 유사하게 처리될 수 있습니다.

두 개의 원

두 원의 교차점 결정

선과 원이 교차하는 이전 사례로 축소할 수 있습니다.주어진 두 방정식을 빼면 선 방정식을 얻을 수 있습니다.

이 특별한 선은 두 원의 근선이다.

X축을 중심으로 하는 두 원의 교차점으로, 근선은 진한 빨간색입니다.

특수 1 2 { } =1} {}=
이 경우 원점은 첫 번째 원의 중심이고 두 번째 중심은 x축(s. 다이어그램)에 있습니다.라디칼 라인의 방정식은 2 2 - + {\}로 단순화됩니다.2}\;} 교점은 ( ±0 ), },\0})로다음과 같이 쓸 수 있습니다.

1 < {{ <}인 경우, 원에는 공통점이 없습니다.
1 2 {{}= 원은 공통점을 가지며, 라디칼 선은 공통 접선입니다.

위에서 기술한 모든 일반 케이스는 시프트 및 회전에 의해 특수 케이스로 변환될 수 있습니다.

의 원반(두 개의 원의 내부)의 교차점은 렌즈라고 불리는 형태를 형성합니다.

원-타원 교차

원뿔형 섹션 2개

타원/하이퍼볼라/포물선의 다른 원뿔 단면과의 교차 문제는 하나의 좌표를 제거함으로써 쉽게 풀 수 있는 2차 방정식의 시스템으로 이어진다.용액을 얻기 위해 원뿔 단면의 특수 특성을 사용할 수 있다.일반적으로 교차점은 뉴턴 반복으로 방정식을 풀어서 결정할 수 있다.a) 두 원뿔이 (방정식에 의해) 암묵적으로 (2차원 뉴턴 반복 b) 암묵적으로 주어지고 다른 원뿔은 1차원 뉴턴 반복이 필요하다.다음 섹션을 참조하십시오.

두 개의 부드러운 곡선

두 곡선의 횡단 교차로
터치 교차로(왼쪽), 터치(오른쪽)

연속적으로 미분할 수 있는(즉, 급커브가 R 의 2개의 곡선{R은 평면의 공통점을 가지며 이 지점에서 다음 점이 있는 경우 교차점을 가진다.

a: 다른 접선(횡단 교차로) 또는
b: 공통의 접선이며 서로 교차하고 있습니다(교차 교차로, 그림 참조).

두 곡선이 공통으로 점 S와 접선을 가지지만 서로 교차하지 않으면 점 S에 닿을 입니다.

접촉 교차로는 거의 나타나지 않고 다루기 어렵기 때문에 다음 고려사항은 이 경우를 생략합니다.아래의 어떤 경우에도 필요한 모든 차동 조건이 전제됩니다.교차점의 결정은 항상 뉴턴 반복으로 풀 수 있는 하나 또는 두 개의 비선형 방정식으로 이어집니다.표시되는 케이스의 리스트는 다음과 같습니다.

파라메트릭 곡선과 암묵적 곡선의 교차점
두 암묵적 곡선의 교차점
  • = f 1 ( x) , ( ) { y}( \ y=곡선이 모두 명시적으로 주어진 경우 등식을 구하면 방정식이 됩니다.
  • 두 곡선이 파라미터로 지정되어 있는 경우: 1 : ( 1 () , (t ) , 2 : ( 2) , ( s). \ C_{1 _ {1} ( t ) , y1} ( t ) , \ 2 ( { 2 () ) 。
두 변수를 같게 하면 두 변수에서 두 개의 방정식이 생성됩니다.
  • 한 곡선이 파라미터로 지정되고 다른 곡선이 암묵적으로 지정되는 경우: 1: ( () , 1 () , : ( , ) . \ ) , y _ { 1 ( t ) , \ C _ , ) .
이것은 명백한 경우를 제외하고 가장 간단한 경우이다. C_ 공식 (\ f)= 1 파라메트릭 표현을 삽입하면 다음과 같은 식을 얻을 수 있습니다.
  • 두 곡선이 암묵적으로 주어지는 경우: 1 : ( , ) , 2 : ( , ) . \ } (x,y ) =, \ } : 2} (x , y ) 0 .
여기서, 교차점은 시스템의 해결책입니다.

모든 뉴턴 반복에는 편리한 시작 값이 필요하며, 이는 두 곡선의 시각화를 통해 도출될 수 있습니다.파라메타 t 또는 x 각각에 대해 대응하는 점을 산출하기 쉽기 때문에 파라메타적으로 또는 명시적으로 주어진 곡선을 쉽게 가시화할 수 있다.암묵적으로 주어진 곡선의 경우 이 작업은 쉽지 않습니다.이 경우 시작 값과 반복을 사용하여 곡선 점을 결정해야 합니다.[2]참조해 주세요.

예:

1 : :( , 3) ( { } : ( , ) 및 C :( -)+ ( -)- 0 ( \ + ( x-1)^ 0 ( 참조
뉴턴 n + : - ( n ) f ( ){{n
( ) ( - )+ ( 3 -)2 - f)=( 수행해야 합니다.시작 값으로 -1과 1.5를 선택할 수 있습니다.
교차점은 다음과 같습니다(-1.1073, -1.3578). (1.6011, 4.1046)
: C1 : ( , ) 4 + - , { )=
2 : 2 ( ,y ) ( -)+ ( - 0.) - ( { C _ {2 , y ) = ( x , + ( - 0.5 )^2 -= y - 0.5
뉴턴 반복
+ +1 ) ( n + y + { { +} \ y } + \ y _ { } { { } + \ y _ { _ { )
(f1∂ ∂)f는 y∂ f2∂ 1∂ x∂ f2∂ ∂ y)(δ)δ y))(f1− f2−){\displaystyle{\begin{pmatrix}{\frac{\partial f_{1}}{x\partial}}&{\frac{\partial f_{1}}{이\partial}}\\{\frac{\partial f_{2}}{x\partial}}&,{\frac{\part.ial f_{2{pmatrix}\2}},n){ (},n에서 시작값으로 0.5, 1 및 (1, 0.5)를 선택할 수 있습니다.
선형 시스템은 크레이머의 법칙으로 풀 수 있다.
교차점은 (-0.3686, 0.9953) 및 (0.9953, -0.3686)입니다.

2개의 폴리곤

두 폴리곤의 교차: 창 테스트

폴리곤의 교차점을 결정하려면 폴리곤의 선분 쌍이 교차하는지를 확인할 수 있습니다(위 참조).세그먼트가 많은 폴리곤의 경우 이 방법은 다소 시간이 걸립니다.실제로 윈도우 테스트를 사용하여 교차 알고리즘을 가속합니다.이 경우 폴리곤을 작은 하위 폴리곤으로 나누고 하위 폴리곤에 대해 가장 작은 창(좌표 축에 평행한 변과 직각)을 결정합니다.두 선분의 교차점 결정을 시작하기 전에 모든 윈도우 쌍이 공통점에 대해 테스트됩니다.보세요.[3]

공간 내(3차원)

3차원 공간에서는 곡선과 표면 사이에 교차점(공통점)이 있습니다.다음 섹션에서는 횡단 교차로만 고려합니다.

선과 평면

선-평면 교차로

선과 평면이 3차원에서 일반 위치에 있는 교차점은 점입니다.

일반적으로 공간의 선은 파라메트릭(() , () , () ( ( x ( ) , ( ) , ( )}}}}} a a a 평면을 a+ y + z \ + +} )로 나타냅니다.파라메트릭 표현을 방정식에 삽입하면 선형 방정식이 생성됩니다.

( ) , () , ( ) , z ( 0 )\ ( t 0 ), ( t_ ) , y ( 0} , z ( )

선형 방정식에 해답이 없는 경우 선은 평면에 있거나 평면에 평행합니다.

3면

선이 두 개의 교차 평면 : n x i , \ _ { \ {{ i } , \ i= i = 평면 : 세 평면의 공통 교차점을 평가해야 한다.

선형 독립 법선 n 1,, _ { { \, 2 、 n di 、 n 、 온 포인트로

증명을 위해 n → i p ,,3, {2 스칼라 삼중곱의 법칙을 사용하여 해야 한다.스칼라 삼중곱이 0이면 평면에는 삼중 교차가 없거나 선(또는 세 평면이 모두 같은 경우 평면)입니다.

곡선과 표면

t, t 3)과 x + 4 + 4 1({x + y^{ + }=1}의 교집합(

평면 케이스와 유사하게 다음과 같은 경우 비선형 시스템으로 이어지며, 1차원 또는 3차원 [4]뉴턴 반복을 사용하여 해결할 수 있습니다.

  • 곡선: (( ) ,( t) , z () \ : ( ( ) , ( } } 。
파라메트릭 S: ( ( ,) , ( ,v) , ( ,v), \ S : ( , v ) , , v ) , ( , v ) \ ,}
  • 곡선: (( ) ,( t) , z () \ : ( ( ) , ( } } 。
암묵적 S : ( , , ) . { S , z )= \}

예:

파라메트릭: ( , 2, 3) { C ( t , t} , t^ {3} ,
암묵적 S : + 4 + - 0 {\ ^{s. 그림).
교차점은 (-0.8587, 0.7374, -0.6332), (0.8587, 0.7374, 0.632)입니다.

선-구 교차로는 단순한 특수한 경우입니다.

선이나 평면의 경우와 마찬가지로 곡선과 일반 위치 서페이스의 교점은 이산점으로 구성되지만 곡선은 서페이스에 일부 또는 전체를 포함할 수 있다.

선과 다면체

양면

횡단적으로 교차하는 두 지표면이 교차 곡선을 제공합니다.가장 단순한 경우 두 평행하지 않은 평면의 교차선입니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Erich Hartmann: 컴퓨터 지원 설계를 위한 기하학과 알고리즘.강의 노트, Technische University Darmstadt, 2003년 10월, 17페이지
  2. ^ Erich Hartmann: 컴퓨터 지원 설계를 위한 기하학과 알고리즘.강의 노트, Technische University Darmstadt, 2003년 10월, 33페이지
  3. ^ Erich Hartmann: CDKG: Computerunterstützte Darstellende와 Konstruptive Geometrie.강의 노트, TU Darmstadt, 1997, 페이지 79 (PDF; 3,4 MB)
  4. ^ Erich Hartmann: 컴퓨터 지원 설계를 위한 기하학과 알고리즘.강의 노트, Technische University Darmstadt, 2003년 10월, 93페이지

추가 정보

  • Nicholas M. Patrikalakis와 Takashi Maekawa, 컴퓨터 보조 설계 및 제조를 위한 형상 질문, Springer, 2002, ISBN3540424547, 9783540424543, 페이지 408. [1]