（その１７）の議論の進め方に不備があったので，訂正したい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　　ｘ^2＝−（ｙ^2＋ｚ^2−２ｒ1^2＋ｃ）±２｛（ｙ^2−ｒ0^2）（ｚ^2−ｒ1^2）｝^1/2

　　ｘ^2＝−（ｙ^2＋ｚ^2−ｒ1^2−ｒ0^2）±２｛（ｙ^2−ｒ0^2）（ｚ^2−ｒ1^2）｝^1/2

　ここで，ａ＝ｙ^2−ｒ0^2，ｂ＝ｚ^2−ｒ1^2とおくと，

　　ｘ^2＝−（ａ＋ｂ）±２√ａｂ

であるから，相加平均・相乗平均不等式に似た等式となる．

　ｘ^2≧０であるから，ａ≦０，ｂ≦０である．

　ａ：ｂ＝１：ｋ（ｂ＝ａｋ）のときの断面は

　　　ｘ^2＝−（１＋ｋ）ａ±２｛（ｙ^2−ｒ0^2）（ｚ^2−ｒ1^2）｝^1/2

　　　　　＝（−１−ｋ±２√ｋ）（−ａ）＝（１＋ｋ±２√ｋ）（ｙ^2−ｒ0^2）

　切断面が円になるためには

　　１＋ｋ±２√ｋ＝−１

　　１＋ｋ＋２√ｋ＝−１→ＮＧ

　　１＋ｋ−２√ｋ＝−１→ＮＧ

　これは，この切断面が円にはならないことを示しているのである．残念無念．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