Skip to main content
2 of 11
added a top-level tag; see: https://meta.mathoverflow.net/questions/1457/why-are-mo-tags-formatted-as-they-are
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

Fibonacci sequence with angle of right triangle

Let $OPA$ be a right triangle with $\angle {AOP} = 90^0$. Let $\ell$ be the reflection of $PO$ in $PA$ and $\ell$ meets $OA$ at $A_1$. Let $O_1$ be the center of the circle $(PAA_1)$, the line $PO_1$ meets $OA$ at $A_2$. Let $O_2$ be the center of the circle $(PA_1A_2)$, the line $PO_2$ meets $OA$ at $A_3$,.....Let $O_n$ be the center of the circle $(PA_{n-1}A_{n})$, the line $PO_n$ meets $OA$ at $A_{n+1}$ for $n=3, 4, 5....$. Denote $\angle {OPA} = \alpha_1$, $ \angle A_{i}PA_{i+1}=\alpha_{i+1}$ for $i=\overline{1,n}$

Conjecture: $\alpha_2=\alpha_1$ and $\alpha_{n+1}=\alpha_{n}+\alpha_{n-1}$ for $n=2,3,4,...$

I am looking for a proof conjecture above.

enter image description here