cancel
Showing results for 
Search instead for 
Did you mean: 
cancel
Showing results for 
Search instead for 
Did you mean: 

Community Tip - Help us improve the PTC Community by taking this short Community Survey! X

Inscribed circle and altitude of triangle ?

lvl107
20-Turquoise

Inscribed circle and altitude of triangle ?

Hello Everyone.
Given :
inscribed circle of triangle ABC touches its 3 sides at A', B', C'. (see Figure)
A'A'' is a altitude of triangle A'B'C'.
Prove :
C'B / C'A'' = B'C / B'A'' ( blue / green = red / pink )
I.PNG

 Thanks in advance for your time and help.
Regards.
Loi.

15 REPLIES 15
ttokoro
20-Turquoise
(To:lvl107)

image.pngimage.pngimage.png

Werner_E
25-Diamond I
(To:ttokoro)


@ttokoro wrote:

Not equal.


No, you are wrong! The two ratios ARE equal. For the example posted approx. 2.24224.

Check your calculations or your interpretation of the position of A". Guess you misinterpreted the latter. A'A'' is perpendicular to B'C' ! The coordinates are approx. A'' (3.92964 / 2.26219).

ttokoro
20-Turquoise
(To:Werner_E)

Thanks. 

image.png

Werner_E
25-Diamond I
(To:ttokoro)

Actually its

Werner_E_1-1607695007377.png

And the ratios are

Werner_E_2-1607695360672.png

Mathcads symbolic is too weak to proof that the ratios are equal - even if we provide specific numbers, let alone with symbolic coordinates.

Werner_E_0-1607696193142.png

 

 

 

 

lvl107
20-Turquoise
(To:Werner_E)

Thanks, Werner, follow your hints : It seems Mathcads symbolic is power enough to proof that the ratios are equal.

I.PNG

II.png

I'm going to check out other case of the triangle.
Best Regards.
Loi.

lvl107
20-Turquoise
(To:lvl107)

An other case of triangle :

III.png

IV.png

It seems Mathcads symbolic is power enough to proof that the ratios are equal. (for 2nd-test)

Best Regards.

Loi.

 

 

Werner_E
25-Diamond I
(To:lvl107)

It depends on how the coordinates of the points are actually calculated. Obviously your way of doing it is more "symbolic-friendly".

You can see the weakness for instance if you compare the results of, lets say, the distance from B to C'.

We can calculate it simply by s-b (where s is the half circumference) or "the hard way".

As you can see below, Mathcads symbolic is unable to proof that the two results are equal.

 

I may be that you found a different way to calculate the coordinates of C' and arrive at a symbolic representation which is better simplified.

 

A proof, however, would be to do the whole calculation with symbolic coordinates for A, B and C and I really doubt that Mathcads symbolic is able to do so, but I'm ready to be taught otherwise 😉

 

 

Werner_E_0-1607707292038.png

As you see, the symbolic is not able to simplify the expression to 1.

 

Of course Mathcad is also not able to proof with symbolic coordinates that the two methods for calculating the length of B-C' are equivalent:

Werner_E_0-1607708227125.png

 

lvl107
20-Turquoise
(To:Werner_E)

Werner, It seems Mathcads symbolic is powerful enough to prove that the above ratios equal 1.

simplify, max.png

and an other :

factor, max.PNG

Best Regards.

Loi.

Werner_E
25-Diamond I
(To:lvl107)


@lvl107 wrote:

Werner, It seems Mathcads symbolic is powerful enough to prove that the above ratios equal 1.

 


Werner_E_0-1607829266340.png

I don't see that the symbolic result is 1! The 1 is the numeric result.

Furthermore we would need symbolic coordinates for a real proof 😉

 

 

lvl107
20-Turquoise
(To:Werner_E)

"(2).PNG"

factor, max (2).PNG

Regards.

 

Werner_E
25-Diamond I
(To:lvl107)

I had not looked that closely and thought that the second half of your picture is an example with different values because you wrote "and an other :"

Its crazy that "factor" seems to do the trick and it does it only if the coordinates of C' are not simplified beforehand.

Did you try symbolic coordinates?

EDIT: I gave it a try and it failed even by adding just one symbolic coordinate

lvl107
20-Turquoise
(To:Werner_E)

Werner, without your *.xmcd file then the question is difficult to answer. (sometime cause misunderstanding). And I guess my answer is : " We should not symbolic coordinates of numerator and denominator, and only should symbolic the whole of ratio ".

factor, max (a).PNG

Best Regards.

Loi.

 

 

lvl107
20-Turquoise
(To:Werner_E)

Werner, your calculation of coordinate of A'' is :

your calculation.png
and an other calculation of coordinate of A'' is :

an other calculation.png
and the difference between two of the symbolic of the ratio is :

Difference.PNG
Best Regards.
Loi.

Werner_E
25-Diamond I
(To:lvl107)

Yes, different representation give different (but equivalent) symbolic results. I notice that less simplified input expression sometimes seem to help to give a better simplified symbolic end result. But in all thats quite unsatisfactory and unstable.

I guess that its not possible to really prove the assumption with Mathcad as this would mean to work symbolically without specific values for the coordinates. But at least it seems that you found a way using your method of calculating those points, to prove it for specific values. Thats at least a partial success 😉

-MFra-
21-Topaz II
(To:lvl107)

Hi,

the following video is my almost perfect animation about the triangle....:

where: C'B=C1B, C'A''=C1A2, B'C=B1C and B'A''=B1A2

triangolo.jpg

Announcements

Top Tags