benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let ABCD be an isosceles trapezoid with AB=1,BC=DA=5,CD=7. Let P be the intersection of diagonals AC and BD, and let Q be the foot of the altitude from D to BC. Let PQ intersect AB… · Discussion

Discussing Let ABCD be an isosceles trapezoid with AB=1,BC=DA=5,CD=7. Let P be the intersection of diagonals AC and BD, and let Q be the foot of the altitude from D to BC. Let PQ intersect AB… · 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.