1.8 Proof Methods and Strategy

Ex: 1, 2, 3, 6, 13

Can (irrational)irrational=rational?(\textsf{irrational})^{\textsf{irrational}}= \textsf{rational}?

Proof: Consider (2)2=x(\sqrt 2)^{\sqrt 2} = x,
case #1, xx is rational, done.
case #2, xx is irrational

((2)2)2=x2(2)2=x22=x2\begin{aligned} ((\sqrt 2)^{\sqrt 2})^{\sqrt 2} &= x^{\sqrt 2}\\ (\sqrt 2)^2 &= x^{\sqrt 2}\\ 2 &= x^{\sqrt 2} \end{aligned}

2 is rational. Done.

Homework

p129: 14, 19, 29, 30, 36

14. Prove or disprove that if aa and bb are rational numbers, then aba^b is also rational.

Solution

Disprove. When a=2,b=12a=2, b=\dfrac{1}{2}, it follows that ab=2a^b = \sqrt 2. aa and bb are rational numbers, but 2\sqrt 2 is a irrational number.

19. Show that if nn is an odd integer, then there is a unique integer kk such that nn is the sum of k2k-2 and k+3k + 3.

Solution

Let n=2a+1n = 2a+1, where aa is an integer. n=2a+1=(a2)+(a+3)n=2a+1 = (a-2) + (a+3). Therefore, there is a unique kk, where k=ak=a, such that n=(k2)+(k+3)n=(k-2) + (k+3).

29. Prove that there is no positive integer nn such that n2+n3=100n^2 + n^3 = 100.

Solution

By contradiction. The contradiction is "there is an positive integer nn such that n2+n3=100n^2 + n^3 = 100".

n>0n3>0n2+n3=100n3=100n20<n3<100\begin{gathered} n > 0 \To n^3 > 0\\ n^2 + n^3 = 100 \To n^3 =100 -n^2\\ 0< n^3 < 100 \end{gathered}

The possible values for nn are 1,2,3,41, 2, 3, 4. None of these values satisfies n2+n3=100n^2 + n^3 = 100.
Therefore the contradiction is false, and the original statement is true.

30. Prove that there are no solutions in integers xx and yy to the equation 2x2+5y2=142x^2 + 5y^2 = 14.

Solution

1. 2x2+5y2=14x2=75y220x272x^2 + 5y^2 = 14 \To x^2 = 7-\dfrac{5y^2}{2} \To 0 \leqslant x^2 \leqslant 7
2. The possible integer values for xx are ±2,±1,0\pm 2, \pm 1, 0. Solve for yy, y=±65,±125,±145y = \pm \sqrt{\frac{6}{5}}, \pm \sqrt{\frac{12}{5}}, \pm \sqrt{\frac{14}{5}}
3. None of the possible values of yy is an integer.
Therefore, the original statement is true.

36. Prove that between every rational number and every irrational number there is an irrational number.

Solution

1. Consider x,y,zx, y, z, where xx is rational, yy is irrational, and z=x+y2z = \dfrac{x+y}{2}, it follows that z=x+y2y=2zxz = \dfrac{x+y}{2} \To y= 2z-x
2. Assume zz is rational, because xx is rational too, 2zx2z-x is rational.
3. yy is irrational and y=2zxy = 2z-x, the assumption that zz is rational is false. zz is irrational.
Therefore, the original statement is true.