Intereting Posts

$ \Big(\dfrac{x^7+y^7+z^7}{7}\Big)^2=\Big(\dfrac{x^5+y^5+z^5}{5}\Big)^2\cdot\Big(\dfrac{x^4+y^4+z^4}{2}\Big) $
Calculus of variations – when $y'$ doesn't exist; example: the isoperimetric problem
Prove DeMorgan's Theorem for indexed family of sets.
Optimisation Problem on Cone
Rolle's Theorem and the Mean Value Theorem
Why is $1/i$ equal to $-i$?
What is the agreed upon definition of a “positive definite matrix”?
Slight generalization of an exercise in (blue) Rudin
How should a numerical solver treat conserved quantities?
Turing Decryption MIT example
Proving that an integral is differentiable
Number of certain (0,1)-matrices, Stanley's Enumerative Combinatorics
Is there more than one way to express a derivative as a limit of a quotient?
Is $x^6 + 3x^3 -2$ irreducible over $\mathbb Q$?
What is the precise definition of $i$?

$$P = \prod_{k=1}^{45} \csc^2(2k-1)^\circ=m^n$$

I realize that there must be some sort of trick in this.

$$P = \csc^2(1)\csc^2(3)…..\csc^2(89) = \frac{1}{\sin^2(1)\sin^2(3)….\sin^2(89)}$$

- Placing checkers on an m x n board
- Number of queries required to find the function.
- homework combinatorics carousel
- How is $\dfrac1{(1-x)^5}=\sum_{n\geq0}{n+4\choose4}x^n$
- What is $\sum_{r=0}^n \frac{(-1)^r}{\binom{n}{r}}$?
- Number of solutions for $x + x + \ldots + x =k$

I noticed that: $\sin(90 + x) = \cos(x)$ hence,

$$\sin(89) = \cos(-1) = \cos(359)$$

$$\sin(1) = \cos(-89) = \cos(271)$$

$$\cdots$$

$$P \cdot P = \frac{\cos^2(-1)\cos^2(-3)….}{\sin^2(1)\sin^2(3)….\sin^2(89)}$$

But that doesnt help?

- Words built from $\{0,1,2\}$ with restrictions which are not so easy to accomodate.
- Existence of Gergonne point, without Ceva theorem
- How many numbers of 6 digits, that can be formed with digits 2,3,9. And also divided by 3?
- Combinatorial Interpretation of a Certain Product of Factorials
- The 6 generals problem
- Show that $\sum_{j=m-1}^{n-1}(-1)^{j-m+1}\binom{j}{m-1}\binom{n}{j+1}=1$ for $n\ge m$
- Inequality involving sums of fractions of products of binomial coefficients
- Permutations to satisfy a challenging restriction
- Show that $\frac1{\sqrt{(n+\frac12) \pi}} \le\frac{1\cdot 3\cdot 5 … (2n-1)}{2\cdot 4\cdot 6 … (2n)} \le \frac1{\sqrt{n \pi}} $
- Probability of $n$ successes in a row at the $k$-th Bernoulli trial… geometric?

$$\sin(2n+1)x=(2n+1)\sin x+\cdots+(-1)^n2^{2n}\sin^{2n+1}x$$

If we set $2n+1=45,2^{44}\sin^{45}x-\cdots+45\sin x-\sin45x=0$

If we set $\sin45x=\sin45^\circ,45x=360^\circ m+45^\circ$ where $m$ is any integer

$\implies x=8^\circ m+1^\circ$ where $0\le m\le44$

$\implies Q=\prod_{m=0}^{44}\sin(8^\circ m+1^\circ)=\dfrac1{\sqrt2}\cdot\dfrac1{2^{44}}$

$Q^2=\dfrac1{2\cdot2^{88}}$

Clearly, $\{\sin^2(8^\circ m+1^\circ);0\le m\le44\}=\{\sin^2(2r-1)^\circ,1\le r\le45\}$

as $x=1^\circ,9^\circ,17^\circ,25^\circ,33^\circ,41^\circ,49^\circ,57^\circ,65^\circ,73^\circ,81^\circ,89^\circ,$

