色盲悖论如何解说，粉丝提问的一道超烧脑数域问题
色盲悖论如何解说，粉丝提问的一道超烧脑数域问题1/C=1/(三次根号4 d三次根号2 e)=1/[(三次根号2 f)(三次根号2 g)]【f g是关于x的二次方程x^2 dx e=0的两个根，我们可以根据二次方程的求根公式，反推出它们关于d e的表达式，不过没有这个必要。它们可能是无理数，甚至可能是复数，但没有关系，我们只要它们的和f g=-d 积fg=e，就足够了，能得到这一步很关键，如果不能理解，从右往左反推过去，就能证明这一步是成立的】若c2≠0时 使C=三次根号4 d三次根号2 e=B/c2，【其中d=b2/c2 e=a2/c2，只要证明1/C属于Q(三次根号2) 就有1/B属于Q(三次根号2)，从而A/B属于Q(三次根号2)，接下来的步骤超烧脑，还要考验计算的耐心，能做到的人恐怕不多】.A*B=a1a2 2b1c2 2b2c1 (a1b2 a2b1 2c1c2)三次根号2 (b1b2 a1c2 a2c1)三次根号4∈Q
今天有粉丝向老黄提问了一道超烧脑的数域判定问题。老黄放下了手中的所有工作，专心把它解决了。因为觉得在数域方面，这个问题还是挺有代表性的，而且不想让劳动果实浪费掉，因此决定分享出来，让大家看一看。题目看起来很简单：
证明：Q(三次根号2))={a b三次根号2 c三次根号4|a b c∈Q}构成一个数域.
证：任取A=a1 b1三次根号2 c1三次根号4 B=a2 b2三次根号2 c2三次根号4∈Q(三次根号2) 【根据数域的定义，判定数集是数域的第一步，都是要从数集中取出任意的两个元素，然后证明它们的和、差、积、商(除数非0)，结果都属于这个数集】。
A-B=a1-a2 (b1-b2)三次根号2 (c1-c2)三次根号4∈Q(三次根号2).【显然，差仍属于这个数集】
A*B=a1a2 2b1c2 2b2c1 (a1b2 a2b1 2c1c2)三次根号2 (b1b2 a1c2 a2c1)三次根号4∈Q(三次根号2).【本来根据数域的充要条件，只需证明差和商都属于这个数集就足够了，但是商证明起来太难，需要用到积，因此这里先证明积属于这个数集】
当|a2| |b2| |c2|≠0时 B≠0 【数域的必要条件，必须含有非零的元素，这也是求商的必要条件】
若c2=0 则1/B=1/(a2 b2三次根号2)=(a2^2-a2b2三次根号2 b2^2三次根号4)/(a2^3 2b2^3)∈Q(三次根号2)；【这里可以证明在c2=0的特殊形式下，A/B属于Q(三次根号2)，即商符合条件】
若c2≠0时 使C=三次根号4 d三次根号2 e=B/c2，【其中d=b2/c2 e=a2/c2，只要证明1/C属于Q(三次根号2) 就有1/B属于Q(三次根号2)，从而A/B属于Q(三次根号2)，接下来的步骤超烧脑，还要考验计算的耐心，能做到的人恐怕不多】.
1/C=1/(三次根号4 d三次根号2 e)=1/[(三次根号2 f)(三次根号2 g)]【f g是关于x的二次方程x^2 dx e=0的两个根，我们可以根据二次方程的求根公式，反推出它们关于d e的表达式，不过没有这个必要。它们可能是无理数，甚至可能是复数，但没有关系，我们只要它们的和f g=-d 积fg=e，就足够了，能得到这一步很关键，如果不能理解，从右往左反推过去，就能证明这一步是成立的】
=(三次根号4-f三次根号2 f^2)(三次根号4-g三次根号2 g^2)/((2 f^3)(2 g^3))【这里连续运用了两次立方和公式x^3 y^3=(x y)(x^2-xy y^2)进行分母有理化。当然f^3和g^3不一定是有理数，不过我们可以通过下面的转化，就可以证明这个分母(2 f^3)(2 g^3)就是有理数，接下来，把分子分母同时展开，得到：】
=(2倍三次根号2-2g g^2三次根号4-2f fg三次根号4-fg^2三次根号2 f^2三次根号4-f^2g三次根号2 f^2g^2)/(4 2(f^3 g^3) f^3g^3))【看到这么复杂的式子，学渣可能死的心都有了，学霸则会非常开心，因为一眼就能看出问题已经可以解决了】
=(2倍三次根号2-2(g f) f^2g^2-fg(f g)三次根号2 (f^2 fg g^2)三次根号4)/(4 2(f g)(f^2 fg g^2) f^3g^3))【这样子基本上就可以运用韦达定理，把f g都化掉，用d e代替了】
=(2d e^2 (de 2)三次根号2 (d^2-e)三次根号4)/(4-2d^3 6de e^3).
∵d=b2/c2 e=a2/c2∈Q ∴1/C∈Q(三次根号2) 【a2 b2 c2在c2不等于0时的任意性，决定了d e的任意性】
∴1/B=1/c2*/C∈Q(三次根号2) 【也就是说，不论c2是不是等于0，1/B都属于Q(三次根号2)】
∴A/B=A*1/B∈Q(三次根号2) 【这里连续运用了两次任两个元素的积属于原数集，因此前面要先证明积的情形】，
∴Q(三次根号2)构成一个数域.【因为任两个元素的差和商（除数非0）都属于原数集，根据数域的充要条件，就可以知道原数集是一个数域了】
整个过程真的超复杂，没解出来之前也是超烧脑的。老黄一贯地希望有高手能够提供更简便的方法。期待中！
