문맥 (context)
수식(數式, mathematical expression)은 수학 표기와, 수학 기호를 사용하여 수학적 관계를 나타내는 것이다. 수학의 개념들은 수식으로 정리되어 표현된다. 등식, 부등식, 논리식, 방정식과 같은 것들이 있다.
<heading>역사 </heading>
수학적 관계를 식으로 나타내기 시작한 것은 근대 이후의 일이다. 그 이전엔 세계의 모든 문화에서 수학적 관계를 문장으로 나타내었다. 예를 들어 대수학의 기반을 마련한 알콰리즈미는 복원과 소거의 과학에서 <math>x^2+10x = 39</math>를 “제곱과 근의 열배는 39와 같다”로 기술하였다. 피에르 드 페르마 역시 그의 유명한 마지막 정리, 양의 정수인 x, y, z, n에 대하여 <math> n>2 </math>일때 <math>x^n + y^n = z^n</math>를 만족하는 해는 존재하지 않는 다는 것을 문장으로 서술하였다.
수식의 사용은 아라비아 숫자의 사용, 미지수의 도입, 연산 기호의 도입 등 여러 사건들이 점진적으로 이루어지면서 일반화되었다. 피보나치는 13세기 초 계산서에서 북아프리카 방식의 아라비아 숫자를 소개하였다. 1494년 이탈리아의 루카 파촐리는 산술집성(Summa de Arithmetica)에서 미지수를 표현하는 문자로 어떤 것이라는 의미의 이탈리아어 낱말 co를 사용하였다. 이후 대수학에서는 변수를 문자로 나타내는 방법이 발달하기 시작하였다. 프랑수아 비에트는 미지수를 나타내기 위해 알파벳 모음을 사용하였다. 한편 연산 기호 역시 점차적으로 도입되기 시작하였는데, 16세기 독일의 위드만이 상업산술에서 +, - 기호를 사용하기 시작하였고, 영국의 레코드는 지혜의 숫돌에서 등호(=)를 사용하기 시작하였다. 나눗셈 기호(÷), 곱셈 기호(×), 부등호 역시 이 시기의 영국 수학자들에 의해 사용되기 시작하였다. 다양한 경로를 거쳐 수학에 도입된 수학 표기와 연산 기호들이 일반화 되면서 수식 표현 역시 정형화 되어 아이작 뉴턴이 자연철학의 수학적 원리을 출간한 17세기 무렵엔 수식의 사용이 일반화 되었다.
<heading>표기와 기호 </heading>
수학 표기는 숫자와 같은 수학적 객체나 극한과 같은 개념을 나타내는 기호이다. 국제단위계에서 숫자는 아라비아 숫자를 사용하며, 수학계에서는 미지수는 문자로, 지수는 첨자로, 극한이나 급수는 그에 해당하는 기호로 나타내는 등 표기가 나타내는 관습적인 의미가 확립되어 있으며, 사칙 연산을 비롯한 연산 기호 역시 따로 특별히 정의하지 않는 한 일반적인 용법이 확립되어 있다. 이와 같은 용법에 따라 수식은 문장으로 풀어 읽을 수 있다. 예를 들어 <math> frac{1}{2} + frac{2}{3} = 1frac{1}{6} </math>은 “2분의 1 더하기 3분의 2는 1과 6분의 1과 같다”로 읽는다.
<heading>구조와 종류 </heading>
다음의 식을 살펴 수식의 일반적 구조를 보자.
또한 <math>0 = 4x^2 + 16x +16 </math>는 <math>0 = (2x)^2 + 8(2x) +16 </math>이므로<math> 2x= k</math>로 치환해서 대입 정리해도 등식이 성립한다.
위 식에서 <math>frac{d}{d x}</math>는 미분을 뜻하는 기호이며, <math>f(x)</math>는 관습적으로 사용되는 일반적인 함수를 의미하는 기호이다. <math>x</math>는 함수의 정의역에 속하는 임의의 원소를, <math>Delta ; x</math>는 <math>x</math>에서 연속적으로 진행되는 변화량을 뜻한다. 따라서 <math> lim_{Delta x o 0}</math>는 변화량 <math>Delta ; x</math>가 <math>0</math>으로 수렴한다는 의미의 기호이다. 이와 같은 의미를 알면 위 식은 미분이 평균변화율의 극한을 취하여 함수 <math>f(x)</math>의 특정 지점 <math>x</math>에서 변화량 <math>Delta ; x</math> 가 <math>0</math>으로 수렴할 때의 변화율, 즉 순간변화율이라는 것을 설명하고 있다고 파악할 수 있다.
수식에는 여기서 설명한 것 외에도 부등식, 논리식과 같은 종류가 있다.
<heading>연산의 우선 순위 </heading>
수식에서 여러 가지 연산 기호가 함께 쓰이는 경우 혼란을 막기 위하여 연산의 우선순위를 둔다. 일반적으로 쓰여진 수식에서는 다음과 같은 우선순위를 따른다. 목록의 앞쪽에 있는 연산의 우선순위가 높다.
아래는 연산의 우선 순위에 대한 예이다.
괄호 안의 수식은 어떤 경우에서든지 우선순위가 가장 높다.
아래와 같은 수식의 경우 다음과 같이 계산된다. 곱하기와 나누기가 우선이고 그 다음이 더하기 또는 빼기를 하는 것이다.
부호보다 지수가 먼저 계산된다.
근호로 둘러싸인 수식은 먼저 계산한다.
분수형태에 갇혀있는 수식은 먼저 계산한다.
우선순위가 같은 연산은 앞에서부터 차례로 계산한다.
지수위의 지수가 있는 경우, 위쪽에 있는 지수의 우선순위가 높다.
지시문 (instruction)
주어진 원문을 읽고 필요한 정보를 파악하여, 원문에 근거해 질문에 답하라.
질문 (question)
수학적 관계를 문장으로 기술하던 과거와 달리, 수식이 일반화되면서 수학의 개념들은 어떻게 표현되는가?
추론 과정 (compact_reasoning)
-
1과제 해석
task_interpretation수식의 역할과 수학적 개념이 수식을 통해 어떻게 표현되는지 그 의의를 묻는 질문이다.
-
2정보 추출
information_extraction수식의 정의와 수학적 개념과의 관계를 본문에서 찾는다.
- 수식(數式, mathematical expression)은 수학 표기와, 수학 기호를 사용하여 수학적 관계를 나타내는 것이다.
- 수학의 개념들은 수식으로 정리되어 표현된다.
-
3근거 선택
evidence_selection수학적 개념이 수식으로 정리되어 표현된다는 핵심 문장을 선별한다.
- 수학의 개념들은 수식으로 정리되어 표현된다.
-
4논리 통합
logical_integration과거의 문장 기술 방식과 대비하여 수식이 수학적 개념을 정리하고 표현하는 수단임을 연결한다.
-
5결론 도출
conclusion_formulation수식은 수학 표기와 기호를 통해 수학적 관계를 나타내며, 수학의 개념들을 정리하여 표현하는 역할을 한다.
- 수학의 개념들은 수식으로 정리되어 표현된다.
-
6답변 생성
answer_generation질문에 대해 문맥에 근거하여 서술형으로 답변을 작성한다.
- 수학의 개념들은 수식으로 정리되어 표현된다.
최종 답변 (final_answer)
수식은 수학 표기와 수학 기호를 사용하여 수학적 관계를 나타내며, 수학의 개념들은 수식으로 정리되어 표현된다.
핵심 해석 (core_interpretation)
수식이 수학적 관계를 나타내는 도구로서 수학적 개념을 체계적으로 정리하고 표현하는 매개체임을 이해한다.