benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / ABC is a right triangle with ∠A=30^(∘) and circumcircle O. Circles ω₁,ω₂, and ω₃ lie outside ABC and are tangent to O at T₁,T₂, and T₃ respectively and to AB,BC, and CA at S₁,S₂, a… · Discussion

Discussing ABC is a right triangle with ∠A=30^(∘) and circumcircle O. Circles ω₁,ω₂, and ω₃ lie outside ABC and are tangent to O at T₁,T₂, and T₃ respectively and to AB,BC, and CA at S₁,S₂, a… · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.