benchmarks.wiki / Public workspace

Omni-MATH / Given are two tangent circles and a point P on their common tangent perpendicular to the lines joining their centres. Construct with ruler and compass all the circles that are tang… · Discussion

Discussing Given are two tangent circles and a point P on their common tangent perpendicular to the lines joining their centres. Construct with ruler and compass all the circles that are tang… · 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.