benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Triangle ABC has AB=1,BC=√(7), and CA=√(3). Let ℓ₁ be the line through A perpendicular to AB,ℓ₂ the line through B perpendicular to AC, and P the point of intersection of ℓ₁ and ℓ₂… · Discussion

Discussing Triangle ABC has AB=1,BC=√(7), and CA=√(3). Let ℓ₁ be the line through A perpendicular to AB,ℓ₂ the line through B perpendicular to AC, and P the point of intersection of ℓ₁ and ℓ₂… · 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.