benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let ABC be an acute triangle. Let DAC,EAB, and FBC be isosceles triangles exterior to ABC, with DA=DC,EA=EB, and FB=FC, such that ∠ADC=2∠BAC, ∠BEA=2∠ABC, ∠CFB=2∠ACB. Let D' be the … · Discussion

Discussing Let ABC be an acute triangle. Let DAC,EAB, and FBC be isosceles triangles exterior to ABC, with DA=DC,EA=EB, and FB=FC, such that ∠ADC=2∠BAC, ∠BEA=2∠ABC, ∠CFB=2∠ACB. Let D' 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.