F=(F^3+F^3)/9-2F^3

by Yiyj1, Apr 10, 2025, 3:12 AM

Define the Fibonacci sequence $F_n$ as $$F_1=F_2=1, F_{n+1}+F_n=F_{n-1}$$fir $n \in \mathbb{N}$. Prove that $$F_{2n}=\dfrac{F_{2n+2}^3+F_{2n-2}^3}{9}-2F_{2n}^3$$for all $n \ge 2$.

Inspired by 2025 Nepal

by sqing, Apr 10, 2025, 2:14 AM

Let $ a, b, c $ be positive reals such that $ a+b +c+abc = 4 $. Prove that
$$ \frac{1}{a+1} + \frac{1}{b+1} + \frac{1}{c+ 1}\leq\frac{3}{2}(2 - abc) $$$$ \frac{1}{ab+1} + \frac{1}{bc+1} + \frac{1}{ca + 1}\leq\frac{3}{2}(2 - abc) $$
This post has been edited 1 time. Last edited by sqing, 2 hours ago

Inspired by Ruji2018252

by sqing, Apr 10, 2025, 2:00 AM

Let $ a,b,c $ be reals such that $ a^2+b^2+c^2-2a-4b-4c=7. $ Prove that
$$ -4\leq 2a+b+2c\leq 20$$$$5-4\sqrt 3\leq a+b+c\leq 5+4\sqrt 3$$$$ 11-4\sqrt {14}\leq a+2b+3c\leq 11+4\sqrt {14}$$

Funny function that there isn't exist

by ItzsleepyXD, Apr 10, 2025, 1:50 AM

Determine all functions $f\colon\mathbb{Z}_{>0}\to\mathbb{Z}_{>0}$ such that, for all positive integers $m$ and $n$,
$$ m^{\phi(n)}+n^{\phi(m)} \mid f(m)^n + f(n)^m$$

NT function debut

by AshAuktober, Apr 9, 2025, 3:53 PM

Let $f$ be a function taking in positive integers and outputting nonnegative integers, defined as follows:
$f(m)$ is the number of positive integers $n$ with $n \le m$ such that the equation $$an + bm = m^2 + n^2 + 1$$has an integer solution $(a, b)$.
Find all positive integers $x$ such that$f(x) \ne 0$ and $$f(f(x)) = f(x) - 1.$$(Adit Aggarwal, India.)
This post has been edited 1 time. Last edited by AshAuktober, an hour ago

4 lines concurrent

by Zavyk09, Apr 9, 2025, 11:51 AM

Let $ABC$ be triangle with circumcenter $(O)$ and orthocenter $H$. $BH, CH$ intersect $(O)$ again at $K, L$ respectively. Lines through $H$ parallel to $AB, AC$ intersects $AC, AB$ at $E, F$ respectively. Point $D$ such that $HKDL$ is a parallelogram. Prove that lines $KE, LF$ and $AD$ are concurrent at a point on $OH$.

where a, b, c are positive real numbers

by eyesofgod1930, Jun 8, 2020, 2:06 PM

where $a, b, c$ are positive real numbers.Prove that
$\frac{4}{\sqrt{a^{2}+b^{2}+c^{2}+4}}-\frac{9}{\sqrt{(a+b)\sqrt{(a+2c)(b+2c)}}}\leq \frac{5}{8}$

Integral solutions

by KDS, Jul 12, 2009, 10:45 AM

Prove that the equation $ (x+y)^n=x^m+y^m$ has a unique solution in integers with $ x>y>0$ and $ m,n>1$.

Inequality => square

by Rushil, Oct 7, 2005, 5:12 AM

Suppose $ABCD$ is a cyclic quadrilateral inscribed in a circle of radius one unit. If $AB \cdot BC \cdot CD \cdot DA \geq 4$, prove that $ABCD$ is a square.

Isos Trap

by MithsApprentice, Oct 3, 2005, 10:47 PM

Let $ABCD$ be an isosceles trapezoid with $AB \parallel CD$. The inscribed circle $\omega$ of triangle $BCD$ meets $CD$ at $E$. Let $F$ be a point on the (internal) angle bisector of $\angle DAC$ such that $EF \perp CD$. Let the circumscribed circle of triangle $ACF$ meet line $CD$ at $C$ and $G$. Prove that the triangle $AFG$ is isosceles.

It's not just good - it's revolutionary!

avatar

liberator
Shouts
Submit
  • whoa....

    by bachkieu, Jan 31, 2025, 1:40 AM

  • hello...

    by ethan2011, Jul 4, 2024, 5:13 PM

  • 2024 shout ftw

    by Shreyasharma, Feb 19, 2024, 10:28 PM

  • time flies

    by Asynchrone, Dec 13, 2023, 9:29 PM

  • first 2023 shout :D

    by gracemoon124, Aug 2, 2023, 4:58 AM

  • offline.................

    by 799786, Dec 27, 2021, 7:08 AM

  • YOU SHALL NOT PASS! - liberator

    by OlympusHero, Aug 16, 2021, 4:10 AM

  • Nice Blog!

    by geometry6, Jul 31, 2021, 1:39 PM

  • First shout out in 2021 :D

    by Aimingformygoal, May 31, 2021, 4:23 PM

  • indeed a pr0 blog :surf:

    by Kanep, Dec 3, 2020, 10:46 PM

  • pr0 blog !!

    by Hamroldt, Dec 2, 2020, 8:32 AM

  • niice bloog!

    by Eliot, Oct 1, 2020, 3:27 PM

  • nice blog :o

    by fukano_2, Aug 8, 2020, 7:49 AM

  • Nice blog :)

    by Feridimo, Mar 31, 2020, 9:29 AM

  • Very nice blog !

    by Kamran011, Oct 31, 2019, 5:48 PM

56 shouts
Tags
About Owner
  • Posts: 95
  • Joined: May 28, 2014
Blog Stats
  • Blog created: Aug 13, 2014
  • Total entries: 46
  • Total visits: 37992
  • Total comments: 43
Search Blog
a