MHB Prove: Quadratic Inequality of Points on Semicircle O

  • Thread starter Thread starter Albert1
  • Start date Start date
  • Tags Tags
    Geometry Proof
Click For Summary
The discussion focuses on proving the inequality $a^2+b^2+c^2+d^2+abc+bcd < 4$ for points on a semicircle with diameter AE. By employing the Law of Cosines, the problem is simplified to two variables, leading to the function $f(\alpha)$, which is analyzed for critical points. The critical value is found to be approximately 1.0605, and the function is evaluated at the endpoints, confirming that $f(\alpha)<1$ for $0<\alpha<\frac{\pi}{2}$. Additionally, using the Pythagorean theorem, it is shown that the sum of squares of the segments is less than 4, thus validating the original inequality. The proof effectively demonstrates the relationship between the segments and their geometric constraints.
Albert1
Messages
1,221
Reaction score
0
AE is a diameter of a semicicle O,points B,C,D are three points on this semicicle
Given :AB=a ,BC=b ,CD=c ,DE=d ,and AE=2
please prove :
$a^2+b^2+c^2+d^2+abc+bcd < 4$
View attachment 968
 

Attachments

  • semicircle.jpg
    semicircle.jpg
    13.3 KB · Views: 120
Last edited:
Mathematics news on Phys.org
Because of the symmetry between the pairs $(a,d)$ and $(b,c)$, we may reduce the problem to one of two variables:

Prove:

$$a^2+b^2+ab^2<2$$

where $a$ and $b$ are found from the following diagram:

View attachment 971

Using the Law of Cosines, we find:

$$a^2=2-2\cos(\alpha)$$

$$b^2=2-2\cos(\beta)$$

Since $\alpha$ and $\beta$ are complementary, we now have the objective function in one variable (after dividing through by 2):

$$f(\alpha)=2-\left(\cos(\alpha)+\sin(\alpha) \right)+\sqrt{2-2\cos(\alpha)}\left(1-\sin(\alpha) \right)<1$$

Differentiating with respect to $\alpha$ and equating to zero, we may find the critical value(s) (using a numeric root-finding technique) on the relevant interval:

$$\alpha\approx1.06048703739259044748$$

Thus, checking the end-points of the interval, we find:

$$f(0)=1$$

$$f(1.06048703739259044748)\approx0.767829392509715815674068$$

$$f\left(\frac{\pi}{2} \right)=1$$

Thus, we may conclude that for $$0<\alpha<\frac{\pi}{2}$$ we must have:

$$f(\alpha)<1$$

which is what we needed to show.
 

Attachments

  • albert01.jpg
    albert01.jpg
    4.7 KB · Views: 108
Albert said:
AE is a diameter of a semicicle O,points B,C,D are three points on this semicicle
Given :AB=a ,BC=b ,CD=c ,DE=d ,and AE=2
please prove :
$a^2+b^2+c^2+d^2+abc+bcd < 4$
https://www.physicsforums.com/attachments/968
connecting AC, and CE ,from law of cosine:

$AC^2=a^2+b^2-2ab\, cos B=a^2+b^2+2ab\,cos \angle AEC>a^2+b^2+abc(1)$

likewise :

$CE^2>c^2+d^2+bcd(2)$

now using pythagorean theorem (1)+(2) we have :

$AC^2+CE^2=AE^2=4>a^2+b^2+c^2+d^2+abc+bcd$
 
Thread 'Erroneously  finding discrepancy in transpose rule'
Obviously, there is something elementary I am missing here. To form the transpose of a matrix, one exchanges rows and columns, so the transpose of a scalar, considered as (or isomorphic to) a one-entry matrix, should stay the same, including if the scalar is a complex number. On the other hand, in the isomorphism between the complex plane and the real plane, a complex number a+bi corresponds to a matrix in the real plane; taking the transpose we get which then corresponds to a-bi...

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
883
Replies
2
Views
2K