Avaldis 7: left parenthesis, "a" , "c" , right parenthesisa,c
7
Avaldis 8: "d" equals StartFraction, left parenthesis, "b" plus "c" , right parenthesis Over 2 , EndFractiond=b+c2
8
Avaldis 9: left parenthesis, "x" minus "a" , right parenthesis squared plus left parenthesis, "y" minus "d" , right parenthesis squared equals left parenthesis, "c" minus "b" , right parenthesis squaredx−a2+y−d2=c−b2
