Microsoft MVP성태의 닷넷 이야기
Math: 24. GeoGebra 기하 (1) - 수직 이등분선 [링크 복사], [링크+제목 복사]
조회: 10885
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
(연관된 글이 26개 있습니다.)

GeoGebra 기하 (1) - 수직 이등분선

지오지브라 수학 앱을 이용해,

GeoGebra 기하 - 컴퍼스와 자를 이용한 작도 프로그램
; https://www.sysnet.pe.kr/2/0/11568

선분을 정확히 이등분하는, 그래서 정확히 직각으로 선을 긋는 방법을 작도해 보겠습니다. 우선, "Basic Tools"의 "Segment" 도구를 이용해 선분 AB를 그어봅니다.

bisector_1.png

오호~~~ 그런데 Segment 도구로 그린 경우 아쉽게도 라벨을 안 붙여주는군요. 괜찮습니다. "Edit"의 "Show / Hide Label" 도구를 선택하면 이후 찍는 점마다 알파벳순으로 라벨을 붙여줍니다. 다음과 같이.

bisector_2.png

점의 라벨이 생겼으니, 이제 설명하기가 더 쉬워졌군요. ^^ 이제 "Circles" (또는, "Basic Tools")의 "Circle with Center through Point" 도구를 이용해 점 A와 점 B를 중심으로 각각의 AB 선분에 해당하는 반지름을 가진 원을 그려줍니다.

bisector_3.png

"Basic Tools"의 "Point" 도구를 이용해 원의 교점 부분을 각각 선택해 주고, (또한 "Show / Hide Label" 도구로 C, D 라벨을 붙입니다.)

bisector_4.png

그렇게 해서 정해진 점 C와 점 D를 "Segment" 도구로 연결한 선분 CD와 선분 AB가 만나는 점이 바로 선분 AB의 이등분 점입니다.

bisector_5.png

마지막으로 "Steps" 보기를 이용해 원하는 기하 요소만 보여주도록 바꾸면 다음과 같이 선분 AB를 이등분하는 점 E를 남겨 놓을 수 있습니다.

bisector_6.png

(첨부 파일은 위의 작도를 담은 ggb 파일입니다.)




이와 같은 기하 작도는 선분을 이등분하므로 대수 연산으로 바꿔보면 "a / 2" 연산을 한 것과 같습니다. 그리고 점 E를 결정하기 위해 그어졌던 선분 CD는 선분 AB와 직각을 이루게 됩니다. 실제로 직각을 이루는지 "Measure"의 "Angle"도구를 선택하고 점 C, E, B를 차례대로 선택하면 각 CEB의 수치를 보여줍니다.

bisector_7.png

보는 바와 같이 정확히 직각을 이루고 있습니다. (물론, 여기서는 "Measure"의 기능을 설명하기 위해 일부러 그런 것이고 원래는 "증명"을 해야 합니다.)

그런데, 향후에도 이등분 또는 수직선이 필요한 경우 이렇게 귀찮은 작업을 또 해야 하는 걸까요? 사실, 이미 한번 증명된 절차는 다른 복잡한 증명에서 또 재현하는 것이 여간 귀찮은 작업이 아닐 수 없습니다. 이를 위해 "지오지브라 수학 앱"은 대표적인 기하 작도에 대해 미리 기능을 제공하는 것이 있습니다.

이번 글에서 배운 이등분의 경우, 앞으로는 다음과 같이 선분 AB에 대해 "Construct"의 "Midpoint or Center"를 이용해 점을 잡을 수 있습니다.

bisector_8.png

또한 수직선은 "Construct"의 "Perpendicular Bisector" 도구를 이용해 다음과 같이 간단하게 작도할 수 있습니다.

bisector_9.png




그나저나, 이번 글을 통해 도구에서 다음과 같은 많은 기능들을 다룰 수 있었습니다. ^^

Basic Tools
    Move (화면을 움직이기 위해 무심코 사용했을 기능)
    Point
    Segment
    Circle with Center through Point

Edit
    Show / Hide Label

Construct
    Midpoint or Center
    Perpendicular Bisector

Measure
    Angle

