[[수학,math]]에서
 * [[이항,transposition]](移項)은 [[등식,equation]]이나 [[부등식,inequality]]에서 한 쪽에 있는 [[항,term]]을 [[부호,sign]]를 바꾸어 다른 쪽으로 옮기는 것이다. 올바로 이항했다면 이항해도 식의 의미는 똑같다.
  등식의 한 변에 있는 항은 부호를 반대로 하여 다른 쪽 변으로 옮길 수 있다.
  예: 등식 $X+A=B$ 에서 좌변의 $A$ 를 우변으로 이항하면, $X=B-A$ 가 된다.
  // Ndict:transposition KmsE:transposition
 * [[이항,binomial]](二項)은 [[항,term]]이 두 개 (2개)라는 의미이다. 영단어 binomial은 형용사와 명사 둘 다 된다.
  * 형용사 binomial 관련 // [[WtEn:binomial#Adjective]]
    * [[이항계수,binomial_coefficient]]
    * [[이항분포,binomial_distribution]]
    * [[이항정리,binomial_theorem]] { https://librewiki.net/wiki/이항정리 VG: 이항정리,binomial_theorem }
  * 명사 binomial 관련 // [[WtEn:binomial#Noun]]
   ||일항식 ||monomial WtEn:monomial ||
   ||'''이항'''식 ||binomial WtEn:binomial / [WpEn:Binomial_(polynomial)] = [https://en.wikipedia.org/wiki/Binomial_(polynomial)] ||
   ||삼항식 ||trinomial WtEn:trinomial ||
   ||사항식 ||quadrinomial WtEn:quadrinomial ||
   ||오항식 ||quintinomial WtEn:quintinomial ||
   ||... ||... ||
   ...을 [[다항식,polynomial]]이라고 한다.
 * [[이항,binary]]은 [[바이너리,binary]]의 널리 쓰이는 번역. (binary의 번역엔 더 널리 쓰이는 [[이진,binary]]도 있음)

----
transposition 증명.

정리:
 $x+a=0 \;\Rightarrow\; x=-a$

증명:
 $x+a=0$
( $a$ 가 뭔지는 몰라도 $a$ 에 대한 덧셈의 역원^^[additive_inverse]^^이 즉 $-a$ 가 존재한다면 )
 $(x+a)+(-a)=0+(-a)$
LHS는 덧셈의 결합법칙에 의해(i.e. [[덧셈,addition]]연산은 [[결합성,associativity]]이 있으므로) 결합 순서를 바꿀 수 있고, RHS는 [[영,zero]]이 덧셈의 항등원^^[additive_identity]^^이므로 $0+$ 를 삭제할 수 있으므로
 $x+[a+(-a)]=-a$
 $x+0=-a$
 $x=-a$

----
RENAMETHISPAGE