Ⅰ. 거짓<반례>
다음 그림과 같이 잡으면
A = 1 2 × 3 4 = 3 8 > 1 4 \displaystyle A = \frac{1}{2} \times \frac{3}{4} = \frac{3}{8} > \frac{1}{4} A = 2 1 × 4 3 = 8 3 > 4 1 , C = 1 2 × 3 4 = 3 8 > 1 4 \displaystyle C = \frac{1}{2} \times \frac{3}{4} = \frac{3}{8} > \frac{1}{4} C = 2 1 × 4 3 = 8 3 > 4 1
Ⅱ. 거짓<반례>
A = 2 3 × 1 3 = 2 9 < 1 4 \displaystyle A = \frac{2}{3} \times \frac{1}{3} = \frac{2}{9} < \frac{1}{4} A = 3 2 × 3 1 = 9 2 < 4 1 , D = 2 3 × 1 3 = 2 9 < 1 4 \displaystyle D = \frac{2}{3} \times \frac{1}{3} = \frac{2}{9} < \frac{1}{4} D = 3 2 × 3 1 = 9 2 < 4 1
Ⅲ. 참
A = x y > 1 4 \displaystyle A = xy > \frac{1}{4} A = x y > 4 1
D = ( 1 − x ) ( 1 − y ) D = ( 1 - x ) ( 1 - y ) D = ( 1 − x ) ( 1 − y ) = 1 − ( x + y ) + x y = 1 - ( x + y ) + xy = 1 − ( x + y ) + x y
산술기하평균에서
x + y ≥ 2 x y \displaystyle x + y \geq 2 \sqrt{xy} x + y ≥ 2 x y 이므로
D ≤ 1 − 2 A + A \displaystyle D \leq 1 - 2 \sqrt{A} + A D ≤ 1 − 2 A + A = ( A − 1 ) 2 < 1 4 ( ∵ A > 1 4 ) \displaystyle = ( \sqrt{A} - 1 ) ^{2} < \frac{1}{4} \left( \because A > \frac{1}{4} \right) = ( A − 1 ) 2 < 4 1 ( ∵ A > 4 1 )
[별해]
그림에서 A = a b , B = b ( 1 − a ) A = ab , B = b ( 1 - a ) A = ab , B = b ( 1 − a ) ,
C = a ( 1 − b ) , D = ( 1 − a ) ( 1 − b ) C = a ( 1 - b ) , D = ( 1 - a ) ( 1 - b ) C = a ( 1 − b ) , D = ( 1 − a ) ( 1 − b ) 이다.
따라서, A D = B C , A + B + C + D = 1 AD = BC , A + B + C + D = 1 A D = B C , A + B + C + D = 1 인 관계가 성립한다.
A + B + C + D = 1 = ( A + D ) + ( B + C ) A + B + C + D = 1 = ( A + D ) + ( B + C ) A + B + C + D = 1 = ( A + D ) + ( B + C )
≥ 2 A D + 2 B C = 4 A D \displaystyle \geq 2 \sqrt{AD} + 2 \sqrt{BC} = 4 \sqrt{AD} ≥ 2 A D + 2 B C = 4 A D
∴ A D ≤ 1 4 \displaystyle \therefore \sqrt{AD} \leq \frac{1}{4} ∴ A D ≤ 4 1 에서 A D ≤ 1 16 \displaystyle AD \leq \frac{1}{16} A D ≤ 16 1
따라서 A > 1 4 \displaystyle A > \frac{1}{4} A > 4 1 이면 D < 1 4 \displaystyle D < \frac{1}{4} D < 4 1 이 성립한다.