Équation paramétrée

samok

Bonjour,
je recherche une fonction Turing-programmable ayant pour arguments : $a$, $b$, $c$, $d$, $k$ des nombres entiers relatifs,
telle qu'elle réponde VRAI, si et seulement si, l'équation dans $\mathbb{Z}$ d'inconnue $x\ : \ \dfrac{ax+b}{cx+d}=k\ $ admet, une et une seule, solution, dans $\mathbb{N}$.

Merci de votre attention.

samok

Après raisonnement par thèse_anti-thèse_synthèse dans |R :

Reste à examiner la foutaise, à moins que ce ne soit la prothèse.

Thank you for your attention.

ev

Je ne comprends pas pourquoi on aurait $\dfrac{kd-b}{a-kc} \in \N$.

D'un autre côté je n'ai pas compris la question. J'imagine que ça fait un partout.

e.v.

[ Que devient la mortaise ? ]

samok

Je te ferais dire que je n'ai pas dit ce que tu ne me fais pas dire,