Difference between revisions of "Symmetry"
(Created page with "A proof utilizes '''symmetry''' if the steps to prove one thing is identical to those steps of another. For example, to prove that in triangle ABC with all three sides congruent ...") |
|||
Line 1: | Line 1: | ||
− | A proof utilizes '''symmetry''' if the steps to prove one thing is identical to those steps of another. For example, to prove that in triangle ABC with all three sides congruent to each other that all three angles are equal, you only need to prove that if AB = AC, then <C = | + | A proof utilizes '''symmetry''' if the steps to prove one thing is identical to those steps of another. For example, to prove that in triangle ABC with all three sides congruent to each other that all three angles are equal, you only need to prove that if <math>AB = AC,</math> then <math>\angle C = \angle B;</math> the other cases hold by symmetry because the steps are the same. |
+ | ==Hidden symmetry== | ||
+ | [[File:Hidden S.png|200px|right]] | ||
+ | Let the convex quadrilateral <math>ABCD</math> be given. | ||
+ | <cmath>AC = DE, \angle CAD + \angle ACB = 180^\circ.</cmath> | ||
+ | |||
+ | Prove that <math>\angle ABC = \angle ADC.</math> | ||
+ | |||
+ | <i><b>Proof</b></i> | ||
+ | |||
+ | Let <math>\ell</math> be bisector <math>AC.</math> | ||
+ | |||
+ | Let point <math>E</math> be symmetric <math>D</math> with respect <math>\ell.</math> | ||
+ | |||
+ | <cmath>\angle CAD = \angle ACE \implies \angle CAD + \angle ACB = 180^\circ \implies E \in BC.</cmath> | ||
+ | <math>AE = CD = AB \implies \triangle ABE</math> is isosceles. | ||
+ | |||
+ | Therefore <math>\angle ABC = \angle AEC = \angle ADC \blacksquare.</math> |
Revision as of 13:34, 28 August 2023
A proof utilizes symmetry if the steps to prove one thing is identical to those steps of another. For example, to prove that in triangle ABC with all three sides congruent to each other that all three angles are equal, you only need to prove that if then the other cases hold by symmetry because the steps are the same.
Hidden symmetry
Let the convex quadrilateral be given.
Prove that
Proof
Let be bisector
Let point be symmetric with respect
is isosceles.
Therefore