benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let ABCD be a convex trapezoid such that ∠ABC=∠BCD=90^(∘),AB=3,BC=6, and CD=12. Among all points X inside the trapezoid satisfying ∠XBC=∠XDA, compute the minimum possible value of … · Discussion

Discussing Let ABCD be a convex trapezoid such that ∠ABC=∠BCD=90^(∘),AB=3,BC=6, and CD=12. Among all points X inside the trapezoid satisfying ∠XBC=∠XDA, compute the minimum possible value of … · 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.