Generating the Measures of n-Balls
暂无分享,去创建一个
s == ( a 1 + a 2 )( a 2 + a 3 )( a 3 + a 1), 8 == s( a 1/( a 1 + a 2 ) + a 2/( a 2 + a 3 ) + a 3/( a 3 + a 1 ) ). It can be shown that (8js)2 + (8js) + djs 2 = 0 and (8/s) E K as in the case char K * 2. Apply Theorem 1 again. We find that both u3 jv and djs = (u3 jv ) + 1 belong to {w 2 + w E K: w E K}. Thus the equation x 2 + x + 1 = 0 has a solution in K. This finishes the proof. The reader may consult [1] for an account of the characteristic-two discriminant.
[1] Real Fields and Repeated Radical Extensions , 1997, math/9702232.
[2] Jun Ou,et al. Alternating group coverings of the affine line for characteristic two , 1994, Discret. Math..