Demo page

Written January 1, 2020

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Cras a eros accumsan velit rutrum tempor in sit amet tortor. Aliquam at interdum massa. Aliquam malesuada porta fermentum. Suspendisse ac lectus tellus. Fusce viverra ex libero, ac lobortis nisi viverra quis. In cursus finibus nulla at iaculis. Nullam pellentesque euismod sagittis. Aenean id finibus leo. Interdum et malesuada fames ac ante ipsum primis in faucibus. In a nibh est. Etiam sed sem a leo consectetur molestie ut eget lorem. Suspendisse facilisis dictum diam ut convallis. Sed ut massa ac metus volutpat gravida sed sed elit.

A table

a	b	c
1	2	3

Nullam tempus a nisl id rhoncus. Sed maximus ex lacus, quis porttitor justo varius a. Sed maximus maximus tellus imperdiet viverra. Fusce tincidunt ultrices augue ut tincidunt. Suspendisse maximus id odio quis pellentesque. Praesent ac ante a felis pulvinar maximus. Aliquam erat volutpat. Nulla facilisi. Donec quis viverra massa, vel auctor elit. Aliquam erat volutpat. Pellentesque eget pellentesque magna, at vehicula nunc. Mauris blandit lacinia lacinia.

Vivamus imperdiet ligula ac magna aliquet suscipit. Fusce malesuada suscipit orci, vel ultrices nisl ornare ut. Quisque eleifend magna dolor, quis sodales purus varius in. Duis et sapien fringilla, congue lorem quis, consectetur erat. Nunc in augue et erat elementum elementum nec eu felis. Mauris accumsan feugiat enim, sed tempor sapien placerat mollis. Cras ut vulputate massa. Etiam aliquam pulvinar erat, sed congue leo.

Monospace

| a   | b   | c   |
| --- | --- | --- |
| 1   | 2   | 3   |

Some rust code

for i in 0..10 {
    println!("{i}");
}

Some python code

for i in range(10):
    print(i)

Some inline math $1+2$

$$2+x$$

An image

A picture

A quote

Some commentary.

Theorem

There exist irrational numbers $a$ and $b$ such that $a^b$ is rational.

Proof

We will prove this by constructing a specific example.

Let $a = \sqrt{2}$. We know $\sqrt{2}$ is irrational.
Consider $(\sqrt{2})^{\sqrt{2}}$. We have two possibilities:

a) If $(\sqrt{2})^{\sqrt{2}}$ is rational, we've found our example and the proof is complete.

b) If $(\sqrt{2})^{\sqrt{2}}$ is irrational, we proceed to the next step.
Assume $(\sqrt{2})^{\sqrt{2}}$ is irrational. Let's call this number $x$:

$x = (\sqrt{2})^{\sqrt{2}}$
Now consider $x^{\sqrt{2}}$. We can rewrite this as:

$x^{\sqrt{2}} = ((\sqrt{2})^{\sqrt{2}})^{\sqrt{2}}$
Using the laws of exponents, we can simplify:

$((\sqrt{2})^{\sqrt{2}})^{\sqrt{2}} = (\sqrt{2})^{\sqrt{2} \cdot \sqrt{2}} = (\sqrt{2})^2 = 2$
2 is clearly rational.

Therefore, we have shown that $x^{\sqrt{2}} = 2$, where $x$ is irrational (by our assumption in step 3) and $\sqrt{2}$ is irrational.

Conclusion

We have constructed irrational numbers $a$ and $b$ (namely, $x$ and $\sqrt{2}$) such that $a^b$ is rational (specifically, equal to 2).

This proves that it's possible for an irrational number raised to an irrational power to be rational.

Q.E.D.