benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / A regular octahedron ABCDEF is given such that AD,BE, and CF are perpendicular. Let G,H, and I lie on edges AB,BC, and CA respectively such that …ρ>1,GH,HI, and IG are three edges … · Discussion

Discussing A regular octahedron ABCDEF is given such that AD,BE, and CF are perpendicular. Let G,H, and I lie on edges AB,BC, and CA respectively such that …ρ>1,GH,HI, and IG are three edges … · 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.