오차 안의 길이들을 모두 허용하면 화단이 납작해질 수도 있다

중앙 길이로는 만들 수 있어도 허용오차의 최악 조합에서는 옆변이 부족하다. 모든 조합의 존재 보장은 엄격한 부등식을 요구한다.

검은 눈금과 숫자가 있는 초록색 줄자가 일부 말린 모습

사진: Jacek Halicki · CC BY-SA 4.0 · 원본 출처

대칭인 사다리꼴 화단의 길이를 정했지만 각 목재 길이에 허용오차가 있다. 가운데 수로 한 번 계산해 만들 수 있으면, 오차 범위의 어느 길이가 와도 만들 수 있을까? 같은 옆변 길이를 L, 긴 밑변을 B, 짧은 밑변을 b라 한다.

B∈[3.95,4.05],b∈[1.95,2.05],L∈[1.04,1.06]B\in[3.95,4.05],\quad b\in[1.95,2.05],\quad L\in[1.04,1.06]

길이는 범위 안에서 서로 독립적으로 선택될 수 있다. 대칭이므로 한쪽 옆변의 가로 길이는 (B−b)/2다. 높이 h는 h²=L²−{(B−b)/2}²를 만족하며, 실제 넓이가 있는 화단을 만들려면 h>0이어야 한다.

중앙값 4,2,1.05를 넣으면 h²=1.1025−1=0.1025라 양수다. 그러나 B=4.05,b=1.95,L=1.04를 택하면 h²=1.0816−1.1025=−0.0209다. 이 허용 조합에서는 옆변이 가로 차를 연결하기에도 짧아 사다리꼴을 만들 수 없다.

모든 조합의 양수 높이 보장⟺Lmin⁡>Bmax⁡−bmin⁡2\text{모든 조합의 양수 높이 보장}\quad\Longleftrightarrow\quad L_{\min}>\frac{B_{\max}-b_{\min}}2

범위 전체에서 B>b, L>0이라는 이번 조건 아래 최대 가로 차와 최소 옆변을 비교하면 된다. 최소 옆변을 정확히 1.05로 올려도 최악 조합은 높이 0이라 충분하지 않다. 교사는 계산 오차가 작다는 말과 존재 조건의 여유가 충분하다는 말을 구별하게 한다. 원문의 실제 목재 절단 정확도 문제에서 착안했지만 위 길이 구간은 새로 만든 설계 조건이다.

출처·착안: Math in the real world: Gardening. 위 문항과 해설은 원문 관점에서 착안해 새로 작성했습니다.