■ 다음 제시문을 읽고 문제에 답하시오. [문제 1]
고대 이집트의 수학 문제를 다룬 아메스 파피루스(기원전 1650년경)에는 사각형의 넓이에 관한 문제가 있는데, 오른쪽 그림과 같이 연속한 네 변의 길이가 a,b,c,d인 사각형의 넓이 S를 다음과 같이 계산하고 있다.

S=2a+c⋅2b+d ⋯⋯①
이 공식이 정확하지 않음을 쉽게 확인할 수 있는데, 신기하게도 이 공식이 중국과 우리나라의 전통 수학에도 나타난다.
이런 사각형의 넓이 S를 찾는 정확한 공식은 다음과 같다.
S=(p−a)(p−b)(p−c)(p−d)−abcdcos2α ⋯⋯②
(단, 2p=a+b+c+d, 2α는 두 대각의 크기의 합)
(1) 공식 ①로 넓이의 참값을 구할 수 있는 사각형의 예를 들어보시오. 그리고 공식 ①을 일반적으로 적용할 수 없는 이유를 구체적인 예를 들어 설명하시오.
(2) 인도의 수학자 브라마굽타는 오른쪽 그림과 같이 연속한 네 변의 길이가 a,b,c,d이고 원에 내접하는 사각형 ABCD의 넓이 S를 구하는 다음과 같은 공식을 발견했다.

S=(p−a)(p−b)(p−c)(p−d) ⋯⋯③
(단, 2p=a+b+c+d)
이 사각형에서 ∠A의 크기를 A라 할 때,
[1] 코사인 법칙을 이용해서 cosA=2(ad+bc)a2+d2−b2−c2을 유도하고,
[2] 삼각형의 넓이 공식을 이용해서 S=21(ad+bc)sinA를 유도한 다음에,
[3] 이런 결과를 이용해서 공식 ③을 증명하시오.
(3) 일반적인 공식 ②는 다음과 같이 증명할 수 있다.

오른쪽 그림과 같이 볼록 사각형 ABCD에서 연속한 네 변의 길이를 a,b,c,d라 하고, 마주보는 ∠A와 ∠C의 크기를 각각 A와 C라 하면, S=21adsinA+21bcsinC이고, a2+d2−b2−c2=2adcosA−2bccosC이 성립한다.
그러므로 다음을 얻는다.
16S2=(2adsinA+2bcsinC)2+(2adcosA−2bccosC)2−(a2+d2−b2−c2)2
={4a2d2+4b2c2+8abcd−(a2+d2−b2−c2)2}−8abcd(1+cosAcosC−sinAsinC)
=(b+c+a−d)(b+c−a+d)(a+d+b−c)(a+d−b+c)−16abcdcos2α,
S2=(2a+b+c−d)(2b+c−a+d)(2a+b−c+d)(2a−b+c+d)−abcdcos2α,
S=(s−a)(s−b)(s−c)(s−d)−abcdcos2αCorrection. 마지막 식의 s는 앞에서 정의한 p의 오기이다. 그러나 원칙에 따라 원문 표기를 그대로 실었다.
위의 증명 과정에서 이용한 다음 등식을 증명하시오.
1+cosAcosC−sinAsinC=2cos2α