区域数学奥林匹克题：共圆点证明及解决方案第二段解读

Alright, let's break this down step by step—since you're asking about proving points are concyclic (lying on the same circle) from a regional Math Olympiad problem, plus interpreting a specific solution paragraph, I’ve got you covered.

These are the standard tools you’ll see in Olympiad proofs for showing multiple points lie on a single circle:

• Inverse of the Equal Circumferential Angle Theorem: If two points lie on the same side of a line segment, and the angles they subtend to the endpoints of the segment are equal, then these two points plus the segment’s endpoints are concyclic. For quadrilaterals, a direct corollary is: if the opposite angles of a quadrilateral add up to 180° (are supplementary), all four vertices are concyclic.
• Power of a Point Inverse: If for a point ( P ), the product of the lengths from ( P ) to two intersection points with a line equals the product for another line (( PA \cdot PB = PC \cdot PD )), then ( A, B, C, D ) are concyclic. This is less common in Olympiad proofs compared to angle-based arguments, but useful for edge cases.
• Inverse of the Tangent-Chord Angle Theorem: If the angle between a line segment and a line through one of its endpoints equals the circumferential angle subtended by the segment at another point, then that point lies on the circle with the segment as a chord.
• Coordinate Verification: If you can calculate that all points are equidistant from a single fixed point, or that all points satisfy the general equation of a circle (( x^2 + y^2 + Dx + Ey + F = 0 )), they’re concyclic. This is a brute-force method and rarely used in Olympiads, but works if you’re stuck.

Since you didn’t share the exact text, I’ll use a typical Olympiad solution paragraph that fits the context:

Connect ( BD ). Given ( \angle ABD = \angle ACD ), and combining this with ( \angle ADB = \angle ACB ), we can conclude ( A, B, C, D ) are concyclic.

Here’s the breakdown of this logic:

1. Auxiliary Line Purpose: Drawing ( BD ) is a classic move to create pairs of circumferential angles that can be compared. It bridges the gap between the scattered points, making angle relationships visible.
2. First Angle Pair: ( \angle ABD = \angle ACD ) means both points ( B ) and ( C ) subtend the same angle to segment ( AD ). By the inverse circumferential angle theorem, this tells us ( B ) and ( C ) lie on the same circle passing through ( A ) and ( D ).
3. Second Angle Pair: Adding ( \angle ADB = \angle ACB ) locks in the conclusion. This pair means points ( D ) and ( C ) subtend the same angle to segment ( AB ), confirming that ( D ) is on the same circle as ( A, B, C )—so all four points are concyclic.
4. Why Two Conditions?: A single equal angle pair could technically allow for multiple possible circles, but two distinct pairs eliminate ambiguity, making the proof rigorous enough for Olympiad standards.

内容的提问来源于stack exchange，提问作者rustyelectron