Let us assume the contrary, that 4−√3 is rational.
That is, we can find co-prime a and b (b≠0) such that 4−√3=ab.
Therefore 4−ab=√3.
Rearranging this equation, we get √3=4−ab
=4b−ab
Since a and b are integers, we get 4b−ab is rational, and so √3 is rational.
But this contradicts the fact that √3 is irrational,
This contradicts the fact that √3 is irrational.
This contradiction has arisen because of our incorrect assumption that 4-√3 is rational.
so, we conclude that 4−√3 is irrational.