제안 46. 주어진 직선에 정사각형을 작도하기.
Proposition 46 To describe a square on a given straight line.
Let AB be the given straight line.
It is required to describe a square on the straight line AB.
Draw AC at right angles to the straight line AB from the point A on it. Make AD equal to AB. Draw DE through the point D parallel to AB, and draw BE through the point B parallel to AD.
Then ADEB is a parallelogram. Therefore AB equals DE, and AD equals BE.
But AB equals AD, therefore the four straight lines BA, AD, DE, and EB equal one another. Therefore the parallelogram ADEB is equilateral.
I say next that it is also right-angled.
Since the straight line AD falls upon the parallels AB and DE, therefore the sum of the angles BAD and ADE equals two right angles.
But the angle BAD is right, therefore the angle ADE is also right.
And in parallelogrammic areas the opposite sides and angles equal one another, therefore each of the opposite angles ABE and BED is also right. Therefore ADEB is right-angled.
And it was also proved equilateral.
Therefore it is a square, and it is described on the straight line AB.
### 덧붙이는 말 ###
### 그리스어 원문과 번역 ###
'수리/자연과학' 카테고리의 다른 글
유클리드 기본모음 제안 48. 피타고라스 공식은 직각삼각형이 되기 위한 충분조건이다 (0) | 2012.10.08 |
---|---|
유클리드 기본모음 제안 47. 직각삼각형의 피타고라스 공식에 대한 평면기하적 "증명" (0) | 2012.10.08 |
유클리드 기본모음 제안 45. 주어진 다각형의 면적과 주어진 각을 갖는 평행사변형의 작도 (0) | 2012.10.08 |
유클리드 기본모음 제안 44. 주어진 삼각형의 면적과 주어진 내각을 갖는 평행사변형의 작도 (0) | 2012.10.08 |
유클리드 기본모음 제안 43. 평행사변형에서 대각선의 한 점을 두 평행선이 만드는 평행사변형들에 대하여 (0) | 2012.10.08 |