Discussion about math, puzzles, games and fun. Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ π -¹ ² ³ °

You are not logged in.

- Topics: Active | Unanswered

Pages: **1**

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

Hi;

As usual this came up in another thread:

**In hexagon ABCDEF,AB=ED=2 ,AF=CD=6 ,BC=EF=4 , and all the interior angles are equal. Find the area of hexagon ABCDE.**

Is this a tough problem? Pretty tough for me but not for geogebra!

1) Create (0,0) and (0,2) and hide the xy axes.

2) Use the angle with a given size tool and click B then A and enter 120, clockwise. Point B' will be created.

3) Use the circle with center and radius tool with a radius of 6 and center at A.

4) Draw a line through A and B'.

5) Find the intersection of that line with the circle. There will be 2, so pick the one in the 4th quadrant.

6) Hide the circle, the line and rename C to z1 and then hide z1. Hide B' and then rename D to F.

7) Use the angle with a given size tool and click A then B and enter 120 counterclockwise. A' will be created and another 120°

8) Use the circle with center and radius tool with a radius of 4 and center at B. Draw a line through B and A'.

9) Find the intersection of that line with the circle. There will be 2, so pick the one in the 1st quadrant.

10) Rename C ( the other intersection ) to z2 and E to C. Then hide the circle, the line, A' and z2.

11) Use the angle with a given size tool and click B then C and enter 120, counterclockwise. Point B' 1 will be created.

12) Use the circle with center and radius tool with a radius of 6 and center at C. Draw a line through C and B'1.

13) Find the intersection of that line with the circle. There will be 2, so we want the one in the 1st quadrant.

14) Rename D ( the other intersection ) to z3 and E to D. Then hide the circle, the line, A' and z2. Then hide the circle, the line, B'1 and z3.

15) Enter in the input bar (x(D),-1) and point E will created.

16) For peace of mind, check out distances EF and FA and angles AFE, CDE and FED. Set working precision to 15 in options before you do. You will see we are very close except for a slight fungus.

17) Use the polygon tool and click points A,B,C,D,E,F,A. Poly1 will created in the algebra pane and read, poly1 = 38.10511776651535

Your drawing should look like the image on the right.

The methods of experimental math are now used to clean the decimals up and deliver exact forms.

Use RootApproximant at Wolfram or a PSLQ or the ISC to find the exact form of 22 √3 for the area.

How can we prove the above answer is not just a mere approximation? I can hear the purists screaming, "numerics are not a proof!!!!!"

Okay, here is how. We utilize this quote, "act as if ye had faith and faith will be given to thee." If that area is close then the points of those vertices will be close too. Let's use the same technique to get the exact forms for the vertices.

We get:

We have found one answer!

I urge you to plot the points and check the angles using vectors or the law of cosines and also to check the area using determinants.

The finished answer is the image on the left.

Geogebra came so close we were able to guess at an exact answer and find the area using ordinary methods. Anyway, we are done with the problem.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

**ElainaVW****Member**- Registered: 2013-04-29
- Posts: 470

Hi Bobbym;

What pslq will do that? The angles and lengths check but of course there are many other hexagons like that.:(

*Last edited by ElainaVW (2013-05-19 09:06:49)*

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

Hi;

Yes, that is only one possible parahexagon.

For the pslq you could try the vector

c = 38.10511776651535

[0, c, c^2, c^3, c^4]

One of the answers will be

[0, -1452, 0, 1, 0]

which corresponds to the equation.

Repeat for the rest.

Is it not amazing that the methods employed here reduce this problem down to a simple cubic equation!?

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

**ElainaVW****Member**- Registered: 2013-04-29
- Posts: 470

Hi Bobbym;

I used your pslq routine to find the rest. How did you come up with that?

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

Hi;

The PSLQ? That is an interesting story. Some would call it a rant.

As you should know there are a couple of discoverers of the algorithm. There is an implementation of it on the net but as usual it does not work. My brother and I spent a long time trying to debug it but this was one time "the human debugger" failed.

So off I headed to M land to see what the experts knew. I posted a request for a PSLQ that worked and was written in M. I got one reply from you know who. Now this guy is a big brain who knows everything. He remembered me because I had posted bobbym's integral there and he had failed to solve it. This irked the mighty genius and he demanded that I grovel for the PSLQ.

I was willing to bow long and low until he asked me my favorite question... Then I snapped and replied in a smart alecky way. Needless to say I did not get the implementation that day.

My brother the matrix master was fooling around with a cross product routine that would sometimes solve the PSLQ and sometimes not. That is where I got the idea for mine. It works! I do not know why but I am not the type to argue with success. Pretty boring story...

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

How does the root approximant function in M work?

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

Hi;

I would assume that it works like all the rest. It is some type of implementation of the PSLQ or LLL algorithm.

Go over to Alpha and put this in:

RootApproximant[38.10511776651535]

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

What is a PSLQ?

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

It is an extension of the extended GCD. Where the extended GCD solves ax + by = c, the PSLQ solves

and it solves it in such a way that the

are integers. It was called the most important algorithm of the 20th century.**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

How does this work?

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

It uses something called Lattice Reduction. Exactly how this works I can not explain. In more general terms it is a way to intelligently guess, with a high probability at what constants make up a decimal.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

Okay but is it related to root approximant?

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

Yes, post #3 is doing a rootapproximant using a PSLQ.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

bobbym wrote:

Hi;

The PSLQ? That is an interesting story. Some would call it a rant.

As you should know there are a couple of discoverers of the algorithm. There is an implementation of it on the net but as usual it does not work. My brother and I spent a long time trying to debug it but this was one time "the human debugger" failed.

So off I headed to M land to see what the experts knew. I posted a request for a PSLQ that worked and was written in M. I got one reply from you know who. Now this guy is a big brain who knows everything. He remembered me because I had posted bobbym's integral there and he had failed to solve it. This irked the mighty genius and he demanded that I grovel for the PSLQ.

I was willing to bow long and low until he asked me my favorite question... Then I snapped and replied in a smart alecky way. Needless to say I did not get the implementation that day.

My brother the matrix master was fooling around with a cross product routine that would sometimes solve the PSLQ and sometimes not. That is where I got the idea for mine. It works! I do not know why but I am not the type to argue with success. Pretty boring story...

Voldemort?

What was your favorite question?

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

Voldemort? Sounds like a French cheese.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

I can't believe you don't know who he is

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

That is because I have never read those books.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

**ShivamS****Member**- Registered: 2011-02-07
- Posts: 3,646

You do not know who -He who must not be named- is?

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

Hi;

No, I do not know that fellow.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

Tom Marvolo Riddle = I Am Lord Voldemort = Immortal Odd Lover

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

Yep, I have never heard of him.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

Have you read any popular superhero stories?

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 98,984

Many of them. Particulary the ones that have a mythological background.

**In mathematics, you don't understand things. You just get used to them.****If it ain't broke, fix it until it is.** **Thinking is cheating.**

Offline

Pages: **1**