Create the page "Cool lemma" on this wiki! See also the search results found.

• 1995 IMO Problems/Problem 1
  ''Lemma:'' The radical axis of two pairs of circles <math>O_1</math>, <math>O_2</ma The proof of this lemma is trivial using the argument in Solution 3 and applying the converse of Po
  5 KB (854 words) - 05:48, 4 September 2024
• Problems Collection
  '''Lemma 1: <math>\text{max} (\frac{ab+bc+ac}{(a+b+c)^2})=\frac{1}{3}</math>''' '''Lemma 2: <math>\frac{ab+bc+ac}{(a+b+c)^2}>\frac{1}{4}</math>'''
  64 KB (10,564 words) - 22:17, 19 February 2025
• 2024 USAJMO Problems/Problem 3
  Lemma <math>1</math>: Proof of Lemma <math>1</math>:
  2 KB (478 words) - 16:35, 15 February 2025