Polynomial meets geometry

by chirita.andrei, Apr 2, 2025, 5:42 PM

(a) Let $A,B,C$ be collinear points (in order) and $D$ a point in plane. Consider the disc $\mathcal{D}$ of center $D$ and radius $kBD$, for some $k\in(0,1)$. Prove that $\mathcal{D}\cap [AC]$ is either the empty set or a segment of length at most $2kAC$.
(b) Let $n$ be a positive integer and $P(X)\in\mathbb{C}[X]$ be a polynomial of degree $n$. Prove that \[\sup_{x\in[0,1]}|P(x)|\le(2n+1)^{n+1}\int\limits_{0}^{1}|P(x)|\mathrm{d}x.\]

On coefficients of a polynomial over a finite field

by Ciobi_, Apr 2, 2025, 2:59 PM

Let $p$ be an odd prime number, and $k$ be an odd number not divisible by $p$. Consider a field $K$ be a field with $kp+1$ elements, and $A = \{x_1,x_2, \dots, x_t\}$ be the set of elements of $K^*$, whose order is not $k$ in the multiplicative group $(K^*,\cdot)$. Prove that the polynomial $P(X)=(X+x_1)(X+x_2)\dots(X+x_t)$ has at least $p$ coefficients equal to $1$.

On non-negativeness of continuous and polynomial functions

by Ciobi_, Apr 2, 2025, 2:51 PM

a) Let $a\in \mathbb{R}$ and $f \colon \mathbb{R} \to \mathbb{R}$ be a continuous function for which there exists an antiderivative $F \colon \mathbb{R} \to \mathbb{R} $, such that $F(x)+a\cdot f(x) \geq 0$, for any $x \in \mathbb{R}$, and$ \lim_{|x| \to \infty} \frac{F(x)}{e^{|\alpha \cdot x|}}=0$ holds for any $\alpha \in \mathbb{R}^*$. Prove that $F(x) \geq 0$ for all $x \in \mathbb{R}$.
b) Let $n\geq 2$ be a positive integer, $g \in \mathbb{R}[X]$, $g = X^n + a_1X^{n-1}+ \dots + a_{n-1}X+a_n$ be a polynomial with all of its roots being real, and $f \colon \mathbb{R} \to \mathbb{R}$ a polynomial function such that $f(x)+a_1\cdot f'(x)+a_2\cdot f^{(2)}(x)+\dots+a_n\cdot f^{(n)}(x) \geq 0$ for any $x \in \mathbb{R}$. Prove that $f(x) \geq 0$ for all $x \in \mathbb{R}$.

Integral inequality with differentiable function

by Ciobi_, Apr 2, 2025, 2:29 PM

Let $f \colon [0,1] \to \mathbb{R} $ be a differentiable function such that its derivative is an integrable function on $[0,1]$, and $f(1)=0$. Prove that \[ \int_0^1 (xf'(x))^2 dx \geq 12 \cdot \left( \int_0^1 xf(x) dx\right)^2 \]

On units in a ring with a polynomial property

by Ciobi_, Apr 2, 2025, 2:21 PM

We say a ring $(A,+,\cdot)$ has property $(P)$ if :
\[
\begin{cases}

\text{the set } A \text{ has at least } 4 \text{ elements} \\
\text{the element } 1+1 \text{ is invertible}\\
x+x^4=x^2+x^3 \text{ holds for all } x \in A
\end{cases}
\]a) Prove that if a ring $(A,+,\cdot)$ has property $(P)$, and $a,b \in A$ are distinct elements, such that $a$ and $a+b$ are units, then $1+ab$ is also a unit, but $b$ is not a unit.
b) Provide an example of a ring with property $(P)$.

Proving AB-BA is singular from given conditions

by Ciobi_, Apr 2, 2025, 2:04 PM

