bjr
un peu de rigueur SVP
il s'agit d'une équivalence
sens aller(===>)
-------------------------------------------------------------------------------------
f(x) dans Q pour tout x du Df, en particulier pour x = Rac(2) (irrationnel)
en effet rac(2) différent de (-d/c)
donc : (a.rac(2) + b) / (c.rac(2) + d) = k dans Q
-----------> rac(2).[a-kc] = kd-b
si : a-kc non nul , alors rac(2) serait rationnel ( impossible)
et par suite forçément : a=kc ------> b=kd---------> ad-bc=0
sens retour (<===):
--------------------------------------------------------------------------------
CAS: c et d non nuls
ad-bc =0 ---------> a/c=b/d = m
------------> f(x) = (mcx + md)/(cx+d) = m rationnel
CAS : c=0 , d non nul
ad-bc =0 -----> ad=0 --------->a=0 ------------> f(x) =b/d rationnel
CAS : c non nul et d=0
ad-bc=0---------->bc=0-------->b=0----------> f(x)=ax/cx= a/c rationnel
CAS : c=d=0 impossible