benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let ΔA₁B₁C be a triangle with ∠A₁B₁C=90^(∘) and (CA₁)/(CB₁)=√(5)+2. For any i≥2, define A_(i) to be the point on the line A₁C such that A_(i)B_(i−1)⊥A₁C and define B_(i) to be the … · Discussion

Discussing Let ΔA₁B₁C be a triangle with ∠A₁B₁C=90^(∘) and (CA₁)/(CB₁)=√(5)+2. For any i≥2, define A_(i) to be the point on the line A₁C such that A_(i)B_(i−1)⊥A₁C and define B_(i) to be the … · 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.