恒等式 ∣ u + v ∣ + ∣ u − v ∣ = 2 max ( ∣ u ∣ , ∣ v ∣ ) \displaystyle |u+v|+|u-v|=2\max(|u|,|v|) ∣ u + v ∣ + ∣ u − v ∣ = 2 max ( ∣ u ∣ , ∣ v ∣ ) を用いる。y > 0 y>0 y > 0 であるから、y ≧ 3 ∣ x ∣ y\geq\sqrt3|x| y ≧ 3 ∣ x ∣ のとき絶対値の和は 2 y 2y 2 y 、y ≦ 3 ∣ x ∣ y\leq\sqrt3|x| y ≦ 3 ∣ x ∣ のときは 2 3 ∣ x ∣ 2\sqrt3|x| 2 3 ∣ x ∣ となる。 (1) 前者の領域では x 2 + ( y − 1 ) 2 = 1 , y ≧ 3 ∣ x ∣ . x^2+(y-1)^2=1,\qquad y\geq\sqrt3|x|. x 2 + ( y − 1 ) 2 = 1 , y ≧ 3 ∣ x ∣. 円の式から x 2 = y ( 2 − y ) x^2=y(2-y) x 2 = y ( 2 − y ) であり、y > 0 y>0 y > 0 と領域条件を合わせると y 2 ≧ 3 y ( 2 − y ) y^2\geq3y(2-y) y 2 ≧ 3 y ( 2 − y ) 、したがって 3 2 ≦ y ≦ 2 \displaystyle \frac32\leq y\leq2 2 3 ≦ y ≦ 2 となる。これは中心 ( 0 , 1 ) (0,1) ( 0 , 1 ) 、半径1の円の上側の弧で、端点は ( ± 3 2 , 3 2 ) \displaystyle (\pm\frac{\sqrt3}{2},\frac32) ( ± 2 3 , 2 3 ) 、頂点は ( 0 , 2 ) (0,2) ( 0 , 2 ) である。
後者の領域では ( ∣ x ∣ − 3 ) 2 + y 2 = 3 , 0 < y ≦ 3 ∣ x ∣ . (|x|-\sqrt3)^2+y^2=3,\qquad 0<y\leq\sqrt3|x|. ( ∣ x ∣ − 3 ) 2 + y 2 = 3 , 0 < y ≦ 3 ∣ x ∣. これは中心 ( ± 3 , 0 ) (\pm\sqrt3,0) ( ± 3 , 0 ) 、半径 3 \sqrt3 3 の左右の円の一部である。水平線 y = t y=t y = t (0 < t < 3 0<t<\sqrt3 0 < t < 3 )との交点候補は ∣ x ∣ = 3 + 3 − t 2 , ∣ x ∣ = 3 − 3 − t 2 . |x|=\sqrt3+\sqrt{3-t^2},\qquad |x|=\sqrt3-\sqrt{3-t^2}. ∣ x ∣ = 3 + 3 − t 2 , ∣ x ∣ = 3 − 3 − t 2 . 前者は常に領域条件を満たす。後者が満たす条件は t ≦ 3 ( 3 − 3 − t 2 ) t\leq\sqrt3(\sqrt3-\sqrt{3-t^2}) t ≦ 3 ( 3 − 3 − t 2 ) であり、両辺を平方して整理すると t ≧ 3 2 \displaystyle t\geq\frac32 t ≧ 2 3 と同値である。また、中央の円弧は 3 2 ≦ t ≦ 2 \displaystyle \frac32\leq t\leq2 2 3 ≦ t ≦ 2 で水平線と交わり、交点は x = ± t ( 2 − t ) x=\pm\sqrt{t(2-t)} x = ± t ( 2 − t ) である。したがって 3 2 < t < 3 \displaystyle \frac32<t<\sqrt3 2 3 < t < 3 のとき、中央の円弧と左右の円弧から各2点ずつ、合計6点を得る。t = 3 2 \displaystyle t=\frac32 t = 2 3 では中央と左右の内側の交点が端点で重なり、t = 3 t=\sqrt3 t = 3 では左右の円で2枝が合流するため、いずれも6点ではない。範囲外では交点数は6未満となる。よって 3 2 < b < 3 . \displaystyle \frac32<b<\sqrt3. 2 3 < b < 3 . この概形は中央の上側の円弧と、それぞれの端点から外側へ伸びる左右の円弧(( ± 3 , 3 ) (\pm\sqrt3,\sqrt3) ( ± 3 , 3 ) を通り、x x x 軸に近づく部分)である。 (2) c = 2 b − 3 3 \displaystyle c=\frac{2b-3}{\sqrt3} c = 3 2 b − 3 、d = 3 − b 2 2 3 b \displaystyle d=\frac{3-b^2}{2\sqrt3 b} d = 2 3 b 3 − b 2 とおく。どちらも 3 2 < b < 3 \displaystyle \frac32<b<\sqrt3 2 3 < b < 3 では正である。中央の円と直線 y = a x + b y=ax+b y = a x + b の交点は x 2 + ( a x + b − 1 ) 2 = 1 x^2+(ax+b-1)^2=1 x 2 + ( a x + b − 1 ) 2 = 1 の解である。この二次方程式の判別式は 4 { 1 + a 2 − ( b − 1 ) 2 } > 0 4\{1+a^2-(b-1)^2\}>0 4 { 1 + a 2 − ( b − 1 ) 2 } > 0 なので、直線は円全体とは常に2点で交わる。中央の円弧の端点 ( ± 3 2 , 3 2 ) \displaystyle (\pm\frac{\sqrt3}{2},\frac32) ( ± 2 3 , 2 3 ) を通る直線の傾きはそれぞれ c , − c c,-c c , − c である。したがって中央の弧上に交点が2個ある条件は − c < a < c -c<a<c − c < a < c である。
右の円については ( x − 3 ) 2 + ( a x + b ) 2 = 3 (x-\sqrt3)^2+(ax+b)^2=3 ( x − 3 ) 2 + ( a x + b ) 2 = 3 となり、判別式は 4 ( 3 − b 2 − 2 3 a b ) 4(3-b^2-2\sqrt3ab) 4 ( 3 − b 2 − 2 3 ab ) である。円全体との交点が異なる2個である条件は a < d a<d a < d 。さらに、傾きを減らしていくと内側の交点が端点 ( 3 2 , 3 2 ) \displaystyle (\frac{\sqrt3}{2},\frac32) ( 2 3 , 2 3 ) に達するのは a = − c a=-c a = − c のときである。もう一方の端点 ( 2 3 , 0 ) (2\sqrt3,0) ( 2 3 , 0 ) を通る傾きは − b 2 3 \displaystyle -\frac{b}{2\sqrt3} − 2 3 b であり、b < 2 b<2 b < 2 より − b 2 3 < − c \displaystyle -\frac{b}{2\sqrt3}<-c − 2 3 b < − c だから、y > 0 y>0 y > 0 の端に達する前にこの端点を通る。よって右の円弧上に交点が2個ある条件は − c < a < d -c<a<d − c < a < d である。左右対称性から、左の円弧上に交点が2個ある条件は − d < a < c -d<a<c − d < a < c 。以上より、6個の共有点をもつ条件は max ( − c , − d ) < a < min ( c , d ) , \displaystyle \max(-c,-d)<a<\min(c,d), max ( − c , − d ) < a < min ( c , d ) , すなわち f ( b ) = − min ( c , d ) , g ( b ) = min ( c , d ) . \displaystyle f(b)=-\min(c,d),\qquad g(b)=\min(c,d). f ( b ) = − min ( c , d ) , g ( b ) = min ( c , d ) . したがって g ( b ) − f ( b ) = 2 min ( 2 b − 3 3 , 3 − b 2 2 3 b ) . \displaystyle g(b)-f(b)=2\min\left(\frac{2b-3}{\sqrt3},\frac{3-b^2}{2\sqrt3 b}\right). g ( b ) − f ( b ) = 2 min ( 3 2 b − 3 , 2 3 b 3 − b 2 ) . 第1項は b b b とともに増加し、第2項は 1 2 3 ( 3 b − b ) \displaystyle \frac{1}{2\sqrt3}(\frac3b-b) 2 3 1 ( b 3 − b ) と書けるので減少する。両者が等しいとき最小値は最大となる。等式を解くと 2 b − 3 3 = 3 − b 2 2 3 b であるための必要十分条件は 5 b 2 − 6 b − 3 = 0. \displaystyle \frac{2b-3}{\sqrt3}=\frac{3-b^2}{2\sqrt3 b}\quad\text{であるための必要十分条件は}\quad5b^2-6b-3=0. 3 2 b − 3 = 2 3 b 3 − b 2 であるための必要十分条件は 5 b 2 − 6 b − 3 = 0. この範囲にある解は b = 3 + 2 6 5 \displaystyle b=\frac{3+2\sqrt6}{5} b = 5 3 + 2 6 である。よって、このとき g ( b ) − f ( b ) g(b)-f(b) g ( b ) − f ( b ) が最大となる。
(1)の曲線 C C C 。青線は中央の円弧と左右の円弧で、x x x 軸上の白丸は y > 0 y>0 y > 0 により除外。破線は 3 2 < b < 3 \displaystyle \frac32<b<\sqrt3 2 3 < b < 3 の水平線の例。