Difference between revisions of "Without loss of generality"

(Introductory Level)
(Introductory Level)
(7 intermediate revisions by 3 users not shown)
Line 1: Line 1:
'''Without loss of generality''' is a term used in proofs to indicate that an assumption is being made that does not introduce new restrictions to the problem.  For example, in the proof of [[Schur's Inequality]], one can assume that <math>a \ge b \ge c</math> without loss of generality because the inequality is [[symmetric]] in <math>a</math>, <math>b</math> and <math>c</math>.  Without loss of generality is often abbreviated '''WLOG''' or '''WOLOG'''. Be sure not to write WLOG when you mean "''with'' loss of generality"!
+
= =
 
+
'''Without loss of generality''' is a term used in proofs to indicate that an assumption is being made that does not introduce new restrictions to the problem.  For example, in the proof of [[Schur's Inequality]], one can assume that <math>a \ge b \ge c</math> without loss of generality because the inequality is [[Symmetric property|symmetric]] in <math>a</math>, <math>b</math> and <math>c</math>.  Without loss of generality is often abbreviated '''WLOG''' or '''WOLOG'''. Be sure not to write WLOG when you mean "''with'' loss of generality"!
  
 +
WLOG means that it is ok to assume a value for a variable, or other such unknown, in order to solve the problem. This is often done in problems concerning ratios, or any other value that remains constant regardless of what is assumed
 
== Example Problems ==
 
== Example Problems ==
 
=== Introductory Level ===
 
=== Introductory Level ===
 +
* [[2007_AMC_10A_Problems/Problem_19 | 2007 AMC 10A Problem 19]]
 +
* [[2012_AMC_10A_Problems/Problem_23 | 2012 AMC 10A Problem 23]]
 +
* [[2006_AMC_10B_Problems/Problem_14 | 2006 AMC 10B Problem 14]]
 
* [[2006_AMC_10B_Problems/Problem_17 | 2006 AMC 10B Problem 17]]
 
* [[2006_AMC_10B_Problems/Problem_17 | 2006 AMC 10B Problem 17]]
* [[2007_AMC_10A_Problems/Problem_19 | 2007 AMC 10A Problem 19]]
 
 
* [[2006_AMC_12A_Problems/Problem_20 | 2006 AMC 12A Problem 20]]
 
* [[2006_AMC_12A_Problems/Problem_20 | 2006 AMC 12A Problem 20]]
* [[2012_AMC_10A_Problems/Problem_23 | 2012 AMC 12A Problem 23]]
+
 
 
[[Category:Definition]]
 
[[Category:Definition]]
  
 
=== Advanced Level ===
 
=== Advanced Level ===
 
* [[2017_USAJMO_Problems/Problem_3 | 2017 USAJMO Problem 3]]
 
* [[2017_USAJMO_Problems/Problem_3 | 2017 USAJMO Problem 3]]

Revision as of 14:46, 19 January 2021

Without loss of generality is a term used in proofs to indicate that an assumption is being made that does not introduce new restrictions to the problem. For example, in the proof of Schur's Inequality, one can assume that $a \ge b \ge c$ without loss of generality because the inequality is symmetric in $a$, $b$ and $c$. Without loss of generality is often abbreviated WLOG or WOLOG. Be sure not to write WLOG when you mean "with loss of generality"!

WLOG means that it is ok to assume a value for a variable, or other such unknown, in order to solve the problem. This is often done in problems concerning ratios, or any other value that remains constant regardless of what is assumed

Example Problems

Introductory Level

Advanced Level