수형도의 기본 구조
소목차
Welcome to Mathit!
M
Everywhere Mathit!
웹 플레이그라운드
CLI 설치
창의적으로 생각해요
기하학적 사고
알고리즘 퍼즐
수학적 모델링
논리 패러독스
패턴 탐색
모르겠으면 모두와 함께
euler_fan · 5분 전
Mathit 수식 엔진에서 다변수 미분 최적화할 때 어떤 옵션을 주나요?
matrix_dev · 32분 전
LaTeX 기반 표기법과 Mathit DSL 간 변환 벤치마크 공유합니다.
오픈되지 않았어요
AI에게 물어봐도 좋아요
보내기

미분과 기하학적 접선

해석학 / 미분과 기하학적 접선

4.2 미분과 기하학적 접선

수학교육 현장에서 가장 손이 많이 가는 작업은 특정 곡선 위의 점에서의 접선을 작도하는 일입니다. 손으로 미분 계수를 구하고 접선의 방정식을 유도하여 두 점을 계산할 필요 없이, Mathit의 미분 계산 엔진을 사용해 한 줄로 접선을 얻을 수 있습니다.

접선 자동 생성

tangent_line() 함수는 대상 함수와 접점의 가로 좌표 xx를 인자로 받아 해당 지점의 접선 직선 객체를 반환합니다.

복사
f(x) = -x^2 + 4
L_tan = tangent_line(f, x=1)

draw: f, x in -1..3, thick=1.5pt
draw: L_tan, stroke=1pt, dash=(4pt, 2pt), color=#red

Mathit은 내부 수치 해석 미분 엔진을 통해 x=1x=1에서의 미분계수 f′(1)=−2f'(1) = -2를 계산하고, 접점 (1,3)(1, 3)을 통과하는 일차함수 직선을 생성합니다. 이 직선은 일반 선분이나 직선처럼 점선(dash) 스타일이나 색상을 자유롭게 부여할 수 있습니다.

접점 좌표 추출과 라벨링

접선만 그리는 것보다 접점을 명시하고 좌표값을 표기해야 문제지 그림이 완성됩니다.

접점의 위치는 함수에 직접 값을 대입하여 점 객체로 만듭니다.

복사
x0 = 1
P = (x0, f(x0))

dot: P"P(1, 3)"(ne)

수치 변수 x0를 선언하고 이를 점의 가로 좌표와 함수의 입력값으로 넘겨 점 P를 정의했습니다. 접선과 접점이 완전히 일치하므로 도판의 수학적 정합성이 어긋나지 않습니다.

법선(수직선) 작도

접선에 수직인 법선을 그려야 할 때는 기하 엔진의 회전 변환 함수인 rot()를 결합합니다.

복사
L_norm = rot(L_tan, 90deg, center=P)
draw: L_norm, stroke=0.8pt, color=#blue

접점 P를 중심으로 접선 L_tan을 90도 회전시켜 수직 법선을 즉시 추출할 수 있습니다.

취소