Anki Deck Changes

Commit: bdf304f7 - add ev proof

Author: obrhubr <obrhubr@gmail.com>

Date: 2026-01-12T19:01:47+01:00

Changes: 1 note(s) changed (1 added, 0 modified, 0 deleted)

Note 1: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: uqAA$|?Lip
added

Previous

Note did not exist

New Note

Front

Let \(A \in \mathbb{R}^{n \times n}\) be a symmetric matrix and \(\lambda_1 \neq \lambda_2 \in \mathbb{R}\) be two distinct eigenvalues of \(A\) with corresponding eigenvectors \(v_1, v_2\).
Then \(v_1\) and \(v_2\) are orthogonalProof Included

Back

Let \(A \in \mathbb{R}^{n \times n}\) be a symmetric matrix and \(\lambda_1 \neq \lambda_2 \in \mathbb{R}\) be two distinct eigenvalues of \(A\) with corresponding eigenvectors \(v_1, v_2\).
Then \(v_1\) and \(v_2\) are orthogonalProof Included

\(\lambda_1 v_1 ^\top v_2 = (Av_1)^\top v_2\) \( = v_1^\top A ^\top v_2 = \) \(v_1^\top (Av_2)\) \( = \lambda_2 v_1^\top v_2\)
Field-by-field Comparison
Field Before After
Text <div>Let \(A \in \mathbb{R}^{n \times n}\) be a symmetric matrix and \(\lambda_1 {{c2::\neq}} \lambda_2 \in \mathbb{R}\) be two {{c2::distinct}} eigenvalues of \(A\) with corresponding eigenvectors \(v_1, v_2\).</div><div>Then \(v_1\) and \(v_2\)&nbsp;{{c1::are orthogonal}}.&nbsp;<i>Proof Included</i></div>
Extra \(\lambda_1 v_1 ^\top v_2 = (Av_1)^\top v_2\)&nbsp;\( = v_1^\top A ^\top v_2 = \)&nbsp;\(v_1^\top (Av_2)\)&nbsp;\( = \lambda_2 v_1^\top v_2\)
↑ Top