【Analysis】Let the circumradius of △BHC be R′,O be the circumcenter of △ABC, the extension of BH intersects AC at point S, the extension of CH intersects BA at point T, and OO′ intersects BC at point M. Then
∠BHC=π−∠CAB.
By the Law of Sines, we have
2Rsin∠CAB=BC=2R′sin∠BHC
=2R′sin∠CAB
⇒R=R′
⇒OB=OC=R=R′=O′B=O′C
⇒ Quadrilateral OBO′C is a rhombus
⇒OO′ is perpendicular to and bisects BC at point M.
Taking O as the origin and the direction of ray MO as the positive direction of the y-axis, we establish a Cartesian coordinate system.
Let point M(0,−Rsinα). Then
B(−Rcosα,−Rsinα),C(Rcosα,−Rsinα),O′(0,−2Rsinα),
where α∈(0,2π).
Let A(Rcosβ,Rsinβ)(β∈(0,π)).
Since N is the midpoint of segment AO′, we have
N(2Rcosβ,2R(sinβ−2sinα)).
Then the point symmetric to N with respect to BC is
D(2Rcosβ,−2R(sinβ+2sinα)).
Therefore, A、B、D、C are concyclic
⇔ Point D lies on the circumcircle of △ABC
⇔R2=OD2=4R2(1+4sinα⋅sinβ+4sin2α)
⇔4sinα⋅sinβ+4sin2α=3.
Notice that,
b2=AC2=R2(2−2cosα⋅cosβ+2sinα⋅sinβ),c2=AB2=R2(2+2cosα⋅cosβ+2sinα⋅sinβ),a2=BC2=4R2cos2α.
Then b2+c2−a2
=R2(4+4sinα⋅sinβ−4cos2α)=R2(4sinα⋅sinβ+4sin2α).
Hence b2+c2−a2=3R2
⇔4sinα⋅sinβ+4sin2α=3.
In summary, the original proposition holds.