Proof Concerning Central Line X5X6X_5X_6 of Triangle

Image
Hello everyone. Today we will prove theorem about central line X5X6X_5X_6 of triangle. Proof of the Central Line in a Golden Rectangle Construction Statement of the Theorem Let ABCDABCD be a golden rectangle where ABBC=ϕ \frac{AB}{BC} = \phi , and construct the square BCQP BCQP inside it. Reflect P P over D D to obtain E E . Then, the line EB EB coincides with the central line X5X6 X_5X_6 of triangle ABP ABP . Step-by-Step Proof 1. Define the Coordinates We assign coordinates as follows: A=(0,0) A = (0,0) , B=(ϕx,0) B = (\phi x, 0) , C=(ϕx,x) C = (\phi x, x) , D=(0,x) D = (0, x) . The square BCPQ BCPQ ensures P=(ϕx,2x) P = (\phi x, 2x) . The reflection of P P across D D is E=(ϕx,2x) E = (-\phi x, 2x) . 2. Compute the Nine-Point Center X5 X_5 The nine-point center X5 X_5 is the circumcenter of the medial triangle, which consists of the midpoints: M1=(0+ϕx2,0)=(ϕx2,0), M_1 = \left(\frac{0 + \phi x}{2}, 0\right) = \left(\frac{\phi x}{2}, 0\right), \[ M_2 = \left(\f...

Proof that the set of prime numbers is infinite

Hello everyone. Today we will prove that the set of prime numbers is infinite. We will use the method of contradiction as a proof method. We'll also use the theorem of French mathematician Eduardo Lucas. 

Theorem (Lucas): Every prime factor of Fermat number Fn=22n+1F _ n = 2 ^ {2 ^ n} + 1; (n>1n > 1) is of the form k2n+2+1k2 ^{n + 2} + 1

Theorem: The set of prime numbers is infinite.

Proof:

Suppose opposite, that there are just finally many prime numbers and we denote the largest prime by pp. Then FpF_p must be a composite number because Fp>pF_p>p. By Lucas theorem we know that there is a prime number qq of the form k2p+2+1k2 ^{p + 2} + 1 that divides FpF_p. But q>pq>p , thus we arrived at  a contradiction. Hence, the set of prime numbers is infinite.

\blacksquare

Comments

Popular posts from this blog

Proof of the product formula for π23\dfrac{\pi}{2\sqrt{3}}

Proof of the formula for the area of a circle

Proof of the formula for the sum of the first n Fibonacci numbers