5.3 및 5장 마무리 정리: 6단계 구조(에지행렬→세 분해→Q 부피 불변→R 밑변×높이, QR 분해 전 과정 보충, 자작 SVG 4장), 하이라이트 13건 연결·OCR 교정 6건, 연습문제 8제(1·3·4·5·6·7·9·10) 해설, 5장 고찰+핵심문제 5선(해설 블록 id 5개 부여), 스스로 점검 3문 카드화(사용자), CLAUDE.md 진행 상황 갱신
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_018JYaHeD41WPAk5P5wBojQe
This commit is contained in:
songyc macbook
parent
bbe9794ead
commit
97866e15c4
@ -149,7 +149,7 @@ disable-anki-sync:: true
|
||||
- **해답집**: `Major Study/assets/solution_1784335983942_0.pdf` — 스트랭 6판 공식 영문 솔루션 (전 챕터). 문제 번호는 한국어판과 동일하다. 각 챕터의 "Problem Set x.y" 헤더로 위치를 찾는다 (1장 해답: PDF 2~18쪽).
|
||||
- **PDF 읽는 법**: 단원 PDF는 스캔+OCR본이라 텍스트 레이어의 수식이 깨져 있다. 정리할 때는 **Read 도구로 페이지를 시각적으로 읽는다** (pdftoppm/poppler 설치됨). 이미지 추출·edn 좌표 파싱은 PyMuPDF(`import fitz`, 설치됨)를 쓴다.
|
||||
- **쪽번호 오프셋**: 1장 PDF는 책 쪽번호 = PDF 쪽번호 + 18. 2장 PDF는 책 쪽번호 = PDF 쪽번호 + 70. 단원 PDF마다 오프셋이 다를 수 있으니 첫 몇 쪽으로 확인할 것.
|
||||
- **진행 상황 (2026-08-31 기준)**: **1~4장 완전 종료** (정리·카드화·「이 단원 핵심문제」 복습까지). 그래프 3분할·Anki 프로파일 3분할·모델명 이전·AnkiWeb 계정 분리·모바일 Working Copy 전환 모두 완결. **현재: 5장 행렬식 진행 중 (소단원별 사이클)**. **5.1 완전 종료** (정리·연습문제 7제(1·3·5·6·13·16·18)·사용자 풀이 완료·카드화·Anki 싱크). **5.2 「행렬식의 계산과 응용」 정리 완료**: 8단계 구조(고윳값 λ 수위조절·식6 상세·detAB 증명 3수 구조·EX1/EX2 상세·큰 공식 재구성), 하이라이트 31개(2차 5개 포함) 연결, 추출 이미지 16개 + 자작 SVG 1개(치환 6개 그리드), OCR 교정 15건, 연습문제 8제(1·2·3·5·7·10·13·16) 해설, 스스로 점검 8문 전부 사용자 #card 카드화·Anki 싱크 완료. 5.2는 굿노트 없이 진행(사용자 판단, 필기 적으면 생략 가능 선례). **현재 단계: 사용자가 5.2 연습문제 풀 예정** (질문에 "수정하지 말고 답변만"이 붙으면 파일을 건드리지 않는다). 5장 쪽번호 오프셋: 책 쪽 = PDF 쪽 + 278 (총 24쪽, 5.2 본문은 PDF 11~16·연습문제 1~19번은 PDF 16~19쪽). 해답집 Problem Set 5.1은 해답 PDF 83~84쪽, 5.2는 84~86쪽. ⚠️ 해답집 불일치 이력 (한국어판 행렬 원문부터 재확인할 것): 5.1 문제 6 (한국어판 정답 −1, 해답집 4), 5.2 문제 2 detC (한국어판 [A 0;0 A] 기준 4, 해답집 −1), 그리고 **해답집 5.2의 13·14·15·17·18번은 한국어판과 아예 다른 문제** (원서 구성 차이, 시계 벡터 등) → 이 번호들은 해답집을 무시하고 직접 풀이·검산. 다음: 5.3 (마지막 절, 「5장 고찰」+「이 단원 핵심문제」 동반). 2장에서 확립된 방식(🧩 행렬 형태 명시·숫자 예제 먼저·단계 지도·흔한 오해 교정·자작 SVG) 계속 적용. 이해 안 되는 부분 요청 시 해당 블록만 보강하는 패턴 유지.
|
||||
- **진행 상황 (2026-08-31 기준)**: **1~4장 완전 종료** (정리·카드화·「이 단원 핵심문제」 복습까지). 그래프 3분할·Anki 프로파일 3분할·모델명 이전·AnkiWeb 계정 분리·모바일 Working Copy 전환 모두 완결. **현재: 5장 행렬식 진행 중 (소단원별 사이클)**. **5.1 완전 종료** (정리·연습문제 7제(1·3·5·6·13·16·18)·사용자 풀이 완료·카드화·Anki 싱크). **5.2 완전 종료** (정리·연습문제 8제(1·2·3·5·7·10·13·16)·카드화 8문·Anki 싱크). **5.3 「행렬식을 이용한 넓이와 부피 계산」 정리 완료 + 5장 마무리 완료**: 5.3은 6단계 구조(에지행렬→그림5.1→세 분해 식3→Q 부피 불변→R 밑변×높이(QR 분해 전 과정 보충 포함)→조립·변환 관점), 자작 SVG 4장, 하이라이트 13개(2차 1개 포함) 연결, OCR 교정 6건, 연습문제 8제(1·3·4·5·6·7·9·10) 해설, 스스로 점검 3문 사용자 #card. 5장 페이지에 「5장에 대한 고찰」+「이 단원 핵심문제」 5선(5.1-13, 5.1-16, 5.2-5, 5.2-16, 5.3-6, 해설 블록에 id 부여) 작성 완료. 5.2·5.3은 굿노트 없이 진행(사용자 판단, 필기 적으면 생략 가능 선례). **현재 단계: 사용자가 5.3 연습문제 풀 예정** (질문에 "수정하지 말고 답변만"이 붙으면 파일을 건드리지 않는다). 이후 5장 완전 종료 시 `bak/goodnotes/5.1 굿노트.pdf` 삭제(장 단위 규칙), 다음 Anki 싱크 예상 create +3(5.3 카드). 5장 쪽번호 오프셋: 책 쪽 = PDF 쪽 + 278 (총 24쪽, 5.3 본문은 PDF 19~23·연습문제 1~15번은 PDF 23~24쪽). 해답집 Problem Set 5.1은 해답 PDF 83~84쪽, 5.2는 84~86쪽, 5.3은 87~88쪽. ⚠️ 해답집 불일치 이력 (한국어판 행렬 원문부터 재확인할 것): 5.1 문제 6 (한국어판 정답 −1, 해답집 4), 5.2 문제 2 detC (한국어판 [A 0;0 A] 기준 4, 해답집 −1), **해답집 5.2의 13·14·15·17·18번은 한국어판과 아예 다른 문제**, **영문판 5.3 해설은 9번까지뿐** (한국어판 10~15번 해설 없음) → 이런 번호들은 해답집을 무시하고 직접 풀이·검산. 다음: 6장 고윳값. 2장에서 확립된 방식(🧩 행렬 형태 명시·숫자 예제 먼저·단계 지도·흔한 오해 교정·자작 SVG) 계속 적용. 이해 안 되는 부분 요청 시 해당 블록만 보강하는 패턴 유지.
|
||||
- ## 단원 PDF 내보내기 (아이디어, 요청 시 구현)
|
||||
- 사용자가 "n단원 pdf로 만들어줘"라고 하면, 그 단원 페이지 + 거기 링크된 소단원 페이지들을 묶어 Logseq에서 보이는 느낌의 PDF 한 부로 만든다 (2026-08-20 가능성만 확인해 둔 상태, **아직 미구현**. 사용자가 필요할 때 요청하기로 함).
|
||||
- 파이프라인: ① 단원 페이지에서 `[[x.y ...]]` 링크를 수집해 페이지 목록 구성 → ② Logseq 문법 전처리: 속성 줄(`id::`·`deck::`·`collapsed::` 등) 숨김, `{{c1 ...}}` cloze는 괄호 벗겨 일반 텍스트화, `((uuid))`는 hls 페이지에서 원문 텍스트를 찾아 "📌 ... (p.n)"으로 치환, `../assets/` 이미지 경로 절대경로화 → ③ 불릿 계층 CSS(흰 배경, Logseq풍) + KaTeX 수식 렌더링 HTML 생성 → ④ Chrome 헤드리스 `--headless --print-to-pdf`로 변환.
|
||||
|
||||
BIN
Major Study/assets/5장_5.3_QR회전_밑변높이.png
Executable file
BIN
Major Study/assets/5장_5.3_QR회전_밑변높이.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 70 KiB |
28
Major Study/assets/5장_5.3_QR회전_밑변높이.svg
Executable file
28
Major Study/assets/5장_5.3_QR회전_밑변높이.svg
Executable file
@ -0,0 +1,28 @@
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 760 450" font-family="'Helvetica Neue', Arial, 'Apple SD Gothic Neo', 'Malgun Gothic', sans-serif">
|
||||
<rect width="760" height="450" fill="#ffffff"/>
|
||||
<defs><marker id="ar1d4ed8" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#1d4ed8"/></marker><marker id="area580c" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#ea580c"/></marker><marker id="ar059669" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#059669"/></marker><marker id="ar6b7280" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#6b7280"/></marker></defs>
|
||||
<text x="380" y="32" font-size="20" fill="#111827" text-anchor="middle" font-weight="bold">E = QR의 기하: 회전해서 밑변을 눕히면 넓이가 보인다</text>
|
||||
<polygon points="80,360 266,298 328,174 142,236" fill="#dbeafe" fill-opacity="0.65"/>
|
||||
<line x1="266" y1="298" x2="328" y2="174" stroke="#9ca3af" stroke-width="2" stroke-dasharray="6 5"/>
|
||||
<line x1="142" y1="236" x2="328" y2="174" stroke="#9ca3af" stroke-width="2" stroke-dasharray="6 5"/>
|
||||
<line x1="80" y1="360" x2="266" y2="298" stroke="#1d4ed8" stroke-width="3" marker-end="url(#ar1d4ed8)"/>
|
||||
<line x1="80" y1="360" x2="142" y2="236" stroke="#ea580c" stroke-width="3" marker-end="url(#area580c)"/>
|
||||
<text x="274" y="314" font-size="17" fill="#1d4ed8" text-anchor="start" font-weight="bold" font-style="italic">e₁</text>
|
||||
<text x="112" y="230" font-size="17" fill="#ea580c" text-anchor="start" font-weight="bold" font-style="italic">e₂</text>
|
||||
<text x="200" y="415" font-size="16" fill="#374151" text-anchor="middle" font-weight="bold">기울어진 상자 E</text>
|
||||
<line x1="345" y1="250" x2="425" y2="250" stroke="#6b7280" stroke-width="3" marker-end="url(#ar6b7280)"/>
|
||||
<text x="385" y="232" font-size="16" fill="#111827" text-anchor="middle" font-weight="bold">Qᵀ로 회전</text>
|
||||
<text x="385" y="275" font-size="13.5" fill="#374151" text-anchor="middle">길이·각도·</text>
|
||||
<text x="385" y="292" font-size="13.5" fill="#374151" text-anchor="middle">넓이 불변</text>
|
||||
<polygon points="455,360 651.0626,360 749.0908,261.97180000000003 553.0282,261.97180000000003" fill="#dcfce7" fill-opacity="0.8"/>
|
||||
<line x1="651.0626" y1="360" x2="749.0908" y2="261.97180000000003" stroke="#9ca3af" stroke-width="2" stroke-dasharray="6 5"/>
|
||||
<line x1="553.0282" y1="261.97180000000003" x2="749.0908" y2="261.97180000000003" stroke="#9ca3af" stroke-width="2" stroke-dasharray="6 5"/>
|
||||
<line x1="455" y1="360" x2="651.0626" y2="360" stroke="#1d4ed8" stroke-width="3" marker-end="url(#ar1d4ed8)"/>
|
||||
<line x1="455" y1="360" x2="553.0282" y2="261.97180000000003" stroke="#ea580c" stroke-width="3" marker-end="url(#area580c)"/>
|
||||
<line x1="553.0282" y1="261.97180000000003" x2="553.0282" y2="360" stroke="#dc2626" stroke-width="2.5" stroke-dasharray="5 4"/>
|
||||
<line x1="455" y1="376" x2="651.0626" y2="376" stroke="#374151" stroke-width="1.5"/>
|
||||
<text x="553.0313" y="396" font-size="15.5" fill="#374151" text-anchor="middle" font-weight="bold">밑변 u = √10</text>
|
||||
<text x="561.0282" y="315.9859" font-size="15.5" fill="#dc2626" text-anchor="start" font-weight="bold">높이 w = 5/√10</text>
|
||||
<text x="741.0908" y="249.97180000000003" font-size="16" fill="#059669" text-anchor="end" font-weight="bold">넓이 = u·w = detR = 5</text>
|
||||
<text x="605" y="415" font-size="16" fill="#374151" text-anchor="middle" font-weight="bold">눕혀진 상자 R (밑변이 x축 위)</text>
|
||||
</svg>
|
||||
|
After Width: | Height: | Size: 3.7 KiB |
BIN
Major Study/assets/5장_5.3_문제5_삼각형두개.png
Executable file
BIN
Major Study/assets/5장_5.3_문제5_삼각형두개.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 62 KiB |
28
Major Study/assets/5장_5.3_문제5_삼각형두개.svg
Executable file
28
Major Study/assets/5장_5.3_문제5_삼각형두개.svg
Executable file
@ -0,0 +1,28 @@
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 760 430" font-family="'Helvetica Neue', Arial, 'Apple SD Gothic Neo', 'Malgun Gothic', sans-serif">
|
||||
<rect width="760" height="430" fill="#ffffff"/>
|
||||
<defs><marker id="ar1d4ed8" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#1d4ed8"/></marker><marker id="area580c" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#ea580c"/></marker><marker id="ar059669" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#059669"/></marker><marker id="ar6b7280" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#6b7280"/></marker></defs>
|
||||
<text x="380" y="30" font-size="19" fill="#111827" text-anchor="middle" font-weight="bold">문제 5: v = (3, 2), w = (1, 4)가 만드는 삼각형 두 가지</text>
|
||||
<line x1="70" y1="350" x2="320" y2="350" stroke="#9ca3af" stroke-width="1.2"/>
|
||||
<line x1="90" y1="365" x2="90" y2="60" stroke="#9ca3af" stroke-width="1.2"/>
|
||||
<polygon points="90,350 225,260 270,80" fill="#dbeafe" fill-opacity="0.7"/>
|
||||
<line x1="90" y1="350" x2="225" y2="260" stroke="#1d4ed8" stroke-width="3" marker-end="url(#ar1d4ed8)"/>
|
||||
<text x="235" y="274" font-size="15" fill="#1d4ed8" text-anchor="start" font-weight="bold">v = (3, 2)</text>
|
||||
<line x1="225" y1="260" x2="270" y2="80" stroke="#ea580c" stroke-width="3" marker-end="url(#area580c)"/>
|
||||
<text x="262" y="180" font-size="15" fill="#ea580c" text-anchor="start" font-weight="bold">w</text>
|
||||
<line x1="90" y1="350" x2="270" y2="80" stroke="#6b7280" stroke-width="2"/>
|
||||
<text x="278" y="76" font-size="15" fill="#111827" text-anchor="start" font-weight="bold">v+w = (4, 6)</text>
|
||||
<text x="185" y="245" font-size="16" fill="#dc2626" text-anchor="middle" font-weight="bold">넓이 5</text>
|
||||
<text x="200" y="405" font-size="16" fill="#374151" text-anchor="middle" font-weight="bold">(b) 변 v, w, v+w</text>
|
||||
<line x1="450" y1="350" x2="700" y2="350" stroke="#9ca3af" stroke-width="1.2"/>
|
||||
<line x1="470" y1="365" x2="470" y2="60" stroke="#9ca3af" stroke-width="1.2"/>
|
||||
<polygon points="470,350 605,260 515,170" fill="#dbeafe" fill-opacity="0.7"/>
|
||||
<line x1="470" y1="350" x2="605" y2="260" stroke="#1d4ed8" stroke-width="3" marker-end="url(#ar1d4ed8)"/>
|
||||
<text x="615" y="266" font-size="15" fill="#1d4ed8" text-anchor="start" font-weight="bold">v = (3, 2)</text>
|
||||
<line x1="470" y1="350" x2="515" y2="170" stroke="#ea580c" stroke-width="3" marker-end="url(#area580c)"/>
|
||||
<text x="491" y="160" font-size="15" fill="#ea580c" text-anchor="start" font-weight="bold">w = (1, 4)</text>
|
||||
<line x1="605" y1="260" x2="515" y2="170" stroke="#6b7280" stroke-width="2.5" marker-end="url(#ar6b7280)"/>
|
||||
<text x="590.0" y="197.0" font-size="14.5" fill="#6b7280" text-anchor="start" font-weight="bold">w−v = (−2, 2)</text>
|
||||
<text x="530.75" y="264.5" font-size="16" fill="#dc2626" text-anchor="middle" font-weight="bold">넓이 5</text>
|
||||
<text x="580" y="405" font-size="16" fill="#374151" text-anchor="middle" font-weight="bold">(c) 변 v, w, w−v</text>
|
||||
<text x="380" y="428" font-size="10" fill="#111827" text-anchor="start"></text>
|
||||
</svg>
|
||||
|
After Width: | Height: | Size: 3.3 KiB |
BIN
Major Study/assets/5장_5.3_에지행렬_평행사변형.png
Executable file
BIN
Major Study/assets/5장_5.3_에지행렬_평행사변형.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 84 KiB |
32
Major Study/assets/5장_5.3_에지행렬_평행사변형.svg
Executable file
32
Major Study/assets/5장_5.3_에지행렬_평행사변형.svg
Executable file
@ -0,0 +1,32 @@
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 760 520" font-family="'Helvetica Neue', Arial, 'Apple SD Gothic Neo', 'Malgun Gothic', sans-serif">
|
||||
<rect width="760" height="520" fill="#ffffff"/>
|
||||
<defs><marker id="ar1d4ed8" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#1d4ed8"/></marker><marker id="area580c" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#ea580c"/></marker><marker id="ar059669" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#059669"/></marker><marker id="ar6b7280" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#6b7280"/></marker></defs>
|
||||
<text x="380" y="34" font-size="21" fill="#111827" text-anchor="middle" font-weight="bold">에지행렬 E: 열 = 원점에서 뻗는 에지(변)</text>
|
||||
<line x1="60" y1="430" x2="560" y2="430" stroke="#9ca3af" stroke-width="1.5"/>
|
||||
<line x1="130" y1="480" x2="130" y2="70" stroke="#9ca3af" stroke-width="1.5"/>
|
||||
<text x="555" y="450" font-size="15" fill="#6b7280" text-anchor="middle" font-style="italic">x</text>
|
||||
<text x="112" y="80" font-size="15" fill="#6b7280" text-anchor="middle" font-style="italic">y</text>
|
||||
<polygon points="130,430 394,342 482,166 218,254" fill="#dbeafe" fill-opacity="0.65" stroke="none"/>
|
||||
<line x1="394" y1="342" x2="482" y2="166" stroke="#9ca3af" stroke-width="2" stroke-dasharray="6 5"/>
|
||||
<line x1="218" y1="254" x2="482" y2="166" stroke="#9ca3af" stroke-width="2" stroke-dasharray="6 5"/>
|
||||
<line x1="130" y1="430" x2="394" y2="342" stroke="#1d4ed8" stroke-width="3" marker-end="url(#ar1d4ed8)"/>
|
||||
<line x1="130" y1="430" x2="218" y2="254" stroke="#ea580c" stroke-width="3" marker-end="url(#area580c)"/>
|
||||
<circle cx="130" cy="430" r="4.5" fill="#111827"/>
|
||||
<text x="120" y="456" font-size="17" fill="#374151" text-anchor="start" font-weight="bold">(0, 0)</text>
|
||||
<circle cx="394" cy="342" r="4.5" fill="#1d4ed8"/>
|
||||
<text x="408" y="360" font-size="17" fill="#1d4ed8" text-anchor="start" font-weight="bold">e₁ = (3, 1)</text>
|
||||
<circle cx="218" cy="254" r="4.5" fill="#ea580c"/>
|
||||
<text x="102" y="252" font-size="17" fill="#ea580c" text-anchor="start" font-weight="bold">e₂ = (1, 2)</text>
|
||||
<circle cx="482" cy="166" r="4.5" fill="#111827"/>
|
||||
<text x="494" y="160" font-size="17" fill="#111827" text-anchor="start" font-weight="bold">e₁+e₂ = (4, 3)</text>
|
||||
<text x="632" y="190" font-size="18" fill="#111827" text-anchor="middle" font-weight="bold">E = [e₁ e₂]</text>
|
||||
<path d="M 588 215 h -10 v 76 h 10" stroke="#111827" stroke-width="2" fill="none"/>
|
||||
<path d="M 676 215 h 10 v 76 h -10" stroke="#111827" stroke-width="2" fill="none"/>
|
||||
<text x="610" y="245" font-size="19" fill="#1d4ed8" text-anchor="middle">3</text>
|
||||
<text x="654" y="245" font-size="19" fill="#ea580c" text-anchor="middle">1</text>
|
||||
<text x="610" y="280" font-size="19" fill="#1d4ed8" text-anchor="middle">1</text>
|
||||
<text x="654" y="280" font-size="19" fill="#ea580c" text-anchor="middle">2</text>
|
||||
<text x="632" y="330" font-size="17" fill="#111827" text-anchor="middle">detE = 3·2 − 1·1 = 5</text>
|
||||
<text x="632" y="358" font-size="17" fill="#dc2626" text-anchor="middle" font-weight="bold">넓이 = |detE| = 5</text>
|
||||
<text x="380" y="496" font-size="15.5" fill="#374151" text-anchor="middle">꼭짓점 4개 = 0, e₁, e₂, e₁+e₂ (에지들의 부분합). 변 e₁, e₂인 삼각형은 절반: 넓이 5/2</text>
|
||||
</svg>
|
||||
|
After Width: | Height: | Size: 3.5 KiB |
BIN
Major Study/assets/5장_5.3_평행육면체_에지3개.png
Executable file
BIN
Major Study/assets/5장_5.3_평행육면체_에지3개.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 112 KiB |
43
Major Study/assets/5장_5.3_평행육면체_에지3개.svg
Executable file
43
Major Study/assets/5장_5.3_평행육면체_에지3개.svg
Executable file
@ -0,0 +1,43 @@
|
||||
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 760 480" font-family="'Helvetica Neue', Arial, 'Apple SD Gothic Neo', 'Malgun Gothic', sans-serif">
|
||||
<rect width="760" height="480" fill="#ffffff"/>
|
||||
<defs><marker id="ar1d4ed8" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#1d4ed8"/></marker><marker id="area580c" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#ea580c"/></marker><marker id="ar059669" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#059669"/></marker><marker id="ar6b7280" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M0,0 L10,5 L0,10 z" fill="#6b7280"/></marker></defs>
|
||||
<text x="380" y="34" font-size="21" fill="#111827" text-anchor="middle" font-weight="bold">평행육면체: 에지 3개가 모든 것을 결정한다</text>
|
||||
<polygon points="162,240 357,225 437,163 242,178" fill="#dcfce7" fill-opacity="0.55"/>
|
||||
<polygon points="140,390 335,375 357,225 162,240" fill="#dbeafe" fill-opacity="0.55"/>
|
||||
<line x1="140" y1="390" x2="335" y2="375" stroke="#6b7280" stroke-width="2"/>
|
||||
<line x1="140" y1="390" x2="162" y2="240" stroke="#6b7280" stroke-width="2"/>
|
||||
<line x1="335" y1="375" x2="357" y2="225" stroke="#6b7280" stroke-width="2"/>
|
||||
<line x1="162" y1="240" x2="357" y2="225" stroke="#6b7280" stroke-width="2"/>
|
||||
<line x1="162" y1="240" x2="242" y2="178" stroke="#6b7280" stroke-width="2"/>
|
||||
<line x1="357" y1="225" x2="437" y2="163" stroke="#6b7280" stroke-width="2"/>
|
||||
<line x1="242" y1="178" x2="437" y2="163" stroke="#6b7280" stroke-width="2"/>
|
||||
<line x1="335" y1="375" x2="415" y2="313" stroke="#6b7280" stroke-width="2"/>
|
||||
<line x1="415" y1="313" x2="437" y2="163" stroke="#6b7280" stroke-width="2"/>
|
||||
<line x1="140" y1="390" x2="220" y2="328" stroke="#6b7280" stroke-width="2" stroke-dasharray="6 5"/>
|
||||
<line x1="220" y1="328" x2="415" y2="313" stroke="#6b7280" stroke-width="2" stroke-dasharray="6 5"/>
|
||||
<line x1="220" y1="328" x2="242" y2="178" stroke="#6b7280" stroke-width="2" stroke-dasharray="6 5"/>
|
||||
<line x1="140" y1="390" x2="335" y2="375" stroke="#1d4ed8" stroke-width="3.5" marker-end="url(#ar1d4ed8)"/>
|
||||
<line x1="140" y1="390" x2="220" y2="328" stroke="#ea580c" stroke-width="3.5" marker-end="url(#area580c)"/>
|
||||
<line x1="140" y1="390" x2="162" y2="240" stroke="#059669" stroke-width="3.5" marker-end="url(#ar059669)"/>
|
||||
<circle cx="140" cy="390" r="4" fill="#111827"/>
|
||||
<text x="114" y="410" font-size="16" fill="#111827" text-anchor="start" font-weight="bold">0</text>
|
||||
<circle cx="335" cy="375" r="4" fill="#1d4ed8"/>
|
||||
<text x="345" y="395" font-size="16" fill="#1d4ed8" text-anchor="start" font-weight="bold" font-style="italic">e₁</text>
|
||||
<circle cx="220" cy="328" r="4" fill="#ea580c"/>
|
||||
<text x="228" y="322" font-size="16" fill="#ea580c" text-anchor="start" font-weight="bold" font-style="italic">e₂</text>
|
||||
<circle cx="162" cy="240" r="4" fill="#059669"/>
|
||||
<text x="132" y="236" font-size="16" fill="#059669" text-anchor="start" font-weight="bold" font-style="italic">e₃</text>
|
||||
<circle cx="415" cy="313" r="4" fill="#111827"/>
|
||||
<text x="427" y="315" font-size="16" fill="#374151" text-anchor="start" font-weight="bold">e₁+e₂</text>
|
||||
<circle cx="357" cy="225" r="4" fill="#111827"/>
|
||||
<text x="367" y="217" font-size="16" fill="#374151" text-anchor="start" font-weight="bold">e₁+e₃</text>
|
||||
<circle cx="242" cy="178" r="4" fill="#111827"/>
|
||||
<text x="176" y="168" font-size="16" fill="#374151" text-anchor="start" font-weight="bold">e₂+e₃</text>
|
||||
<circle cx="437" cy="163" r="4" fill="#111827"/>
|
||||
<text x="447" y="155" font-size="16" fill="#111827" text-anchor="start" font-weight="bold">e₁+e₂+e₃</text>
|
||||
<text x="560" y="300" font-size="16.5" fill="#111827" text-anchor="start" font-weight="bold">꼭짓점 8개 = 에지들의 부분합</text>
|
||||
<text x="560" y="326" font-size="14.5" fill="#374151" text-anchor="start">(0 포함, e₁+e₂ 같은 합 전부)</text>
|
||||
<text x="560" y="366" font-size="16.5" fill="#111827" text-anchor="start">E = [e₁ e₂ e₃] (열 = 에지)</text>
|
||||
<text x="560" y="394" font-size="17.5" fill="#dc2626" text-anchor="start" font-weight="bold">부피 = |detE|</text>
|
||||
<text x="380" y="456" font-size="15.5" fill="#374151" text-anchor="middle">기울어진 상자라도 면 6개는 전부 평행사변형이고, 에지 3개가 정하면 나머지는 자동이다</text>
|
||||
</svg>
|
||||
|
After Width: | Height: | Size: 4.5 KiB |
BIN
Major Study/assets/5장_p298_평행사변형넓이_식1.png
Executable file
BIN
Major Study/assets/5장_p298_평행사변형넓이_식1.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 116 KiB |
BIN
Major Study/assets/5장_p298_평행육면체부피_식2.png
Executable file
BIN
Major Study/assets/5장_p298_평행육면체부피_식2.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 139 KiB |
BIN
Major Study/assets/5장_p299_그림5-1_조각붙이기.png
Executable file
BIN
Major Study/assets/5장_p299_그림5-1_조각붙이기.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 228 KiB |
BIN
Major Study/assets/5장_p299_세가지분해_목록.png
Executable file
BIN
Major Study/assets/5장_p299_세가지분해_목록.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 144 KiB |
BIN
Major Study/assets/5장_p299_에지행렬_정의.png
Executable file
BIN
Major Study/assets/5장_p299_에지행렬_정의.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 73 KiB |
BIN
Major Study/assets/5장_p300_R상자_밑변높이_그림.png
Executable file
BIN
Major Study/assets/5장_p300_R상자_밑변높이_그림.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 110 KiB |
BIN
Major Study/assets/5장_p300_부피_세분해_식3.png
Executable file
BIN
Major Study/assets/5장_p300_부피_세분해_식3.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 82 KiB |
BIN
Major Study/assets/5장_p300_행렬곱_직교행렬곱_비교.png
Executable file
BIN
Major Study/assets/5장_p300_행렬곱_직교행렬곱_비교.png
Executable file
Binary file not shown.
|
After Width: | Height: | Size: 88 KiB |
@ -883,5 +883,209 @@
|
||||
:rects (),
|
||||
:page 16},
|
||||
:content {:text "[:span]", :image 1788102291398},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a96867c-f26c-4c97-a5f9-cbe1bf19ec0b",
|
||||
:page 20,
|
||||
:position {:bounding {:x1 100,
|
||||
:y1 298.33203125,
|
||||
:x2 596,
|
||||
:y2 354.33203125,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects (),
|
||||
:page 20},
|
||||
:content {:text "[:span]", :image 1788249722627},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a9686ab-a6e9-4866-975b-5fc95535a348",
|
||||
:page 20,
|
||||
:position {:bounding {:x1 108,
|
||||
:y1 560.33203125,
|
||||
:x2 603,
|
||||
:y2 623.33203125,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects (),
|
||||
:page 20},
|
||||
:content {:text "[:span]", :image 1788249769407},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a968798-124a-4f68-9737-9dd85893f248",
|
||||
:page 21,
|
||||
:position {:bounding {:x1 57,
|
||||
:y1 592,
|
||||
:x2 562,
|
||||
:y2 649,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects (),
|
||||
:page 21},
|
||||
:content {:text "[:span]", :image 1788250007338},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a96879e-39f8-4a74-93bd-037f483fdf86",
|
||||
:page 21,
|
||||
:position {:bounding {:x1 83.85416497290134,
|
||||
:y1 661.3063735961914,
|
||||
:x2 364.2291497141123,
|
||||
:y2 676.5842056274414,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects ({:x1 83.85416497290134,
|
||||
:y1 661.3063735961914,
|
||||
:x2 364.2291497141123,
|
||||
:y2 676.5842056274414,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904}),
|
||||
:page 21},
|
||||
:content {:text " 평행 육면체의 부피 가 Idet | 임을 증명하는 것이다."},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a9687e0-0cb7-4da4-ad19-b36a16cf2364",
|
||||
:page 22,
|
||||
:position {:bounding {:x1 104,
|
||||
:y1 150.5,
|
||||
:x2 613,
|
||||
:y2 198.5,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects (),
|
||||
:page 22},
|
||||
:content {:text "[:span]", :image 1788250078745},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a968827-60d6-4a26-9d43-9675aa7e5e50",
|
||||
:page 22,
|
||||
:position {:bounding {:x1 108.05120934545994,
|
||||
:y1 281.5429992675781,
|
||||
:x2 611.0690239816904,
|
||||
:y2 318.1640319824219,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects ({:x1 357.7582329660654,
|
||||
:y1 281.5429992675781,
|
||||
:x2 611.0690239816904,
|
||||
:y2 293.3485412597656,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904}
|
||||
{:x1 108.05120934545994,
|
||||
:y1 306.3584899902344,
|
||||
:x2 296.26268853247166,
|
||||
:y2 318.1640319824219,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904}),
|
||||
:page 22},
|
||||
:content {:text "직교행렬 Q를 영역 의 각 점에 곱해도 해당 영역의 부피가 변하지 않는다는 것이다."},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a968846-4ee0-4278-876f-a0f9648f6fef",
|
||||
:page 22,
|
||||
:position {:bounding {:x1 107,
|
||||
:y1 335.193359375,
|
||||
:x2 562,
|
||||
:y2 393.193359375,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects (),
|
||||
:page 22},
|
||||
:content {:text "[:span]", :image 1788250181568},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a96887d-15e7-4d41-a612-20f72a08e6fa",
|
||||
:page 22,
|
||||
:position {:bounding {:x1 108.05120934545994,
|
||||
:y1 404.5897979736328,
|
||||
:x2 488.78035821020603,
|
||||
:y2 416.39540100097656,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects ({:x1 108.05120934545994,
|
||||
:y1 404.5897979736328,
|
||||
:x2 488.78035821020603,
|
||||
:y2 416.39540100097656,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904}),
|
||||
:page 22},
|
||||
:content {:text "직교행렬 Q 에 의한 회전으로 길이, 각도 , 모양, 부피 는 변하지 않는다 "},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a968884-600a-4313-80c5-a4d770add366",
|
||||
:page 22,
|
||||
:position {:bounding {:x1 147.55858696997166,
|
||||
:y1 571.6254119873047,
|
||||
:x2 510.57613457739353,
|
||||
:y2 583.4309539794922,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects ({:x1 147.55858696997166,
|
||||
:y1 571.6254119873047,
|
||||
:x2 510.57613457739353,
|
||||
:y2 583.4309539794922,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904}),
|
||||
:page 22},
|
||||
:content {:text "밑변과 높이는 E= QR에 있는 행렬 R 의 주대각성 분 \"와 \" 이다"},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a968889-8d28-4f39-b89d-2b9d9e9270d2",
|
||||
:page 22,
|
||||
:position {:bounding {:x1 107.12889946997166,
|
||||
:y1 546.9943695068359,
|
||||
:x2 202.58814324438572,
|
||||
:y2 560.1887664794922,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects ({:x1 107.12889946997166,
|
||||
:y1 546.9943695068359,
|
||||
:x2 202.58814324438572,
|
||||
:y2 560.1887664794922,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904}),
|
||||
:page 22},
|
||||
:content {:text "R 은 삼각행렬 이다"},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a96889a-2be8-48bd-bd90-490ad3197508",
|
||||
:page 22,
|
||||
:position {:bounding {:x1 109.91752709448338,
|
||||
:y1 706.7056922912598,
|
||||
:x2 612.3480767160654,
|
||||
:y2 769.8350257873535,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects ({:x1 499.99999321997166,
|
||||
:y1 706.7056922912598,
|
||||
:x2 612.3480767160654,
|
||||
:y2 719.9001502990723,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904}
|
||||
{:x1 109.91752709448338,
|
||||
:y1 732.465274810791,
|
||||
:x2 610.8507012277842,
|
||||
:y2 745.6596717834473,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904}
|
||||
{:x1 109.91752709448338,
|
||||
:y1 758.029483795166,
|
||||
:x2 442.64559258520603,
|
||||
:y2 769.8350257873535,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904}),
|
||||
:page 22},
|
||||
:content {:text "R 의 주대각성분들을곱 하면 평행 육면체 의 부피를 구할 수 있고 , 이 값이 바로 삼각행렬 R 의 행렬식 이다 . IdetQ =1이고 det =detR | 이므로 부피 공식 IdetEl는 증명 된다"},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a97adba-9686-4ca0-9d53-49806dd9c50e",
|
||||
:page 22,
|
||||
:position {:bounding {:x1 108,
|
||||
:y1 605,
|
||||
:x2 608,
|
||||
:y2 692,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects (),
|
||||
:page 22},
|
||||
:content {:text "[:span]", :image 1788325305059},
|
||||
:properties {:color "yellow"}}
|
||||
{:id #uuid "6a97d347-80b5-4b06-adf8-cf64236f5379",
|
||||
:page 21,
|
||||
:position {:bounding {:x1 70,
|
||||
:y1 728.443359375,
|
||||
:x2 558,
|
||||
:y2 835.443359375,
|
||||
:width 664.9999999999999,
|
||||
:height 940.4996169843904},
|
||||
:rects (),
|
||||
:page 21},
|
||||
:content {:text "[:span]", :image 1788334918237},
|
||||
:properties {:color "yellow"}}],
|
||||
:extra {:page 13}}
|
||||
:extra {:page 22}}
|
||||
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 48 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 54 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 36 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 72 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 39 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 44 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 61 KiB |
@ -226,6 +226,7 @@ deck:: Logseq/전공공부/선형대수학
|
||||
- 이유: (3행) − (2행) = (2행) − (1행) = $(3, 3, 3)$. 행들이 종속이다 (2행 × 2 = 1행 + 3행).
|
||||
- 핵심 문장: 6개 항의 합이 0으로 상쇄되는 행렬은 우연이 아니라 행이나 열이 종속인 특이행렬이다.
|
||||
- **문제 13**: 랭크 1 행렬 $A = \begin{bmatrix} 1 \\ 2 \\ 3 \end{bmatrix} \begin{bmatrix} 1 & -4 & 5 \end{bmatrix}$ 와 반대칭행렬 $B = \begin{bmatrix} 0 & 1 & 3 \\ -1 & 0 & 4 \\ -3 & -4 & 0 \end{bmatrix}$ 의 행렬식을 구하라.
|
||||
id:: 7d4f738f-0530-4db1-96ba-007ca74a5496
|
||||
- 🔁 개념 상기:
|
||||
- 랭크 1 행렬의 모든 행은 한 벡터의 배수다 (3.2절의 열 × 행 관점).
|
||||
- 반대칭(skew-symmetric)은 $B^{\mathrm{T}} = -B$. 그리고 $\det B^{\mathrm{T}} = \det B$ 다 (이 절 연습문제 8에서 증명하는 사실).
|
||||
@ -239,6 +240,7 @@ deck:: Logseq/전공공부/선형대수학
|
||||
- ⚠️ 홀수 차수라서 0이다. 짝수 차수 반대칭은 $(-1)^n = +1$ 이라 이 논법이 통하지 않고, 실제로 $\begin{bmatrix} 0 & 1 \\ -1 & 0 \end{bmatrix}$ 의 행렬식은 1이다.
|
||||
- 핵심 문장: 랭크 1 행렬은 $\det = 0$. 홀수 차수 반대칭행렬도 $\det B = (-1)^n \det B$ 논법으로 항상 $\det = 0$ 이다.
|
||||
- **문제 16**: 모든 여인수가 0이면 $A$ 의 역행렬이 존재하지 않음을 어떻게 아는가? 반대로 모든 여인수가 0이 아니면 $A$ 는 항상 가역인가?
|
||||
id:: 3b156a7e-7f13-40c0-a71c-5acd297ddf18
|
||||
- 🔁 개념 상기: 여인수 공식 $\det A = a_{11}C_{11} + \cdots + a_{1n}C_{1n}$ 과 판정 "$\det A = 0 \Leftrightarrow$ 비가역".
|
||||
- 앞 방향: 여인수가 전부 0이면 여인수 공식의 모든 항이 0 → $\det A = 0$ → 비가역. **안다**.
|
||||
- 뒷 방향: **아니다**. 반례: 모든 성분이 1인 2×2 행렬 $\begin{bmatrix} 1 & 1 \\ 1 & 1 \end{bmatrix}$.
|
||||
|
||||
@ -271,6 +271,7 @@ deck:: Logseq/전공공부/선형대수학
|
||||
- 관찰 (해답집): 소거 관점으로는 "2열에 피벗이 없다"가 같은 이야기다.
|
||||
- 핵심 문장: 행렬식이 0인 것은 한 가지 사실의 세 얼굴이다: 여인수 전부 0, 같은 행 2개(랭크 부족), 모든 항에 0 인수.
|
||||
- **문제 5** (p.295): 크레이머 규칙 $x_j = \det B_j / \det A$ 로 다음을 풀어라.
|
||||
id:: 69773600-0b7e-4fdb-985f-242100904fae
|
||||
- 🔁 개념 상기: $B_j$ 는 $A$ 의 $j$ 열을 $b$ 로 바꾼 행렬. 행렬식 $(n+1)$ 개를 만들고 나누면 끝.
|
||||
- (a) $2x_1 + 5x_2 = 1$, $x_1 + 4x_2 = 2$:
|
||||
- $\det A = \begin{vmatrix} 2 & 5 \\ 1 & 4 \end{vmatrix} = 8 - 5 = 3$
|
||||
@ -324,6 +325,7 @@ deck:: Logseq/전공공부/선형대수학
|
||||
- 💡 분수 피벗이 나와도 곱하면 깔끔한 값이 된다. 행 교환을 했다면 교환 횟수만큼 $-1$ 을 곱해야 한다는 것만 기억.
|
||||
- 핵심 문장: 행 교환이 없으면 $\det A = $ 피벗들의 곱, 행 교환이 있으면 $\pm$ 이 붙는다.
|
||||
- **문제 16** (p.296): $4 \times 4$ 큰 공식의 항 $\pm a_{12}a_{21}a_{34}a_{43}$, $\pm a_{13}a_{22}a_{31}a_{44}$, $\pm a_{11}a_{22}a_{34}a_{43}$ 에 대해 $\det P$ 가 $+1$ 인지 $-1$ 인지 결정하라.
|
||||
id:: e7bd01b2-46cd-44d5-91fd-9bb4278d7da1
|
||||
- 🔁 개념 상기: 항 $a_{1j_1}a_{2j_2}a_{3j_3}a_{4j_4}$ 의 부호는 열 첨자 순서 $(j_1, j_2, j_3, j_4)$ 를 $(1, 2, 3, 4)$ 로 만드는 데 필요한 교환 횟수의 짝홀이다.
|
||||
- (a) $a_{12}a_{21}a_{34}a_{43}$: 열 순서 $(2, 1, 4, 3)$.
|
||||
- $2 \leftrightarrow 1$, $4 \leftrightarrow 3$ 교환 2번 (짝수). $\det P = +1$.
|
||||
|
||||
230
Major Study/pages/5.3 행렬식을 이용한 넓이와 부피 계산.md
Executable file
230
Major Study/pages/5.3 행렬식을 이용한 넓이와 부피 계산.md
Executable file
@ -0,0 +1,230 @@
|
||||
deck:: Logseq/전공공부/선형대수학
|
||||
|
||||
- ### 핵심 개념
|
||||
- **단계 지도**: 이 절의 목표는 단 하나, "부피 = $|\det E|$" 다. 공식 자체는 [1단계]에서 끝난다. 나머지는 이 공식이 **왜** 성립하는지를 기하와 선형대수의 만남으로 증명하는 여정이다.
|
||||
- [1단계] 무엇을 계산하나: 넓이 식 (1), 부피 식 (2), 에지행렬 $E$
|
||||
- [2단계] 기하 워밍업: 조각 붙이기 (그림 5.1)와 그 한계
|
||||
- [3단계] 선형대수의 길: 세 가지 분해와 식 (3)
|
||||
- [4단계] 열쇠 하나: 직교행렬 $Q$ 는 부피를 바꾸지 않는다
|
||||
- [5단계] 나머지 절반: $R$ 상자의 부피는 밑변 곱하기 높이
|
||||
- [6단계] 증명 조립과 변환 관점
|
||||
- #### [1단계] 무엇을 계산하나: 에지행렬과 두 공식
|
||||
- 답부터 (이 절의 결론 두 줄):
|
||||
- 📌 원문 식 (1) (p.298): [🔗 PDF 위치](((6a96867c-f26c-4c97-a5f9-cbe1bf19ec0b)))
|
||||
- 
|
||||
- 📌 원문 식 (2) (p.298): [🔗 PDF 위치](((6a9686ab-a6e9-4866-975b-5fc95535a348)))
|
||||
- 
|
||||
- 용어부터 정리하면, **에지(edge)** 는 원점에서 뻗어 나가는 변 벡터다.
|
||||
- 2차원: 평행사변형은 에지 2개 $e_1 = (a, b)$, $e_2 = (c, d)$ 로 완전히 결정된다. 네 번째 꼭짓점은 자동으로 $e_1 + e_2$.
|
||||
- $n$ 차원: 평행육면체는 에지 $n$ 개 $e_1, \ldots, e_n$ 으로 완전히 결정된다. 모든 꼭짓점은 에지들의 부분합이다.
|
||||
- **에지행렬(edge matrix)** $E$: 에지들을 **열**로 세운 행렬. 이 행렬의 행렬식이 넓이·부피를 준다.
|
||||
- 📌 원문 에지행렬 정의 (p.299): [🔗 PDF 위치](((6a968798-124a-4f68-9737-9dd85893f248)))
|
||||
- 
|
||||
- 🔢 숫자로 먼저 체험: $e_1 = (3, 1)$, $e_2 = (1, 2)$.
|
||||
- 
|
||||
- $\det E = 3 \cdot 2 - 1 \cdot 1 = 5$. 넓이는 $|\det E| = 5$, 계산 끝.
|
||||
- 밑변·높이로 검산해 보면 고마움이 느껴진다: 밑변 $\|e_1\| = \sqrt{10}$, 높이 $= 5/\sqrt{10}$. 곱하면 5. 루트가 나타났다 사라지는 지저분한 길이다.
|
||||
- 💡 이것이 이 절의 첫 번째 포인트다: **높이에는 루트가 들어가지만 넓이에는 루트가 없다**. 행렬식이 그 지저분함을 알아서 상쇄한다.
|
||||
- 3차원 그림 (기울어진 상자):
|
||||
- 
|
||||
- 기울어진 상자라도 면 6개는 전부 평행사변형이고, 꼭짓점 8개는 $0, e_1, e_2, e_3, e_1{+}e_2, e_1{+}e_3, e_2{+}e_3, e_1{+}e_2{+}e_3$ 으로 자동 결정된다.
|
||||
- ⚠️ 절댓값이 붙는 이유: 행렬식은 음수가 될 수 있지만 (열 순서를 바꾸면 부호 반전) 넓이·부피는 음수일 수 없다. 그래서 공식마다 $\pm$ 또는 $|\cdot|$ 가 붙는다.
|
||||
- #### [2단계] 기하 워밍업: 조각 붙이기와 그 한계
|
||||
- 순수 기하로도 2차원 넓이 $ad - bc$ 는 증명할 수 있다. 그림 5.1: 평행사변형에 조각 6개를 붙이면 큰 직사각형이 된다.
|
||||
- 
|
||||
- (p.299, 그림 5.1. 하이라이트가 없어 직접 추출한 이미지)
|
||||
- $(a+c)(b+d) - 2bc - ab - cd = ad - bc$. 직사각형에서 조각 6개를 빼면 끝.
|
||||
- 문제는 이 방식이 **3차원부터 급격히 힘들어진다**는 것 (조각을 붙여 직육면체를 만드는 상상은 되지만 실행이 고약하다).
|
||||
- 그래서 책의 선언: "대수학을 사용할수록 기하학을 덜 사용하게 된다". 조각 붙이기 대신 **행렬 분해**로 증명한다. 이것이 기하와 선형대수가 만나는 방식이다.
|
||||
- #### [3단계] 선형대수의 길: 세 가지 분해와 식 (3)
|
||||
- 목표 선언:
|
||||
- 📌 원문 (p.299): ((6a96879e-39f8-4a74-93bd-037f483fdf86))
|
||||
- 전략: $E$ 를 "행렬식을 계산하기 쉬운 행렬들"로 분해한다. 이 책의 3대 분해가 모두 후보다.
|
||||
- $E = LU$ (2장 소거): 하삼각 $\times$ 상삼각
|
||||
- $E = QR$ (4.4 그람-슈미트): 직교행렬 $\times$ 삼각행렬
|
||||
- $E = U\Sigma V^{\mathrm{T}}$ (특잇값 분해, SVD): 직교 $\times$ 대각 $\times$ 직교
|
||||
- 📌 원문 세 가지 분해 (p.299): [🔗 PDF 위치](((6a97d347-80b5-4b06-adf8-cf64236f5379)))
|
||||
- 
|
||||
- 각 분해에서 "행렬식 크기가 1인 인수"를 떼어내면, 남는 인수가 $|\det E|$ 를 그대로 담는다:
|
||||
- $\det L = 1$ (주대각이 전부 1인 삼각행렬), $|\det Q| = |\det U_{\text{SVD}}| = |\det V| = 1$ (직교행렬, 5.2).
|
||||
- 곱 규칙(5.2 식 3)을 적용하면 식 (3)이 나온다:
|
||||
- 📌 원문 식 (3) (p.300): [🔗 PDF 위치](((6a9687e0-0cb7-4da4-ad19-b36a16cf2364)))
|
||||
- 
|
||||
- 여기서 $U$ 는 $LU$ 의 상삼각행렬, $R$ 은 $QR$ 의 삼각행렬, $\Sigma$ 는 SVD의 대각행렬이다. 셋 다 삼각·대각이라 행렬식은 주대각성분의 곱, 즉 계산이 쉽다.
|
||||
- 💡 선행 개념 수위 조절: $\Sigma$(시그마)는 **특잇값 분해(SVD)의 대각행렬이 맞다**. SVD는 7장에서 제대로 배우는 내용이고, 지금 알아야 할 것은 두 가지뿐이다.
|
||||
- ① 식 (3)의 네 행렬식이 전부 같은 값이라는 사실과 그 이유 (곱 규칙 + $|\det| = 1$ 인 인수들).
|
||||
- ② $\Sigma$ 는 대각행렬이라 "완전히 반듯한 직육면체"를 만든다는 그림 정도. 특잇값이 무엇인지, $U$ 와 $V$ 를 어떻게 구하는지는 7장 몫이다.
|
||||
- 반면 $LU$ 와 $QR$ 은 이미 배운 도구다 (2장 소거, 4.4 그람-슈미트). 이 절의 증명은 그중 $QR$ 을 쓴다.
|
||||
- ❓ 왜 하필 $QR$ 로 증명하나: $L$ 이나 $U$ 를 곱하는 변환은 도형을 찌그러뜨려서 (전단, shear) 부피 보존이 자명하지 않다. 반면 $Q$ 는 **회전**이라 부피를 안 바꾼다는 사실이 기하적으로 명백하다. 그 사실이 [4단계]다.
|
||||
- #### [4단계] 열쇠 하나: 직교행렬 Q는 부피를 바꾸지 않는다
|
||||
- 핵심 문장부터:
|
||||
- 📌 원문 (p.300): ((6a968827-60d6-4a26-9d43-9675aa7e5e50))
|
||||
- "영역의 각 점에 $Q$ 를 곱한다"는 말의 뜻부터 풀면: 영역 안의 모든 점 $x$ 를 새 점 $Qx$ 로 보낸다는 뜻이다.
|
||||
- 점을 하나하나 옮기면 도형 전체가 통째로 옮겨진다. 즉 **도형 전체를 회전(또는 반사)시켜 새 도형을 만드는 것**이다.
|
||||
- 예: 종이 위 삼각형에 $Q$ 를 곱하는 것 = 그 삼각형을 그대로 돌려놓는 것. 돌렸다고 넓이가 변할 리 없다. 이 직관을 대수로 보증하는 것이 아래 두 줄이다.
|
||||
- 왜 부피가 보존되나 (대수적 보증): 4.4에서 증명한 두 사실이 그대로 쓰인다.
|
||||
- 📌 원문 두 종류의 곱하기 비교 (p.300): [🔗 PDF 위치](((6a968846-4ee0-4278-876f-a0f9648f6fef)))
|
||||
- 
|
||||
- 임의의 행렬 곱하기: 직선은 직선으로 유지되지만 **넓이는 변할 수 있다** (늘리고 찌그러뜨림).
|
||||
- 직교행렬 $Q$ 곱하기: $x^{\mathrm{T}}x = (Qx)^{\mathrm{T}}(Qx)$ (길이 보존), $x^{\mathrm{T}}y = (Qx)^{\mathrm{T}}(Qy)$ (내적, 즉 사잇각 보존).
|
||||
- 길이와 각도가 전부 보존되면 도형의 **모양 자체가 그대로**다 (강체 회전). 모양이 그대로면 부피도 그대로다.
|
||||
- 📌 원문 (p.300): ((6a96887d-15e7-4d41-a612-20f72a08e6fa))
|
||||
- 반듯한 상자가 아닌 곡면 영역에도 통하는 이유 (책의 논증):
|
||||
- 영역을 작은 정육면체들 + 얇은 곡면 조각들로 잘게 나눈다. 곡면 조각들의 부피는 0에 가까워지고, 각 작은 정육면체는 $Q$ 에 의해 모양 그대로 옮겨진다.
|
||||
- 조각조각이 전부 보존되니 전체 부피도 보존된다.
|
||||
- 💡 같은 사실의 두 얼굴: 기하로 말하면 "회전은 부피 불변", 대수로 말하면 "$|\det Q| = 1$" (5.2에서 증명). 이 절의 부피 공식이 완성되면 이 둘은 같은 문장이 된다 (부피 배율 = $|\det|$).
|
||||
- #### [5단계] 나머지 절반: R 상자의 부피는 밑변 곱하기 높이
|
||||
- 📌 원문 (p.300): ((6a968889-8d28-4f39-b89d-2b9d9e9270d2))
|
||||
- $E = QR$ 에서 $Q$ 를 떼어내고 남은 $R$ 은 삼각행렬이다. $R$ 이 만드는 상자는 특별히 "밑변이 축 위에 눕혀진" 상자라서 부피를 직접 읽을 수 있다.
|
||||
- 📌 원문 (p.300): ((6a968884-600a-4313-80c5-a4d770add366))
|
||||
- 📌 원문 R 상자 그림 (p.300): [🔗 PDF 위치](((6a97adba-9686-4ca0-9d53-49806dd9c50e)))
|
||||
- ![R = [u v; 0 w] 상자의 밑변과 높이 (p.300)](../assets/5장_p300_R상자_밑변높이_그림.png)
|
||||
- 2차원으로 보면: $R = \begin{bmatrix} u & v \\ 0 & w \end{bmatrix}$ 의 두 에지는 $(u, 0)$ 과 $(v, w)$.
|
||||
- 첫 에지 $(u, 0)$ 은 $x$ 축 위에 눕혀진 밑변, 길이 $u$.
|
||||
- 둘째 에지 $(v, w)$ 에서 넓이에 기여하는 것은 **높이** $w$ **뿐**이다. $v$ 는 꼭대기를 옆으로 미는 성분(기울임)이라 넓이와 무관하다.
|
||||
- 그래서 넓이 $= u \times w = $ 주대각성분의 곱 $= \det R$. 삼각행렬의 행렬식(5.2 식 1)과 정확히 일치한다.
|
||||
- **보충**: $R$ 이 왜 하필 $\begin{bmatrix} u & v \\ 0 & w \end{bmatrix}$ 꼴인가 ($E = QR$ 분해 전 과정)
|
||||
- 막히는 지점부터: $E = QR$ 를 "미지수 여러 개짜리 연립방정식"으로 놓고 $Q$ 와 $R$ 를 동시에 구하려 하면 잘 안 풀린다. 그람-슈미트(4.4)는 **순서가 정해진 조립 절차**다. $q_1$ 을 먼저 만들고, $q_2$ 를 수직으로 만들고, $R$ 는 맨 나중에 내적으로 "읽는다".
|
||||
- [1] $q_1$ 만들기: 첫 에지 방향의 단위벡터.
|
||||
- $q_1 = e_1 / \|e_1\|$
|
||||
- [2] $q_2$ 만들기: $q_1$ 에 수직인 단위벡터. 2차원에서는 $q_1$ 을 90° 돌리면 끝이다 ($(x, y) \to (-y, x)$).
|
||||
- [3] $R$ 읽기: 각 에지를 새 직교 좌표축 $(q_1, q_2)$ 로 다시 쓴 좌표표가 $R$ 다. 직교 기저의 좌표는 내적으로 공짜였다 (4.4): $r_{ij} = q_i^{\mathrm{T}} e_j$, 한꺼번에 쓰면 $R = Q^{\mathrm{T}}E$.
|
||||
- $e_1 = u \, q_1 + 0 \, q_2$: $e_1$ 은 $q_1$ 방향 그 자체이므로 $q_2$ 성분이 없다.
|
||||
- 왼쪽 아래의 0은 미지수를 풀어서 나온 값이 아니라 **구조적인 0**이다: $q_2$ 를 $e_1$ 에 수직으로 만들었기 때문에 자동으로 0이 된다.
|
||||
- $e_2 = v \, q_1 + w \, q_2$: $v = q_1^{\mathrm{T}}e_2$ 는 $e_2$ 가 밑변 방향에 드리운 그림자, $w = q_2^{\mathrm{T}}e_2$ 는 밑변에 수직인 높이 성분이다.
|
||||
- 두 줄을 행렬로 묶으면 분해가 그대로 완성된다:
|
||||
- $$E = \begin{bmatrix} e_1 & e_2 \end{bmatrix} = \begin{bmatrix} q_1 & q_2 \end{bmatrix} \begin{bmatrix} u & v \\ 0 & w \end{bmatrix} = QR$$
|
||||
- 🔢 숫자로 전 과정 ($e_1 = (3, 1)$, $e_2 = (1, 2)$):
|
||||
- [1] $u = \|e_1\| = \sqrt{10}$, $q_1 = (3, 1)/\sqrt{10}$
|
||||
- [2] $q_2 = (-1, 3)/\sqrt{10}$ ($q_1$ 을 90° 회전)
|
||||
- [3] $v = q_1^{\mathrm{T}}e_2 = (3 \cdot 1 + 1 \cdot 2)/\sqrt{10} = 5/\sqrt{10}$, $w = q_2^{\mathrm{T}}e_2 = (-1 \cdot 1 + 3 \cdot 2)/\sqrt{10} = 5/\sqrt{10}$
|
||||
- $R = \begin{bmatrix} \sqrt{10} & 5/\sqrt{10} \\ 0 & 5/\sqrt{10} \end{bmatrix}$. 바로 아래 🔢 블록의 그 $R$ 가 여기서 나온 것이다.
|
||||
- 복원 검산: $u \, q_1 = \sqrt{10} \cdot (3, 1)/\sqrt{10} = (3, 1) = e_1$. 그리고 $v \, q_1 + w \, q_2 = \frac{5}{\sqrt{10}}(q_1 + q_2) = \frac{5}{10}(2, 4) = (1, 2) = e_2$. 일치.
|
||||
- 문자로 일반화 ($e_1 = (a, b)$, $e_2 = (c, d)$, 즉 $E = \begin{bmatrix} a & c \\ b & d \end{bmatrix}$):
|
||||
- $u = \sqrt{a^2 + b^2}$ (밑변 길이), $q_1 = (a, b)/u$, $q_2 = (-b, a)/u$
|
||||
- $v = q_1^{\mathrm{T}}e_2 = \frac{ac + bd}{\sqrt{a^2 + b^2}}$ (그림자 성분)
|
||||
- $w = q_2^{\mathrm{T}}e_2 = \frac{ad - bc}{\sqrt{a^2 + b^2}}$
|
||||
- $w$ 의 분자에서 **행렬식이 태어난다**: $ad - bc$. 그래서 (넓이) $= u \cdot w = \sqrt{a^2 + b^2} \cdot \frac{ad - bc}{\sqrt{a^2 + b^2}} = ad - bc$ 로 루트가 정확히 약분된다 ([1단계]의 "높이에는 루트가 있지만 넓이에는 없다"의 정체).
|
||||
- 낯익은 공식으로 읽으면 $w = (\text{넓이}) / (\text{밑변})$, 즉 높이 공식 그대로다.
|
||||
- ⚠️ 부호 주의: $ad - bc < 0$ 이면 $w$ 가 음수로 나온다 ($e_2$ 가 $q_2$ 의 반대쪽에 있는 경우). 넓이는 늘 $|u \cdot w|$ 로 읽으면 된다.
|
||||
- 💡 되새김: $Q$ 는 풀어야 할 미지수가 아니라 $e_1$ 이 정해 주는 회전이고, $R$ 는 그 회전된 축에서 읽은 에지들의 좌표다. $R$ 가 삼각행렬인 이유는 그람-슈미트가 순서대로 조립되어 $e_j$ 가 $q_1, \ldots, q_j$ 까지만 쓰기 때문이다.
|
||||
- 🔢 [1단계]의 예제를 실제로 돌려보면 ($e_1 = (3,1)$, $e_2 = (1,2)$):
|
||||
- 
|
||||
- $Q^{\mathrm{T}}$ 로 회전해 $e_1$ 을 $x$ 축에 눕히면 $R = \begin{bmatrix} \sqrt{10} & 5/\sqrt{10} \\ 0 & 5/\sqrt{10} \end{bmatrix}$.
|
||||
- 밑변 $u = \sqrt{10}$, 높이 $w = 5/\sqrt{10}$, 넓이 $= u \cdot w = 5$. 루트가 정확히 상쇄되고, [1단계]의 $|\det E| = 5$ 와 일치한다.
|
||||
- 💡 $R$ 의 주대각성분이 하는 일: $r_{11}$ 은 밑변, $r_{22}$ 는 첫 에지에 수직인 방향의 높이, $r_{33}$ 은 그 평면에 수직인 방향의 높이. **주대각성분 = 각 새 차원에서의 높이**다. 그래서 곱하면 (밑변) × (높이) × (높이) × … = 부피가 된다.
|
||||
- #### [6단계] 증명 조립과 변환 관점
|
||||
- 이제 부품을 조립하면 증명이 다섯 줄로 끝난다:
|
||||
- [1] $E = QR$ 로 분해한다 (4.4 그람-슈미트는 임의의 $E$ 에 적용 가능).
|
||||
- [2] $Q$ 는 회전: $E$ 상자와 $R$ 상자는 **모양이 같은 상자**다 (서로 돌려놓은 관계). 부피 동일 ([4단계]).
|
||||
- [3] $R$ 상자의 부피는 주대각성분들의 곱 $= |\det R|$ ([5단계]).
|
||||
- [4] 행렬식 쪽에서도 $|\det E| = |\det Q||\det R| = |\det R|$ (곱 규칙, $|\det Q| = 1$).
|
||||
- [5] 결론: (부피) $= |\det R| = |\det E|$. 증명 끝.
|
||||
- 📌 원문 증명 마무리 문장 (p.300): ((6a96889a-2be8-48bd-bd90-490ad3197508))
|
||||
- ⚠️ 흔한 오해 교정: "분해는 행렬식을 쉽게 만드는 계산 트릭일 뿐"이라고 생각하기 쉽지만, 이 증명에서 두 인수는 각각 **기하 동작**이다.
|
||||
- $Q$ = 상자를 돌려 밑변을 축에 눕히는 동작 (부피 그대로, 측정하기 좋은 자세로).
|
||||
- $R$ = 눕혀진 상자에서 밑변과 높이들을 읽어내는 장부 (주대각성분들).
|
||||
- 즉 $E = QR$ 는 "돌려놓고 읽는다"는 부피 측정 절차 그 자체다.
|
||||
- 💡 마무리 관점 (책의 마지막 문장): 도형의 모든 점에 행렬 $E$ 를 곱하면 부피는 정확히 $|\det E|$ 배가 된다.
|
||||
- 단위 정육면체(부피 1)가 $E$ 상자(부피 $|\det E|$)로 변하는 것이 대표 사례다.
|
||||
- 행렬식의 새 정체: **행렬식 = 그 행렬이 공간을 늘리는 부피 배율**. $\det = 0$ 이 "찌부러짐"(비가역)인 이유도 이 그림에서 자명해진다.
|
||||
- ### ❓ 스스로 점검
|
||||
- 에지행렬 $E$ 는 어떻게 만들고, 평행육면체의 꼭짓점들은 어떻게 얻는가?
|
||||
- 에지(원점에서 뻗는 변 벡터)들을 열로 세운 행렬이 $E$ 다.
|
||||
- 꼭짓점은 에지들의 모든 부분합이다 ($0$ 과 $e_1 + e_2$ 같은 합 전부, $n$ 차원에서 $2^n$ 개).
|
||||
- 넓이·부피 공식에 절댓값이 붙는 이유는?
|
||||
- 행렬식은 열 순서에 따라 음수가 될 수 있지만 넓이·부피는 음수일 수 없기 때문이다.
|
||||
- 행렬식을 통한 부피 증명에서 $E = QR$ 분해의 두 인수는 각각 어떤 기하 역할을 하는가? #card
|
||||
id:: 6a97d93c-3c55-49dd-b065-aa6c06c571d0
|
||||
- $Q$: 상자를 회전시켜 밑변을 축에 눕힌다. 길이·각도·모양·부피는 그대로다.
|
||||
- $R$: 눕혀진 상자의 밑변과 높이들이 주대각성분에 기록된 삼각행렬. 주대각 곱이 부피다.
|
||||
- 행렬식을 통한 부피 증명에서 직교행렬 $Q$ 가 도형의 부피를 보존하는 근거를 대수로 두 줄로 쓰면? #card
|
||||
id:: 6a97d93c-84e6-4ea8-a23f-8702beee46f8
|
||||
- $(Qx)^{\mathrm{T}}(Qx) = x^{\mathrm{T}}x$ (길이 보존), $(Qx)^{\mathrm{T}}(Qy) = x^{\mathrm{T}}y$ (각도 보존).
|
||||
- 길이와 각도가 다 보존되면 모양이 그대로이므로 부피도 그대로다. ($|\det Q| = 1$ 과 같은 사실의 두 얼굴.)
|
||||
- 식 (3) $|\det E| = |\det U| = |\det R| = |\det \Sigma|$ 가 성립하는 이유는? $\Sigma$ 는 무엇인가?
|
||||
- 세 분해에서 나머지 인수들($L$, $Q$, SVD의 $U$ 와 $V$)의 행렬식 크기가 전부 1이라, 곱 규칙으로 삼각·대각 인수만 남기 때문이다.
|
||||
- $\Sigma$ 는 특잇값 분해(SVD)의 대각행렬이다. SVD 자체는 7장에서 배운다.
|
||||
- $R = \begin{bmatrix} u & v \\ 0 & w \end{bmatrix}$ 상자에서 $v$ 가 넓이에 영향을 주지 않는 이유는?
|
||||
- $v$ 는 꼭대기 변을 밑변 방향으로 밀어 기울일 뿐이다 (밑변과 높이 불변).
|
||||
- 넓이는 (밑변 $u$) $\times$ (높이 $w$)로만 결정된다.
|
||||
- 도형의 모든 점에 행렬 $A$ 를 곱하면 부피는 몇 배가 되는가? #card
|
||||
id:: 6a97d93c-06b0-4e06-9ceb-2fadf7504139
|
||||
- $|\det A|$ 배. 행렬식은 그 행렬이 공간을 늘리는 부피 배율이다.
|
||||
- ### ✏️ 연습문제 풀이 (솔루션 참고)
|
||||
- **문제 1** (p.301): 네 점 $(0,0,0), (1,0,0), (0,1,0), (0,0,1)$ 을 꼭짓점으로 갖는 정육면체의 에지행렬 $E$ 를 구하라. 이 상자의 꼭짓점 8개는?
|
||||
- 🔁 개념 상기: 에지 = 원점에서 뻗는 변, $E$ = 에지를 열로 세운 행렬, 꼭짓점 = 에지들의 부분합.
|
||||
- 풀이:
|
||||
- 에지 3개는 $e_1 = (1,0,0)$, $e_2 = (0,1,0)$, $e_3 = (0,0,1)$. 따라서 $E = I$ (단위행렬).
|
||||
- 꼭짓점 8개 = 부분합 전부: $0,\ e_1,\ e_2,\ e_3,\ e_1{+}e_2,\ e_1{+}e_3,\ e_2{+}e_3,\ e_1{+}e_2{+}e_3$.
|
||||
- 좌표로: $(0,0,0), (1,0,0), (0,1,0), (0,0,1), (1,1,0), (1,0,1), (0,1,1), (1,1,1)$.
|
||||
- 검산: 부피 $= |\det I| = 1$. 변 1인 정육면체로 당연하다.
|
||||
- 핵심 문장: 단위 정육면체의 에지행렬은 $I$, 꼭짓점 $2^n$ 개는 에지들의 부분합이다.
|
||||
- **문제 3** (p.301): $\|e_1\| = 1$, $\|e_2\| = 2$, $\|e_3\| = 3$ 일 때 상자의 최대 부피와 그때의 상자 모양은?
|
||||
- 🔁 개념 상기: 기운 상자는 높이가 변 길이보다 짧아진다 ([5단계]의 주대각성분 = 높이 그림).
|
||||
- 풀이:
|
||||
- 부피 = (밑변) × (높이) × (높이) 꼴인데, 각 높이는 해당 에지 길이보다 클 수 없다 (에지가 기울수록 수직 성분이 줄어든다).
|
||||
- 세 에지가 **서로 수직**이면 높이가 곧 변 길이가 되어 손실이 없다: 최대 부피 $= 1 \cdot 2 \cdot 3 = 6$.
|
||||
- 그때의 상자: 변 길이 1, 2, 3인 직각 상자 (놓인 방향은 자유, 회전해도 부피 불변).
|
||||
- 검산: 수직 배치의 대표 $E = \mathrm{diag}(1, 2, 3)$ 이면 $\det E = 6$. 일치 (해답집 일치).
|
||||
- 핵심 문장: 길이가 정해진 에지들로 만드는 최대 부피 상자는 직각 상자이고, 그 부피는 길이들의 곱이다 (아다마르 부등식의 등호, 문제 4).
|
||||
- **문제 4** (p.301): $n \times n$ 행렬 $E$ 의 열이 $e_1, \ldots, e_n$ 일 때 $|\det E| \leq \|e_1\|\|e_2\| \cdots \|e_n\|$ 을 증명하라. (힌트: $E = QR$ 에서 $R_{jj} \leq \|e_j\|$ 인 이유)
|
||||
- 🔁 개념 상기: 아다마르 부등식(Hadamard's inequality). 무기는 두 개, $|\det E| = |\det R|$ (식 3)과 4.4의 그람-슈미트($E = QR$, $e_j$ 는 $q_1, \ldots, q_j$ 의 결합).
|
||||
- 풀이:
|
||||
- [1] $E = QR$ 로 분해하면 $|\det E| = |\det R| = |r_{11} r_{22} \cdots r_{nn}|$ (삼각행렬).
|
||||
- [2] 그람-슈미트의 구조상 $j$ 번째 에지는 $e_j = r_{1j}q_1 + r_{2j}q_2 + \cdots + r_{jj}q_j$ 다 (정규직교 $q$ 들의 결합).
|
||||
- [3] $q$ 들이 정규직교이므로 피타고라스 정리가 성립한다:
|
||||
- $\|e_j\|^2 = r_{1j}^2 + r_{2j}^2 + \cdots + r_{jj}^2 \geq r_{jj}^2$
|
||||
- [4] 따라서 $|r_{jj}| \leq \|e_j\|$ 를 $j$ 마다 곱하면:
|
||||
- $|\det E| = |r_{11}| \cdots |r_{nn}| \leq \|e_1\| \cdots \|e_n\|$
|
||||
- 기하 번역: $r_{jj}$ 는 $e_j$ 의 "새 방향 높이 성분"이라 전체 길이보다 클 수 없다. 상자는 기울수록 부피를 손해 본다는 문제 3의 정확한 일반화다.
|
||||
- 등호 조건: $j \neq i$ 인 $r_{ij}$ 가 전부 0일 때, 즉 에지들이 서로 직교할 때.
|
||||
- 💡 문제 15가 이것의 $2 \times 2$ 축소판이고 ($|\det E| \leq \|e_1\|\|e_2\|$), 문제 7의 아다마르 행렬이 등호의 사례다.
|
||||
- 핵심 문장: $|\det E| \leq$ (열 길이들의 곱). 근거는 $|\det E| = |r_{11} \cdots r_{nn}|$ 와 피타고라스($|r_{jj}| \leq \|e_j\|$).
|
||||
- **문제 5** (p.301): $v = (3, 2)$, $w = (1, 4)$ 에 대해 (a) 평행사변형의 넓이 (b) 세 변이 $v, w, v{+}w$ 인 삼각형의 넓이와 그림 (c) 세 변이 $v, w, w{-}v$ 인 삼각형의 넓이와 그림.
|
||||
- 🔁 개념 상기: 평행사변형 = $|\det E|$, 삼각형 = 그 절반.
|
||||
- (a): $E = \begin{bmatrix} 3 & 1 \\ 2 & 4 \end{bmatrix}$ (열 = $v, w$), $\det E = 12 - 2 = 10$. 넓이 10 (해답집 일치).
|
||||
- (b): 꼭짓점 $0, v, v{+}w$ 인 삼각형 (변이 $v$, $w$, $v{+}w$). 평행사변형을 대각선 $v{+}w$ 로 자른 절반이므로 넓이 $= 10/2 = 5$.
|
||||
- (c): 꼭짓점 $0, v, w$ 인 삼각형 (변이 $v$, $w$, $w{-}v$). 이번엔 대각선 $w{-}v$ 로 자른 절반, 넓이 $= 10/2 = 5$.
|
||||
- 
|
||||
- 두 삼각형은 같은 평행사변형의 서로 다른 절반이다 (대각선 두 개 중 무엇으로 자르느냐의 차이).
|
||||
- 검산: 밑변 $\|v\| = \sqrt{13}$, $w$ 의 수직 성분 $= 10/\sqrt{13}$, 평행사변형 $= \sqrt{13} \cdot 10/\sqrt{13} = 10$. 일치.
|
||||
- 핵심 문장: 삼각형 넓이는 두 변으로 만든 행렬식의 절반: $\frac{1}{2}|\det[v\ w]|$.
|
||||
- **문제 6** (p.301): (a) 세 꼭짓점이 $(2,1), (3,4), (0,5)$ 인 삼각형의 넓이 (b) 꼭짓점 $(-1, 0)$ 을 추가한 사각형의 넓이.
|
||||
id:: 68b767bf-7c1c-4fda-9faf-114d81d48f6d
|
||||
- 🔁 개념 상기: 도형이 원점에서 시작하지 않으면 **한 꼭짓점을 원점으로 평행이동**부터 한다 (평행이동은 넓이 불변). 그다음은 문제 5와 같다.
|
||||
- (a):
|
||||
- $(2,1)$ 을 원점으로 옮기면 두 변은 $(3,4) - (2,1) = (1,3)$ 과 $(0,5) - (2,1) = (-2,4)$.
|
||||
- 넓이 $= \frac{1}{2}\left|\det\begin{bmatrix} 1 & -2 \\ 3 & 4 \end{bmatrix}\right| = \frac{1}{2}|4 + 6| = 5$ (해답집 일치).
|
||||
- (b):
|
||||
- 사각형 $(-1,0) \to (2,1) \to (3,4) \to (0,5)$ 를 대각선으로 삼각형 2개로 자른다: (a)의 삼각형 + 삼각형 $(-1,0), (2,1), (0,5)$.
|
||||
- 둘째 삼각형: $(-1,0)$ 을 원점으로 옮기면 변이 $(3,1)$ 과 $(1,5)$. 넓이 $= \frac{1}{2}|15 - 1| = 7$.
|
||||
- 사각형 넓이 $= 5 + 7 = 12$.
|
||||
- 검산: 둘째 삼각형을 다른 꼭짓점 기준으로 다시 계산해도 같다: $(2,1)$ 기준 변 $(-3,-1)$, $(-2,4)$, $\frac{1}{2}|-12-2| = 7$. 일치.
|
||||
- 핵심 문장: 원점 밖의 도형은 꼭짓점 하나를 원점으로 평행이동한 뒤 행렬식으로 넓이를 구한다 (넓이는 평행이동 불변).
|
||||
- **문제 7** (p.302): 아다마르 행렬 $H$ (직교하는 행들)의 $|\det H|$ 를 초입방체의 부피로 구하라.
|
||||
- $$H = \begin{bmatrix} 1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ 1 & -1 & -1 & 1 \\ 1 & -1 & 1 & -1 \end{bmatrix}$$
|
||||
- 🔁 개념 상기: 에지들이 서로 직교하면 상자는 반듯한 (직각) 상자이고, 부피 = 변 길이들의 곱 (문제 2·3).
|
||||
- 풀이:
|
||||
- 각 행의 길이는 $\sqrt{1+1+1+1} = 2$ 이고 행들끼리 서로 직교한다 ($\det H^{\mathrm{T}} = \det H$ 이므로 행을 에지로 봐도 된다).
|
||||
- 따라서 $H$ 의 상자는 $\mathbb{R}^4$ 에서 변 길이가 2인 초입방체(hypercube)이고, 부피 $= 2^4 = 16$.
|
||||
- $|\det H| = 16$ (해답집 일치).
|
||||
- 검산 (대수): $HH^{\mathrm{T}} = 4I$ 이므로 $(\det H)^2 = \det(4I) = 4^4 = 256$, $|\det H| = 16$. 일치.
|
||||
- 핵심 문장: 직교 행(열)을 갖는 행렬의 $|\det|$ 는 행(열) 길이들의 곱이다. 아다마르 부등식의 등호 사례.
|
||||
- **문제 9** (p.302): 꼭짓점이 $(0,0,0), (1,0,0), (0,1,0), (0,0,1)$ 인 $\mathbb{R}^3$ 의 각뿔(pyramid)의 부피는? 꼭짓점이 $(0,0,0,0)$ 과 $I$ 의 네 열인 $\mathbb{R}^4$ 의 각뿔은?
|
||||
- 🔁 개념 상기: 문제 도입이 준 사다리: 2차원에서 꼭짓점 $(0,0), (1,0), (0,1)$ 인 삼각형의 넓이는 $\frac{1}{2}$ (단위 정사각형의 절반).
|
||||
- 풀이:
|
||||
- $\mathbb{R}^3$: 밑면은 넓이 $\frac{1}{2}$ 인 삼각형, 높이는 1. 각뿔 부피 공식으로 $\frac{1}{3} \times \frac{1}{2} \times 1 = \frac{1}{6}$.
|
||||
- 패턴이 보인다: $\frac{1}{2} = \frac{1}{2!}$, $\frac{1}{6} = \frac{1}{3!}$. 차원이 하나 늘 때마다 $\frac{1}{n}$ 이 곱해진다.
|
||||
- $\mathbb{R}^4$: $\frac{1}{4!} = \frac{1}{24}$ (해답집 일치).
|
||||
- 💡 왜 $n!$ 인가: 단위 정육면체는 좌표들의 크기 순서($x_1 \geq x_2$, $x_2 \geq x_1$ 등)에 따라 $n!$ 개의 합동 각뿔로 쪼개진다. 이 각뿔은 그중 하나다. 5장 내내 나온 $n!$ (치환의 개수)이 부피에서도 나타나는 것이 우연이 아니다 (순서 정하기 = 치환).
|
||||
- 핵심 문장: 단위 각뿔의 부피는 $1/n!$ (단위 정육면체를 $n!$ 개로 나눈 조각).
|
||||
- **문제 10** (p.302): 에지행렬 $E$ 가 직교행렬이면 상자의 부피는? $E$ 가 특이행렬이면? $E$ 상자의 부피가 $V$ 일 때 $2E$ 상자의 부피는?
|
||||
- 🔁 개념 상기: 부피 $= |\det E|$ 하나로 세 질문이 전부 끝난다.
|
||||
- 풀이:
|
||||
- $E$ 직교행렬: $|\det E| = 1$ → 부피 1. 회전(반사)된 단위 정육면체다.
|
||||
- $E$ 특이행렬: $\det E = 0$ → 부피 0. 에지들이 선형종속이라 상자가 더 낮은 차원으로 찌부러진 납작한 상자다 (3차원 상자가 평면 안에 눕는 꼴).
|
||||
- $2E$: $\det(2E) = 2^n \det E$ (5.2, 행마다 2배) → 부피 $2^n V$. 모든 변이 2배가 되면 $n$ 차원 부피는 $2^n$ 배.
|
||||
- 검산: $n = 3$, $E = I$ 로 확인하면 $2I$ 상자는 변 2인 정육면체, 부피 $8 = 2^3$. 일치.
|
||||
- ⚠️ 이 문제는 해답집(영문판)에 해설이 없다 (영문판 Problem Set 5.3은 9번까지). 위 풀이는 직접 작성한 것이다.
|
||||
- 핵심 문장: 직교 상자 부피 1, 특이 상자 부피 0, 상자를 $c$ 배 확대하면 부피는 $c^n$ 배.
|
||||
@ -17,3 +17,26 @@ deck:: Logseq/전공공부/선형대수학
|
||||
- ## 소단원
|
||||
- [[5.1 3×3 행렬식과 여인수]]
|
||||
- [[5.2 행렬식의 계산과 응용]]
|
||||
- [[5.3 행렬식을 이용한 넓이와 부피 계산]]
|
||||
- ## 5장에 대한 고찰
|
||||
- 💡 **5장 전체를 꿰는 한 줄**: "행렬식은 행렬을 요약하는 단 하나의 수다". 이 수 하나가 가역성 판정($\det A \neq 0$), 역행렬과 해의 공식, 부피 배율을 전부 담는다.
|
||||
- **계산법 3가지와 각각의 자리** (같은 수를 세 가지로 조직한 것뿐이다):
|
||||
- 피벗 곱 (5.2 식 7): 실전 계산용. 소거가 행렬식을 바꾸지 않으므로 $\pm U_{11}U_{22} \cdots U_{nn}$.
|
||||
- 여인수 공식 (5.1): 0이 많은 행렬(삼중대각 등)과 이론 전개용. 점화식을 낳는다 ($-1, 2, -1$ 행렬의 $\det A_n = n+1$, $1, 1, 1$ 행렬의 주기 6).
|
||||
- 큰 공식 (5.2 식 13): $n!$ 개 치환이 낳는 $n!$ 개 항. 계산엔 못 쓰지만 행렬식의 정체를 보여준다 (부호 = 치환의 짝홀).
|
||||
- **모든 성질의 뿌리는 3개뿐**: $\det I = 1$, 행 교환은 부호 반전, 각 행에 대한 선형성.
|
||||
- 이 3개를 만족하는 함수는 행렬식 하나뿐이라는 유일성이 $\det AB = (\det A)(\det B)$ 증명의 무기였다 ($D(A) = \det AB / \det B$ 패턴).
|
||||
- **행렬식이 낳은 공식들**: $A^{-1} = C^{\mathrm{T}} / \det A$ (5.1의 $AC^{\mathrm{T}} = (\det A)I$ 와 5.2의 크레이머 규칙, 같은 산의 두 등산로), $x_j = \det B_j / \det A$, (부피) $= |\det E|$.
|
||||
- 절별 한 줄 회고:
|
||||
- 5.1 여인수는 행렬식을 한 차원 줄이는 기계다: $\det A = a_{11}C_{11} + \cdots + a_{1n}C_{1n}$, 그리고 $AC^{\mathrm{T}} = (\det A)I$.
|
||||
- 5.2 성질 3개가 전부를 결정한다: 소거 불변에서 피벗 곱이, 유일성에서 곱 규칙이, 치환에서 큰 공식이, 곱 규칙에서 크레이머가 나왔다.
|
||||
- 5.3 행렬식은 부피다: $E = QR$ 로 "돌려놓고($Q$) 읽는다($R$)". 행렬을 곱하면 부피는 $|\det|$ 배.
|
||||
- 💡 이번 장에서 스스로 뚫은 질문들 (복습 때 이 목록만 훑어도 5장이 되살아난다): 수수께끼 $-1$ 의 정체는 여인수 속 $(-1)^{i+j}$, $AC^{\mathrm{T}}$ 비대각성분이 0인 이유는 같은 행 2개, 행 빼기가 행렬식을 안 바꾸는 이유는 선형성 분해, 큰 공식의 부호는 화살표가 아니라 치환의 짝홀, $\Sigma$ 는 7장 SVD의 예고, $Q$ 가 부피를 보존하는 이유는 길이·각도 보존.
|
||||
- 6장 연결 (책이 직접 예고한 것만): $Ax = \lambda x$ 의 고윳값 $\lambda$ 는 행렬식 방정식 $\det(A - \lambda I) = 0$ 으로 구해진다 (5.2 첫 문단의 예고). 행렬식이 다음 장의 문을 여는 열쇠다.
|
||||
- ## 이 단원 핵심문제
|
||||
- 이 장을 다시 공부할 때 아래 문제들을 먼저 풀어보면 이해가 살아있는지 확인할 수 있다 (클릭하면 해설로 이동).
|
||||
- [5.1 문제 13](((7d4f738f-0530-4db1-96ba-007ca74a5496)))
|
||||
- [5.1 문제 16](((3b156a7e-7f13-40c0-a71c-5acd297ddf18)))
|
||||
- [5.2 문제 5](((69773600-0b7e-4fdb-985f-242100904fae)))
|
||||
- [5.2 문제 16](((e7bd01b2-46cd-44d5-91fd-9bb4278d7da1)))
|
||||
- [5.3 문제 6](((68b767bf-7c1c-4fda-9faf-114d81d48f6d)))
|
||||
|
||||
@ -312,4 +312,83 @@ file-path:: ../assets/5장_행렬식_1788006854821_0.pdf
|
||||
hl-color:: yellow
|
||||
id:: 6a944693-c4eb-4ff1-95d6-796a200430e3
|
||||
hl-type:: area
|
||||
hl-stamp:: 1788102291398
|
||||
hl-stamp:: 1788102291398
|
||||
- [:span]
|
||||
ls-type:: annotation
|
||||
hl-page:: 20
|
||||
hl-color:: yellow
|
||||
id:: 6a96867c-f26c-4c97-a5f9-cbe1bf19ec0b
|
||||
hl-type:: area
|
||||
hl-stamp:: 1788249722627
|
||||
- [:span]
|
||||
ls-type:: annotation
|
||||
hl-page:: 20
|
||||
hl-color:: yellow
|
||||
id:: 6a9686ab-a6e9-4866-975b-5fc95535a348
|
||||
hl-type:: area
|
||||
hl-stamp:: 1788249769407
|
||||
- [:span]
|
||||
ls-type:: annotation
|
||||
hl-page:: 21
|
||||
hl-color:: yellow
|
||||
id:: 6a968798-124a-4f68-9737-9dd85893f248
|
||||
hl-type:: area
|
||||
hl-stamp:: 1788250007338
|
||||
- 평행육면체의 부피가 |detE|임을 증명하는 것이다.
|
||||
ls-type:: annotation
|
||||
hl-page:: 21
|
||||
hl-color:: yellow
|
||||
id:: 6a96879e-39f8-4a74-93bd-037f483fdf86
|
||||
- [:span]
|
||||
ls-type:: annotation
|
||||
hl-page:: 22
|
||||
hl-color:: yellow
|
||||
id:: 6a9687e0-0cb7-4da4-ad19-b36a16cf2364
|
||||
hl-type:: area
|
||||
hl-stamp:: 1788250078745
|
||||
- 직교행렬 Q를 영역의 각 점에 곱해도 해당 영역의 부피가 변하지 않는다는 것이다.
|
||||
ls-type:: annotation
|
||||
hl-page:: 22
|
||||
hl-color:: yellow
|
||||
id:: 6a968827-60d6-4a26-9d43-9675aa7e5e50
|
||||
- [:span]
|
||||
ls-type:: annotation
|
||||
hl-page:: 22
|
||||
hl-color:: yellow
|
||||
id:: 6a968846-4ee0-4278-876f-a0f9648f6fef
|
||||
hl-type:: area
|
||||
hl-stamp:: 1788250181568
|
||||
- 직교행렬 Q에 의한 회전으로 길이, 각도, 모양, 부피는 변하지 않는다.
|
||||
ls-type:: annotation
|
||||
hl-page:: 22
|
||||
hl-color:: yellow
|
||||
id:: 6a96887d-15e7-4d41-a612-20f72a08e6fa
|
||||
- 밑변과 높이는 E = QR에 있는 행렬 R의 주대각성분 u와 w이다
|
||||
ls-type:: annotation
|
||||
hl-page:: 22
|
||||
hl-color:: yellow
|
||||
id:: 6a968884-600a-4313-80c5-a4d770add366
|
||||
- R은 삼각행렬이다
|
||||
ls-type:: annotation
|
||||
hl-page:: 22
|
||||
hl-color:: yellow
|
||||
id:: 6a968889-8d28-4f39-b89d-2b9d9e9270d2
|
||||
- R의 주대각성분들을 곱하면 평행육면체의 부피를 구할 수 있고, 이 값이 바로 삼각행렬 R의 행렬식이다. |detQ| = 1이고 |detE| = |detR|
|
||||
ls-type:: annotation
|
||||
hl-page:: 22
|
||||
hl-color:: yellow
|
||||
id:: 6a96889a-2be8-48bd-bd90-490ad3197508
|
||||
- [:span]
|
||||
ls-type:: annotation
|
||||
hl-page:: 22
|
||||
hl-color:: yellow
|
||||
id:: 6a97adba-9686-4ca0-9d53-49806dd9c50e
|
||||
hl-type:: area
|
||||
hl-stamp:: 1788325305059
|
||||
- [:span]
|
||||
ls-type:: annotation
|
||||
hl-page:: 21
|
||||
hl-color:: yellow
|
||||
id:: 6a97d347-80b5-4b06-adf8-cf64236f5379
|
||||
hl-type:: area
|
||||
hl-stamp:: 1788334918237
|
||||
Loading…
x
Reference in New Issue
Block a user