式8: "f" equals StartFraction, "a" Over "a" squared plus "b" squared , EndFractionf=aa2+b2
8
式9: "g" equals StartFraction, "b" Over "a" squared plus "b" squared , EndFractiong=ba2+b2
9
式10: "u" equals StartFraction, "d" minus "g" plus StartNestedFraction, "f" squared minus "a" squared NestedOver "b" minus "g" , EndNestedFraction minus StartNestedFraction, "c" squared minus "a" squared NestedOver "b" minus "d" , EndNestedFraction Over 2 StartNestedFraction, "f" minus "a" NestedOver "b" minus "g" , EndNestedFraction minus 2 StartNestedFraction, "c" minus "a" NestedOver "b" minus "d" , EndNestedFraction , EndFractionu=d−g+f2−a2b−g−c2−a2b−d2f−ab−g−2c−ab−d
10
式11: "v" equals StartFraction, "f" minus "a" Over "b" minus "g" , EndFraction left parenthesis, "u" minus StartFraction, "a" plus "f" Over 2 , EndFraction , right parenthesis plus StartFraction, "b" plus "g" Over 2 , EndFractionv=f−ab−gu−a+f2+b+g2
11
式12: left parenthesis, "x" minus "u" , right parenthesis squared plus left parenthesis, "y" minus "v" , right parenthesis squared equals left parenthesis, "a" minus "u" , right parenthesis squared plus left parenthesis, "b" minus "v" , right parenthesis squared left brace, "x" squared plus "y" squared less than 1 , right bracex−u2+y−v2=a−u2+b−v2x2+y2<1