$97^\circ[\sin97^\circ=\sin(180-97)^\circ=\sin83^\circ],$

$105^\circ[\sin75^\circ]$ and so on

$\cdots$

$m=22\implies8m+1=177\implies\sin177^\circ=\sin(180-3)^\circ=\sin3^\circ$

$\cdots$

$m=44\implies8m+1=353\implies\sin353^\circ=-\sin7^\circ$

I’m using a non-standard notation inspired by various programming languages in this evaluation because I think it’s a bit easier to follow than the traditional big pi product notation. Hopefully, it’s self-explanatory. Also, all angles are given in degrees.

This derivation uses the following identities:

$$

\cos x = \sin(90 – x) \\

\sin(180 – x) = \sin x \\

\sin 2x = 2 \sin x \cdot \cos x \\

\text{and hence} \\

\cos x = \frac{\sin 2x}{2 \sin x}\\

$$

$$\begin{align}

\text{Let } P & = prod(\csc^2 x: x = \text{1 to 89 by 2}) \\

1 / P & = prod(\sin x: x = \text{1 to 89 by 2})^2 \\

& = prod(\sin x: x = \text{1 to 89 by 2}) \cdot prod(\cos x: x = \text{1 to 89 by 2}) \\

& = prod(1/2 \sin 2x: x = \text{1 to 89 by 2}) \\

& = 2^{-45} prod(\sin x: x = \text{2 to 178 by 4}) \\

& = 2^{-45} prod(\sin x: x = \text{2 to 86 by 4}) \cdot \sin 90 \cdot prod(\sin x: x = \text{94 to 178 by 4})

\end{align}$$

$$

\text{But } prod(\sin x: x = \text{94 to 178 by 4}) = prod(\sin x: x = \text{2 to 86 by 4}) \\

\text{Let } Q = prod(\sin x: x = \text{2 to 86 by 4}), \text{so } P = \frac{2^{45}}{Q^2}

$$

$$\begin{align}

Q & = prod(cos x: x = \text{4 to 88 by 4}) \\

& = \frac{prod(sin 2x: x = \text{4 to 88 by 4})}{prod(2 sin x: x = \text{4 to 88 by 4})} \\

& = 2^{-22}\frac{prod(sin x: x = \text{8 to 176 by 8})}{prod(sin x: x = \text{4 to 88 by 4})} \\

& = 2^{-22}\frac{prod(sin x: x = \text{8 to 88 by 8}) \cdot prod(sin x: x = \text{96 to 176 by 8})}

{prod(sin x: x = \text{4 to 84 by 8}) \cdot prod(sin x: x = \text{8 to 88 by 8})} \\

\end{align}$$

$\text{But } prod(\sin x: x = \text{96 to 176 by 8}) = prod(\sin x: x = \text{4 to 84 by 8})$

$\text{Hence } Q = 2^{-22} \text{ and } P = 2^{45} / (2^{-22})^2 = 2^{89}$

- How to think about ordinal exponentiation?
- What are some rigorous definitions for sine and cosine?
- New very simple golden ratio construction incorporating a triangle, square, and pentagon all with sides of equal length. Is there any prior art?
- Polynomial map is surjective if it is injective
- Chance of winning simple dice game
- Finding $\int x^xdx$
- $U\subset [0,\infty)$ is open and unbounded $\Rightarrow \exists x$ such that $U\cap \{nx;n\in \mathbb N\}$ is infinite.
- Existence of $\vee$ or $\wedge$ for non-monotonic functions
- Why a complete graph has $\frac{n(n-1)}{2}$ edges?
- Flow of sum of non-commuting vector fields
- Sum of two open sets is open?
- Does anyone know a closed-form expression for a bijection between $\mathbb{N}^k$ and $\mathbb{N}$?
- What forms does the Moore-Penrose inverse take under systems with full rank, full column rank, and full row rank?
- Is it true or false that $\lvert P() \setminus P((0, 1)) \rvert > \lvert P(\mathbb{N}) \rvert$
- Every uniformly continuous real function has at most linear growth at infinity