22. ÇÇŸ°í¶ó½º Á¤¸®ÀÇ ÆÄǪ½ºÀÇ È®Àå



 

ÇÇŸ°í¶ó½º Á¤¸®¿¡ ´ëÇÑ °¡Àå ¶Ù¾î³­ È®ÀåÀº °í´ë ±×¸®½ºÀÇ ¼öÇÐÀÚ ÀÎ ¾Ë·º»êµå¸®¾ÆÀÇ ÆÄǪ½º(Pappus, A.D. 300)ÀÇ ¼öÇÐÁý¼º Mathematical Collection  Á¦4±Ç¿¡ ³ª¿Í ÀÖ´Ù.
ÆÄǪ½º´Â ÇÇŸ°í¶ó½ºÀÇ Á¤¸®¸¦ ±×¸²°ú °°ÀÌ È®ÀåÇß´Ù.

¡âABC¸¦ ÀÓÀÇÀÇ »ï°¢ÇüÀ̶ó°í Çϰí,  ÆòÇà»ç¸éº¯ CADE¿Í  CBFG¸¦ º¯ CA¿Í CB¿¡ ¿ÜÁ¢Çϴ ÀÓÀÇÀÇ ÆòÇà»çº¯ÇüÀ̶ó°í ÇÏÀÚ.  DE¿Í  FG´Â H¿¡¼­ ¸¸³ª°í, AL°ú BMÀº HC¿Í ±æÀ̰¡ °°°í ÆòÇàÇϵµ·Ï ±×¸®ÀÚ. ±×·¯¸é

³ÐÀÌ(ABML) = ³ÐÀÌ(CADE) + ³ÐÀÌ(CBFG)

¿Ö³ÄÇϸé,  ³ÐÀÌ(CADE) = ³ÐÀÌ(CAUH) = ³ÐÀÌ(SLAR)
       ÀÌ°í  ³ÐÀÌ(SLAR) = ³ÐÀÌ(CBVH) = ³ÐÀÌ(SMBR) À̹ǷÎ

  ¡Å     ³ÐÀÌ(CADE) + ³ÐÀÌ(CBFG)
       = ³ÐÀÌ(SLAR) + ³ÐÀÌ(SMBR) = ³ÐÀÌ(ABML)

----------------- ¡Ä ------------------

(Âü°í : ¼öÇÐÀÇ À§´ëÇÑ ¼ø°£µé, °æ¹®»ç, H.Eves, pp42-43)
Âü°í :
http://www.cut-the-knot.org/pythagoras/index.shtml Proof #17