푸리에 급수 테이블 , 푸리에 변환 테이블, Fourier Series Table, Fourier Transform Table
출처 : https://ena.etsmtl.ca/pluginfile.php/137982/mod_resource/content/8/Fourier-table.pdf


출처 : https://en.wikipedia.org/wiki/Fourier_transform
Functional relationships, one-dimensional
The Fourier transforms in this table may be found in [Erdélyi 1954] or [Kammler 2000, appendix].
| Function | Fourier transform unitary, ordinary frequency |
Fourier transform unitary, angular frequency |
Fourier transform non-unitary, angular frequency |
Remarks | |
|---|---|---|---|---|---|
| \[f(x)\] | \[\begin{align} &\widehat{f}(\xi) \triangleq \widehat {f_1}(\xi) \\&= \int_{-\infty}^\infty f(x) e^{-i 2\pi \xi x}\, dx \end{align}\] | \[\begin{align} &\widehat{f}(\omega) \triangleq \widehat {f_2}(\omega) \\&= \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty f(x) e^{-i \omega x}\, dx \end{align}\] | \[\begin{align} &\widehat{f}(\omega) \triangleq \widehat {f_3}(\omega) \\&= \int_{-\infty}^\infty f(x) e^{-i \omega x}\, dx \end{align}\] | Definitions | |
| 101 | \[a\, f(x) + b\, g(x)\] | \[a\, \widehat{f}(\xi) + b\, \widehat{g}(\xi)\] | \[a\, \widehat{f}(\omega) + b\, \widehat{g}(\omega)\] | \[a\, \widehat{f}(\omega) + b\, \widehat{g}(\omega)\] | Linearity |
| 102 | \[f(x - a)\] | \[e^{-i 2\pi \xi a} \widehat{f}(\xi)\] | \[e^{- i a \omega} \widehat{f}(\omega)\] | \[e^{- i a \omega} \widehat{f}(\omega)\] | Shift in time domain |
| 103 | \[f(x)e^{iax}\] | \[\widehat{f} \left(\xi - \frac{a}{2\pi}\right)\] | \[\widehat{f}(\omega - a)\] | \[\widehat{f}(\omega - a)\] | Shift in frequency domain, dual of 102 |
| 104 | \[f(a x)\] | \[\frac{1}{|a|} \widehat{f}\left( \frac{\xi}{a} \right)\] | \[\frac{1}{|a|} \widehat{f}\left( \frac{\omega}{a} \right)\] | \[\frac{1}{|a|} \widehat{f}\left( \frac{\omega}{a} \right)\] | Scaling in the time domain. If \[{{abs|a}}\] is large, then \[f(ax)\] is concentrated around 0 and \[\frac{1}{|a|}\hat{f} \left( \frac{\omega}{a} \right)\] spreads out and flattens. |
| 105 | \[\widehat {f_n}(x)\] | \[\widehat {f_1}(x) \ \stackrel{\mathcal{F}_1}{\longleftrightarrow}\ f(-\xi)\] | \[\widehat {f_2}(x) \ \stackrel{\mathcal{F}_2}{\longleftrightarrow}\ f(-\omega)\] | \[\widehat {f_3}(x) \ \stackrel{\mathcal{F}_3}{\longleftrightarrow}\ 2\pi f(-\omega)\] | The same transform is applied twice, but x replaces the frequency variable (ξ or ω) after the first transform. |
| 106 | \[\frac{d^n f(x)}{dx^n}\] | \[(i 2\pi \xi)^n \widehat{f}(\xi)\] | \[(i\omega)^n \widehat{f}(\omega)\] | \[(i\omega)^n \widehat{f}(\omega)\] | nth-order derivative. As \[f\] is a [[Schwartz space|Schwartz function]] |
| 106.5 | \[\int_{-\infty}^{x} f(\tau) d \tau\] | \[\frac{\widehat{f}(\xi)}{i 2 \pi \xi} + C \, \delta(\xi)\] | \[\frac{\widehat{f} (\omega)}{i\omega} + \sqrt{2 \pi} C \delta(\omega)\] | \[\frac{\widehat{f} (\omega)}{i\omega} + 2 \pi C \delta(\omega)\] | Integration.[1] Note: \[\delta\] is the [[Dirac delta function]] and \[C\] is the average ([[DC component|DC]]) value of \[f(x)\] such that \[\int_{-\infty}^\infty (f(x) - C) \, dx = 0\] |
| 107 | \[x^n f(x)\] | \[\left (\frac{i}{2\pi}\right)^n \frac{d^n \widehat{f}(\xi)}{d\xi^n}\] | \[i^n \frac{d^n \widehat{f}(\omega)}{d\omega^n}\] | \[i^n \frac{d^n \widehat{f}(\omega)}{d\omega^n}\] | This is the dual of 106 |
| 108 | \[(f * g)(x)\] | \[\widehat{f}(\xi) \widehat{g}(\xi)\] | \[\sqrt{2\pi}\ \widehat{f}(\omega) \widehat{g}(\omega)\] | \[\widehat{f}(\omega) \widehat{g}(\omega)\] | The notation \[f * g\] denotes the [[convolution]] of \[f\] and \[g\] — this rule is the [[convolution theorem]] |
| 109 | \[f(x) g(x)\] | \[\left(\widehat{f} * \widehat{g}\right)(\xi)\] | \[ \frac{1}{\sqrt{2\pi}} \left(\widehat{f} * \widehat{g}\right)(\omega) \] | \[\frac{1}{2\pi}\left(\widehat{f} * \widehat{g}\right)(\omega)\] | This is the dual of 108 |
| 110 | For \[f(x)\] purely real | \[\widehat{f}(-\xi) = \overline{\widehat{f}(\xi)}\] | \[\widehat{f}(-\omega) = \overline{\widehat{f}(\omega)}\] | \[\widehat{f}(-\omega) = \overline{\widehat{f}(\omega)}\] | Hermitian symmetry. \[\overline{z}\] indicates the [[complex conjugate]]. |
| 113 | For \[f(x)\] purely imaginary | \[\widehat{f}(-\xi) = -\overline{\widehat{f}(\xi)}\] | \[\widehat{f}(-\omega) = -\overline{\widehat{f}(\omega)}\] | \[\widehat{f}(-\omega) = -\overline{\widehat{f}(\omega)}\] | \[\overline{z}\] indicates the [[complex conjugate]]. |
| 114 | \[\overline{f(x)}\] | \[\overline{\widehat{f}(-\xi)}\] | \[\overline{\widehat{f}(-\omega)}\] | \[\overline{\widehat{f}(-\omega)}\] | [[Complex conjugation]], generalization of 110 and 113 |
| 115 | \[f(x) \cos (a x)\] | \[\frac{\widehat{f}\left(\xi - \frac{a}{2\pi}\right)+\widehat{f}\left(\xi+\frac{a}{2\pi}\right)}{2}\] | \[\frac{\widehat{f}(\omega-a)+\widehat{f}(\omega+a)}{2}\] | \[\frac{\widehat{f}(\omega-a)+\widehat{f}(\omega+a)}{2}\] | This follows from rules 101 and 103 using [[Euler's formula]]: \[\cos(a x) = \frac{e^{i a x} + e^{-i a x}}{2}.\] |
| 116 | \[f(x)\sin( ax)\] | \[\frac{\widehat{f}\left(\xi-\frac{a}{2\pi}\right)-\widehat{f}\left(\xi+\frac{a}{2\pi}\right)}{2i}\] | \[\frac{\widehat{f}(\omega-a)-\widehat{f}(\omega+a)}{2i}\] | \[\frac{\widehat{f}(\omega-a)-\widehat{f}(\omega+a)}{2i}\] | This follows from 101 and 103 using [[Euler's formula]]: \[\sin(a x) = \frac{e^{i a x} - e^{-i a x}}{2i}.\] |
[1] The Integration Property of the Fourier Transform
| Function | Fourier transform unitary, ordinary frequency |
Fourier transform unitary, angular frequency |
Fourier transform non-unitary, angular frequency |
Remarks | |
|---|---|---|---|---|---|
| \[ f(x) \] | \[ \begin{align} &\hat{f}(\xi) \triangleq \hat f_1(\xi) \\&= \int_{-\infty}^\infty f(x) e^{-i 2\pi \xi x}\, dx \end{align} \] | \[ \begin{align} &\hat{f}(\omega) \triangleq \hat f_2(\omega) \\&= \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty f(x) e^{-i \omega x}\, dx \end{align} \] | \[ \begin{align} &\hat{f}(\omega) \triangleq \hat f_3(\omega) \\&= \int_{-\infty}^\infty f(x) e^{-i \omega x}\, dx \end{align} \] | Definitions | |
| 301 | \[ 1 \] | \[ \delta(\xi) \] | \[ \sqrt{2\pi}\, \delta(\omega) \] | \[ 2\pi\delta(\omega) \] | The distribution \[ ''δ''(''ξ'') \] denotes the [[Dirac delta function]]. |
| 302 | \[ \delta(x) \] | \[ 1 \] | \[ \frac{1}{\sqrt{2\pi}} \] | \[ 1 \] | Dual of rule 301. |
| 303 | \[ e^{i a x} \] | \[ \delta\left(\xi - \frac{a}{2\pi}\right) \] | \[ \sqrt{2 \pi}\, \delta(\omega - a) \] | \[ 2 \pi\delta(\omega - a) \] | This follows from 103 and 301. |
| 304 | \[ \cos (a x) \] | \[ \frac{\delta\left(\xi - \frac{a}{2\pi}\right)+\delta\left(\xi+\frac{a}{2\pi}\right)}{2} \] | \[ \sqrt{2 \pi}\,\frac{\delta(\omega-a)+\delta(\omega+a)}{2} \] | \[ \pi\left(\delta(\omega-a)+\delta(\omega+a)\right) \] | This follows from rules 101 and 303 using [[Euler's formula]]: \[ \cos(a x) = \frac{e^{i a x} + e^{-i a x}}{2}. \] |
| 305 | \[ \sin( ax) \] | \[ \frac{\delta\left(\xi-\frac{a}{2\pi}\right)-\delta\left(\xi+\frac{a}{2\pi}\right)}{2i} \] | \[ \sqrt{2 \pi}\,\frac{\delta(\omega-a)-\delta(\omega+a)}{2i} \] | \[ -i\pi\bigl(\delta(\omega-a)-\delta(\omega+a)\bigr) \] | This follows from 101 and 303 using \[ \sin(a x) = \frac{e^{i a x} - e^{-i a x}}{2i}. \] |
| 306 | \[ \cos \left( a x^2 \right) \] | \[ \sqrt{\frac{\pi}{a}} \cos \left( \frac{\pi^2 \xi^2}{a} - \frac{\pi}{4} \right) \] | \[ \frac{1}{\sqrt{2 a}} \cos \left( \frac{\omega^2}{4 a} - \frac{\pi}{4} \right) \] | \[ \sqrt{\frac{\pi}{a}} \cos \left( \frac{\omega^2}{4a} - \frac{\pi}{4} \right) \] | This follows from 101 and 207 using \[ \cos(a x^2) = \frac{e^{i a x^2} + e^{-i a x^2}}{2}. \] |
| 307 | \[ \sin \left( a x^2 \right) \] | \[ - \sqrt{\frac{\pi}{a}} \sin \left( \frac{\pi^2 \xi^2}{a} - \frac{\pi}{4} \right) \] | \[ \frac{-1}{\sqrt{2 a}} \sin \left( \frac{\omega^2}{4 a} - \frac{\pi}{4} \right) \] | \[ -\sqrt{\frac{\pi}{a}}\sin \left( \frac{\omega^2}{4a} - \frac{\pi}{4} \right) \] | This follows from 101 and 207 using \[ \sin(a x^2) = \frac{e^{i a x^2} - e^{-i a x^2}}{2i}. \] |
| 308 | \[ e^{-\pi i\alpha x^2} \] | \[ \frac{1}{\sqrt{\alpha}}\, e^{-i\frac{\pi}{4}} e^{i\frac{\pi \xi^2}{\alpha}} \] | \[ \frac{1}{\sqrt{2\pi \alpha}}\, e^{-i\frac{\pi}{4}} e^{i\frac{\omega^2}{4\pi \alpha}} \] | \[ \frac{1}{\sqrt{\alpha}}\, e^{-i\frac{\pi}{4}} e^{i\frac{\omega^2}{4\pi \alpha}} \] | Here it is assumed \[ \alpha \] is real. For the case that alpha is complex see table entry 206 above. |
| 309 | \[ x^n \] | \[ \left(\frac{i}{2\pi}\right)^n \delta^{(n)} (\xi) \] | \[ i^n \sqrt{2\pi} \delta^{(n)} (\omega) \] | \[ 2\pi i^n\delta^{(n)} (\omega) \] | Here, \[ n \] is a [[natural number]] and \[ ''δ''{{isup|(''n'')}}\left(\xi\right) \] is the \[ n \]th distribution derivative of the Dirac delta function. This rule follows from rules 107 and 301. Combining this rule with 101, we can transform all [[polynomial]]s. |
| 310 | \[ \delta^{(n)}(x) \] | \[ (i 2\pi \xi)^n \] | \[ \frac{(i\omega)^n}{\sqrt{2\pi}} \] | \[ (i\omega)^n \] | Dual of rule 309. \[ ''δ''{{isup|(''n'')}}\left(\xi\right) \] is the \[ n \]th distribution derivative of the Dirac delta function. This rule follows from 106 and 302. |
| 311 | \[ \frac{1}{x} \] | \[ -i\pi\sgn(\xi) \] | \[ -i\sqrt{\frac{\pi}{2}}\sgn(\omega) \] | \[ -i\pi\sgn(\omega) \] | Here \[ sgn(\xi) \] is the [[sign function]]. Note that \[ \frac{1}{x} \] is not a distribution. It is necessary to use the [[Cauchy principal value]] when testing against [[Schwartz functions]]. This rule is useful in studying the [[Hilbert transform]]. |
| 312 | \[ \begin{align} &\frac{1}{x^n} \\ &:= \frac{(-1)^{n-1}}{(n-1)!}\frac{d^n}{dx^n}\log |x| \end{align} \] | \[ -i\pi \frac{(-i 2\pi \xi)^{n-1}}{(n-1)!} \sgn(\xi) \] | \[ -i\sqrt{\frac{\pi}{2}}\, \frac{(-i\omega)^{n-1}}{(n-1)!}\sgn(\omega) \] | \[ -i\pi \frac{(-i\omega)^{n-1}}{(n-1)!}\sgn(\omega) \] | \[ \frac{1}{x^n} \] is the [[homogeneous distribution]] defined by the distributional derivative \[ \frac{(-1)^{n-1}}{(n-1)!}\frac{d^n}{dx^n}\log|x| \] |
| 313 | \[ |x|^\alpha \] | \[ -\frac{2\sin\left(\frac{\pi\alpha}{2}\right)\Gamma(\alpha+1)}{|2\pi\xi|^{\alpha+1}} \] | \[ \frac{-2}{\sqrt{2\pi}}\, \frac{\sin\left(\frac{\pi\alpha}{2}\right)\Gamma(\alpha+1)}{|\omega|^{\alpha+1}} \] | \[ -\frac{2\sin\left(\frac{\pi\alpha}{2}\right)\Gamma(\alpha+1)}{|\omega|^{\alpha+1}} \] | This formula is valid for \[ 0 > \alpha > -1 \]. For \[ \alpha > 0 \] some singular terms arise at the origin that can be found by differentiating 320. If \[ Re \alpha > -1 \], then \[ |x|^\alpha \] is a locally integrable function, and so a tempered distribution. The function \[ \alpha \mapsto |x|^\alpha \] is a holomorphic function from the right half-plane to the space of tempered distributions. It admits a unique meromorphic extension to a tempered distribution, also denoted \[ |x|^\alpha \] for \[ \alpha \neq -1, -3, ... \] (See [[homogeneous distribution]].) |
| \[ \frac{1}{\sqrt{|x|}} \] | \[ \frac{1}{\sqrt{|\xi|}} \] | \[ \frac{1}{\sqrt{|\omega|}} \] | \[ \frac{\sqrt{2\pi}}{\sqrt{|\omega|}} \] | Special case of 313. | |
| 314 | \[ \sgn(x) \] | \[ \frac{1}{i\pi \xi} \] | \[ \sqrt{\frac{2}{\pi}} \frac{1}{i\omega} \] | \[ \frac{2}{i\omega} \] | The dual of rule 311. This time the Fourier transforms need to be considered as a [[Cauchy principal value]]. |
| 315 | \[ u(x) \] | \[ \frac{1}{2}\left(\frac{1}{i \pi \xi} + \delta(\xi)\right) \] | \[ \sqrt{\frac{\pi}{2}} \left( \frac{1}{i \pi \omega} + \delta(\omega)\right) \] | \[ \pi\left( \frac{1}{i \pi \omega} + \delta(\omega)\right) \] | The function \[ u(x) \] is the Heaviside [[Heaviside step function|unit step function]]; this follows from rules 101, 301, and 314. |
| 316 | \[ \sum_{n=-\infty}^{\infty} \delta (x - n T) \] | \[ \frac{1}{T} \sum_{k=-\infty}^{\infty} \delta \left( \xi -\frac{k }{T}\right) \] | \[ \frac{\sqrt{2\pi }}{T}\sum_{k=-\infty}^{\infty} \delta \left( \omega -\frac{2\pi k}{T}\right) \] | \[ \frac{2\pi}{T}\sum_{k=-\infty}^{\infty} \delta \left( \omega -\frac{2\pi k}{T}\right) \] | This function is known as the [[Dirac comb]] function. This result can be derived from 302 and 102, together with the fact that \[ \begin{align} & \sum_{n=-\infty}^{\infty} e^{inx} \\ = {}& 2\pi\sum_{k=-\infty}^{\infty} \delta(x+2\pi k) \end{align} \] as distributions. |
| 317 | \[ J_0 (x) \] | \[ \frac{2\, \operatorname{rect}(\pi\xi)}{\sqrt{1 - 4 \pi^2 \xi^2}} \] | \[ \sqrt{\frac{2}{\pi}} \, \frac{\operatorname{rect}\left(\frac{\omega}{2}\right)}{\sqrt{1 - \omega^2}} \] | \[ \frac{2\,\operatorname{rect}\left(\frac{\omega}{2}\right)}{\sqrt{1 - \omega^2}} \] | The function \[ J_0(x) \] is the zeroth order [[Bessel function]] of first kind. |
세상의모든계산기 님의 최근 댓글
- claude AI는 l-c*r^2 을 1-c*r^2 으로 잘못 읽고 표시하고 있습니다. - TI-nspire CAS 계산기에 l-c*r^2 ≥0 을 조건에 추가해 계산해 보아도 결과는 바뀌지 않습니다. 2026 07.20 ⚠️ 경고가 바로 두 번째 방법이 "성공"한 이유와 정확히 연결되어 있습니다. 경고의 의미 "Domain of the result might be larger than the domain of the input"는 CAS가 절댓값(모듈러스)을 계산하는 과정에서 원래 식보다 정의역이 더 넓은 형태로 단순화했다는 뜻입니다. 구체적으로 이 계산은 내부적으로 대략 이런 과정을 거칩니다. $$\left|\frac{er}{e\cdot r}\right| = \sqrt{\left(\frac{er}{e\cdot r}\right)\cdot\overline{\left(\frac{er}{e\cdot r}\right)}}$$ 즉 원래 식(복소수)과 그 켤레복소수를 곱해서 실수부·허수부 제곱합을 만들고, 거기에 다시 제곱근을 씌우는 과정입니다. 이 과정에서 √(x²) → x 또는 √a·√b → √(ab) 같은 규칙들이 쓰이는데, 이런 규칙들은 x가 실수이고 0 이상일 때만 엄밀하게 성립합니다. CAS는 이 조건들을 일일이 다 추적하지 않고 넘어가면서, 원래는 (e≠0, r+l·ω·i ≠ 0 등) 복소수 특유의 좁은 정의역을 가진 식을, r, l, ω가 어떤 실수여도(부호 무관하게) 정의되는 1/√(r²+l²·ω²)라는 더 넓은 정의역의 식으로 바꿔버린 것입니다. CAS는 이 손실을 감지하고 경고를 띄운 것입니다. 이게 왜 조건 대입 성공과 연결되는가 정리하면, 이 경고는 사실상 이런 뜻입니다. "나는 이 결과를 만들면서 원래 식이 가지고 있던 정의역 제약 정보(부호 조건, i 관련 조건 등)를 이미 버렸다." 바로 이 "정의역 정보를 버린" 상태가 이후 con_1 대입을 매끄럽게 만드는 원인입니다. 첫 번째 시도에서는 i가 살아있는 원래 식에 조건을 대입했기 때문에, CAS가 √(1-c·r²)이 실수인지(정의역 조건: 1-c·r² ≥ 0) 계속 추적하려고 했고, 그 정보가 con에 없어서 더 이상 정리를 못 하고 멈췄습니다. 두 번째 시도에서는 절댓값 계산 단계에서 이미 그런 세밀한 정의역 추적을 CAS 스스로 포기(단순화)했기 때문에, 이후 ω에 무리식을 대입해도 "이게 실수가 맞나?" 하는 검증 절차 없이 그냥 대수적으로 치환·정리해 버립니다. 그래서 깔끔하게 √c/√l이 나온 겁니다. 한 줄 요약 절댓값 계산 시 뜬 "정의역이 넓어졌을 수 있다"는 경고는, CAS가 그 순간에 원래 식의 엄밀한 조건(정의역)을 놓쳤다는 신호이고, 바로 그 "조건을 놓친 상태"이기 때문에 뒤에 이어지는 조건식 대입이 막힘없이 진행된 것입니다. 다만 그 대가로, 결과인 1/√(r²+l²·ω²)이나 최종 √c/√l이 원래 회로 조건(i≠0이 되는 경계, 분모가 0이 되는 경우 등)에서는 엄밀히 성립하지 않을 수 있다는 점은 감안하셔야 합니다. 실제 물리적으로는 r, l, c > 0이고 결과도 물리적으로 타당한 형태라 문제없어 보이지만, 수학적 엄밀성 측면에서는 "정의역이 넓어진 근사적 결과"라는 꼬리표가 붙어있는 셈입니다. 2026 07.20 Claude AI 답변 TI-Nspire CAS의 | (such that / 조건대입) 연산자는 대입 시점의 수식 형태를 그대로 두고 기호만 치환하는 연산입니다. 대입 후에 처음부터 다시 "실수부/허수부 분리, 유리화" 같은 재간소화를 자동으로 수행하지 않습니다. 이 차이가 지금 보신 결과 차이의 핵심입니다. 첫 번째 경우 (|er/(e·r)| | con_1 and con → 실패) 이 시점의 식은 아직 r + l·ω·i 형태의 복소수 그대로입니다 (i가 살아있음). 여기에 con_1: ω = √(1-c·r²)/(√c·l)을 대입하면, 분모 안에 i · √(1-c·r²) 라는 항이 새로 생깁니다. 문제는 CAS가 √(1-c·r²)이 실수인지(즉 1-c·r² ≥ 0인지) 판단할 근거가 없다는 겁니다. 저장해 두신 con 조건은 c>0, l>0, r>0뿐이고, 1-c·r²≥0이라는 조건은 포함되어 있지 않습니다. 그래서 CAS는 i와 이 무리식을 더 정리(유리화, 실수부·허수부 재결합)하지 못하고 있는 그대로 남겨둡니다. 결과에 여전히 i가 보이는 이유입니다. 두 번째 경우 (결과값 1/√(r²+l²·ω²)에 대입 → 성공) |er/(e·r)| (절댓값/모듈러스) 연산은 그 자체로 이미 "복소수 → 실수" 변환을 완료한 결과입니다. 즉 1/√(r²+l²·ω²)에는 더 이상 i가 없고, 순수하게 r, l, ω로만 이루어진 실수식입니다. 이 식에 ω = con_1을 대입하는 것은 그냥 실수 대수식에 실수 대입하는 것이므로, i와 무리식이 뒤엉키는 문제 자체가 발생하지 않습니다. 그래서 바로 깔끔하게 √c/√l로 정리됩니다. 정리하면 절댓값(모듈러스) 계산은 "이 값들이 실수다"라는 가정을 이미 내부적으로 써서 i를 제거하는 연산입니다. 그 연산을 조건 대입 이전에 해두면, 이후 대입은 단순 실수 대입이라 문제없이 정리됩니다. 반대로 i가 남아있는 식에 무리식을 포함한 조건을 먼저 대입하면, 그 무리식의 실수성/부호에 대한 가정이 없어서 CAS가 i를 소거하는 재간소화를 못 하고 멈춰버립니다. 실용적 팁: 복소식에 조건을 대입해야 할 때는 가능하면 절댓값·실수화(유리화) 등을 먼저 끝내서 i를 없앤 뒤 조건을 대입하거나, 대입 후 결과에 다시 simplify/expand/combine 같은 명령을 한 번 더 걸어주면 (필요한 도메인 조건과 함께) 정리가 되는 경우가 많습니다. 2026 07.19 저도 어림잡아 추측할 뿐이지 정확한 이유를 알지는 못합니다. 질문하신 사진을 그대로 (Gemini 3.5 Flash / ChatGPT / Claude Sonnet 5) AI에 넣어 보니 claude AI 가 제일 합리적인 답변을 주어서 이를 붙여 넣습니다. 2026 07.19 아 그렇네요. 감사합니다. ^^ 2026 04.28