Lines
    Segment

Circles
    Circle with Center through Point

도구 상자의 아이콘을 이렇게 하나씩 알아가는 것도 재미있겠지요. ^^




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[연관 글]






[최초 등록일: ]
[최종 수정일: 7/1/2018]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 




1  2  3  4  [5]  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13509정성태1/3/20242123오류 유형: 887. .NET Core 2 이하의 프로젝트에서 System.Runtime.CompilerServices.Unsafe doesn't support netcoreapp2.0.
13508정성태1/3/20242142오류 유형: 886. ORA-28000: the account is locked
13507정성태1/2/20242820닷넷: 2191. C# - IPGlobalProperties를 이용해 netstat처럼 사용 중인 Socket 목록 구하는 방법파일 다운로드1
13506정성태12/29/20232391닷넷: 2190. C# - 닷넷 코어/5+에서 달라지는 System.Text.Encoding 지원
13505정성태12/27/20232941닷넷: 2189. C# - WebSocket 클라이언트를 닷넷으로 구현하는 예제 (System.Net.WebSockets)파일 다운로드1
13504정성태12/27/20232520닷넷: 2188. C# - ASP.NET Core SignalR로 구현하는 채팅 서비스 예제파일 다운로드1
13503정성태12/27/20232382Linux: 67. WSL 환경 + mlocate(locate) 도구의 /mnt 디렉터리 검색 문제
13502정성태12/26/20232482닷넷: 2187. C# - 다른 프로세스의 환경변수 읽는 예제파일 다운로드1
13501정성태12/25/20232295개발 환경 구성: 700. WSL + uwsgi - IPv6로 바인딩하는 방법
13500정성태12/24/20232360디버깅 기술: 194. Windbg - x64 가상 주소를 물리 주소로 변환
13498정성태12/23/20233046닷넷: 2186. 한국투자증권 KIS Developers OpenAPI의 C# 래퍼 버전 - eFriendOpenAPI NuGet 패키지
13497정성태12/22/20232449오류 유형: 885. Visual Studiio - error : Could not connect to the remote system. Please verify your connection settings, and that your machine is on the network and reachable.
13496정성태12/21/20232431Linux: 66. 리눅스 - 실행 중인 프로세스 내부의 환경변수 설정을 구하는 방법 (gdb)
13495정성태12/20/20232400Linux: 65. clang++로 공유 라이브러리의 -static 옵션 빌드가 가능할까요?
13494정성태12/20/20232534Linux: 64. Linux 응용 프로그램의 (C++) so 의존성 줄이기(ReleaseMinDependency) - 두 번째 이야기
13493정성태12/19/20232626닷넷: 2185. C# - object를 QueryString으로 직렬화하는 방법
13492정성태12/19/20232311개발 환경 구성: 699. WSL에 nopCommerce 예제 구성
13491정성태12/19/20232258Linux: 63. 리눅스 - 다중 그룹 또는 사용자를 리소스에 권한 부여
13490정성태12/19/20232384개발 환경 구성: 698. Golang - GLIBC 의존을 없애는 정적 빌드 방법
13489정성태12/19/20232166개발 환경 구성: 697. GoLand에서 ldflags 지정 방법
13488정성태12/18/20232095오류 유형: 884. HTTP 500.0 - 명령행에서 실행한 ASP.NET Core 응용 프로그램을 실행하는 방법
13487정성태12/16/20232401개발 환경 구성: 696. C# - 리눅스용 AOT 빌드를 docker에서 수행 [1]
13486정성태12/15/20232214개발 환경 구성: 695. Nuget config 파일에 값 설정/삭제 방법
13485정성태12/15/20232095오류 유형: 883. dotnet build/restore - error : Root element is missing
13484정성태12/14/20232171개발 환경 구성: 694. Windows 디렉터리 경로를 WSL의 /mnt 포맷으로 구하는 방법
13483정성태12/14/20232314닷넷: 2184. C# - 하나의 resource 파일을 여러 프로그램에서 (AOT 시에도) 사용하는 방법파일 다운로드1
1  2  3  4  [5]  6  7  8  9  10  11  12  13  14  15  ...