이차 정사각행렬 A=(acbd)에 대하여 ∣A∣를 ∣A∣=ad−bc로 정의한다.
다음은 명제 “두 이차 정사각행렬 A,B에 대하여 AB의 역행렬이 존재하면 A,B 모두 역행렬이 존재한다.”를 증명하는 과정이다.
A=(acbd), B=(xzyw)라고 하면
AB=(acbd)(xzyw)=(ax+bzcx+dzay+bwcy+dw)이다.
AB의 역행렬이 존재하면 (가)이다.
∣AB∣=(ax+bz)(cy+dw)−(ay+bw)(cx+dz)=adxw+bcyz−bcxw−adyz=ad×((나))−bc×((나))=(ad−bc)×((나))=∣A∣∣B∣ (가)이므로 (다)이다.
따라서 A,B 모두 역행렬이 존재한다.
위의 증명에서 (가), (나), (다)에 알맞은 것을 순서대로 나열하면? [3점]