benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / The triangle ABC is isosceles with AB=AC, and ∠BAC<60^(∘). The points D and E are chosen on the side AC such that, EB=ED, and ∠ABD≡∠CBE. Denote by O the intersection point between … · Discussion

Discussing The triangle ABC is isosceles with AB=AC, and ∠BAC<60^(∘). The points D and E are chosen on the side AC such that, EB=ED, and ∠ABD≡∠CBE. Denote by O the intersection point between … · 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.