Let $A,B \in \mathcal{M}_n(\mathbb{C})$ be two matrices such that $A+B=AB+BA$. Prove that:
a) if $n$ is odd, then $\det(AB-BA)=0$;
b) if $\text{tr}(A)\neq \text{tr}(B)$, then $\det(AB-BA)=0$.

Easy matrix equation involving invertibility

by Ciobi_, Apr 2, 2025, 1:46 PM

Let $n$ be a positive integer, and $a,b$ be two complex numbers such that $a \neq 1$ and $b^k \neq 1$, for any $k \in \{1,2,\dots ,n\}$. The matrices $A,B \in \mathcal{M}_n(\mathbb{C})$ satisfy the relation $BA=a I_n + bAB$. Prove that $A$ and $B$ are invertible.

linear algebra

by ay19bme, Apr 2, 2025, 7:06 AM

Does the matrix equation $X^3=mI_2$ is solvable over $M_{2}(\mathbb{Z})$ for every $m\in \mathbb{Z}$. Here $X\in M_{2}(\mathbb{Z})$, $I_2=\begin{pmatrix} 1& 0\\0 & 1\end{pmatrix}$.
This post has been edited 1 time. Last edited by ay19bme, Yesterday at 7:08 AM
Reason: ........

RREF of some matrices

by tommy2007, Apr 2, 2025, 6:57 AM

for $\forall n \in \mathbb{N},$
what is the maximum integer that appears in one of the Reduced Row Echelon Forms of $n \times n$ matrices which has only $-1$ and $1$ for their entries?

Range of solutions to the log equation

by obihs, Apr 1, 2025, 6:18 PM

Let $n$ be a positive integer, and consider the equation:
$$(\log x)^n - x + 1 = 0\quad\cdots(\heartsuit)$$Answer the following questions. You may assume that $2.7<e<2.72$ is known.

$(1)\quad$ Determine the number of real solutions of equation $(\heartsuit)$ for each $n$.

$(2)\quad$ For $n\ge 3$ , let $r_n$ be the segond largest real solution of $(\heartsuit)$.

$(\i)\quad$ Find $\alpha$ such that $\lim_{n\to\infty} r_n =\alpha.$

$(\i\i)\quad$ Find $\lfloor\beta\rfloor$, where $\beta$ is defined as

$$\lim_{n\to\infty}n(r_n-\alpha)=\beta.$$

The oldest, shortest words — "yes" and "no" — are those which require the most thought.

avatar

adityaguharoy
Archives
+ February 2021
+ April 2016
Shouts
Submit
  • You will be remembered

    by giangtruong13, Feb 26, 2025, 3:38 PM

  • 2025 shout!

    by just_a_math_girl, Jan 12, 2025, 7:25 AM

  • 2024 shout

    by bachkieu, Aug 22, 2024, 12:52 AM

  • helooooooooooo

    by owenccc, Sep 27, 2023, 12:59 AM

  • hullo :<

    by gracemoon124, Jul 14, 2023, 2:33 AM

  • hello $ $

    by LeoLionTank, Feb 17, 2023, 9:02 PM

  • Halo thear

    by HoRI_DA_GRe8, Oct 18, 2022, 7:44 AM

  • hi!!
    just found this and I can't wait to read more!
    so happy to have found this blog!

    by Morrigan_Black, Jan 28, 2022, 1:05 PM

  • still waiting for the mathlinks camp lol

    by CinarArslan, Jan 9, 2022, 1:55 PM

  • hello :D

    by CyclicISLscelesTrapezoid, Nov 29, 2021, 6:36 PM

  • Right below the shout box it says how many it has.

    by pith0n, May 11, 2021, 5:08 AM

  • Oh really the blog has 100 posts! I never counted the number of posts here. If I get some free time I will create a new page on my wordpress website and there I will post all the contents of this blog. So, make sure that you check the wordpress site.

    by adityaguharoy, Mar 21, 2021, 2:58 PM

  • Nice blog!

    by DCode10, Mar 10, 2021, 7:00 PM

  • Hi adityaguharoy! Nice blog!

    by masadca, Feb 4, 2021, 9:19 PM

  • wow just noticed congrats on 100 posts in this blog !!!!!!!

    by mathical8, Jan 7, 2021, 4:20 AM

117 shouts
Tags
number theory
algebra
calculus
Inequality
function
real analysis
Real Analysis 1
real numbers
combinatorics
continuity
geometry
polynomial
Wikipedia
inequalities
linear algebra
prime numbers
rational numbers
Sequence
Vectors and Matrices
Convergence
functional equation
gallery
identity
Irrational numbers
Lemma
mathematics
Matrices
algorithm
Calculus 1
countable sets
definition
differentiability
easy
equation
Example
images
Integral
interesting
Links
probability
set theory
trigonometry
uncountable sets
Vectors
analysis
bijection
bijective function
complex numbers
continuous function
convergence and divergence
counting
differentiation
Diophantine equation
Fibonacci sequence
fishes
Fractals
GCD
Geometric Inequalities
graph theory
Greatest Integer Function
interesting number
inverse of matrices
logic
lonesan
modulo
non-existence
numbers
pi
Pictures
puzzles
pythagoras
Recreation
Sequence and Series
sequence definition
series
Solution
solve
Theorem
triangle inequality
tribute
12-21
1968
2018
22dividedby7
259 X 39
acute angled triangle
announcement
AoPS
Apery s constant
article
Attachment
barnstar
Bertrand s postulate
Bolzano Weirestrass
BOTTEMA
bounds
bq
Candido s identity
Category I
Cauchy condensation
Celebration
chess
chess-puzzles
collection
combinatorial-number theory
Community
complement graph
complex-geometry
computer
Computer Programming
computer-programming
concave functions
Congruency
connected graph
construction
content of a polynomial
continuous
Convex Functions
convex-concave
Coronavirus
Cos
cosine rule
Covid-19
cube-root of 1
definitions
degree 2
Determinants
differentiable
Digits
Diophantus identity
divergence
Euclidean algorithm
euclidean geometry
Euler s number
ex falso quodlibet
factorization
false
Fiber
Floor
foundational mathematics
FRS degree 2
FRT
Function Construction
functions
Gauss Jordan Elimination
google
graph
greatest common divisor
greetings
Happy New Year
Hermite s identity
history
HMMT
infinity
Integers
integrable
integral-calculus
integration
irrational
isomorphic graphs
isomorphism in graph
kobayashi
Koch curve
Koch snowflake
Korselt
Korselt criterion
limit
link
Locally finite set
magma
Maple
mathematical theory
mathematicians
matrix
Measure theory
Memory
merry christmas
method
modular arithmetic
modulo 6
motto
notation
number
number of outcomes
Number of Real Number solution
number puzzles
Order
ordered pair
pascal s triangle
pattern
PDF
pigeonhole principle
polynomial approximation
positive real numbers
precautions
predicate claculus
predicate logic
prime
Prime number
project Euler
propositional calculus
propositional logic
Putnam
pythagorean tree
Quadratic
Ramsey
Ramsey Theory
rational
Real number equations
reverse under square
riemann integral
Safety
search
self complementary graphs
Sets
Sierpenski
Sierpinski Triangle
Sierpnski
sin
slogan
snowflake
software
song
squaring
Stone-Weirestrass
stronger PhP
Tan
tends
terminology
Tradition
Triangle
trigonometric inequalities
truth
twelvefold way
unity
VJIMC
Volterra s function
Weirestrass
willy s lemma
xzlbq
zeckendorf theorem
Zsigmondy
About Owner
  • Posts: 4655
  • Joined: Apr 29, 2014
Blog Stats
  • Blog created: Apr 26, 2016
  • Total entries: 101
  • Total visits: 25028
  • Total comments: 61
Search Blog
a